нехай авс - даний рівнобедрений трикутник і ав=вс(за означенням рівнобедреного трикутника дві його сторони рівні), тоді
трикутник авс і трикутник сва рівні за трьома сторонами
справді сторони першого трикутника відповідно дорівнюють сторонам другого
ас=са
ав=вс (за умовою)
вс=ва (за умовою)
з рівності трикутників випливає рівність їхніх кутів відповідно
зокрема кут вас першого трикутника дорівнює куту вса другого трикутника,
але це кути при основі трикутника авс, що й треба було довести