In the below quadrilateral ABCD, if AD = BC and ∠DAB = ∠CBA, then,
∠ABD = ∠BAC
In ΔABD and ΔBAC,
AD=BC, (Given)
∠BAD = ∠CBA, (Given)
AB=BA; (Side common to both triangles)
Hence, ΔABD≅ΔBAC (by SAS congruence condition).
Thus, ∠ABD = ∠BAC (congruent parts of congruent triangles).