Теорема про проміжне значення

Теоре́ма Больца́но — Ко́ші (теоре́ма про промі́жне зна́чення непере́рвної фу́нкції) — ділиться на дві частини, перша з яких є теоремою про проходження неперервною функцією через нуль, друга — узагальнює першу і стверджує, що якщо неперервна функція приймає два значення, вона також прийме значення на відрізку між ними.

Перша теорема Больцано — Коші

Нехай функція f(x) визначена та неперервна в замкненому проміжку [a, b] та на кінцях цього проміжку приймає значення різних знаків. Тоді між a та b неодмінно знайдеться точка c, в якій функція обертається в нуль:

$f(c)=0$ $(a<c<b)$

Доведення

Доведення цієї теореми зробимо методом послідовного ділення відрізку (метод Больцано). Нехай, для визначеності, f(a) < 0 та f(b) > 0. Розділимо відрізок [a, b] навпіл точкою $\frac{a+b}{2}$. Якщо в даній точці функція дорівнює нулю, тоді теорема доведена. Якщо $c=\frac{a+b}{2}\ne 0$, тоді на кінцях одного з відрізків $[a,\frac{a+b}{2}]$, $[\frac{a+b}{2},b]$ функція буде приймати значення різних знаків. Позначивши цей проміжок через $[a_1,b_1]$ маємо:

$f(a_1)<0$, $f(b_1)>0$

Розділимо навпіл відрізок $[a_1,b_1]$ та знову відкинемо випадок з рівністю функції нулеві (у цьому випадку теорема доведена). Позначимо через $[a_2,b_2]$ ту з половин відрізку, для якої

$f(a_2)<0$, $f(b_2)>0$

Продовжимо цей процес побудови відрізків. При цьому після деякої кінцевої кількості ітерацій ми або наткнемося на рівність функції нулеві, і доведення теореми закінчиться, або отримаємо нескінченну послідовність вкладених один в одного проміжків. Зупинимось на цьому останньому випадку. Тоді для n-го відрізку $[a_n,b_n]$, (n = 1, 2, 3 …) будемо мати

$f(a_n)<0$, $f(b_n)>0$ Посилання: (1)

Причому довжина його дорівнює

$b_n-a_n=\frac{b-a}{2^n}$ Посилання: (2)

Побудована послідовність відрізків задовольняє лему про вкладені відрізки, тому що відповідно до (2) $\lim (b_n-a_n)=0$. Тому існує точка с із проміжку [a, b], для якої $\lim a_n=\lim b_n=c$.

Покажемо, що саме ця точка задовольняє вимогам теореми. Перейшовши до границі в нерівностях (1) та використовуючи при цьому неперервність функції (зокрема, в точці x = c), отримаємо, що одночасно

$f(c)=\lim f(a_n)\le 0$ та $f(c)=\lim f(b_n)\ge 0$

Так що дійсно, f(c) = 0. Теорема доведена.

Друга теорема Больцано — Коші

Нехай функція f(x) визначена та неперервна на деякому проміжку X (замкнутому або ні, скінченному або нескінченному). Якщо в двох точках x=a та x=b (a < b) цього проміжку функція приймає нерівні значення

$f(a)=A$ та $f(b)=B$,

то, яке б не було число С, що лежить між A та B, знайдеться така точка x = c між a та b, що f(c) = C

Доведення

Будемо вважати, що A < B, тоді A < C < B.

Розглянемо в проміжку [a, b] допоміжну функцію $\phi (x)=f(x)-C$. Ця функція неперервна в проміжку [a, b] та на кінцях його має різні знаки:

$\phi (a)=f(a)-C=A-C<0$, $\phi (b)=f(b)-C=B-C>0$

Тоді згідно з першою теоремою Больцано — Коші, між a та b знайдеться точка x = c, для якої $\phi (x)=0$, тобто

$f(x)-C=0$ або $f(c)=C$

Що і треба було довести.

Використання теореми на практиці

За допомогою цієї теореми можна визначити наявність коренів у рівнянні. Наприклад для всіх очевидний корінь x = 4 у рівнянні $2^x=4x$, але складно помітити існування ще одного кореня цього рівняння. Функція

$f(x)=2^x-4x$

при x = 0, має значення f(0) = 1 > 0, а при x = 1/2 значення $f\left(\frac{1}{2}\right)=\sqrt{2}-2<0$, відповідно функція (оскільки вона неперервна) обертається на 0 в деякій точці між 0 та 1/2.

Див. також

• Теорема Дарбу

Джерела

• Шаблон:Фіхтенгольц.укр
• Шаблон:Ляшко.Ємельянов.Боярчук.Математичний аналіз.ч1
• Шаблон:Дороговцев.Математичний аналіз.ч1