Sylvester-Gallai Teoremi: Sonsuz Sade, Sonsuz Güzel

Basit bir soru, 50 yıllık bir bekleyiş

Bir kâğıda birkaç nokta koyun. Hepsi aynı doğru üzerinde olmasın — yani en az bir tanesi diğerlerinin oluşturduğu doğrudan dışarıda olsun. Şimdi bu noktaların ikişer ikişer birleştirdiği tüm doğruları düşünün. İçinden geçtiği nokta sayısı tam olarak iki olan en az bir doğru bulabilir misiniz?

Sezgisel olarak "elbette" diyebiliriz: noktalar dağınıksa zaten çoğu doğru iki noktalıdır. Peki noktaları özenle yerleştirsek, her doğruyu en az üç noktalı yapabilir miyiz? Yani hiç iki-noktalı doğru bırakmamak mümkün mü?

1893'te İngiliz matematikçi James Joseph Sylvester bu soruyu Educational Times dergisinde sordu. Ardından 50 yıl sessizlik. Cevap 1944'te Macar matematikçi Tibor Gallai'den geldi: Hayır, mümkün değil. Mutlaka bir "sıradan doğru" — yalnızca iki noktadan geçen bir doğru — vardır.

Teoremin ifadesi

Sylvester-Gallai teoremi: Düzlemde sonlu sayıda nokta verilsin ve hepsi aynı doğru üzerinde olmasın. O zaman bu noktaların belirlediği doğrular arasında en az biri vardır ki üzerinde tam olarak iki nokta bulunur.

Bu tür doğrulara sıradan doğru (ordinary line) denir. Teorem, sıradan doğruların var olduğunu garanti eder.

Neden zor görünüyor?

Küçük örneklerle deneyin: 3 nokta üçgen oluştursun → 3 doğru, hepsi sıradan. 4 nokta kare → kenarlar ve köşegenler hep iki-noktalı; sıradan doğru bol. Karmaşıklaşmaya başladığında — örneğin 7 nokta Fano düzlemi gibi yerleştirilirse — her doğru tam 3 nokta içerir. Ama dikkat: Fano düzlemi Öklid düzleminde gerçekleşmez; sadece soyut bir geometride var olur. Sylvester'ın sorusunun derinliği tam burada: gerçek düzlemde böyle bir yapı imkânsız.

Kelly'nin zarif kanıtı (1948)

Gallai'nin ilk kanıtı karmaşıktı. Leroy Milton Kelly 1948'de iki satırlık dahiyane bir kanıt buldu. Çelişki yoluyla gidelim.

Varsayım: hiçbir sıradan doğru yok; yani her doğru en az 3 noktadan geçer.

Nokta kümesini $P$ ile, bu doğru kümesini $L$ ile gösterelim. Şimdi $(p, \ell)$ çiftlerine bakalım: $p \in P$ ve $\ell \in L$ ve $p \notin \ell$. Bu çiftlerden uzaklığı pozitif olup minimum olanı seçelim. Sonlu sayıda nokta ve doğru olduğundan böyle bir minimum vardır. Çift $(p_0, \ell_0)$ olsun; $p_0$'dan $\ell_0$'a olan dik mesafe $d > 0$ minimumdur.

Varsayıma göre $\ell_0$ üzerinde en az 3 nokta var: $a, b, c$. $p_0$'dan $\ell_0$'a inen dikme ayağı $f$ olsun. Üç noktanın en az ikisi (güvercin yuvası ilkesi) $f$'nin aynı tarafındadır — diyelim $b$ ve $c$ ($b$, $f$'ye daha yakın).

Şimdi $p_0$ ile $c$'yi birleştiren doğruyu $\ell_1$ olarak adlandıralım. $b$'den $\ell_1$'e olan uzaklık, basit bir geometri argümanıyla $d$'den küçüktür (üçgen yükseklik karşılaştırması). Böylece $(b, \ell_1)$ çifti, başlangıçtaki minimum varsayımımıza aykırı düşer.

Çelişki! Demek ki en az bir sıradan doğru olmalıdır. $\blacksquare$

Kelly'nin kanıtı geometrik minimal eleman tekniğinin en güzel örneklerinden biri sayılır; Paul Erdős "Tanrı'nın Kitabı'ndaki kanıtlardan" dediği seçkinin değişmez üyesidir.

Kaç sıradan doğru olmak zorunda?

Teorem en az bir tane garanti eder. Peki üst sınır ne kadar düşürülebilir? Dirac-Motzkin sanısı (1951): $n$ nokta için sıradan doğru sayısı en az $\lfloor n/2 \rfloor$ olmalıdır. Uzun yıllar açık kaldı; Green ve Tao 2013'te yeterince büyük $n$ için bunu kanıtladı. Bugün biliyoruz:

$\text{Sıradan doğru sayısı} \geq \frac{n}{2}$

yeterince büyük $n$ için. Küçük $n$ için de pek çok sonuç var; en küçük örnekler bazen daha az sıradan doğruya izin verir.

Genellemeler

• Karmaşık düzlemde geçerli değil! Hesse konfigürasyonu (9 nokta, 12 doğru, her doğru 3 nokta) karmaşık projektif düzlemde gerçekleşir. Yani teorem gerçek sayılara özel.
• Yüksek boyut: 3-boyutta noktalar için "sıradan düzlem" varsa benzer teoremler vardır.
• Renkli versiyon: Noktalar iki renge boyalıysa, mutlaka iki noktadan geçen ve iki rengi de barındıran bir doğru vardır (Motzkin-Rabin).
• Çift Sylvester-Gallai: "Düşey" versiyon — doğrular için noktaların rolü.

Neden önemli?

1. Kombinatoryal geometrinin başlangıcı. Bu tür "sonlu küme + insidans" soruları bütün bir alan doğurdu (Erdős-Szekeres, Szemerédi-Trotter).
2. Cebirsel geometri ile köprü. Karmaşık düzlemde geçerli olmaması, gerçek vs karmaşık geometri ayrımının önemli bir örneği.
3. Aditif kombinatorikte iz. Green-Tao'nun aritmetik ilerlemelerle ilgili çalışmaları, Sylvester-Gallai tekniklerini de geliştirdi.
4. Pedagojik güzellik. Lise öğrencisine bile anlatılabilen ifadesi, ama kanıtı gerçek bir "aha!" anı.

Sonuç

Matematikteki en güzel teoremlerden biri, çünkü:

• İfadesi 12 yaşındaki birine anlatılabilir.
• Kanıtı (Kelly) yarım sayfaya sığar.
• Sezgi yanlıştır: "elbette doğrudur" diyenler çoğunluk, ama tek doğruluk için bile bir çelişki argümanı gerekir.
• Gerçek sayılara özeldir; karmaşık dünyada bozulur.

Noktalar ve doğrular gibi sıradan nesnelerin nasıl derin yapılar gizlediğinin kanıtı.