Kẻ OH⊥BC

Xét hai tam giác vuông OEB và OHB, ta có:

∠(OEB) =∠OHB=90o

Cạnh huyền OB chung

∠(EBO) =∠(HBO) ( vì BO là tia phân giác của góc ABC).

Suy ra Δ OEB = Δ OHB (cạnh huyền góc nhọn)

⇒OE = OH (hai cạnh tương ứng) (1)

Xét hai tam giác vuông OHC và ODC, ta có:

∠(OHC) =∠ODC=90o

Cạnh huyền OC chung

∠(HCO) =∠(DCO)

Suy ra Δ OHC = Δ ODC (cạnh huyền góc nhọn)

⇒OD = OH (hai cạnh tương ứng) (2)

Từ (1) và (2) suy ra: OE = OD