1. Рассматриваем треугольники ABD и CDB.
2. У них ∠ABD = ∠CDB = 90°, AD = BC (по условию), BD - общая сторона.
3. По двум катетам и гипотенузе (или по гипотенузе и острому углу, если рассмотреть углы при основании BD) треугольники равны. Следовательно, AB = CD. Доказано.