由勾股定理有
AB^2 - BD^2 = AD^2 = AC^2 - CD^2
所以(AB+BD)(AB-BD)=(AC+CD)(AC-CD)
因为AB-BD=AC-CD
所以AB+BD=AC+CD
所以AB=AC