proof of extended mean-value theorem
Let and be continuous![]()
on and differentiable
![]()
on . Define the function
Because and are continuous on and differentiable on , so is . Furthermore, , so by Rolle’s theorem there exists a such that . This implies that
and, if ,