Twierdzenie o wartości pośredniej

Twierdzenie o wartości pośredniej to podstawowe twierdzenie rachunku różniczkowego i całkowego, gwarantujące istnienie rozwiązań w określonych przedziałach dla funkcji ciągłych. Formalnie Twierdzenie o Wartości Pośredniej stwierdza, że jeśli funkcja f jest ciągła na przedziale domkniętym [a, b], a N jest dowolną wartością między f(a) a f(b), to istnieje co najmniej jedna liczba c ∈ (a, b) taka, że f(c) = N. Twierdzenie to jest kluczowe w dowodzeniu istnienia pierwiastków oraz w analizie zachowania funkcji ciągłych na przedziałach.

Graficznie rzecz ujmując, funkcja ciągła nie ma skoków ani luk. Jeśli prosta pozioma y = N leży między f(a) a f(b), to funkcja musi przeciąć tę prostą co najmniej raz na przedziale (a, b). To przecięcie gwarantuje, że f(c) = N dla pewnego c. Twierdzenie nie gwarantuje jednoznaczności; wiele wartości c może spełniać ten warunek.

Rozważmy funkcję logarytmiczną

Celem jest wyznaczenie wartości x, dla której f(x) = 0, czyli równoważnie, że ln(x) = 1. Obliczenie w punktach końcowych przedziału [2, 3] daje:

Ponieważ funkcja jest ciągła, a wartość 0 leży między f(2) a f(3), Twierdzenie o Wartości Pośredniej gwarantuje istnienie rozwiązania w przedziale (2, 3). Dokładne rozwiązanie, x ≈ 2,718, leży w tym przedziale i spełnia równanie.

Ten przykład pokazuje znaczenie Twierdzenia o Wartości Pośredniej w potwierdzaniu obecności pierwiastków w przypadkach, gdy bezpośrednie rozwiązania algebraiczne mogą być złożone lub trudne do uzyskania.