Proof
∵∴∴∵∴∴∵∴f∈C[a,b]⇒∃ m,MWhen m=Mf(x)≡c0f′(x)=0∃ ξ∈(a,b),f′(ξ)=0When m=Mf(a)=f(b)m,M至少有一个存在于(a,b)设ξ∈(a,b),f(ξ)=Mf′(ξ)=0 or ∄ f′(ξ)f∈C[a,b]f′(ξ)=0
Proof
∵∴∴经A,B的两条曲线{L:y=f(x)LAB:y−f(a)=b−af(b)−f(a)(x−a)令ϕ(x)=LAB−L=f(a)+b−af(b)−f(a)(x−a)−f(x)ϕ(a)=ϕ(b)=0∃ ξ∈(a,b), ϕ′(ξ)=0而ϕ′(x)=b−af(b)−f(a)−f′(x)b−af(b)−f(a)−f′(ξ)=0f′(ξ)=b−af(b)−f(a)
Notes
- 若 f(a)=f(b)⇒Rolle中值定理
- ⇔⇔f′(ξ)=b−af(b)−f(a)f(b)−f(a)=f′(ξ)(b−a)f(b)−f(a)=f′[a+(b−a)θ](b−a)θ∈(0,1)