Методы решения физико-математических задач

Теорема Больцано – Коши о промежуточном значении

Теорема Больцано - Коши о промежуточном значении
Формулировка и доказательство теоремы Больцано – Коши о промежуточном значении функции, непрерывной на отрезке .

Вторая теорема Больцано – Коши о промежуточном значении

Пусть функция  f  непрерывна на отрезке [a,b].
И пусть C есть произвольное число, находящееся между значениями функции на концах отрезка: A = f(a) и B = f(b).
Тогда существует точка ξ ∈ [a,b], для которой
f(ξ) = C.
Доказательство ⇓

Эту теорему иногда называют второй теоремой Больцано – Коши.

Следствие 1 (первая теорема Больцано – Коши)

Пусть функция непрерывна на отрезке .
И пусть значения функции на концах отрезка имеют разные знаки: или .
Тогда существует точка , значение функции в которой равно нулю:
.

Следствие 2

Пусть функция непрерывна на отрезке .
И пусть .
Тогда функция принимает на отрезке все значения из и только эти значения:
  при  .

Доказательство второй теоремы Больцано – Коши

Формулировка ⇑

Рассмотрим случай .
Разделим отрезок пополам точкой .
Если , то выберем левую половину:
.
В противном случае выберем правую половину:
.
В результате получим отрезок , на котором
.

Отрезок также разделим пополам точкой .
Если , то выберем левую половину:
.
В противном случае выберем правую половину:
.
В результате получим отрезок , на котором
.

Продолжая процесс деления, получаем последовательность вложенных отрезков:
.
Для каждого отрезка выполняются неравенства:
(3.1)   .

Поскольку длина отрезка стремится к нулю, при , то согласно лемме о вложенных отрезках, существует единственная точка , к которой сходятся последовательности и :
(3.2)   .

Рассмотрим последовательности и . Используя (3.2) и учитывая непрерывность функции на отрезке , применим определение непрерывности функции в точке по Гейне. Тогда
(3.3)   .

Рассмотрим неравенства (3.1):
(3.1)   .
Применяя (3.3) и используя свойства пределов последовательностей, связанные с неравенствами, имеем:
, или
.
Отсюда следует, что .

Для случая теорема доказана.
Теперь рассмотрим случай .
Здесь доказательство остается тем же самым, только знаки неравенств меньше или равно нужно заменить на больше или равно:
.

Теорема доказана.

Использованная литература:
О.И. Бесов. Лекции по математическому анализу. Часть 1. Москва, 2004.
С.М. Никольский. Курс математического анализа. Том 1. Москва, 1983.

Автор: Олег Одинцов.     Опубликовано:

Меню