Для доказательства равенства углов ∠BAD и ∠CDA, рассмотрим треугольники ∆ABD и ∆CDA:
1. AB = CD и AC = BD по условию.
2. AD — общая сторона.
Следовательно, треугольники ∆ABD и ∆CDA равны по стороне, углу между сторонами и стороне.
Равные треугольники имеют равные соответствующие углы. Поэтому ∠BAD = ∠CDA.