sina cosa是关于x的方程x^2-kx+k+1=0的两个实根且0