Источник TeX:
d^2+CD^2>AD^2