直接打开算

　　a:b=c:d推出ad=bc

　　求证式：

　　a+c:a-c=b+d:b-d

　　推出(a+c)*(b-d)=(a-c)*(b+d)

　　推出ab-ad+bc-cd=ab+ad-bc-cd

　　推出2ad=2bc

　　推出ad=bc.

　　证明过程反着来做,从

　　ad=bc开始,把上面的步骤反着写出来就行了.

　　对了,还要补上分母不为0的说明