一定成立
AE^2-BE^2
=(AD^2-DE^2)-(BD^2-DE^2)
=AD^2-BD^2
=AD^2-CD^2
=AC^2
∴一定成立