5.6.3. Вторая производная параметрически заданной функции.
Пусть функция f : A → R задана параметрически
x = ϕ(t),
f :
y = ψ(t), t T.
Пусть функции ϕ : T → A, ψ : T → R дважды
дифференцируемы в каждой точке t T и
t T : ϕ0(t) 6= 0.
•First •Prev •Next •Last •Go Back •Full Screen •Close •Quit
Тогда параметрически заданная функция f : A → R дважды дифференцируема в каждой точке x A и производная параметрически заданной функции
x = ϕ(t),
f :
y = ψ(t), t T,
есть параметрически заданная функция
x = ϕ(t),
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f |
0 |
: |
|
|
ψ |
(t) |
|
|
|
|
|
|
|
|
|
|
= |
0 |
|
|
|
|
|
y0 |
ϕ (t), t T, |
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
•First •Prev •Next •Last •Go Back •Full Screen •Close •Quit
производная от которой есть снова параметрически заданная функция
x = ϕ(t),
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ψ (t) |
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
f |
|
: |
|
|
|
|
|
|
|
|
|
|
|
|
00 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ϕ |
(t) |
|
|
|
ψ00(t)ϕ0(t) ψ0(t)ϕ00 |
(t) |
|
|
|
|
|
|
|
|
|
|
|
|
|
y |
|
= |
|
0 |
|
|
|
= |
|
− |
3 |
|
, t T. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
00 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ϕ (t) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
(ϕ |
|
(t)) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
Замечание. Функция f00 : A → R определяется соотношением
|
x |
|
A : x f00 |
ψ00 ϕ−1(x) ϕ0 ϕ−1(x) − ψ0 ϕ−1(x) ϕ00 ϕ−1(x) |
. |
|
→ |
(ϕ0 (ϕ−1(x)))3 |
•First •Prev •Next •Last •Go Back •Full Screen •Close •Quit
5.7.Теоремы о среднем.
Знание производной f0 некоторой функции f часто позволяет делать заключение и о поведении самой функции f. Вопросам этого рода
посвящён данный раздел.
Теоремы этого раздела содержат значения производных в некоторой точке, о расположении которой известно только то, что она находится между двумя заданными точками (отсюда название раздела), однако, это не меша-
ет многообразным применениям этих теорем в анализе.
•First •Prev •Next •Last •Go Back •Full Screen •Close •Quit
5.7.1. Теорема Ферма´
Теорема 78. (Ферма)´ Пусть функция
f : A → R принимает наибольшее или наименьшее значение на A во внутренней точ-
ке ξ A. Тогда, если существует f0(ξ), то f0(ξ) = 0.
•First •Prev •Next •Last •Go Back •Full Screen •Close •Quit
Доказательство. Пусть f принимает наибольшее значение на A во внутренней точке ξ A. Тогда Uε(ξ) такая, что
|
x |
|
|
Uε−(ξ) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
+ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
Uε (ξ) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
R |
|
f |
(ξ) |
|
|
|
|
! |
|
|
|
|
|
|
|
: |
f(x) |
− |
f(ξ) |
|
0 |
|
|
|
|
≥ |
|
|
|
|
x |
|
ξ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
− |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
71 |
|
|
|
|
|
|
|
|
f(x) |
f(ξ) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
: |
x−ξ |
|
|
= |
|
0 |
|
|
|
|
|
|
≤ |
|
|
|
|
− |
|
|
|
|
|
|
|
|
|
•First •Prev •Next •Last •Go Back •Full Screen •Close •Quit
|
|
|
|
lim |
|
|
f(x) |
− |
f(ξ) |
= f |
|
|
(ξ) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
ξ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
− |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
− |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
ξ |
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
→ − |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
33 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f(x) |
f(ξ) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x−ξ |
|
|
= f+0 (ξ) |
|
|
|
|
|
|
|
|
lim |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
− |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
ξ+0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
→ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
0 |
|
|
|
|
|
R |
|
|
|
|
|
|
|
|
|
|
|
|
(ξ) = f |
(ξ) |
|
|
|
|
|
|
|
f |
|
|
(ξ) = f |
+ |
|
|
|
|
|
! |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
− |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f |
|
|
(ξ) |
|
|
|
0! |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
≥ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
− |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0! |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f |
+0 |
(ξ) |
≤ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
0 |
|
|
|
|
|
|
0 |
|
|
|
|
|
|
R |
|
|
|
|
|
|
|
f |
|
(ξ) = f |
(ξ) = f |
|
(ξ) |
|
|
|
|
|
|
|
|
|
|
|
|
+ |
|
|
! |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
− |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f0(ξ) = 0! .
Доказательство случая когда f принимает наименьшее значение на A во внутренней точке ξ A аналогичное. Рассмотреть самостоятельно. 
•First •Prev •Next •Last •Go Back •Full Screen •Close •Quit
Замечание 1. Геометрически теорема 78 вполне очевидна, ибо она утверждает, что если во внутренней точке ξ A функция принимает наибольшее или наименьшее значение и в точке (ξ, f(ξ)) graff можно провести касательную к графику функции, то касательная параллельна оси Ox (рис.5.9).
y
Рис. 5.9 Теорема Ферма´
•First •Prev •Next •Last •Go Back •Full Screen •Close •Quit
Замечание 3. Физически теорема 78 означает, что при движении по прямой в момент начала возврата скорость равна нулю.
•First •Prev •Next •Last •Go Back •Full Screen •Close •Quit