Gọi N là trung điểm của CK => IN là đường trung bình của tam giác HKC
=> IN // HC
=> IN // BC
mà AH vuông góc với BC => IN vuông góc với AH
Xét tam giác AHN có:
HK vuông góc với AN
NI vuông góc với AH
HK và NI giao nhau tại I
=> I là trực tâm của tam giác AHN
=> AI vuông góc với HN.
Mà HN là đường TB của tam giác BCK
=> HN // BK.
Vậy AI ⊥ BK.