Источник TeX:

AE=\sqrt{AD^2 - ED^2}