Set . Then
The extreme value theorem gives a minimum of on . If it occurs in , the two-sided difference quotient gives . If it occurs at , either or a negative right derivative contradicts minimality; the endpoint is analogous. Hence some satisfies
This proves the Darboux theorem for derivatives in the stated case without assuming that is continuous.
Because a differentiable function is continuous, define
The fundamental theorem of calculus gives . At the endpoints,
while
Applying the result just proved to yields with

Articles by others on the same topic (0)

There are currently no matching articles.