1. Рассмотрим треугольники ABC и DCB. У них есть равные углы (90°) и равные гипотенузы (AC=BD).
2. Треугольники равны по гипотенузе и острому углу (если рассмотреть угол при вершине B и C).
3. Следовательно, соответствующие стороны AB и CD равны.
Доказано.