Рассмотрим треугольники ADC и CBA:
Следовательно, ΔADC = ΔCBA по первому признаку равенства треугольников (по двум сторонам и углу между ними).
Из равенства треугольников следует равенство соответствующих сторон. Значит, AB = DC.