Докажите, что \( \triangle ADC \cong \triangle A_1D_1C_1 \).

Для доказательства используем критерий равенства треугольников по двум сторонам и углу между ними. Поскольку \( AB = A_1B_1 \), \( AC = A_1C_1 \), и \( \angle CAB = \angle C_1A_1B_1 \), то \( \triangle ABC \cong \triangle A_1B_1C_1 \). Поэтому \( \triangle ADC \cong \triangle A_1D_1C_1 \).