Rozszerzenie tematu pola koła i konstrukcji geometrycznych. Kwadrat o polu koła (πr²) musiałby mieć bok r√π — ale π jest liczbą przestępną, więc √π nie da się skonstruować cyrklem i linijką. Ferdinand von Lindemann udowodnił przestępność π w 1882 r., rozstrzygając ten starożytny problem jako NIEMOŻLIWY.
Co się właśnie stało?
Próbowałeś „trafić" polem kwadratu w pole danego koła. Zrównanie zachodzi tylko dla jednej, jedynej wartości boku: . Możesz zbliżyć się do niej dowolnie blisko, ale nigdy nie trafisz w nią dokładnie za pomocą konstrukcji cyrklem i linijką.
Na czym polega problem?
„Kwadratura koła" to jeden z trzech wielkich nierozwiązywalnych problemów konstrukcyjnych starożytnej Grecji (obok trisekcji dowolnego kąta i podwojenia sześcianu): mając dane koło, skonstruować cyrklem i linijką kwadrat o równym polu. Koło o promieniu ma pole:
Kwadrat o takim samym polu musiałby mieć bok spełniający , czyli:
Dlaczego to niemożliwe?
Cyrklem i linijką można skonstruować tylko pewne liczby — liczby konstruowalne. To liczby uzyskiwane z jedynki przez dodawanie, odejmowanie, mnożenie, dzielenie i pierwiastki kwadratowe. Wszystkie one są algebraiczne (są pierwiastkami wielomianów o współczynnikach wymiernych). Tymczasem:
Skoro jest przestępne, to również — a więc bok szukanego kwadratu nie należy do liczb konstruowalnych. Konstrukcja jest niemożliwa.
Niezmiennik — co przesądza wynik:
Konstruowalne cyrklem i linijką są wyłącznie liczby uzyskiwane przez działania arytmetyczne i pierwiastki kwadratowe (algebraiczne określonego typu). Liczba (a więc i ) do nich nie należy, bo jest przestępna. To jedna własność liczby rozstrzyga cały, ponad dwutysiącletni problem.
Kto i kiedy to rozstrzygnął?
Przez ponad 2000 lat matematycy bezskutecznie próbowali „skwadratować koło" — samo wyrażenie stało się synonimem zadania niewykonalnego. Rozwiązanie przyszło dopiero w 1882 r., gdy Ferdinand von Lindemann udowodnił, że jest liczbą przestępną. To piękny przykład, jak głęboka teoria liczb rozstrzyga konkretny problem geometryczny — pokazując nie „jeszcze nie umiemy", lecz „udowodniono, że się nie da".
Po co Ci to na maturze:
To klasyczny kontekst dla pojęć: pole koła , liczby niewymierne i algebraiczne vs przestępne oraz rola . Zapamiętaj mechanizm: bok kwadratu o polu koła to , a jest przestępne — dlatego konstrukcja jest niewykonalna.
Zapamiętaj: kwadratura koła jest niemożliwa cyrklem i linijką, bo bok szukanego kwadratu to , a jest liczbą przestępną (Lindemann, 1882) — nie da się jej skonstruować.
Nie — konstrukcja wymagałaby boku r√π, a π jest przestępna, więc nie da się jej skonstruować.
Bo cyrklem i linijką konstruujemy tylko liczby algebraiczne określonego typu, a π (i √π) jest przestępna.
Ferdinand von Lindemann, dowodząc przestępności π w 1882 r.
Powiązane eksperymenty