Étienne Bézout: Fransız Donanmasının Matematik Hocası ve Adı Yanlış Yere Yapışmış Cebirci

"Bézout" deyince ne aklınıza geliyor?

Eğer matematik öğrencisiyseniz: "Bézout özdeşliği" — $ax + by = \gcd(a, b)$. Eğer cebrik geometri öğrencisiyseniz: "Bézout teoremi" — iki cebrik eğri tam $nm$ noktada kesişir. Aynı adam mı bunları yapan?

Cevap şaşırtıcı: birinci teorem onun değil, ikincisi onun ama nesiller boyunca yanlış anlaşıldı. İşte unutulmuş ama her gün adı geçen bir matematikçinin hikayesi.

Erken hayat — Nemours'tan Paris'e

Étienne Bézout 31 Mart 1730'da Paris'in 80 km güneyindeki Nemours kasabasında doğdu. Babası kasabanın maire'i (belediye başkanı), ailesi orta sınıf hukuk-yönetim geleneğinden geliyordu. Etienne'in de hukuk okuması bekleniyordu.

Ama genç Étienne Euler ve Maupertuis'nin kitaplarına takıldı. 17 yaşında Paris'e kaçtı. Kendini matematiğe verdi. 1758'de Académie des Sciences'a (henüz 28 yaşında) seçildi.

Donanma matematik hocası — kazanç ve yük

1763'te kaderini değiştiren atama: Fransız Donanması'nın matematik baş eğitmeni. Bu o dönemde önemli bir devlet işiydi — denizci subaylarının teknik eğitimi devletin önceliğiydi. Sınavları o hazırlıyor, ders kitaplarını o yazıyordu.

Sonuç: Cours de mathématiques à l'usage des gardes du pavillon et de la marine (Donanma için Matematik Dersleri), 6 cilt, 1764-69. Bu kitap standart oldu — sadece Fransa'da değil, Avrupa'da. ABD'nin ilk askeri akademileri bile bu kitabı kullandı.

1768'de aynı görev kara topçuları için de verildi: yine 6 ciltlik Cours de mathématiques à l'usage du corps royal de l'artillerie (1770-72).

Bézout 12 ciltlik bir didaktik külliyat yazdı. Yaşadığı dönemde en çok satan matematik yazarıydı. Para kazandı. Ama bu kitaplar onun kendi araştırmasını ezdi — yıllarca özgün matematik yapmaya vakit bulamadı.

"Bézout özdeşliği" aslında onun değil

Bugün ders kitaplarında Bézout özdeşliği olarak geçen $ax + by = \gcd(a, b)$ teoremi:

• Öklid algoritması üzerinden yüzyıllarca biliniyordu.
• 1624'te Claude Gaspard Bachet de Méziriac kitabında açıkça yazdı.
• Bézout 1779'da polinomlara genişletme yaptı — tam sayılar için yeni bir şey söylemedi.

Yani Bézout'nun katkısı sadece polinom versiyonu. Tam sayı özdeşliği için Fransız geleneği kendisini onurlandırmak adına bu ismi yapıştırdı. İngilizce literatürde bazen "Bachet identity" diye geçer.

Tarihsel haksızlık matematik tarihinde sık. Pisagor teoremi Babilliler tarafından 1000 yıl önce biliniyordu; L'Hôpital kuralı Jean Bernoulli'nin; Pascal üçgeni Çin'de Yang Hui üçgeni. İsim hep "doğru" yere yapışmaz.

Onun gerçek büyük teoremi — Bézout teoremi (1779)

Bézout'nun kendi büyük katkısı çok daha derin: Théorie générale des équations algébriques (1779).

Bézout teoremi: Komplex projektif düzlemde, derecesi $n$ ve $m$ olan iki cebrik eğri tam $nm$ noktada kesişir (çokluk ve sonsuzdaki noktalar dahil sayılırsa).

Örnekler:

• Doğru ($n=1$) + doğru ($m=1$): genellikle 1 noktada kesişir. ($1 \cdot 1 = 1$.)
• Doğru + çember ($m=2$): 2 noktada. (Teğet olunca "çift sayılır".)
• İki konik ($n=m=2$): 4 noktada.
• Bir kübik ($n=3$) + bir konik ($m=2$): 6 noktada.

Çocukluğundan beri "iki çember 2 noktada kesişir" bildiğimiz şey, aslında bu teoremin küçük bir köşesi. Bézout, bu basit gözlemin genel halini kanıtladı.

Bézout'nun ön gördükleri

Bézout teoremi 1779'da yayımlandığında pek az anlaşıldı. Çünkü:

1. "Komplex sayı" o zaman daha tartışmalıydı.
2. "Projektif düzlem" (sonsuzdaki noktalar) henüz tam tanımlı değildi.
3. "Çokluk" (multiplicity) — bir kesim noktasının kaç kez sayılacağı — modern dilde anlatılması zor bir kavramdı.

Bu üç fikrin doğru çerçeveye oturması 100 yıl aldı. Plücker, Cayley, Riemann, Hilbert ve sonunda Grothendieck'in (1960'lar) cebrik geometri devrimi sırasında Bézout teoremi modern formunu buldu.

Bézout, gelecekteki modern cebrik geometrinin tohumunu attı, ama tohumun çiçek açmasını göremedi.

Bézout matrisi ve rezultant

Bézout teoremini kanıtlamak için rezultant denen bir araç geliştirdi. İki polinomun ortak kökü olup olmadığını anlamak için determinant hesaplaması.

Bu Bézout matrisi bugün hâlâ:

• Computer Algebra Systems'de (Mathematica, Maple) polinom kesimi hesaplamak için.
• Robotik'te (kinematik denklemler).
• Bilgisayar görüsü'nde (kamera kalibrasyonu) kullanılır.

Yani Bézout her gün, milyonlarca işlemde, sessizce çalışır.

Sonu — devrim arifesi

Bézout 27 Eylül 1783'te, Fransız Devrimi'nin patlamasından 6 yıl önce öldü. 53 yaşındaydı. Hayatı boyunca donanma matematik sınavlarına öğrenci hazırladı, ders kitabı yazdı, gerçek araştırma için zar zor vakit ayırabildi.

Devrim, çoğu öğrencisinin (gardes du pavillon — soylu denizciler) sosyal sınıfını alaşağı etti. Ders kitapları yine de kullanıldı; Napoléon'un askeri akademisi École Polytechnique (1794) Bézout'nun mirasını sürdürdü.

Mirası

• Polinom EBOB özdeşliği: "Bézout özdeşliği" — adı yanlış yere yapışmış olsa da bu da onun.
• Bézout teoremi: modern cebrik geometrinin temel taşı.
• Bézout matrisi & rezultant: simbolik hesaplamada hâlâ standart araç.
• Cours de mathématiques: 18-19. yüzyıl matematik eğitiminin omurgası.

Étienne Bézout, "akademik aristokrat" olmadan, devletin matematik hocası olarak yaşadı. Ünü, kendi yazmadığı bir teoremden geldi; gerçek dehası, çağdaşlarının anlayamadığı bir teoremde gömüldü. 250 yıl sonra: cebrik geometri öğrencileri onun adını, telaffuz edemese bile, her gün anıyor.

"Bézout teoremi" deyin, modern matematiğin en derin sezgilerinden biri konuşulur. Bu kadarı bile, bir donanma matematik hocası için, yeterli bir miras.