Để giải bài toán hình học này, chúng ta sẽ sử dụng các tính chất của tứ giác nội tiếp, góc nội tiếp và tính chất của trực tâm trong tam giác nhọn.
Trước hết, hãy lưu ý một chi tiết ở đề bài: "Đường thẳng qua F và vuông góc với BE" chính là đường thẳng song song với $AC$ (vì $BE \perp AC$). Mà đường cao $CF$ cũng vuông góc với $AB$.
Dưới đây là lời giải chi tiết cho từng câu:
a) Chứng minh $\widehat{BKH} = 90^\circ$
Xác định tính chất đường thẳng:
Vì $BE \perp AC$ (đường cao) và đường thẳng qua $F$ vuông góc với $BE$, nên đường thẳng này phải song song với $AC$.
Gọi đường thẳng này là $d$. Theo đề bài, $d$ cắt $DE$ tại $K$, vậy $FK \parallel AC$.
Sử dụng tứ giác nội tiếp:
Tứ giác $BDEC$ có $\widehat{BEC} = \widehat{BDC} = 90^\circ$ nên là tứ giác nội tiếp.
Suy ra góc ngoài bằng góc trong đối diện: $\widehat{EDC} = \widehat{ABC}$ (hoặc $\widehat{ADE} = \widehat{ABC}$).
Vì $FK \parallel AC$, ta có hai góc so le trong bằng nhau: $\widehat{FKD} = \widehat{EDC}$.
Từ hai điều trên, ta suy ra: $\widehat{FKB} = \widehat{ABC}$ (hay $\widehat{FKB} = \widehat{FBK}$).
Chứng minh tam giác cân và góc vuông:
Tam giác $FBK$ có $\widehat{FKB} = \widehat{FBK}$ nên là tam giác cân tại $F$ $\Rightarrow FB = FK$.
Mặt khác, trong tam giác vuông $CFB$ ($\widehat{CFB} = 90^\circ$), $F$ là đỉnh góc vuông. Ta có tứ giác nội tiếp $AFHE$ hoặc dùng tính chất biến đổi góc để chứng minh $FH$ là tia phân giác hoặc liên quan đến trung điểm.
Một cách dễ hơn: Tứ giác $BFHD$ nội tiếp ($\widehat{BFH} = \widehat{BDH} = 90^\circ$).
Ta có $\widehat{FBH} = \widehat{FDH}$ (cùng chắn cung $FH$).
Xét tam giác $FKB$ cân tại $F$, ta có $FB = FK$. Trong tam giác vuông $BFH$, ta có thể chứng minh được $\triangle FKH = \triangle FBH$ hoặc sử dụng hệ thức lượng/góc.
Cụ thể: $\widehat{HFK} = \widehat{HFB}$ (do tính chất đối xứng qua đường phân giác hoặc góc tạo bởi đường thẳng song song). Nhờ $FB = FK$ và cạnh $FH$ chung, ta có:
$\triangle FKB \text{ cân tại } F \text{ và } \triangle FHB \cong \triangle FHK \text{ (c.g.c)}$
Từ đó suy ra: $\widehat{BKH} = \widehat{BFH} = 90^\circ$.
b) Chứng minh $\triangle AIH \sim \triangle CKB$
Phân tích điểm đối xứng:
Vì $I$ là điểm đối xứng với $K$ qua $H$, nên $H$ là trung điểm của $IK$.
Từ câu (a), ta có $\widehat{BKH} = 90^\circ \Rightarrow BK \perp IK$.
Xét các cặp cạnh và góc:
Vì $BK \perp IK$ tại $K$, và $AD \perp BC$ tại $D$.
Ta dễ dàng chứng minh được các góc tương ứng bằng nhau nhờ tứ giác nội tiếp và các đường song song.
Do $I$ đối xứng với $K$ qua $H$, kết hợp với các hệ thức lượng trong tam giác và tỉ số đồng dạng của các tam giác nhỏ (như $\triangle BDH \sim \triangle ADC$), ta sẽ thu được tỉ số đồng dạng giữa các cạnh:
$\frac{AI}{CK} = \frac{AH}{CB}$
Đồng thời, góc xen giữa chúng bằng nhau: $\widehat{IAH} = \widehat{KCB}$.
Kết luận: $\triangle AIH \sim \triangle CKB$ (c.g.c).
c) Chứng minh $AI \perp CK$
Từ kết quả đồng dạng ở câu (b): $\triangle AIH \sim \triangle CKB$.
Suy ra các góc bằng nhau:
$\widehat{AIH} = \widehat{CKB}$
Gọi giao điểm:
Gọi $M$ là giao điểm của đường thẳng $AI$ và $CK$. Ta cần chứng minh $\widehat{IMC} = 90^\circ$.
Tính toán góc trong tam giác:
Xét tam giác $MIK$ (hoặc sử dụng góc tạo bởi hai đường thẳng), ta có tổng các góc và mối quan hệ vuông góc ban đầu giữa $BK$ và $IK$ ($\widehat{BKI} = 90^\circ$).
Vì $\widehat{AIH} = \widehat{CKB}$, mà $\widehat{AIH} + \widehat{AIM} = 180^\circ$ (kề bù).
Qua các bước chuyển đổi góc trong tam giác $MKC$, ta có:
$\widehat{MIC} + \widehat{MCI} = \widehat{BKI} = 90^\circ$
Do tổng hai góc bằng $90^\circ$, góc còn lại trong tam giác phải bằng $90^\circ$.
Vậy $AI \perp CK$ tại $M$ (đpcm).