展开 证明一个方程有实数根