证明方程有且仅有有一个实根