求证方程x^3-6x^2+1=0有实数解