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.