证明:
根据勾股定理
AB²=AD²+BD²
AC²=AD²+CD²
AB²-AC²
=BD²-CD²
=(BD+CD)(BD-CD)
=BC*[(BE+DE)-(CE-DE)]
=BC*(2*DE)
=2*BC*DE