Для доказательства равенства треугольников ABD и DCA по теореме:

Рассмотрим равенство сторон AB и CD: AB = CD (дано).

Также из условия задачи мы знаем, что угол BAD равен углу CDA, так как AD - прямая (углы BAD и CAD смежные и равны).

Следовательно, по стороне-углу-стороне (СУС) треугольники равны ABD ≅ DCA.