Прямоугольные треугольники ABD и BCD равны (по двум катетам), следовательно, ∠BDA = ∠DBC — накрест лежащие углы равны ⇒ AD ║ BC.
