Step 1 — add the given angles. At B the angle ∠ABC is made of ∠ABD and ∠DBC. At C the angle ∠DCB is made of ∠DCA and ∠ACB.
∠ABC = ∠ABD + ∠DBC
∠DCB = ∠DCA + ∠ACB
Given ∠ABD = ∠DCA and ∠DBC = ∠ACB
→ ∠ABC = ∠DCB
Step 2 — find the congruent triangles. Look at ∆ABC and ∆DCB, which share the side BC:
∠ABC = ∠DCB (just proved)
BC = CB (common side)
∠ACB = ∠DBC (given)
→ ASA condition → ∆ABC ≅ ∆DCB
Step 3 — list the equal parts.
- AB = DC and AC = DB (corresponding sides)
- ∠BAC = ∠CDB (corresponding angles)
- ∠ABC = ∠DCB, and of course BC = CB
Step 4 — the crossing point. Let O be the point where AC and DB cross. In ∆OBC, ∠OBC = ∠OCB (these are the given equal angles ∠DBC and ∠ACB), so ∆OBC is isosceles and
OB = OC, and therefore OA = OD
(since AC = DB, and OA = AC − OC, OD = DB − OB)
It also follows that ∆ABD ≅ ∆DCA by SSS: AB = DC, BD = CA and AD = DA.
Why it happens: the whole figure is symmetric about the vertical line through the middle of BC. The two given equalities are exactly what forces that symmetry, and every pair listed above is a pair of parts swapped by it.