Cho tam giác ABC, dựng ra phía ngoài tam giác các hình vuông ABGH và ACEF. Vẽ đường cao AK của tam giác ABC (K ∈ BC), kéo dài AK gặp HF tại I. Chứng minh rằng HI = IF. (Gợi ý: trên tia đối của tia AK lấy điểm P sao cho AP = BC. Sau đó, hãy chứng minh tứ giác HAF P là hình bình hành.