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