En muhtemel $$a:b=c:d$$ olarak düşünürsek...İçtekiler $b$ ve $c$,dıştakiler de $a$ ve $d$olur ve $$bc=ad$$ olur.Tam olarak bu mudur? Nereden geldiğini (tarihsel sürecini) bilen var mı?
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.