Saglamayan ornek olarak y=πx
dogrusunu ele alalim. Bu dogru uzerindeki noktalarin kumesi
{(k,kπ)|k∈R}
olur.
k=0 ise
(0,0) bir kafes noktasi olur.
k≠0 oldugu durumu inceleyelim.
(k,kπ)∈Z2
olmasi icin
k,kπ∈Z
olmali. Dolayisi ile
π=kπk∈Q
olmali. Bu da celiski verir. Dolayisi ile
(0,0) disinda bir kafes noktamiz olmaz.
Bu mantikla sunu ispatlayabiliriz: Orijinden gecen
y=ax
dogrusu
(0,0) disinda bir kafes noktasi icerir ancak ve ancak
a rasyonel bir sayidir.
Irrasyonel ise yukaridaki
π yerine
a yazdigimizda sonucu elde ederiz.
Rasyonel ise
a=p/q olacak sekilde bir
(p,q) tam sayi ikilisi vardir ve dogru
(q,p) noktasindan gecer.
*
x=0 dogrusunda (ve
y=0 dogrusunda) zaten
k tam sayi olmak uzere her
(0,k) (ve
(k,0)) kafes noktasidir.