Cho góc vuông xOy, điểm A thuộc tia Ox, điểm B thuộc tia Oy

(h.114) Ta có CE = OD (câu a))

mà OD = DA (do D là trung điểm OA) nên CE = DA.

Xét ΔECD và ΔADC có:

CD chung

CE = DA( chứng minh trên)

∠(ECD) = ∠(CDA) = 90º

Do đó ΔECD = ΔADC (c.g.c)

⇒ ∠D1 = ∠C3 ⇒ CA // DE (hai góc so le trong bằng nhau).