
к графику функции в точке С(ξ,f(ξ)) параллельна прямой l, проходящей через
точки A и В.
Замечание 2. Другой вид формулы Лагранжа.
Пусть х
0
-любое значение аргумента из [a,b], а ∆х- произвольное приращение
аргумента, но такое, что
()
]
.,
0
baxx
∆+ Тогда формула Лагранжа для сегмента [x
0
,x
0
+ ∆х] имеет следующий вид:
)
)
)
fxxfxxf
00
, где ξ- некоторая точка из
интервала
(x
0
,x
0
+ ∆х) (см. рис.2).
x
0
ξ
xx
0
+∆
Рис. 2
Можно утверждать, что найдется такое число
θ (0<θ<1), зависящее от ∆х, что ξ=
x
0
+ θ∆х, тогда
()()
)
xxfxxfxxf
∆=−
+
000
, гдеθ-некоторое число: 0<θ<1.
Этот вид формулы оправдывает термин “формула конечных приращений”, ибо
дается выражение для приращения функции через вызвавшее его произвольное
конечное приращение
∆х аргумента.
Следствие 1.
() ( )()
)
)
)
[]
)
constxfbaxxfbaxxf
⇒
∈∀
′
∃ ,0,
Доказательство. Пусть x
0
∈(a,b)- фиксированна, x ∈(a,b)- произвольная точка. На
[x
0
, x] (и [x, x
0
] соответственно) f(x) дифференцируема. Применим теорему
Лагранжа на этом сегменте:
)
)
]
)
)()(
.:,,
0000
xxfxfxfxxxx −⋅
)
∈∃
Но
() () ( ) (
xå.f ò.,0
0
xfxff =⇒=
′
)
.const=
5.14.4. Обобщенная формула конечных приращений (формула Коши)
Теорема. (теорема Коши)
()
[]
()()
]
()
)
)
)()
)
)
()()()
()()
() ()
() ()
()
()
′
′
=
−
−
∈∃⇒
⇒
≠
′
∈∀∧
∧
′
∃∧
∃∈∀∧∈∧∈
ξ
ξ
ξ
g
f
agbg
afbf
ba
xgbax
xgxfbaxbaCxgbaCxf
:,
0,
,,,
(Формула
() ()
() ()
()
()
ξ
g
f
agbg
afbf
′
′
=
−
−
называется обобщенной формулой конечных
приращений (формулой Коши)).
Доказательство.
1) Докажем, что g(a)
≠g(b). Предположим, что g(a)= g(b), тогда к функции y=g(x)
применима теорема Ролля на сегменте [a,b], по этой теореме
()()
0:, =
′
∈∃
gba . Противоречие с условием теоремы
)(
., 0 baxxg ∈∀
)
Таким
образом, g(a)
≠g(b).
2) Рассмотрим вспомогательную функцию
.
() () ()
)
)
() ()
() ()
[]
.agxg
agbg
afbf
afxfxF −⋅
−
−−=
Для функции F(x) выполнены на сегменте [a,b] все условия теоремы Ролля,
действительно:
1)
()
[]
;,baCxF ∈