Треугольник ABC - равнобедренный, \( AC = BC \).
\( AB_1 = BA_1 \) (точки \( A_1 \) и \( B_1 \) на основании AB).
\( △ AB_1C = △ BA_1C \)
Рассмотрим треугольники \( △ AB_1C \) и \( △ BA_1C \).
По двум сторонам и углу между ними (II признак равенства треугольников), \( △ AB_1C = △ BA_1C \).
Доказано.