Для доказательства равенства отрезков BC и AD рассмотрим треугольники ΔABC и ΔCDA.
Следовательно, треугольники ΔABC и ΔCDA равны по первому признаку равенства треугольников (по двум сторонам и углу между ними): ΔABC = ΔCDA.
Из равенства треугольников следует равенство соответствующих сторон, то есть BC = AD, что и требовалось доказать.