证明方程有一个正根(8个结果)
证明方程有一个正根