Чтобы доказать, что AB = CD, рассмотрим треугольники ADC и CBA:
Следовательно, треугольники ADC и CBA равны по первому признаку равенства треугольников (по двум сторонам и углу между ними). Из равенства треугольников следует равенство соответствующих сторон, то есть AB = CD.
Таким образом, AB = CD, что и требовалось доказать.