Matematik tarihi boyunca bilim insanları, karşılarına çıkan denklemleri çözmek için genel formüller üretmeye her zaman meraklı olmuşlardır. Birinci dereceden bir denklemi (\(ax + b = 0\)) çözmek çocuk oyuncağıydı. İkinci dereceye geçtiğimizde (\(ax^2 + bx + c = 0\)) yardımımıza hepimizin liseden ezbere bildiği diskriminant ve kök formülü yetişti. Dereceler büyüdükçe işler karmaşıklaştı; ama İtalyan matematikçiler Rönesans döneminde kübik (3.) ve kuartik (4.) denklemler için de köklerden oluşan genel çözüm formülleri bulmayı başardılar.
Sırada kaçınılmaz bir soru vardı: Peki ya 5. derece?
Derecelerin Kısa Tarihi
Konuyu somutlaştırmak için tabloya bir göz atalım:
| Derece | Örnek | Genel Radikal Formülü |
|---|---|---|
| 1. derece | \(ax + b = 0\) | Var |
| 2. derece | \(ax^2 + bx + c = 0\) | Var — diskriminant formülü |
| 3. derece | \(ax^3 + \cdots = 0\) | Var — Cardano formülü (1545) |
| 4. derece | \(ax^4 + \cdots = 0\) | Var — Ferrari formülü (1540'lar) |
| 5. derece | \(at^5 + bt^4 + \cdots = 0\) | Yok — imkânsız |
| 6+. derece | — | Yok — imkânsız |
3. ve 4. derece için formüller 16. yüzyılda İtalya'da, Cardano ve öğrencisi Ferrari tarafından bulunmuştu. Herkes, 5. derece formülünün de yakında bir köşede beklediğini düşünüyordu. Oysa bu formül hiçbir köşede yoktu — çünkü var olamazdı.
Sahneye Çıkan Genç: Niels Henrik Abel
1800'lerin başında Norveç'in yoksul bir kasabasında büyüyen Niels Henrik Abel, henüz lise çağlarında olağanüstü bir matematiksel yeteneğin işaretlerini veriyordu. O dönemde yüzyıllardır yanıtsız kalan soru hâlâ ortadaydı: 5. dereceden polinom denklemlerini katsayılardan hareketle radikal (kök içeren) işlemlerle ifade eden genel bir formül var mıydı?
Abel önce — tıpkı kendisinden önce pek çok matematikçi gibi — böyle bir formülü bulduğunu sandı. Daha sonra kendi hatasını fark etti. Ve tam da bu noktada çoğu insanın yapamayacağı bir şeyi yaptı: Soruyu bambaşka bir yönden sormaya başladı.
"Bu formülü nasıl buluruz?" sorusu yerine "Böyle bir formülün var olması matematiksel olarak mümkün müdür?" sorusunu sordu.
Cevap: Hayır. Ve Abel bunu kanıtladı.
Abel-Ruffini Teoremi: "Yok" Demenin Kanıtı
Abel, 1824 yılında kendi bastırıp dağıttığı ince bir broşürde bu sonucu ilk kez yayımladı. Bir yıl sonra, 1826'da ise çalışmasını Avrupa'nın önde gelen matematik dergisi Crelle's Journal'da daha kapsamlı biçimde ortaya koydu. Bugün Abel-Ruffini Teoremi olarak bilinen bu sonuç şunu söyler:
5. ve daha yüksek dereceli genel polinom denklemlerinin, katsayılar cinsinden yalnızca toplama, çıkarma, çarpma, bölme ve kök alma (radikal) işlemleriyle yazılabilecek genel bir çözüm formülü yoktur.
Burada kritik bir ayrımın altını çizmek gerekir. Abel'in teoremi, bu denklemlerin çözümsüz olduğunu söylemez. Örneğin \(t^5 - 2 = 0\) denkleminin bir reel kökü vardır: \(t = \sqrt[5]{2}\). Peki \(t^5 - t - 1 = 0\)? Bunun da sayısal yöntemlerle bulunabilecek kökleri mevcuttur.
Abel'in kanıtladığı şey çok daha derin ve kısıtlayıcıdır: Herhangi bir \(a, b, c, d, e, f\) katsayısı için geçerli olan, yani tüm 5. derece denklemleri kapsayan bir formül — tıpkı ikinci derece için \(\frac{-b \pm \sqrt{b^2 - 4ac}}{2a}\) gibi — yazmak prensip olarak mümkün değildir.
Neden İmkânsız? Sezgisel Bir Bakış
Tam kanıt, bugün grup teorisi ve Galois teorisi adıyla andığımız modern cebirsel yapıları gerektirir. Sezgisel olarak şöyle düşünebiliriz:
Radikal ifadeler, belirli simetri özelliklerine sahip denklemlerde işe yarar. 2., 3. ve 4. derece denklemlerin kökleri arasındaki simetri grupları, bu formüllere "izin verecek" kadar düzenlidir. Ancak 5. dereceden itibaren bu simetri yapısı temelden değişir; kök permütasyonlarından oluşan grup \(S_5\), radikal çözümlerin var olabilmesi için gerekli olan "çözünür grup" koşulunu sağlamaz.
Bu anlayışı derinleştiren ve bugün Galois Teorisi olarak bilinen kapsamlı çerçeveyi biraz sonra trajik bir hayat sürecek olan Évariste Galois inşa edecekti — ama bu ayrı bir hikâye.
Abel'in Hayatı: Parlak Zihir, Kırık Kader
Abel'in Paris'teyken Fransız Akademisi'ne sunduğu makalesinin başına gelenler de ibretliktir: Çalışma, Cauchy'nin elinden geçmiş; ancak kaybolmuş ya da incelenmeden bir kenara bırakılmıştır. Büyük matematikçilerden tanınma beklerken bunun yerine sessizlikle karşılaştı.
Yine de şunu belirtmek gerekir: Abel'in çalışmalarının göz ardı edildiği iddiası kısmen efsaneleşmiştir. Crelle, Abel'i büyük bir içtenlikle destekledi; çalışmalar yayımlandı ve Avrupa matematikçilerinin bir bölümü tarafından fark edildi. Tanınma gecikmeli geldi — ama gelmedi değil. Trajedi, tanınmanın Abel'in ölümünden sonra tamamlanmış olmasıdır.
Mirası: Bir İsim, Bir Ödül, Bir Kavram
Abel bugün matematik dünyasında birçok farklı biçimde yaşıyor:
- Abel Ödülü — Norveç Bilimler Akademisi tarafından 2003'ten itibaren her yıl verilen bu ödül, matematikteki Nobel boşluğunu dolduran en prestijli uluslararası ödüllerden biridir.
- Abelyen Gruplar — Elemanlarının sırası fark etmeyen (değişmeli) gruplara matematikçiler "Abelyen" der. \(a \cdot b = b \cdot a\) koşulunu sağlayan her grup, onun adını taşır.
- Abel İntegralleri ve Abel Denklemi — Analizde ve diferansiyel denklemlerde kendi adını taşıyan yapılar bıraktı.
- Modern Cebirin Temelinde — Grup teorisinin kapısını aralayan çalışmaları, 19. yüzyılda Galois'nın elinde tam bir teoriye dönüştü ve bugün modern cebirin bel kemiğini oluşturuyor.
Sonuç: "Yok" Demek de Bir Cevaptır
Abel'in hikâyesi, matematikte ilerlemenin yalnızca yeni şeyler bulmaktan ibaret olmadığını gösteren en çarpıcı örneklerden biridir. Bazen neyin imkânsız olduğunu kanıtlamak, yeni bir kapı aralamaktan daha zordur — ve daha dönüştürücüdür.
Yüzyıllar boyunca pek çok matematikçi "5. derece formülünü nasıl buluruz?" diye çırpındı. Abel soruyu tersine çevirdi ve cebirsek evrenin sınırlarını çizdi. Bu sınır bugün hâlâ geçerlidir; ve bu sınırı 26 yıllık kısa bir ömürde, yoksulluk ve tanınmazlık içinde ortaya koyan genç Norveçlinin adı, her ne kadar geç de olsa, matematiğin en parlak sayfalarına kazınmıştır.