Mean value theorem
on the existence of a tangent to an arc parallel to the line through its endpoints

In calculus and real analysis, the mean value theorem (or Lagrange's mean value theorem) is a theorem about differentiable functions, roughly stating that the average rate of change of such a function over an interval is equal to the instantaneous rate of change at some point in the interval. For example, if a car smoothly travels a certain distance over a given finite time interval, then at some moment during the trip, its instantaneous speed equals its average speed for the whole trip.
The theorem states precisely that if a real-valued function is continuous on a closed interval
[
a
,
b
]
{\displaystyle [a,b]}
, with
a
<
b
{\displaystyle a<b}
, and differentiable on the interior
(
a
,
b
)
{\displaystyle (a,b)}
, then there is at least one point in
(
a
,
b
)
{\displaystyle (a,b)}
where the derivative equals the function's average rate of change over the whole interval. Geometrically, this means that at some point the tangent to the graph is parallel to the secant line through the interval's endpoints. It is used in proving other general properties of differentiable functions.
History
A special case of this theorem for inverse interpolation of the sine was first described by Parameshvara (1380–1460), from the Kerala School of Astronomy and Mathematics in India, in his commentaries on Govindasvāmi and Bhāskara II. A restricted form of the theorem was proved by Michel Rolle in 1691; the result was what is now known as Rolle's theorem, and was proved only for polynomials, without the techniques of calculus. The mean value theorem in its modern form was stated and proved by Augustin Louis Cauchy in 1823. Many variations of this theorem have been proved since then.
Statement
Let
f
:
[
a
,
b
]
→
R
{\displaystyle f:[a,b]\to \mathbb {R} }
be a continuous function on the closed interval
[
a
,
b
]
{\displaystyle [a,b]}
, and differentiable on the open interval
(
a
,
b
)
{\displaystyle (a,b)}
, where
a
<
b
{\displaystyle a<b}
. Then there exists some
c
{\displaystyle c}
in
(
a
,
b
)
{\displaystyle (a,b)}
such that:
f
′
(
c
)
=
f
(
b
)
−
f
(
a
)
b
−
a
.
Begin with the source’s own compact description: “Mean value theorem” is on the existence of a tangent to an arc parallel to the line through its endpoints. The dossier treats that line as a proposition to test through Mean, value and theorem, not as a finished interpretation.
Why this record matters
The phrase “on the existence of a tangent to an arc parallel to the line through its endpoints” supplies a clear boundary for inquiry. It also exposes the unanswered questions: who defined that boundary, when it became stable and which sources sit outside it.
The citation trail is more important than the brevity of the summary: it shows where individual claims can be examined in context. The source revision retrieved here is dated Aug 28, 2026. The linked authority identifier is Q189136. The Library of Congress control number is sh85082689. 1 of 1 selected statements include explicit references; 0 carry qualifiers and 0 use preferred rank. The first chronological checks are 1380, 1460, 1691 and 1823.
The absence of detail may reflect summary conventions rather than a lack of surviving documentation. The lead is largely declarative, so disagreement and counter-evidence require a deliberate search beyond the opening account. Authority statements aid reconciliation but still require their own references, qualifiers and ranks to be checked.
How to read it
Use the entry as an orientation point, then follow its citations and revision history. Names, dates and institutional relationships should be checked against the original record.
- Subject orientation
- Search vocabulary
- Locating named sources
The closest primary source, responsible institution and strongest cited specialist reference.
Three-step research path
- Establish the record: confirm the title “Mean value theorem”, its source revision and the description used here.
- Expand the search: follow Mean value theorem primary sources, Mean value theorem archive and Mean research across catalogues and specialist indexes.
- Test the account: compare the strongest cited source with the responsible institution’s current record and note any disagreement.
Questions for further research
- Which source most directly establishes the central claim about “Mean value theorem”?
- Which cited source is closest to the event, object or claim?
- What terminology or title could unlock a more precise catalogue search?
Search terms from this dossier
This entry incorporates text from “Mean value theorem” on English Wikipedia. Contributors are listed in the page history. Text is available under the Creative Commons Attribution-ShareAlike 4.0 License. Selected authority identifiers and statements are retrieved from Wikidata under CC0; their references and qualifiers remain part of the verification path.