Pierre Fermat: zasada najmniejszego działania dla światła (1657-1662)

Greccy geometrzy zauważyli, że światło biegnie po najkrótszej drodze, i to zarówno wtedy, gdy porusza się prostoliniowo między dwoma punktami (np. A i C), jak i wówczas, gdy po drodze odbija się od zwierciadła, biegnąc po łamanej ABC. Najkrótszej drodze odpowiada prawo odbicia: kąt odbicia równy jest kątowi padania.

fermat-heron

Rozumowanie z rysunku znajdujemy u Herona z Aleksandrii w jego Katoptryce (czyli optyce zwierciadeł). Jeśli punkt A odbijemy symetrycznie w płaszczyźnie zwierciadła (prostopadłej do rysunku), otrzymujemy A’. Drogi A’B i AB są więc równe. Zamiast ABC możemy rozpatrywać A’BC. Dowolna łamana AXC ma taką samą długość, jak A’XC. Ponieważ każda łamana biegnąca od A’ do C jest dłuższa niż odcinek prostej, więc najkrótsza droga równa jest ABC i punkt B leży wówczas na odcinku A’C. Łatwo widać, że dla takiej drogi kąt odbicia równa się kątowi padania.

W roku 1657 Pierre Fermat, radca parlamentu (czyli sądu) w Tuluzie, otrzymał w prezencie książkę poświęconą światłu.

la_lumiere_cureau_de_la-chambre

Jej autorem był Marin Cureau de La Chambre, lekarz, do którego nastoletni Ludwik XIV, przyszły Król-Słońce miał ogromne zaufanie. Fermat, urzędnik królewski, czuł się w obowiązku zajrzeć do książki doradcy tak uczonego i ustosunkowanego na dworze (zręczność dyplomatyczną autora widać i w tym, że na karcie tytułowej jego własne nazwisko złożone jest znacznie mniejszą czcionką niż nazwisko potężnego kardynała Mazarin). Książka zawierała dowód Herona. Cureau de La Chambre zwracał też uwagę, że gdy światło się załamuje, przebywana przez nie droga już nie jest najkrótsza.

fermat0

Droga ABC jest oczywiście dłuższa niż ADC na rysunku. Fermat znał, jak wszyscy, prawo załamania (prawo Snella), opublikowane przez Kartezjusza w 1637 roku. Nie zgadzał się jednak z fizycznym wyprowadzeniem tego prawa, niezbyt wierzył chyba w te wszystkie niewidzialne cząstki rozmaitych kształtów i wielkości, które miały się ze sobą zderzać i na siebie napierać, tłumacząc absolutnie wszystko: od ruchu planet i optyki, po magnetyzm i ciężkość ciał. Jako matematyk szukał wyjaśnienia elegantszego i mniej uwikłanego w trudne do sprawdzenia przesłanki. Gdyby przyjąć, że w gęstszym ośrodku światło napotyka większy opór, to należałoby drogę w ośrodku liczyć np. podwójnie. A więc nadal można podejrzewać, że światło wybiera najłatwiejszą drogę. Należałoby jednak minimalizować nie sumę dróg, lecz pewną ich kombinację, np. AB+2BC. Gęstszemu ośrodkowi odpowiadałby większy współczynnik: wyglądało to rozsądnie, gdyż u Kartezjusza światło miało „większą siłę” w ośrodku gęstszym, co nie jest zbyt intuicyjne (ani zrozumiałe). Nie chcąc wdawać się w spory na temat natury światła, Fermat unikał mówienia o jego prędkości – bowiem zdaniem kartezjan oraz Cureau de La Chambre światło rozchodzi się momentalnie. Sporów z kartezjanami, uczniami mistrza, nie uniknął, podobnie jak dwadzieścia lat wcześniej z ojcem-założycielem tej sekty filozoficznej. Fermat znany był z wysuwania twierdzeń, których nie chciało mu się albo których nie potrafił dowieść, słynnym przykładem jest jego Wielkie Twierdzenie udowodnione pod koniec XX wieku. Także i tym razem niezbyt chętnie brał się do sprawdzenia, czy rzeczywiście światło podlega zasadzie najmniejszego działania. Miał własną metodę szukania ekstremum, dość toporną z dzisiejszego punktu widzenia, zastąpioną później przez obliczanie pochodnych. W wersji Fermata prowadziła ona do długich rachunków, ale w pierwszym dniu nowego roku 1662 zakomunikował Cureau de La Chambre, że obliczenia się udały i prowadzą do znanego prawa załamania. Niemal pięcioletnie opóźnienie między wysunięciem twierdzenia a zbadaniem jego konsekwencji tłumaczył Fermat dwiema przeszkodami: po pierwsze, nie był całkiem pewien, jak należy sformułować zasadę minimum i czy prawo Snella jest ściśle słuszne. Drugą przeszkodą była, typowa dla matematyków, niechęć do długich rachunków. W tym przypadku w grę wchodziły cztery odcinki, a więc cztery pierwiastki z sumy kwadratów współrzędnych. „Obawa, że po długich i trudnych rachunkach dojdę do jakiejś fantastycznej i nieregularnej proporcji oraz moja naturalna skłonność do lenistwa pozostawiły rzecz w tym stanie aż do ostatniego napomnienia, którego udzielił mi w pańskim imieniu pan przewodniczący de Miremont. (…) Nagroda za tę pracę okazała się zupełnie nadzwyczajna, niespodziewana i szczęśliwa. Kiedy bowiem przebrnąłem przez wszystkie równania, mnożenia, antytezy i inne operacje, jakich wymaga moja metoda (…) stwierdziłem, że moja zasada daje dokładnie tę samą proporcję załamania, jaką ustalił pan Descartes. Tak bardzo zaskoczył mnie ten niespodziewany wynik, że z trudem mogłem dojść do siebie. Wiele razy powtórzyłem różne operacje algebraiczne, otrzymując stale ten sam wynik, choć moje rozumowanie zakłada, iż przejście światła przez gęste ciała jest trudniejsze niż przez rzadkie, co uważam za prawdziwe oraz niewątpliwe, niemniej jednak pan Descartes zakłada coś przeciwnego”.

Fermat zakłada więc, że nie suma dróg s_1+s_2 musi być minimalna, lecz suma ich kombinacji liniowych s_1+ns_2, gdzie n jest współczynnikiem załamania drugiego ośrodka (względem pierwszego). Łatwo widać, że jeśli przyjmiemy za prędkość światła w drugim ośrodku wielkość v=c/n (gdzie c jest prędkością w ośrodku pierwszym), to można tę zasadę sformułować jako zasadę najkrótszego czasu:

t=\dfrac{s_1}{c}+\dfrac{s_2}{v}=\dfrac{s_1+n s_2}{c}.

Fermat dumny był z otrzymania eleganckiego wyniku, lecz kartezjanie uważali go za ciekawostkę matematyczną, a nie zasadę odnoszącą się do światła. Zasada Fermata nabrała sensu dopiero dla Christiaana Huygensa, który światło uznawał za rozchodzące się zaburzenie eteru, coś w rodzaju fali nieokresowej, jak np. fala uderzeniowa. Wiedział on już, że prędkość światła jest skończona. Huygens przedstawił też elegancki dowód, że zasada Fermata prowadzi do prawa załamania Snella. Jest on wyraźnie prostszy niż obliczenie Fermata – zwykle udaje się uprościć rozumowanie, kiedy już wiadomo, dokąd prowadzi.

fermat-a-la-huygens

Porównujemy rzeczywisty bieg promienia światła ABC z fikcyjnym AFC. Budujemy prostokąt AOHB, mamy w ten sposób pewność, że AB=OH. Na BC opuszczamy prostopadłą GF z punktu G. Z prawa załamania mamy

\dfrac{\mbox{HF}}{\mbox{BG}}=\dfrac{\sin\alpha}{\sin\beta}=n.

Zachodzą też nierówności

\mbox{AF}>\mbox{OH}+\mbox{HF}=\mbox{AB}+n\mbox{BG},

n\mbox{FC}>n\mbox{GC}.

Dodając te nierówności stronami, otrzymujemy:

\mbox{AF}+n\mbox{FC}>\mbox{AB}+n\mbox{BC}.

Zmieniając nieco nasz rysunek, możemy zrozumieć przyczynę prawa załamania dla fal. Linie AA’ oraz BH to czoła fali w pierwszym ośrodku, GF oraz CC’ to czoła fali w drugim ośrodku. W czasie potrzebnym na przejście odległości HF w pierwszym ośrodku, w drugim fala przejdzie odległość BG.

fermat-huygens2

Zatem stosunek obu odległości równy jest

\dfrac{\sin\alpha}{\sin\beta}=\dfrac{c}{v}=n.

Bezpośrednie wyjaśnienie zasady Fermata daje nam mechanika kwantowa albo falowa teoria światła: faza światła zależy od czasu. W sąsiedztwie ekstremum fazy zmieniają się bardzo powoli i rezultatem jest silna fala wypadkowa.

Warto może przytoczyć dzisiejszą wersję obliczeń Fermata. Jest ona banalna, co nie oznacza, że jesteśmy mądrzejsi od Fermata, ale że mamy lepsze techniki rachunkowe. Pojawiły się one już kilka lat później w rękopisach Isaaca Newtona, które niewielu widziało, a później w 1684 roku w pierwszej publikacji Leibniza na temat rachunku różniczkowego. Metoda Fermata przekształciła się w algorytmy, do których stosowania wcale nie potrzeba inteligencji, z powodzeniem robią to dziś programy w rodzaju WolframAlpha itp.

fermat

Wielkość, którą mamy zminimalizować, ma postać:

s(x)=\sqrt{(x-x_a)^2+y_a^2}+n\sqrt{((x-x_b)^2+y_b^2}.

Szukamy ekstremum tej funkcji, przyrównując jej pochodną do zera:

s'(x)=\dfrac{2(x-x_a)}{2\sqrt{(x-x_a)^2+y_a^2}}+n\dfrac{2(x-x_b)}{2\sqrt{((x-x_b)^2+y_b^2}}=0.

Łatwo spostrzec, patrząc na rysunek, że pierwszy składnik równy jest \sin\alpha, a drugi -n\sin\beta, skąd otrzymujemy prawo Snella.

Skomentuj

Wprowadź swoje dane lub kliknij jedną z tych ikon, aby się zalogować:

Logo WordPress.com

Komentujesz korzystając z konta WordPress.com. Log Out / Zmień )

Zdjęcie z Twittera

Komentujesz korzystając z konta Twitter. Log Out / Zmień )

Facebook photo

Komentujesz korzystając z konta Facebook. Log Out / Zmień )

Google+ photo

Komentujesz korzystając z konta Google+. Log Out / Zmień )

Connecting to %s