两个直角三角形,有：
AD*AD=AB*AB-BD*BD=AC*AC-CD*CD
化简得：（AB+BD)*(AB-BD)=(AC+CD)*(AC-CD)
∵AB-BD=AC-CD①
两边约去得
AB+BD=AC+CD②
①+②得：AB=AC是等腰三角形.