作AE⊥BC,根据勾股定理
AB²=AE²+BE²
AE²=AC²-CE²
AB²=AC²-CE²+BE²
=AC²+(BE+CE)(BE-CE)
因为AC=AD,所以de=ce
所以AB²=AC²+BC×BD