Antik Yunan'ın Üç Çözülemez Problemi: Çember, Açı, Küp

Üç klasik soru

Antik Yunan'da matematik (M.Ö. ~500-300) sadece pergel ve cetvel ile geometrik yapı kurmaya odaklanırdı. Bu kısıtlamayla pek çok şey yapılabilirdi: bir doğrunun ortadan ikiye bölünmesi, açıortayın çizilmesi, beşgen veya 17-gen çizimi, vs.

Ama üç problem çözülmüyordu, ne kadar denenirse denensin:

1) Çemberin Kuadratürü (Squaring the Circle)

"Verilen bir çemberle aynı alana sahip bir kareyi pergel ve cetvelle inşa edin."

2) Küpün İki Katlanması (Doubling the Cube) — Delos Problemi

"Verilen bir küpün hacminin iki katı olan başka bir küpün kenarını inşa edin."

Bu problem efsaneye göre Delos'a dayanır: Apollo tapınağındaki kübik altar boyutunu ikiye katlamaları istendiğinde rahipler şaşırdı; problem matematikçilere yönlendirildi.

3) Açının Üçe Bölünmesi (Trisecting the Angle)

"Verilen herhangi bir açıyı pergel ve cetvelle üç eşit parçaya bölün."

İkiye bölmek kolaydır. Üçe bölmek için neden zor olsun?

2000 yıllık başarısızlık

M.Ö. 500'lerden 1800'lerin sonuna kadar matematikçiler bu üç problem üzerinde çalıştı. Pek çok yanlış "çözüm" yayımlandı, bu sözde çözümler hep eninde sonunda hatalı çıktı.

Antik Yunan matematikçileri:

• Hipokrates (M.Ö. 5. yy): Lune'lerin (yarım ay şeklinde alanların) karelendirilmesini başardı, ama tam çember için değil.
• Antifon, Bryson, Arşimet (M.Ö. 4-3. yy): Çemberi içine ve dışına çokgenler çizerek $\pi$'yi yaklaşık hesapladılar.
• Hippias (M.Ö. 5. yy): Açıyı üçe bölmek için yeni bir eğri (quadratrix) icat etti, ama pergel-cetvel dışındaydı.
• Menaechmus, Eudoxus (M.Ö. 4. yy): Küp iki katlama için konik kesitler kullandı, ama yine pergel-cetvel dışı.

Antik dönem matematikçileri zaten bu problemleri basit araçlarla çözmenin mümkün olmadığını sezmişlerdi, ama matematiksel olarak kanıtlayamadılar.

19. yüzyıl çözümleri: "imkânsız"

19. yüzyılda cebir gelişti ve aniden bu üç problemin kesin olarak çözülemez olduğu kanıtlandı. Sırasıyla:

1) Wantzel (1837): Küp iki katlama ve açı üçe bölme imkânsız

Pierre Wantzel Galois teorisinin erken bir uygulamasıyla şunu kanıtladı:

"Pergel ve cetvelle inşa edilebilen sayılar, sadece rasyonel sayılardan ardışık kare köklerle elde edilebilen sayılar'dır. Bu sayıların derecesi 2'nin kuvveti olan polinomların kökleridir."

Küp iki katlama: $x^3 = 2$, dolayısıyla $x = \sqrt[3]{2}$. Bu sayı kübik denklemin köküdür; minimum polinomu $x^3 - 2$, derecesi 3. 3 bir 2'nin kuvveti değildir, dolayısıyla $\sqrt[3]{2}$ inşa edilemez.

Açının üçe bölünmesi: 60° açıyı üçe bölmek için $\cos 20°$ hesaplanmalı. Çok açı formülü: $\cos 60° = 4\cos^3 20° - 3\cos 20°$. Bu da kübik denklem; inşa edilemez.

2) Lindemann (1882): Çemberin Kuadratürü imkânsız

Ferdinand von Lindemann çok daha derin bir sonuç kanıtladı: $\pi$ aşkın (transcendental) bir sayıdır. Yani $\pi$ hiçbir rasyonel katsayılı polinomun kökü değildir.

Çemberin kuadratürü demek $\sqrt{\pi}$'yi inşa etmek demek. Eğer inşa edilebilseydi, $\pi = (\sqrt{\pi})^2$ de inşa edilebilirdi; ama inşa edilebilen sayılar cebirsel olmalıdır (rasyonel polinom köküdür). $\pi$ aşkın olduğu için cebirsel değildir, dolayısıyla inşa edilemez.

Lindemann'ın teoremi bu üç problemin en derinini çözdü.

Niye "çoğu insan" hâlâ deniyor?

19. yüzyılın sonunda matematikçiler bu üç problemin imkânsızlığını biliyorlardı. Ama amatörler hâlâ "çözüm" denemeleri göndermeye devam etti — Bilimler Akademileri o kadar çok "kuadratör" mektubu aldı ki, resmi olarak bunları reddetmeye karar verildi.

Bugün hâlâ internette "ben çemberi kareledim!" iddiaları görülür. Genellikle yapılan hata: yaklaşık çözümle tam çözümü karıştırmak. $\pi$'yi 3.14 olarak alıp inşa yapmak elbette mümkündür; ama o tam çözüm değildir.

"İmkânsız" demek ne demek?

Bu üç problem belirli kısıtlamalarla çözülemezler. Kısıtlamalar:

• Sadece pergel (verilen iki noktada merkezli daire)
• Sadece işaretsiz cetvel (sadece doğru çizimi, ölçme yok)

Bu sınırlar kaldırılırsa problemler çözülebilir:

• Açı üçe bölme: Bir işaretli cetvel (sadece iki nokta arası uzaklık alınabilir) ile çözülebilir — Arşimet'in yöntemi.
• Küp iki katlama: Konik kesitler (Menaechmus) veya kağıt katlama (origami) ile çözülebilir.
• Çemberin kuadratürü: Modern integral hesabıyla $\pi r^2$ hesaplanabilir; ama pergel-cetvelle değil.

Modern uygulamalar ve mirasları

Klasik üç problem matematik tarihinde bir kilometre taşıdır:

1) Cebrik sayılar teorisi

Wantzel'in kanıtı Galois teorisinin ilk büyük uygulamalarından biridir. Modern soyut cebrin başlangıç noktası.

2) Aşkın sayılar teorisi

Lindemann'ın $\pi$'nin aşkınlığını kanıtlaması, sonraki yüzyıl boyunca Lindemann-Weierstrass teoremi, Gelfond-Schneider teoremi gibi büyük sonuçların başlangıcı oldu.

3) Kağıt katlama (origami) matematiği

Origami ile küp iki katlama ve açı üçe bölme mümkün'dür! Modern origami matematiği bu klasik problemleri "kağıt katlama dilinde" çözüyor.

4) Bilgisayar inşası

Modern algoritmalar dijital olarak istediğimiz doğrulukta yaklaşık çözümler verir. Tam matematiksel inşaata gerek yok.

Sezgi yerine kanıt

Bu üç problemin tarihsel mesajı şudur: "yapılamadı" demek, "yapılmıyor" demektir — kanıt gerek. Antik Yunanlılar sezgiyle zor olduğunu biliyorlardı; 19. yüzyıl matematikçileri kanıtla imkansız olduğunu gösterdi. Aradaki fark, modern matematiğin temel adımıdır.

"İmkânsızlık" bir matematiksel teoremdir; başarısızlık değildir. Bir şeyin yapılamayacağını kanıtlamak, yapılabileceğini kanıtlamak kadar değerlidir.