Источник TeX:
\angle XAC=\angle BAC+\angle XAB=90^\circ