Проведя отрезок BC, получим равнобедренную трапецию.
1. CD=BA по условию.
2. Сторона AD у треугольников ABD и DCA общая.
3. ∠ADC=∠DAB как углы при основании равнобедренной трапеции.
Следовательно, треугольники ACD и DBA равны (по двум сторонам и углу между ними).