Twierdzenie o wartości pośredniej

Co się właśnie stało?

Funkcja jest ciągła na przedziale domkniętym $[a,b]$, a na jego końcach ma wartości o przeciwnych znakach: $f(a)<0$ i $f(b)>0$. Jakkolwiek byś jej nie wyginał, jej wykres to nieprzerwana linia — a ta, przechodząc od dołu (poniżej osi) do góry (powyżej osi), musi gdzieś przeciąć oś X. Ten punkt to miejsce zerowe.

Twierdzenie o wartości pośredniej:

Iloczyn $f(a)\cdot f(b)<0$ oznacza właśnie „przeciwne znaki". Wtedy w środku przedziału istnieje punkt $c$, w którym $f(c)=0$ — pierwiastek równania $f(x)=0$.

„Czysto analityczny dowód" (1817):

Twierdzenie (własność Darboux funkcji ciągłych) formalnie udowodnił czeski matematyk i ksiądz Bernard Bolzano w 1817 r. w pracy o wymownym tytule „Czysto analityczny dowód twierdzenia, że między dwiema wartościami dającymi wyniki przeciwnych znaków leży co najmniej jeden pierwiastek równania". Był to jeden z pierwszych rygorystycznych dowodów w analizie — oparty na precyzyjnej definicji ciągłości (przez nierówności). Bolzano wyprzedził swoją epokę: pracował w izolacji i publikował w mało znanym czasopiśmie, więc jego wynik przez dekady pozostawał niezauważony.

Niezmiennik — brak przeskoków:

Ciągłość gwarantuje, że wykres nie ma „dziur" ani „skoków". Funkcja nie może przeskoczyć z wartości ujemnej do dodatniej z pominięciem zera — dlatego przecięcie osi X jest wymuszone. Kluczowe jest założenie ciągłości: dla funkcji nieciągłej (ze „skokiem") twierdzenie może nie zachodzić.

Po co Ci to na maturze:

To praktyczne narzędzie: gwarantuje istnienie pierwiastków równań, których nie umiemy rozwiązać dokładnie. Chwyt: policz $f(a)$ i $f(b)$ — jeśli mają przeciwne znaki, pierwiastek na pewno jest w $(a,b)$. To też podstawa metod numerycznych, np. metody bisekcji (połowienia przedziału).

Zapamiętaj: ciągła funkcja o przeciwnych znakach na końcach przedziału musi mieć w środku miejsce zerowe — $f(a)\cdot f(b)<0 \Rightarrow \exists c:\, f(c)=0$. Nieprzerwana linia nie przeskoczy przez zero.