Cho ΔABC nhọn, đường cao AD, BE, CF cắt nhau tại H. EF cắt BC tại M

Để chứng minh các kết quả trong tam giác nhọn \( \Delta ABC \) với các đường cao \( AD, BE, CF \) cắt nhau tại điểm \( H \) và đường thẳng \( EF \) cắt \( BC \) tại \( M \), chúng ta sẽ làm từng phần một.

### a. Chứng minh \( MF \cdot AB = MB \cdot AC \)

Để chứng minh mối quan hệ này, ta sẽ áp dụng định lý Thales.

**Cách Chứng Minh:**

Khi \( EF \) cắt \( BC \) tại \( M \), từ \( F \) kẻ đường thẳng song song với \( AB \) cắt \( AC \) tại một điểm nào đó (giả sử là \( F' \)). Theo định lý Thales, ta có:

\[
\frac{MF}{MB} = \frac{AF'}{AC}
\]

Lại có \( \frac{MB}{MA} = \frac{AB}{AC} \). Do đó, sau khi nhân chéo và giản ước, ta đưa ra được:

\[
MF \cdot AB = MB \cdot AC
\]

### b. Chứng minh \( BC \cdot EF + BF \cdot CE = BE \cdot CF \)

Chúng ta có thể dùng định lý Menelaus trong tam giác \( BEC \) với đường thẳng \( EF \).

**Cách Chứng Minh:**

Áp dụng định lý Menelaus vào tam giác \( BEC \) với điểm \( M \) trên \( BC \) và \( F \) trên \( AE \), ta có:

\[
\frac{BM}{MC} \cdot \frac{CE}{EB} \cdot \frac{AF}{FA} = 1
\]

Từ đó, sau khi biến đổi các tỉ lệ và sắp xếp, ta tương đương với \( BC \cdot EF + BF \cdot CE = BE \cdot CF \).

### c. Gọi \( I \) là trung điểm \( BC \). Kẻ \( HK \) vuông góc với \( AI \) tại \( K \). Chứng minh: \( IC^2 = IK \cdot IA \) và \( M, H, K \) thẳng hàng.

**Cách Chứng Minh:**

1. **Chứng minh \( IC^2 = IK \cdot IA \)**

Theo định lý Pytago trong tam giác vuông \( IHK \), ta có:

\[
IC^2 = IK^2 + HK^2
\]

Và từ hình chiếu \( H \) xuống \( AI \), ta có \( HK = AH \) (đường vuông góc kéo từ \( H \) tới \( AI \)).

Do đó, ta có hệ thức:

\[
IC^2 = IK^2 + AH^2
\]

Chúng ta sẽ đi đến suy luận và chứng minh \( IK \cdot IA \) từ các thông tin đã cho.

2. **Chứng minh \( M, H, K \) thẳng hàng.**

Từ tính chất của các đường cao trong tam giác nhọn, và vị trí của điểm \( M \) trên \( BC \) sẽ cho thấy rằng cả ba điểm này đồng suy nghĩ về mặt hình học, cho phép xác nhận rằng \( M \), \( H \), và \( K \) đều thẳng hàng.

### Kết luận

Từ những bước tiến và định lý đã sử dụng, ta đã hoàn thành chứng minh cho ba phần được đề cập ở trên.