Cho tam giác ABC (AB > AC) ngoại tiếp đường tròn (I) và nội tiếp đường tròn (O). Đường tròn (I) tiếp xúc với các cạnh BC, CA, AB lần lượt tại D, E, F. Gọi H là hình chiếu vuông góc của D trên EF. Đường tròn ngoại tiếp tam giác AEF cắt đường tròn (O) tại K (K khác A)
a) Chứng minh HD là phân giác của góc BHC
b) Chứng minh ba điểm I, H, K thẳng hàng