ВУЗ:
Составители:
Рубрика:
66
21
12
2121
()()(),
xxxx
fxfxfx
xxxx
−−
≤+
−−
12
,
xxx
<<
где
1
x
и
2
x
−
произвольные точки промежутка
12
,,
Xxx
<
которой можно придать вид
211212
()()()()()()0.
xxfxxxfxxxfx
−+−+−≥
(8.4)
В случае строгой выпуклости знак
≥
в последней формуле должен быть
заменён на знак
.
>
Справедливо следующее утверждение .
Теорема. Пусть функция
()
fx
определена и непрерывна в промежутке
X
и имеет в каждой его точке конечную производную
().
fx
′
Для того
чтобы
()
fx
была выпуклой в
,
X
необходимо и достаточно, чтобы её
производная
()
fx
′
возрастала в этом промежутке.
Доказательство
Необходимость. Пусть
()
fx
выпукла в промежутке
.
X
Фиксируем
произвольные точки
1
x
и
2
x
из промежутка
12
,,
Xxx
<
и пусть
12
(;).
xxx
∈
Тогда выполняется соотношение (8.4), которое можно
записать в виде
211212
()()()()()()()()0,
xxfxxxfxxxfxxxfx
−+−+−+−≥
или в виде
2112
()(()())()(()()).
xxfxfxxxfxfx
−−≥−−
Разделив почленно последнее неравенство на
21
()(),
xxxx
−−
получим
неравенство
12
12
()()()()
,
fxfxfxfx
xxxx
−−
≥
−−
из которого следует , что
12
12
()()()()
,
fxfxfxfx
xxxx
−−
≤
−−
(8.5)
12
,(;).
xxxx
∀∈
66 x2 − x x − x1 f ( x) ≤ f ( x1 ) + f ( x2 ) , x2 − x1 x2 − x1 x1. Справедливо следующее утверждение. Теорема. Пусть функция f ( x ) определена и непрерывна в промежутке X и имеет в каждой его точке конечную производную f ′( x ). Для того чтобы f ( x ) была выпуклой в X , необходимо и достаточно, чтобы её производная f ′( x ) возрастала в этом промежутке. Доказательство Необходимость. Пусть f ( x ) выпукла в промежутке X . Фиксируем произвольные точки x1 и x2 из промежутка X , x1 < x2 , и пусть x ∈ ( x1 ; x2 ). Тогда выполняется соотношение (8.4), которое можно записать в виде ( x2 − x ) f ( x1 ) + ( x1 − x ) f ( x ) + ( x − x2 ) f ( x ) + ( x − x1 ) f ( x2 ) ≥0, или в виде ( x2 − x ) ( f ( x1 ) − f ( x )) ≥ ( x − x1 ) ( f ( x ) − f ( x2 )). Разделив почленно последнее неравенство на ( x2 − x ) ( x − x1 ), получим неравенство f ( x1 ) − f ( x ) f ( x ) − f ( x2 ) ≥ , x − x1 x2 − x из которого следует, что f ( x ) − f ( x1 ) f ( x2 ) − f ( x ) ≤ , (8.5) x − x1 x2 − x ∀ x , x ∈ ( x1 ; x2 ).
Страницы
- « первая
- ‹ предыдущая
- …
- 64
- 65
- 66
- 67
- 68
- …
- следующая ›
- последняя »