Proof:
- Assume f is continuous on [a,b]
- Assume f is differentiable on (a,b)
- Let g(x)=f(x)βsecantΒ line
- So g(x)=f(x)β[bβaf(b)βf(a)β(xβa)+f(a)]
- Note g is continuous on [a,b] since g is a difference of polynomials
- Note g is differentiable on (a,b) as g is difference of polynomials, you can use derivative rules
- Note g(a)=f(a)β[bβaf(b)βf(a)β(aβa)+f(a)]=0
- Note g(b)=f(b)β[bβaf(b)βf(a)β(bβa)+f(a)]=0
- By Rolleβs Theorem, there exists a cβ(a,b) such that gβ²(c)=0
- So, we have shown there is a cβ(a,b) where fβ²(c)=bβaf(b)βf(a)ββgβ²(c)=0 this means fβ²(c)=bβaf(b)βf(a)β
β‘