Gọi P,Q lần lượt là tiếp điểm của (O) với AB ; AC . I và N lần lượt là giao điểm của PQ với OD và OE. Chứng minh rằng : DE = 2IN
AP = AQ ( tính chất hai tiếp tuyến cắt nhau), AB = AC
=> => PQ // BC
=> mà
=> ,
O, Q là hai đỉnh liên tiếp của tứ giác IOQE
=> Tứ giác IOQE nội tiếp
Suy ra :
Lí luận tương tự:
vậy tứ giác DINE ( có và cùng nhìn DE dưới một góc vuông)
=> . Vậy ∆ ONI ~ ∆ ODE (g.g)
=>