因为 AB^2=AD^2+BD^2, AC^2=AD^2+CD^2
所以 AB^2-AC^2 = BD^2-CD^2
所以 (AB+AC)*(AB-AC)=(BD+CD)*(BD-CD)
因为 AB+DC=AC+DB
所以 AB-AC=BD-CD
所以 (AB+AC)*(AB-AC)=(BD+CD)*(AB-AC)
所以 (AB-AC)*(AB+AC-BD-CD)=0
因为 AB>BD , AC>CD
所以 AB+AC-BD-CD>0
所以 AB-AC=0
所以 AB=AC