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