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\(\perp\)AH (2)
Từ (1) và (2) suy ra:
I đối xứng với K qua AH