Orantılı olmak tanımında aynı sabit olma koşulu var. Senin yazdığın gibi tanımlarsak her şey birbiri ile orantılı olur.
Orantılı olmanın hiç bir anlamı/özelliği kalmaz.
Senin yazdığın
"a, 3 ile doğru orantılıysa a/3 ve b, 5 ile doğru orantılıysa da b/5 olarak ifade edileceği"
bir önerme değil ("ifade edebilmek" bir önerme değil). Doğru ya da yanlış denebilecek bir iddia yok, bu nedenle bir tanım olamaz.