AD || BC
• AB = CD
• ∠BAD = ∠CDA (a given condition ∵ ABCD is an isosceles trapezium)
The diagonals AC and BD create two ∆'s: ∆ABD, and ∆ACD
The two ∆'s are congruent (SAS).
(S): AB = CD
(A): ∠BAD = ∠CDA
(S): AD = DA (common side)
The corresponding sides of the two ∆'s, BD and AC, are also congruent.
(the two diagonals of the trapezium/trapezoid)