En muhtemel a:b=c:d
Rasyonel sayılarda eşitlik tanımı böyle yapılır. İçler dışlar çarpımı denmesinin gerekçesi de senin yazdığın açıklama.