c)Xét
△AKN và
△AOI có
^OAI=^AKN
^ANK=^AIO=900
Suy ra △OAI∼△KAN⇒AKAN=AOAI
⇒AK.AI=AO.AN(1)
Mà AO.AN=AF2=AB.AC(2)
(1)(2)⇒AK.AI=AB.AC=const
⇒K cố định
Xét có đường tròn ngoại tiếp △ONI cũng là ngoại tiếp tứ giác OIKN, suy ra tâm đường tròn ngoại tiếp △ONI nằm trên đường trung trực của KI là dg` cố định. Từ đó ta có đpcm