XÉT \(\Delta ABC\) cân tại A
=> AB = AC
lại có AH là đường cao của \(\Delta ABC\) cân => AH là phân giác
Có: AI = AB - BI ; AK = AC - CK
mà AB = AC; BI = CK
=> AI = AK
=> \(\Delta AIK\) cân tại A mà AH là phân giác
=> AH là trung trực của IK hay I đôí xứng với K qua đường thẳng AH