Bước 1: Chứng minh $ED \parallel BH_2$
Theo giả thiết, $BH_2 \perp AC$ (vì $BH_2$ là đường cao của $\triangle ABC$).
Mặt khác, $D$ là hình chiếu của $H_1$ trên $AC \Rightarrow H_1D \perp AC$.
Từ hai điều trên, ta suy ra: $BH_2 \parallel H_1D$ (cùng vuông góc với $AC$).
Xét tam giác $ABH_2$:
Vì $ED \perp AB$ và $H_1D \parallel BH_2$, theo định lý Thales hoặc tính chất đồng dạng, ta có mối quan hệ về tỉ số. Để dễ dàng liên kết với điểm $F$, ta xét tam giác $AH_1D$ và đường thẳng $EF$.
Tuy nhiên, cách đơn giản nhất là chứng minh hệ thức tỉ lệ thẳng trên các cạnh chéo. Ta có $ED \perp AB$ và góc $\angle A$ chung, điều này gợi ý việc sử dụng các tam giác đồng dạng:
$\triangle AED \sim \triangle ACH_1$ hoặc biến đổi góc.
Bước 2: Sử dụng tính chất của tam giác vuông và hình chiếu
Xét các tam giác vuông, ta có các hệ thức lượng đáng chú ý:
Trong $\triangle AH_1C$ vuông tại $H_1$, có $H_1D \perp AC \Rightarrow AH_1^2 = AD \cdot AC$.
Trong $\triangle ADH_1$ vuông tại $D$, có $DE \perp AB \Rightarrow AD^2 = AE \cdot AB$.
Tuy nhiên, hướng đi trực tiếp và đẹp nhất cho bài toán này là sử dụng định lý Thales đảo cho $\triangle ABC$ hoặc $\triangle ACH_1$ để suy ra $H_2F \parallel BC$. Muốn $H_2F \parallel BC$, theo định lý Thales trong $\triangle ABC$ (hoặc hình thang liên quan), ta cần chứng minh tỉ số:
$$\frac{AF}{AH_1} = \frac{AH_2}{AC}$$
Bước 3: Biến đổi tỉ số để tìm $\frac{AF}{AH_1}$
Vì $ED \parallel BH_2$ không hoàn toàn đúng (ED vuông góc AB, BH2 vuông góc AC, chúng không song song). Hãy cẩn thận lại đoạn này:
$BH_2 \perp AC$ và $H_1D \perp AC \Rightarrow H_1D \parallel BH_2$.
Trong $\triangle ABH_2$, vì $H_1D \parallel BH_2$ nên theo định lý Thales:
$$\frac{AD}{AH_2} = \frac{AH_1}{AB} \Rightarrow AD \cdot AB = AH_1 \cdot AH_2$$Mặt khác, xét tam giác vuông $AH_1D$ với đường cao $DE$ ($DE \perp AB$):
$$AD^2 = AE \cdot AB \Rightarrow AE = \frac{AD^2}{AB}$$Và cấu trúc tam giác vuông cũng cho ta: $AE \cdot AB = AD \cdot AF \cdot ...$ (chưa trực tiếp).
Hãy xét $\triangle ADH_1$ có $EF \perp AB$. Vì $H_1D \perp AC$, góc $\angle ADH_1 = 90^\circ$.
Trong $\triangle ADH_1$ vuông tại $D$, có $DE \perp AB$. $F$ là giao điểm của $ED$ và $AH_1$.
Ta có $ED \perp AB$, mà trong tam giác vuông $AH_1B$ (đường cao chưa có), ta biết $AH_1 \perp BC$.
Xét góc: $\angle ADF = \angle BAH_1$ (cùng phụ với $\angle A$ trong các tam giác vuông tương ứng $\triangle AED$ và $\triangle AH_1B$).
Do đó, $\triangle ADF \sim \triangle ABH_1$ (g-g) vì:
$\angle ADF = \angle ABH_1$ (cùng phụ với $\angle DAE$)
$\angle FAD = \angle H_1AB$ (góc chung)
Từ hai tam giác đồng dạng $\triangle ADF \sim \triangle ABH_1$, ta suy ra tỉ số:
$$\frac{AF}{AD} = \frac{AH_1}{AB} \Rightarrow AF \cdot AB = AD \cdot AH_1$$
$$\Rightarrow AF = \frac{AD \cdot AH_1}{AB}$$
Bước 4: Kết hợp các tỉ số để chứng minh $H_2F \parallel BC$
Bây giờ, ta lập tỉ số $\frac{AF}{AH_1}$ xem bằng gì:
$$\frac{AF}{AH_1} = \frac{AD}{AB}$$
Từ kết quả ở Bước 3 (do $H_1D \parallel BH_2$), ta đã có:
$$\frac{AD}{AH_2} = \frac{AH_1}{AB} \Rightarrow \frac{AD}{AB} = \frac{AH_2}{AC}$$
(Do $\triangle ADH_1 \sim \triangle AH_2B$)
Thay vào biểu thức của $\frac{AF}{AH_1}$, ta được:
$$\frac{AF}{AH_1} = \frac{AH_2}{AC}$$
Bước 5: Kết luận
Xét tam giác $AH_1C$:
Điểm $F$ nằm trên cạnh $AH_1$.
Điểm $H_2$ nằm trên cạnh $AC$.
Ta có tỉ sộ: $\frac{AF}{AH_1} = \frac{AH_2}{AC}$.
Theo định lý Thales đảo trong tam giác $AH_1C$, tỉ số này chứng minh rằng đoạn thẳng nối hai điểm $F$ và $H_2$ phải song song với cạnh đáy $H_1C$.
Mà $H_1C$ chính là một phần của đường thẳng $BC$ (vì $H_1 \in BC$).
$$\Rightarrow H_2F \parallel BC \text{ (Điều phải chứng minh).}$$