Verilen ifade bir dogru denklemi ve cozumu (at+b,ct+d)
cinsinden olmali ve egim geregi (ya da basitcene
x'i ya da
y'yi cekerek)
a=−11 ve c=−23
secebiliriz; yani
(−11t+b,23t+d)
olacak sekilde bir
23b+11d=4
denklemini saglayan bir
(b,d) ikilisi bulmaliyiz. Bunun icin Ters Oklit Algoritmasi var.
23 ile
11 arasinda asal oldugundan oyle
s,t∈Z vardir ki
23s+11t=1
olur (Bu
s ve
t degerleri teorik olarak var, hem de algoritmik olarak da Ters Oklit Algoritmasi ile bulunabiliyor) ve bunu
4 ile carparsak
23(4s)+11(4t)=4
olacak sekilde degerleri bulabiliriz.
Tabi elle deneyerek de bulunabilir. Ben ustteki islemlere su an girmemek icin (mantigini bilmek ve bilgisayara program olarak girmek yeterli aslinda...) sadece cevaptaki gibi
23⋅4+11⋅(−8)=4
oldugu bilgisini kullanacagim. Bu da bize dogrumuzdaki noktalarin
{(−11t+4,23t−8)|t∈R}
oldugunu verir.
Eger
x,
y tam sayi olsun istersek (yine aralarinda asallik geregi)
t∈Z olmali. Dolayisiyla bu sarti saglayan noktalarin kumesi
{(−11t+4,23t−8)|t∈Z}
olur.