Pochodna nieciągła? Twierdzenie Darboux wyjaśnia!

W analizie różniczkowej jest kilka rezultatów, które zmieniają sposób patrzenia na pochodną. Jednym z nich jest twierdzenie Darboux: pokazuje ono, że pochodna może być nieciągła, ale nie może „przeskakiwać” między wartościami bez przejścia przez wszystkie pośrednie. To ważne zarówno przy rozumieniu wykresów, jak i przy rozwiązywaniu zadań z rachunku różniczkowego.

Co dokładnie mówi ta własność pochodnej

Najkrócej: jeśli funkcja jest różniczkowalna na przedziale i w dwóch punktach tego przedziału jej pochodna ma różne wartości, to każda wartość pomiędzy nimi też musi zostać przyjęta w pewnym punkcie pośrednim. Jeśli na przykład f'(a)=-3 i f'(b)=2, to po drodze pojawią się nie tylko 0, ale też 1, -1, 1,5 i każda inna liczba z tego zakresu.

W języku bardziej formalnym mówi się, że obraz przedziału przez pochodną jest znowu przedziałem. Dla mnie to najlepszy skrót myślowy: pochodna nie tworzy luk w zbiorze swoich wartości. Niezależnie od tego, jak chaotycznie wygląda jej wykres, na poziomie wartości zachowuje spójność.

To właśnie dlatego to twierdzenie jest tak użyteczne w analizie. Nie opisuje ono „ładności” wykresu, tylko ogranicza to, co pochodna może ominąć. Żeby zobaczyć, skąd bierze się tak silny zakaz skoku, warto spojrzeć na sprawę geometrycznie.

Dlaczego pochodna nie może przeskoczyć wartości

Najprościej widzę to tak: pochodna opisuje nachylenie wykresu, więc zmiana z wartości ujemnych na dodatnie oznacza przejście od spadania do wznoszenia. Nie da się tego zrobić bez momentu, w którym nachylenie jest dokładnie zerowe albo przyjmuje inną wartość po drodze.

W klasycznym dowodzie robi się to przez prosty trik z funkcją pomocniczą. Zapisuję go tak, bo dobrze pokazuje logikę całego argumentu:

1. Wybieram liczbę m leżącą między f'(a) i f'(b).
2. Rozważam funkcję g(x)=f(x)-mx. Jej pochodna w punktach końcowych ma przeciwne znaki.
3. Na przedziale domkniętym g osiąga maksimum lub minimum.
4. To ekstremum nie może wypaść na końcu przedziału, więc wypada wewnątrz.
5. W punkcie wewnętrznego ekstremum mamy g'(c)=0, czyli f'(c)=m.

To jest sedno: jeśli na krańcach pojawiają się dwa różne poziomy nachylenia, po drodze musi wystąpić każdy poziom pośredni. Ten sam sposób myślenia wraca później w wielu twierdzeniach o wartości średniej, więc naprawdę warto go dobrze poczuć. Na takim tle najczytelniej widać konkretne przykłady i sytuacje graniczne.

Jak wyglądają przykłady, które naprawdę coś wyjaśniają

W praktyce najbardziej uczą dwa typy przykładów: funkcje, których pochodne zachowują się łagodnie, oraz funkcje, których pochodne wyglądają chaotycznie, ale nadal nie łamią tej własności. Zestawienie poniżej dobrze pokazuje różnicę.

W drugim przykładzie pochodna ma postać f'(x)=2x sin(1/x)-cos(1/x) dla x≠0, a w punkcie 0 wynosi 0. W pobliżu zera jest bardzo nieregularna i nie jest ciągła, ale nadal nie wolno jej „przeskoczyć” z jednej strony na drugą bez wartości pośrednich. To właśnie ten typ przykładu najlepiej uczy, że brak ciągłości nie oznacza jeszcze dowolności. Właśnie tu najlepiej widać, jak odróżnić tę własność od zwykłej ciągłości.

Jak to się ma do ciągłości i zwykłego twierdzenia o wartości pośredniej

Częsty błąd polega na tym, że ktoś myli własność pośrednią z ciągłością. Związek między nimi istnieje, ale nie są tym samym. Każda funkcja ciągła ma własność pośrednią, lecz odwrotnie już nie jest prawdą.

Najkrócej: ciągłość mówi o zachowaniu w punktach, a własność pośrednia o tym, czego funkcja nie może ominąć na poziomie wartości. To subtelna różnica, ale w analizie robi ogromną robotę. Gdy już ją masz, łatwiej przejść do zadań, w których trzeba coś udowodnić albo wykluczyć.

Jak używać tego w zadaniach z analizy

W zadaniach z analizy używam tego twierdzenia jak prostego narzędzia do „domykania” luk w wartościach pochodnej. Jeśli znam wartości pochodnej w dwóch punktach, a szukam konkretnej liczby pomiędzy nimi, to mogę od razu sprawdzić, czy istnieje punkt, w którym pochodna przyjmuje właśnie tę wartość.

1. Sprawdź, czy funkcja jest różniczkowalna na przedziale, na którym chcesz pracować.
2. Policz wartości pochodnej w dwóch punktach lub na dwóch końcach fragmentu.
3. Ustal, czy szukana wartość leży między nimi.
4. Zapisz wniosek wprost: istnieje punkt pośredni z taką właśnie pochodną.

To podejście działa szczególnie dobrze przy dowodach istnienia punktu krytycznego. Jeśli w jednym miejscu pochodna jest dodatnia, a w drugim ujemna, to w środku musi pojawić się zero. W praktyce oznacza to, że wykres nie przejdzie z „rosnące” do „malejące” bez chwili zatrzymania. Właśnie taki argument często rozwiązuje zadania szybciej niż długie liczenie.

Uważam też, że warto pilnować dwóch ograniczeń: po pierwsze, pracujemy na przedziale, a nie na przypadkowym zbiorze; po drugie, trzeba mieć sensownie określone punkty, w których pochodna istnieje. Gdy te warunki nie są spełnione, twierdzenie po prostu nie ma do czego się przyczepić. Na koniec zostaje kilka praktycznych reguł, które pomagają nie pomylić samej idei z jej szkolnym skrótem.

Co zapamiętać, gdy pochodna zaczyna wyglądać podejrzanie

Jeśli mam zostawić po tym temacie jedną praktyczną myśl, to jest ona bardzo prosta: pochodna może być poszarpana, ale nie może być „skokowa” w sensie wartości. To właśnie odróżnia ją od wielu funkcji, które można narysować intuicyjnie, ale które nie mają prawa być pochodnymi.

• Przeskok wartości jest dla pochodnej niedozwolony. Jeśli po dwóch stronach przedziału widzisz różne znaki, po drodze musi pojawić się zero.
• Ciągłość nie jest potrzebna. Pochodna może być nieciągła i nadal spełniać własność pośrednią.
• Najlepszy test to przedział. Jeśli nie pracujesz na spójnym przedziale, wniosek może przestać działać.
• Nie myl tego z geometrycznym twierdzeniem z geometrii różniczkowej. W analizie chodzi o pochodne i ich wartości pośrednie, a nie o lokalny normalny kształt form.

Jeżeli zapamiętasz tylko jedno zdanie, niech brzmi tak: pochodna może się bardzo źle zachowywać, ale nie wolno jej omijać wartości pośrednich. To wystarcza, żeby rozpoznać sens tego twierdzenia w zadaniach i nie pomylić go z samą ciągłością.