Рассмотрим треугольники ABD и CDB:
Следовательно, треугольники ABD и CDB равны по гипотенузе и катету. Из равенства треугольников следует равенство соответствующих сторон, то есть AB = CD.
Ответ: AB=CD доказано.