Dziesiąty ksiąŜę Amberu

Niefrasobliwie
o matematyce (6)
Dziesiąty ksiąŜę Amberu
W kaŜdej nauce tyle jest prawdziwej wiedzy, ile jest w niej matematyki.
(Karl Friedrich Gauss, 1777-1855)
Oto wypowiedź godna prawdziwego Amberyty, który nie zawraca sobie głowy jakimiś
cieniami, nieprawdaŜ? …chyba, Ŝe są dostatecznie wyraziste. Gauss zajmował się fizyką
teoretyczną, geodezją i astronomią, ale jego prawdziwą miłością była królowa nauk, o której
tu niefrasobliwie rozprawiamy. Zwany był juŜ za Ŝycia księciem matematyków i podobno
„wiedział wszystko”, więc moŜe rzeczywiście był jakimś zagubionym dziedzicem Amberu?
Gauss pozostawił swój ślad właściwie w kaŜdym dziale matematyki, najbardziej podobno
jednak cenił sobie konstrukcję siedemnastokąta foremnego (tzn. takiego, który ma równe boki
i równe kąty), którą odkrył jako dziewiętnastolatek. Legenda głosi nawet, Ŝe chciał mieć
nagrobek tego kształtu. Czy jako siedemnastolatek próbował skonstruować dziewiętnastokąt
foremny, historia milczy, dowiódł jednak później, Ŝe zadanie to (jak i wiele innych) jest
niewykonalne. Tu godzi się przypomnieć, Ŝe chodzi o działania w świecie idealnym
(Amberze), a nie w cieniu Ziemi, gdzie wszystko moŜna skonstruować dowolnie dokładnie,
czyli prawie, ale to prawie decyduje o wszystkim. Istnieje np. dość prosta i bardzo dokładna
(w granicach grubości kresek), tym niemniej przybliŜona konstrukcja siedmiokąta foremnego,
którą moŜna odszukać w podręcznikach dla inŜynierów. Nie jest ona jednak matematycznie
poprawna, co oznacza, Ŝe w świecie Amberu nie istnieje. Mamy więc do czynienia z czymś,
czego Platon nie przewidział – są takie cienie, które przez nic nie są rzucane.
Cyril Northcote Parkinson (ten od prawa Parkinsona o biurokracji) lansował kiedyś
pogląd, twórczo parodiujący nasze dzisiejsze motto, Ŝe kaŜdy tekst roszczący sobie prawo do
naukowości powinien w charakterze ozdobnika zawierać jakąś formułę matematyczną,
najlepiej malowniczą i wielce skomplikowaną.*) Ośmielony tą ideologią, pozwolę sobie podać
pochodzący od Gaussa niespecjalnie malowniczy wzór, określający ilość boków (n) tych
wielokątów foremnych, które moŜna skonstruować w klasyczny sposób, czyli przy pomocy
cyrkla i linijki. Mianowicie n jest iloczynem
n = 2sp1…pm ,
gdzie s,m = 0,1,2,…, a p1,…,pm są róŜnymi liczbami pierwszymi, które na dodatek są tak
zwanymi liczbami Fermata, czyli liczbami postaci Fk = 2t + 1, gdzie t = 2k, dla k = 0,1,2,…
Konkretniej, F0 = 3, F1 = 5, F2 = 17, F3 = 257, F4 = 65537, itd. Pierre de Fermat, odkrywca
tych liczb (o którym napiszę w następnym odcinku), uwaŜał, Ŝe wszystkie one są pierwsze.
Wymienione powyŜej rzeczywiście są, lecz juŜ następna, F5 = 4294967297, jest liczbą
złoŜoną. Co więcej, nie wiemy, czy wśród liczb Fermata istnieją jeszcze jakiekolwiek inne
liczby pierwsze poza powyŜszymi. Tłumacząc to wszystko po ludzku: moŜna skonstruować
wielokąty foremne o liczbie boków 3,4,5,6,8,10,12,15,16,17,20,…, a nie moŜna o ilości
boków 7,9,11,13,14,18,19,21,… A co z liczbami F3 = 257 i F4 = 65537, naleŜącymi, jak by
nie było, równieŜ do pierwszej serii? Myślicie, Ŝe nikomu się nie chciało wykonać
odpowiednich konstrukcji? I tu się mylicie – dzieło Ŝycia pewnego pasjonata tego zagadnienia
jest przechowywane na uniwersytecie w Getyndze w kilku duŜych skrzyniach.
Andrzej Prószyński
*)
W swoim czasie znany był tzw. wzór Dudy (matematyka i ministra jednocześnie), określający wysokość
finansowania poszczególnych uczelni publicznych. Dziś pozostały po nim jedynie miłe wspomnienia.