Professional Documents
Culture Documents
Mean Value Theorem - Wikipedia
Mean Value Theorem - Wikipedia
For any function that is continuous on and differentiable on there exists some in the interval such
that the secant joining the endpoints of the interval is parallel to the tangent at .
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.[1] 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.[2] Many variations of this
theorem have been proved since then.[3][4]
Formal statement
The function attains the slope of the secant between and as the derivative at the point .
It is also possible that there are multiple tangents parallel to the secant.
Let be a continuous
function on the closed interval , and
differentiable on the open interval ,
where . Then there exists some in
such that
Remarks:
Theorem 3: If F is an antiderivative of f on
an interval I, then the most general
antiderivative of f on I is F(x) + c where c is
a constant.
Of course, if and ,
this is equivalent to:
Geometrically, this means that there is
some tangent to the graph of the curve[8]
Suppose . Define
, where is fixed
in such a way that ,
namely
Since and are continuous on
and differentiable on , the same is
true for . All in all, satisfies the
conditions of Rolle's theorem:
consequently, there is some in
for which . Now using the
definition of we have:
Therefore:
Generalization for
determinants
Assume that and are differentiable
functions on that are continuous on
. Define
differentiable on , there
exists a number
such that
Then , but
and
are never simultaneously zero as ranges
over .
since . Letting
finishes the proof.
Proposition — Let U ⊂R n be
open, f : U → Rm
continuously differentiable,
and x ∈ U, h ∈ R n vectors
such that the line segment
x + th, 0 ≤ t ≤ 1 remains in U.
Then we have:
where Df denotes the
Jacobian matrix of f and the
integral of a matrix is to be
understood componentwise.
Then we have
The claim follows since Df is the matrix
consisting of the components .
function
satisfies criteria 1 since
on
and
for all so no
such exists
Mean value theorems for
definite integrals
Geometrically: interpreting f(c) as the height of a rectangle and b–a as the width, this rectangle has the same area as the
region below the curve from a to b[12]
Now let
If , we're done since
means
If I ≠ 0, then
By the intermediate value theorem, f
attains every value of the interval [m, M],
so for some c in [a, b]
that is,
QED
If G : [a, b] → R is a positive
monotonically decreasing function and
φ : [a, b] → R is an integrable function,
then there exists a number x in (a, b]
such that
Here stands for ,
the existence of which follows from the
conditions. Note that it is essential that
the interval (a, b] contains b. A variant not
having this requirement is:[15]
A probabilistic analogue of
the mean value theorem
Let X and Y be non-negative random
variables such that E[X] < E[Y] < ∞ and
(i.e. X is smaller than Y in the
usual stochastic order). Then there exists
an absolutely continuous non-negative
random variable Z having probability
density function
See also
Newmark-beta method
Mean value theorem (divided
differences)
Racetrack principle
Stolarsky mean
Notes
1. J. J. O'Connor and E. F. Robertson (2000).
Paramesvara (https://mathshistory.st-andre
ws.ac.uk/Biographies/Paramesvara/) ,
MacTutor History of Mathematics archive.
2. Ádám Besenyei. "Historical development of
the mean value theorem" (http://abesenyei.
web.elte.hu/publications/meanvalue.pdf)
(PDF).
3. Lozada-Cruz, German (2020-10-02). "Some
variants of Cauchy's mean value theorem"
(https://www.tandfonline.com/doi/full/10.1
080/0020739X.2019.1703150) .
International Journal of Mathematical
Education in Science and Technology. 51
(7): 1155–1163.
Bibcode:2020IJMES..51.1155L (https://ui.a
dsabs.harvard.edu/abs/2020IJMES..51.115
5L) . doi:10.1080/0020739X.2019.1703150
(https://doi.org/10.1080%2F0020739X.201
9.1703150) . ISSN 0020-739X (https://ww
w.worldcat.org/issn/0020-739X) .
S2CID 213335491 (https://api.semanticsch
olar.org/CorpusID:213335491) .
4. Sahoo, Prasanna. (1998). Mean value
theorems and functional equations (https://
www.worldcat.org/oclc/40951137) . Riedel,
T. (Thomas), 1962-. Singapore: World
Scientific. ISBN 981-02-3544-5.
OCLC 40951137 (https://www.worldcat.or
g/oclc/40951137) .
5. Kirshna's Real Analysis: (General) (https://b
ooks.google.com/books?id=e27uJruMCBU
C&q=mean) . Krishna Prakashan Media.
6. "Mean Value Theorem" (https://keepnotes.c
om/rice-university/preparing-for-the-ap-calc
ulus-ab-exam/44-mean-value-theorem) .
keepnotes.com.
7. W., Weisstein, Eric. "Extended Mean-Value
Theorem" (http://mathworld.wolfram.com/
ExtendedMean-ValueTheorem.html) .
mathworld.wolfram.com. Retrieved
2018-10-08.
8. "Cauchy's Mean Value Theorem" (https://w
ww.math24.net/cauchys-mean-value-theore
m/) . Math24. Retrieved 2018-10-08.
9. Rudin, Walter (1976). Principles of
Mathematical Analysis (3rd ed.) (https://arc
hive.org/details/1979RudinW) . New York:
McGraw-Hill. p. 113. ISBN 978-0-07-
054235-8. Theorem 5.19.
10. Hörmander 2015, Theorem 1.1.1. and
remark following it.
11. Lemma — Let v : [a, b] → Rm
be a continuous function
defined on the interval
[a, b] ⊂ R. Then we have
Proof.
12. "Mathwords: Mean Value Theorem for
Integrals" (http://www.mathwords.com/m/
mean_value_theorem_integrals.htm) .
www.mathwords.com.
13. Michael Comenetz (2002). Calculus: The
Elements. World Scientific. p. 159.
ISBN 978-981-02-4904-5.
14. Editorial note: the proof needs to be
modified to show there is a c in (a, b)
15. Hobson, E. W. (1909). "On the Second
Mean-Value Theorem of the Integral
Calculus" (https://zenodo.org/record/1447
800) . Proc. London Math. Soc. S2–7 (1):
14–23. Bibcode:1909PLMS...27...14H (http
s://ui.adsabs.harvard.edu/abs/1909PLMS...
27...14H) . doi:10.1112/plms/s2-7.1.14 (htt
ps://doi.org/10.1112%2Fplms%2Fs2-7.1.1
4) . MR 1575669 (https://mathscinet.ams.o
rg/mathscinet-getitem?mr=1575669) .
16. Di Crescenzo, A. (1999). "A Probabilistic
Analogue of the Mean Value Theorem and
Its Applications to Reliability Theory". J.
Appl. Probab. 36 (3): 706–719.
doi:10.1239/jap/1032374628 (https://doi.or
g/10.1239%2Fjap%2F1032374628) .
JSTOR 3215435 (https://www.jstor.org/sta
ble/3215435) . S2CID 250351233 (https://a
pi.semanticscholar.org/CorpusID:25035123
3) .
17. 1 J.-Cl. Evard, F. Jafari, A Complex Rolle’s
Theorem, American Mathematical Monthly,
Vol. 99, Issue 9, (Nov. 1992), pp. 858-861.
References
Hörmander, Lars (2015), The Analysis of
Linear Partial Differential Operators I:
Distribution Theory and Fourier Analysis,
Classics in Mathematics (2nd ed.),
Springer, ISBN 9783642614972
External links
"Cauchy theorem" (https://www.encyclo
pediaofmath.org/index.php?title=Cauch
y_theorem) , Encyclopedia of
Mathematics, EMS Press, 2001 [1994]
PlanetMath: Mean-Value Theorem (http
s://planetmath.org/encyclopedia/Mean
ValueTheorem.html)
Weisstein, Eric W. "Mean value theorem"
(https://mathworld.wolfram.com/Mean-
ValueTheorem.html) . MathWorld.
Weisstein, Eric W. "Cauchy's Mean-Value
Theorem" (https://mathworld.wolfram.c
om/CauchysMean-ValueTheorem.htm
l) . MathWorld.
"Mean Value Theorem: Intuition behind
the Mean Value Theorem" (https://www.
khanacademy.org/video/mean-value-the
orem) at the Khan Academy
Retrieved from
"https://en.wikipedia.org/w/index.php?
title=Mean_value_theorem&oldid=1157253058"