Cho tam giác ABC vuông tại A (AB

---

Cho tam giác ABC vuông tại A (AB<AC), đường cao AH. Trên nửa mặt phẳng bờ là đường thẳng BC có chứa điểm A, vẽ hình vuông AHKI. Gọi F là giao điểm của AC và KI. Đường thẳng qua F và song song với AB cắt đường thẳng qua B và song song với AC tại điểm E.
a) Chứng minh tứ giác ABEF là hình vuông.
b) Chứng minh ba đường thẳng AE, BF, HI đồng qui.
c) Chứng minh: HIEK. là hthang