ａ：ｂ=ｃ：ｄ　ならば式がたてられるなら問題ないよ。
それは、ad=bcと同じ意味を別の形で書いているだけだから。
まさかａ：ｂ=ｃ：ｄをa=..やb=...の形に式変形できないわけじゃないんでしょ？