This theorem was developed by Lagrange. Some mathematicians consider this theorem to be *the* most important theorem of calculus (see also: the fundamental theorem of calculus). The theorem is not often used to solve mathematical problems; rather, it is more commonly used to prove other theorems. The mean value theorem can be used to prove Taylor's theorem, of which it is a special case.

More precisely, the theorem states: for some continually differentiable curve; for every secant, there is some parallel tangent. In addition, the tangent runs through a point located between the intersection points of said secant.

- Let
*f*: [*a*,*b*] →**R**be continuous on the closed interval [*a*,*b*], and differentiable on the open interval (*a*,*b*). Then there exists some*c*in (*a*,*b*) such that

Table of contents |

2 Cauchy's mean value theorem 3 Mean value theorems for integration |

The formula ( *f*(*b*) - *f*(*a*) ) / (*b* - *a*) gives the slope of the line joining the points (*a* , *f*(*a*)) and (*b* , *f*(*b*)), which we call a chord of the curve, while *f* ' (*x*) gives the slope of the tangent to the curve at the point (*x* , *f*(*x*) ). Thus the Mean value theorem says that given any chord of a smooth curve, we can find a point lying between the end-points of the chord such that the tangent at that point is parallel to the chord. The following proof illustrates this idea.

Defineg(x) =f(x) +rx, whereris a constant. Sincefis continuous on [a,b] and differentiable on (a,b), the same is true ofg. We chooserso thatgsatisfies the conditions of Rolle's theorem, which means

By Rolle's Theorem, there is some

cin (a,b) for whichg'(c) = 0, and it follows

as required.

The mean value theorem in the following form is considered more useful.

## Proof of Cauchy's mean value theorem

The proof of Cauchy's mean value theorem is based on the same idea as the proof of mean value theorem. We aim to transform the curve defined by y = y(t) and x = x(t), so that it satifies the conditions of Rolle's theorem.We define a new function:

where

mis a constant, so that

Since

Fis continuous and F(a) = F(b), by Rolles theorem, there exist somecin (a,b) such that F'(c) = 0, i.e.as required.

The **first mean value theorem for integration** states:

- If
*f*: [*a*,*b*] →**R**is a continuous function and φ : [*a*,*b*] →**R**is an integrable positive function, then there exists a number*x*in (*a*,*b*) such that

In particular (φ(*t*) = 1), there exists *x* in (*a* , *b*) with

- If
*f*: [*a*,*b*] →**R**is a positive and monotone decreasing function and φ : [*a*,*b*] →**R**is an integrable function, then there exists a number*x*in (*a*,*b*] such that