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