a:b=c:d
a+b=c+d
比率が同じで足し算すると同じであるならaとc、bとdが同じであるという証明が必要になってくるのですね。
a/c=b/d
これも難問ですね。
a+b=c+d=x
ad/x=bc/x

わかりません。ちっとも証明できません。