a/b=c/d
inmultesc cu b si d si rezulta
a*d=c*b
si de asemenea stim din problema ca
c*y=d*x
c=d*x/y
inlocuiesc pe c in relatia a*d=c*b (care stiu deja ca e adevarata din enuntul problemei) si rezulta
a*d=d*x*b/y
se simplifica d si ramane
a=x*b/y
inmultesc cu y si rezulta exact relatia ceruta
a*y=b*x (am stabilit ca relatia este adevarata)