Источник TeX:
AD^2 = CD^2 + AC^2 - 2 \cdot CD \cdot AC \cdot \cos \angle DCA