Xét ∆OAD và ∆OBC ta có:
OC = OD (gt)
∠COB = ∠AOD
OA = OB (gt)
⇒ ∆OAD = ∆OBC (c.g.c)
Do đó: AD = BC
Vì AC = OC - OA ; BD = OD - OB
Nên AC = BD (∆OAD = ∆OBC)
Xét ∆ACD và ∆DBC ta có:
AD = BC
AC = BD
CD là cạnh chung
⇒ ∆ACD = ∆DBC (c.c.c)
Do đó: ∠CAD = ∠CBD