Источник TeX:
\angle ABD=\angle ACD, \angle BDC=\angle BAC