İrrasyonel bir eğimle başlayan yörüngeler asla kapalı bir eğri çizmiyorlarsa masadaki her noktadan geçerler herhalde, diye düşünmek içimizden gelse de, yanıt maalesef hayır (neden?). Ama bu yörüngenin masa üzerindeki her bir noktaya istendiği kadar yakın geçtiklerini gösterebiliriz, Doğan Hocanın deyişiyle yörünge karede yoğun bir küme oluşturuyor. Bunun ispatı için
R2de orijinden
r irrasyonel eğimiyle yükselen
y=rx doğrusunu ele alalım. Masa ise bir kenarı
1 uzunluğunda ve sol alt köşesi orijinde bulunan bir kare olsun, yansıtmalarla bütün düzlemi bu kareyle döşeyelim.
x veya
y doğrultusunda bir masa mesafesi, yani bir tamsayı kadar uzak olan koordinatlar, masa üzerinde bir ve aynı noktayı ifade ederler:
n,m∈Z için
(a+n,b+m)≡(a,b).
Şimdi sadece sol duvarın herhangi bir noktasında (yani
n tamsayısı için
x=n doğruları) gerçekleşen iki ardışık yansıma düşünelim. Bu olaylar arasındaki masa üzerindeki mesafe
Δx=1≡0 iken
Δy=r≡r−⌊r⌋=:ϵ olur. Bu bize
x koordinatındaki her
1 adımda
y koordinatı üzerinde
ϵ büyüklüğünde bir adım atıyor olduğumuzu gösteriyor.
†
Eğer ardışıklara değil de, ilk yansıma ile
k adım sonraki yansıma arasındaki mesafeye bakarsak
Δx=k iken
Δy=kϵ olur. Burada
kϵ>1>(k−1)ϵ şartını sağlayabilen özel bir
k tamsayısını seçelim. Bu
k için ikinci eşitsizliği kullanarak
ϵ>kϵ−1≡Δy olduğundan, artık
x'teki her
k adıma karşılık
y'deki yeni adım büyüklüğünü
δ(k):=kϵ−1 olarak seçebiliriz. Şimdi
y ekseninde daha ufak adımlar atabiliyoruz, ama bunun için aynı duvardan
k kere yansıma olmasını beklemek zorundayız.
Aynı prosedürü
δ(k) ve
k′δ>1 şartı için tekrarlayarak yeni ve daha ufak bir adım büyüklüğüne ulaşabiliriz
δ′(k′)<δ(k), tabii şimdi daha çok (
k′k tane) yansıma beklemek pahasına. Acaba böylelikle
[0,1) aralığından seçilen herhangi bir değere istendiği kadar yaklaşmak mümkün mü? Prosedürün
i kere tekrarından sonra elde ettiğimiz değerleri
δ(i) dizisi olarak adlandırırsak, soruya evet cevabı vermek için
i→∞ altında bu dizinin limitinin
0 olmasını arzu ederiz.
Bunu sağlayabilmek için biraz önce
δ(k)'yı seçtiğimiz adımı biraz değiştireceğiz. Seçmiş olduğumuz ilk değere
δüst=kϵ−1 adını verelim. Daha önce üçlü eşitsizliğin soldan ikinci parçasını kullanmıştık, şimdi birinci parçasını da kullanarak görelim ki:
ϵ>1−(k−1)ϵ>0. Burada ortadaki ifadeye ise
δalt adını verelim.
Şu basit toplama işlemi bize istediğimizi verecek:
δüst+δalt=ϵ
Buradi iki
δ değeri de pozitif olduğundan (ve birbirlerine eşit olamayacaklarından!) bir tanesi
δ<ϵ/2 olmak zorundadır. Eğer her seferinde küçük olan değeri
δ(k) olarak seçersek,
ϵ2i>δ(i)i→∞→0
olduğu ve diziyi kullanarak her noktaya istendiği kadar yaklaşacağımız görülür.
İstenen
y değerine yeterince yaklaştıktan sonra, aynı adımları
x ekseninde istenen değer için de uygulayabiliriz. Artık masadan seçilen herhangi bir
(a0,b0) noktasının herhangi bir komşuluğunda bilardo topunun yörüngesine ait bir nokta bulacağımız kesindir.
† Burada
ϵ sayısının sıfırdan farklı ve irrasyonel bir sayı oluşu kritik önem taşıyor.