Hizli bir cevap: Boyle bir sart yok. Simdi 46 bir rasyonel sayi degil mi?
____________
Boyle bir sart koyulmuyor. b ve d sifir olmamak uzere ab=cd
esitligi
ad−bc=0 saglandigi zaman saglanir. Rasyonel sayilar kumesi bu sekilde tanimlanir.
Tabi burada buna toplu bir kume olarak bakilir. Yani
ab ile ifade edilen tum `esitlerini' iceren kumedir. Dolayisiyla `esit' olurlar.
___________
Simdi soru su olmali: Neden
bazen bu sekilde bir ozelligi isteriz?
(1) Bu ozellikte a ve b sayilari bulabiliriz. (Bulabilirsek neden kullanmayalim).
(2) Bu ozellik ispatlarda ve islemlerde kolaylik saglar. (Bakiniz: `√2 rasyonel bir sayi degildir'in ispati).