基于罗尔定理证明命题的一般方法及其应用_程惠东