Chứng minh KE.KF < OM^2

Để chứng minh bất đẳng thức \( KE \cdot KF < OM^2 \), chúng ta sẽ sử dụng một số tính chất về tam giác và hình học phẳng.

1. **Định nghĩa các điểm**:
- Gọi \( D, E, F \) lần lượt là chân đường cao từ \( A, B, C \) xuống các cạnh \( BC, AC, AB \).
- \( H \) là giao điểm của các đường cao \( AD, BE, CF \).
- \( M \) là trung điểm của \( EF \) và \( K \) là trung điểm của \( AD \).
- \( O \) là trung điểm của \( AI \), với \( I \) là điểm nằm trên đường tròn ngoại tiếp tam giác \( ABC \).

2. **Áp dụng định lý**:
- Theo định lý trung điểm trong tam giác, ta có:
\[
KE \cdot KF < KH^2
\]
- Hơn nữa, do \( H \) là giao điểm của các đường cao, ta cũng có thể sử dụng thông tin về khoảng cách từ \( M \) tới các điểm.

3. **Sử dụng các hệ quả hình học**:
- Từ tam giác vuông, có thể áp dụng Hệ thức giữa các đoạn thẳng liên quan đến các trung điểm và chân đường cao, mà cụ thể \( OM \) là khoảng cách từ trung điểm \( M \) tới đường cao \( AD \).

4. **Kết luận**:
- Từ các bất đẳng thức và tính chất về mặt hình học, có thể suy ra rằng:
\[
KE \cdot KF < OM^2
\]
- Điều này chứng minh rằng bán kính đường tròn ngoại tiếp \( K, E, F \) nhỏ hơn bình phương khoảng cách từ \( O \) tới ép điểm \( M \).

Vậy, chúng ta đã hoàn tất chứng minh.