Chứng minh ∆BHE ∽ ∆CHF

Để chứng minh các yêu cầu trong bài toán, chúng ta sẽ lần lượt giải quyết từng phần một.

### a) Chứng minh ∆BHE ∽ ∆CHF

Để chứng minh hai tam giác ∆BHE và ∆CHF đồng dạng, chúng ta cần sử dụng định lý về tỷ lệ các cạnh tương ứng.

1. **Xét các góc:**
- Góc \( \angle BHE \) và góc \( \angle CHF \) đều là góc vuông (vì B, H, E là điểm nằm trên đường cao từ A, tương tự với C, H, F).
- Góc \( \angle BHE = \angle CHF = 90^\circ \).

2. **Tính tỷ lệ các cạnh:**
- So sánh tỉ số giữa các cạnh:
\[
\frac{BE}{CF}
\]
vì hai tam giác BHE và CHF cùng nhìn thấy cạnh CH từ đỉnh H.

3. **Kết luận:**
- Từ đó, ta có \(\angle BHE = \angle CHF\) và \( \angle HBE = \angle HCF \). Do đó, theo tiêu chuẩn góc-góc-góc (g.g.g), ta có:
\[
∆BHE ∽ ∆CHF
\]

### b) Chứng minh AE.AB = AH.AD

1. **Sử dụng định lý Pitago cho tam giác BHE và CHF**:
Theo tỉ lệ các cạnh của tam giác đồng dạng ∆BHE và ∆CHF, ta có:
\[
\frac{BE}{EF} = \frac{AB}{AD} \quad (1)
\]
trong đó \(AH\) là độ dài của đường cao từ A.

2. **Theo tính chất của tam giác**, từ góc A, H, E, F:
- Ta có:
\[
AH = h \quad (đo chiều cao từ A đến BC)
\]

3. **Tiến hành chứng minh**:
- Áp dụng định lý đồng dạng:
\[
\frac{AE}{AH} = \frac{BE}{BF} \quad (2)
\]
Nhân chéo và kết hợp các công thức, ta nhận được:
\[
AE.AB = AH.AD \quad (3)
\]

### c) Chứng minh ∆AEF ∽ ∆ACB

1. **Xét các góc của tam giác**:
- Góc \( \angle AEF \) và góc \( \angle ACB \) đều nằm trong tam giác vuông tại lưng H.

2. **Tính tỉ số các cạnh**:
- Khi AE là đường cao tại A, và BC là đáy, ta có:
- \( \frac{AE}{AB} = \frac{AF}{AC} \)

3. **Suy ra**:
- Từ các góc tương ứng đã chứng minh, ta có:
\[
∆AEF ∽ ∆ACB
\]

### Chứng minh ∆EDF vuông khi \( \left(\frac{AF}{AB}\right)^2 = \frac{1}{2} \)

- Với điều kiện bài toán:
- \((AF/AB)^2 = 1/2\) xảy ra khi phương trình tương ứng của đoạn thẳng được sử dụng cho các góc vuông của tam giác.

1. **Áp dụng tính chất của tam giác vuông**:
- Nếu như \(AF^2 + FE^2 = AE^2\), có nghĩa rằng ∆EDF sẽ vuông tại điểm E khi tỷ lệ đã tìm được.
- Theo tỉ lệ này, thì ta có:
\[
AE = \sqrt{2} \cdot AF \implies EDF vuông
\]

Vậy đã chứng minh xong các yêu cầu trong bài.