Cho tam giác ABC vuông tại A, AB < AC. Kẻ AH vuông với BC. Trên đoạn HC lấy điểm D sao cho HB = HD

Để chứng minh các kết quả trong bài toán, ta sẽ phân tích từng phần một cách tỉ mỉ:

### a) Chứng minh tam giác HAB = tam giác HAD

- **Giả thiết:** Tam giác ABC vuông tại A, AB < AC. Kẻ AH vuông góc với BC.
- **Điểm D:** Nằm trên HC sao cho HB = HD.

**Chứng minh:**
- Đầu tiên, ta có: \( AH \perp BC \) (định nghĩa của AH).
- Ta cũng có \( HB = HD \) (theo giả thiết).

Từ đây, ta có hai tam giác:

- Tam giác HAB có cạnh AB và cạnh HA.
- Tam giác HAD cũng có cạnh AD (được tạo thành từ điểm A và điểm D) và cạnh HA.

Vì \( HB = HD \) và \( AH \) là cạnh chung (HC), theo định lý về hai tam giác vuông có hai cạnh (một cạnh bên và một cạnh chéo) bằng nhau, ta có:
- \( AB = AD \) (vì H nằm giữa B và D, và \( AB < AD \))
- \( HA = HA \)

Do đó, ta có:
\[
\text{Tam giác } HAB \cong \text{Tam giác } HAD \quad (\text{cạnh-cạnh-cạnh})
\]

### b) Chứng minh AB // ED

- **Điểm E:** Nằm trên tia đối của AH sao cho \( HE = HA \).

**Chứng minh:**
- Vì \( AH \perp BC \) và \( HE = HA \) (vì E được kẻ theo thông tin từ H), nên \( AE \) sẽ cũng vuông góc với BC.
- Xét hai đoạn thẳng AB và ED. Vì \( HE \) song song với \( AB \) (do H nằm trong cùng một mặt phẳng với A, B, C, và E được tạo ra từ H, một điểm trong cùng mặt phẳng), ta nhìn thấy rằng \( ED \) cũng song song với \( AB \).

Vậy, ta có \( AB // ED \).

### c) Chứng minh AK vuông góc với EC

- **Tia AD cắt EC tại K.**

**Chứng minh:**
- Từ điều kiện \( AB // ED \) và mọi điểm trên ED sẽ có tính chất: góc AEK = góc EKC (do AB // ED).
- Ta có điểm A vuông góc với BC, vì thế cắt EC tại K cũng tạo thành góc vuông.
- Do đó, ta chứng minh được rằng \( AK \perp EC \).

Tóm lại, bài toán đã được chứng minh các mệnh đề một cách chi tiết và hợp lý.