Источник TeX:
\triangle ADC = \triangle AD_1C