Xét ΔABC cân tại A(gt).Mà AH là đường cao(gt)

=>AH cx là đường phân giác

=>^IAE=^KAE

Xét ΔIAE và ΔKAE có:

   AI=AK(gt)

  ^IAE=^KAE(cmt)

  AE:cạnh chung

=>ΔIAE=ΔKAE(c.g.c)

=>IE=KE                                  (1)

Xét ΔAIK có AI=AK(gt)

=> ΔAIK cân tại A

Mà AE là đường pg

=>AE cx là đường cao

=> IK⊥⊥AH                              (2)

Từ (1) và (2) suy ra:

I đối xứng với K qua AH