对等式两边同时平方,得
AB^2+2AB.BD+BD^2=AC^2+2AC.CD+CD^2
又因为AB^2=AD^2+BD^2,勾股定理;同理,AC^2=AD^2+CD^2;
将这两个式子带入第一个式子,得到
AD^2+2BD^2+2AB.BD=AD^2+2CD^2+2AC.CD
合并同类项,得BD(BD+AB)=CD(CD+AC)
所以 BD=CD
也就是AB=AC
证毕
对等式两边同时平方,得
AB^2+2AB.BD+BD^2=AC^2+2AC.CD+CD^2
又因为AB^2=AD^2+BD^2,勾股定理;同理,AC^2=AD^2+CD^2;
将这两个式子带入第一个式子,得到
AD^2+2BD^2+2AB.BD=AD^2+2CD^2+2AC.CD
合并同类项,得BD(BD+AB)=CD(CD+AC)
所以 BD=CD
也就是AB=AC
证毕