Xét △AKN và △AOI có^OAI=^AKN^ANK=^AIO=900Suy 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ố địnhXé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
c)Xét
△AKN và
△AOI có
^OAI=^AKN^ANK=^AIO=900Suy 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ố địnhXé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