Chứng minh tứ giác ABHI nội tiếp

Tam giác ABC nhọn, nội tiếp đường tròn tâm O, bán kính R, và AB < AC
Vẽ đường kính AD
Vẽ đường cao AH, với H \in BC
Từ B, kẻ BI \perp AD; từ C, kẻ CK \perp AD
- I, K lần lượt là giao điểm của BI, CK với AD

Chứng minh HI \parallel CD

Chứng minh \triangle IHK \sim \triangle BAC