R14Q19SB36MJJ
Zdjęcie przedstawia zakrzywioną ścianę wierzowca z wieloma oknami i metalowemi łączeniami.

I_R_W14_M28_Java Miejsca zerowe funkcji

Źródło: Chris Barbalis, domena publiczna.

Pierwszym krokiem znajdowania przybliżonej wartości danej liczby jest zapisanie jej w takiej postaci, aby występowała we ona wzorze jakiejś znanej, nieskomplikowanej funkcji.

Jeżeli, na przykład, będziemy próbować szacować wartość liczby π, możemy ją zapisać jako fπ=sinπ=0, używając funkcji f x = sin x, a gdy chcemy wyznaczyć przybliżoną wartość pierwiastka z 3, to możemy podobnie zapisać go jako g3=32-3=0. Dla wygody dalszego postępowania będziemy chcieli za każdym razem otrzymać równanie, w którym po prawej stronie będzie zero, więc w przypadku 3 musieliśmy użyć funkcji kwadratowej, przesuniętej w dół.

Naszym głównym narzędziem będzie twierdzenie Darboux.

Darboux
Twierdzenie: Darboux

Niech f będzie funkcją ciągłą, określoną na domkniętym przedziale a; b. Załóżmy, że fa≠fb. Niech m będzie mniejszą z liczb fa i fb, zaś M większą z nich. Dla każdej wartości h takiej, że m<h<M, istnieje argument c taki, że a<c<b i fc=h.

Twierdzenie to mówi, że każda funkcja ciągła, określona na przedziale domkniętym, przyjmuje wszystkie wartości pomiędzy wartościami na swoich brzegach, i taką cechę nazywamy własnością Darboux.

Dowiedzmy się teraz, jak go użyć do przybliżania wartości pewnych liczb.

Metoda bisekcji

Jak już ustaliliśmy wcześniej, będziemy próbować wyznaczać przybliżenie nieznanej liczby x 0 poprzez zapisanie jej w postaci fx0=0, gdzie f będzie pewną znaną funkcją ciągłą na przedziale domkniętym a; b. Przedział musimy dobrać tak, aby wartości funkcji na jego brzegach miały różne znaki. Niestety, jeżeli są tych samych znaków, musimy poszukać innego przedziału – czasami warto narysować najpierw wykres funkcji f, żeby wyznaczyć potrzebny przedział. Załóżmy, że mamy taki przedział, w którym znaki wartości funkcji w punktach a i b są różne. Zdefiniujmy, jak w twierdzeniu Darboux, liczbę m jako mniejszą z wartości fa i fb, a M jako większą z nich. Ponieważ wiemy, że znaki wartości fa i fb są różne, wiemy teraz, że m jest liczbą ujemną, a M liczbą dodatnią. Jeżeli jako wartość h przyjmiemy zero, widzimy, że jest to na pewno wartość pomiędzy m i M, więc używając twierdzenia Darboux zdobywamy pewność, że istnieje argument c pomiędzy a i b taki, że fc=0.

Pokazaliśmy, że na pewno istnieje rozwiązanie naszego równania fx=0 pomiędzy a i b, teraz spróbujmy przybliżyć jego wartość.

Utworzymy ciąg xn kolejnych przybliżeń wartości x0. Na początek przyjmijmy, że pierwszym naszym przybliżeniem będzie środek przedziału a; b, czyli

x1=a+b2.

Jeżeli fx1=0, to znaczy, że znaleźliśmy dokładną wartość liczby x0 i możemy zakończyć nasze poszukiwania.

Zazwyczaj jednak tak nie będzie i fx1 będzie albo dodatnie, albo ujemne. Popatrzmy teraz na znaki wartości funkcji f na brzegach, jedna jest dodatnia, druga ujemna. Tym samym w każdej sytuacji albo wartość fa jest takiego samego znaku, jak wartość fx1, a wartość fb jest innego znaku, albo na odwrót.

Możemy zatem zawęzić nasz obszar poszukiwań liczby x0 do połowy poprzedniego przedziału, wybierając jedną z połówek: a⩽x⩽x1 lub x1⩽x⩽b tak, by znaki wartości funkcji na brzegach nowego, krótszego o połowę przedziału, były różne.

Oznaczmy odpowiednio brzegi nowego przedziału przez a1 i b1, to znaczy

a1=a      jeżeli znaki wartości fa i fx1 są różnex1    w przeciwnym przypadku

oraz

b1=x1      jeżeli znaki wartości fa i fx1 są różne  b      w przeciwnym przypadku.

Możemy teraz rozpatrzyć tę samą funkcję f, co wcześniej, ale na dwukrotnie węższym przedziale, a1⩽x⩽b1.

Jesteśmy pewni, że znaki wartości funkcji na brzegach są różne, więc ponownie dzięki twierdzeniu Darboux możemy być pewni, że w tym przedziale zawiera się rozwiązanie równania fx=0.

Wybierzmy następnie drugie przybliżenie naszej wartości, x2, ponownie jako środek przedziału a1; b1.

Tę procedurę możemy kontynuować, za każdym razem skracając dwukrotnie długość przeszukiwanego przedziału, tworząc ciąg przybliżeń x1, x2, x3, … oraz ciągi lewych i prawych krańców rozpatrywanych przedziałów, a1, a2, a3, … oraz b1, b2, b3, … odpowiednio.

W ten sposób poznaliśmy metodę bisekcji (czyli połowienia) poszukiwania kolejnych przybliżeń nieznanych wartości zerowych funkcji.

Przykład 1

Użyjemy metody bisekcji do znalezienia przybliżenia liczby 13.

Rozwiązanie

Zapiszmy tę wartość jako miejsce zerowe funkcji fx=3x-1.

Wybierzmy końce rozważanego przedziału: a=0 i b=1, i sprawdźmy założenia twierdzenia Darboux:

  1. funkcja f jest ciągła na przedziale 0; 1;

  2. wartości na końcach mają różne znaki: fa=-1, fb=2.

Zatem pomiędzy 0 a 1 znajduje się poszukiwana wartość.

Pierwszym przybliżeniem będzie środek przedziału, x1=0,5.

Zauważmy, że: f0,5=0,5, więc a1=a=0; b1=x1=0,5 oraz fa1=-1, fb1=0,5.

Drugim przybliżeniem będzie środek obecnie rozważanego przedziału, czyli x2=0,25. Wartość funkcji f dla tego argumentu jest ujemna: f0,25=-0,25, więc a2=x2=0,25 i b2=b1=0,5. Sprawdźmy znaki na brzegu, fa2=-0,25, fb2=0,5.

Trzecim przybliżeniem będzie środek aktualnie wybranego przedziału, czyli liczba x3=0,25+0,52=0,375. Wartość funkcji f dla tego argumentu wynosi f0,375=0,125, czyli jest dodatnia. Zatem a3=a2=0,25 i b3=x3=0,375.

Proces moglibyśmy kontynuować, ale już po dwóch krokach z wartości pierwszego przybliżenia, równego 0,5, wyznaczonego z błędem 0,16667, otrzymaliśmy wartość trzeciego przybliżenia równą 0,375, czyli wyznaczoną z czterokrotnie mniejszym błędem 0,04167. Im więcej wykonamy kroków, tym otrzymamy lepsze przybliżenie.

R146D7BD1SC63

Proces ten możemy również obejrzeć, używając poniższego apletu.

Proces ten możemy również zaobserwować w poniższym aplecie.

Aplet przedstawia układ współrzędnych z poziomą osią X od minus jeden do trzech oraz z pionową osią Y od minus jeden do dwóch. W aplecie przedstawiono pięć przypadków.

Przypadek pierwszy:
Na płaszczyźnie linią przerywaną narysowano ukośną prostą określoną wzorem y=3x-1. Na prostej wyróżniono trzy zamalowane punkty: 0;-1 będący początkiem odcinka, 13;0 oraz 1;2 będący końcem odcinka. Na osi X zaznaczono punkty: a0, x1, oraz b0, pod układem znajdują się zapisy a0=0, fa0=−1<0, b0=1, a fb0=2>0 oraz x1=a0+b02=0.5.

W przypadku drugim na płaszczyźnie również narysowano przerywaną ukośną prostą określoną wzorem y=3x-1. Na prostej wyróżniono trzy punkty: 0;-1 będący początkiem odcinka, 13;0 oraz (0,5;0,5) będący końcem odcinka. Na osi X zaznaczono punkty: a0, x1, oraz b0, pod układem znajdują się zapisy a0=0, fa0=−1<0, b1=0.5, a fb1=0.5>0 oraz x2=a1+b12=0.25.

Przypadek trzeci:

Na płaszczyźnie narysowano przerywaną ukośną prostą określoną wzorem y=3x-1. Na prostej wyróżniono trzy punkty (0,25;-0,25) będący początkiem odcinka, (0,375;0) oraz (0,5;0,5) będący końcem odcinka. Na osi X zaznaczono punkty: a2, x3, oraz b2, pod układem znajdują się zapisy a2=0.25, fa2=−0.25<0, b2=0.5, a fb2=0.5>0 oraz x3=a2+b22=0.375.

W przypadku czwartym na płaszczyźnie narysowano przerywaną ukośną prostą określoną wzorem y=3x-1. Na prostej wyróżniono trzy punkty (0,25;-0,25) będący początkiem odcinka, (0,3125;0) oraz (0,375;0,125) będący końcem odcinka. Na osi X zaznaczono punkty: a3, x4, oraz b3, pod układem znajdują się zapisy a3=0.25, fa3=−0.25<0, b3=0.375, a fb3=0.125>0 oraz x4=a3+b32=0.3125.

W ostatnim piątym przypadku na płaszczyźnie narysowano przerywaną ukośną prostą określoną wzorem y=3x-1. Na prostej wyróżniono trzy punkty (0,3125;-0,0625) będący początkiem odcinka, (0,34375;0) oraz (0,375;0,125) będący końcem odcinka. Na osi X zaznaczono punkty: a4, x5, oraz b4, pod układem znajdują się zapisy a4=0.3125, fa4=−0.0625<0, b4=0.375, a fb4=0.125>0 oraz x5=a4+b42=0.34375.