图文证明 罗尔,拉格朗日,柯西
费马引理和罗尔都比较好证,不过多阐述,看图即可:
费马引理:
罗尔定理:
重点来证明拉格朗日和柯西
拉格朗日:
我认为不需要去看l(x)的那一行更好推:
详细的推理过程:
构造 h ( x ) = f ( x ) − l ( x ) , 因为 a , b 两点为交点 , f ( a ) = l ( a ) , f ( b ) = l ( b ) , 构造h(x) = f(x) - l(x), \quad \text{因为} \; a, b \; \text{两点为交点}, \; f(a) = l(a), \; f(b) = l(b), 构造h(x)=f(x)−l(x),因为a,b两点为交点,f(a)=l(a),f(b)=l(b),
所以 h ( a ) = h ( b ) = 0. 根据罗尔定理 , ∃ c ∈ ( a , b ) 使得 h ′ ( ξ ) = 0. \text{所以} \; h(a) = h(b) = 0. \quad \text{根据罗尔定理}, \; \exists \, c \in (a, b) \; \text{使得} \; h'(\xi ) = 0. 所以h(a)=h(b)=0.根据罗尔定理,∃c∈(a,b)使得h′(ξ)=0.
因为 h ( ξ ) = f ( ξ ) − l ( ξ ) , 我们有 h ′ ( ξ ) = f ′ ( ξ ) − l ′ ( ξ ) . 因此 , h ′ ( ξ ) = f ′ ( ξ ) − l ′ ( ξ ) = 0. \text{因为} \; h(\xi ) = f(\xi ) - l(\xi ), \; \text{我们有} \; h'(\xi ) = f'(\xi ) - l'(\xi ). \quad \text{因此}, \; h'(\xi ) = f'(\xi ) - l'(\xi ) = 0. 因为h(ξ)=f(ξ)−l(ξ),我们有h′(ξ)=f′(