Chứng minh các đường thẳng AF,DE,BC  đồng quy:

Gọi S là giao điểm của AF và BC

 ΔSAO có:AH⊥BC (gt)

OI⊥AS (tính chất đường nối tâm của 2 đtr cắt nhau)

 ⇒SI⊥OA (đường cao thứ ba trong )

Mà OA⊥DE  (câu b)

⇒S,D,I,E thẳng hàng hay đường thẳng  qua .

Vậy các đường thẳng AF,DE,BC  đồng quy