Chứng minh rằng

Để chứng minh DE + DF = IK, ta sẽ sử dụng định lí hình chiếu trong tam giác.

Gọi M là trung điểm của BC. Ta có:
- Đường cao AD chia tam giác ABC thành hai tam giác ABD và ACD.
- Đường cao BE chia tam giác ABC thành hai tam giác ABE và BCE.
- Đường cao CF chia tam giác ABC thành hai tam giác ACF và BCF.

Ta có các đẳng thức sau:
1. BM = CM (vì M là trung điểm của BC)
2. ∠BMD = ∠CMD = 90° (vì MD là đường cao của tam giác BCD)
3. ∠BME = ∠CME = 90° (vì ME là đường cao của tam giác BCE)
4. ∠CMF = ∠AMF = 90° (vì MF là đường cao của tam giác ACF)
5. ∠BMD = ∠BME (vì MD và ME đồng quy trên đường cao AD)
6. ∠CMD = ∠CMF (vì MD và MF đồng quy trên đường cao AD)

Từ các đẳng thức trên, ta có:
- Tam giác BMD và tam giác BME là hai tam giác cân có cạnh chung BM.
- Tam giác CMD và tam giác CMF là hai tam giác cân có cạnh chung CM.

Do đó, ta có:
- ∠BME = ∠BMD
- ∠CMF = ∠CMD

Từ đó, ta suy ra ∠BME = ∠CMF.

Vậy, ta có tam giác BME và tam giác CMF là hai tam giác đồng dạng (có hai góc bằng nhau).

Do đó, ta có tỉ số đồng dạng giữa các cạnh của hai tam giác này:
BM/CM = ME/MF

Vì BM = CM (vì M là trung điểm của BC), nên ta có:
ME/MF = 1

Từ đó, ta suy ra ME = MF.

Gọi H là trung điểm của EF. Ta có:
- I là hình chiếu của B trên EF, nên IH song song với BC và có độ dài bằng BM/2.
- K là hình chiếu của C trên EF, nên KH song song với BC và có độ dài bằng CM/2.

Vì BM = CM (vì M là trung điểm của BC), nên ta có:
IH = KH

Vậy, ta có IH = KH.

Do đó, ta có tam giác IHE và tam giác KHF là hai tam giác đồng dạng (có hai cạnh bằng nhau).

Từ đó, ta có tỉ số đồng dạng giữa các cạnh của hai tam giác này:
HE/HF = IE/KF

Vì HE = HF (vì H là trung điểm của EF), nên ta có:
IE/KF = 1

Từ đó, ta suy ra IE = KF.

Vậy, ta có IE = KF.

Từ các kết quả trên, ta có:
ME = MF và IE = KF

Do đó, ta có ME + IE = MF + KF

Từ đó, ta suy ra DE + DF = IK.

Vậy, ta đã chứng minh được rằng DE + DF = IK.