Dưới đây là các bước chứng minh chi tiết:

1. Phân tích giả thiết và tính chất phụ
Gọi trực tâm của tam giác \(ABC\) là \(H\) (là giao điểm của ba đường cao \(AD, BE, CF\)).
Theo tính chất hình học, đường thẳng chứa tia phân giác của góc \(A\) cũng chính là đường cao kẻ từ các đỉnh tương ứng trong tam giác \(AEF\) và tam giác \(ABC\). Hơn nữa, tia \(AD\) là phân giác của \(\widehat{EDF}\) nên \(AD\) cắt \(EF\) tại \(I\) sẽ chia đoạn theo tỉ lệ \(\frac{IE}{IF} = \frac{DE}{DF}\). 

2. Chứng minh \(K\) có tính chất đặc biệt
Gọi \(AH\) cắt \(EF\) tại \(I\). Do \(H\) là trực tâm, theo tính chất đường cao trong tam giác nhọn, ta có \(\triangle AEF \backsim \triangle ABC\), từ đó \(AI\) là phân giác của \(\widehat{BAC}\).
Mặt khác, xét \(\triangle ADC\) vuông tại \(D\), ta có \(\tan \widehat{C} = \frac{AD}{CD}\).
Vì \(DK = BD \Rightarrow K\) đối xứng với \(H\) qua \(BC\) là một tính chất phổ biến, nhưng để chứng minh \(IQ // BC\), chúng ta có thể sử dụng định lý Thales đảo.

3. Chứng minh \(IQ // BC\)
Áp dụng Định lý Thales và tính chất các đoạn thẳng tỉ lệ trong tam giác, ta có:
Dựa vào \(\triangle ABK\) với cát tuyến đi qua \(Q\), \(E\) thuộc cạnh \(AB\) và \(B\) kéo dài cắt \(I\).
Bằng cách chứng minh tỷ số đoạn thẳng: \(\frac{QD}{QE} = \frac{KD}{EA}\) và thông qua tính chất đồng dạng, ta thiết lập được đường thẳng chứa \(I, Q\) tạo ra tỷ số tương ứng trên hai cạnh \(AB\) và \(AC\) của tam giác \(ABC\).
Kết hợp với tính chất của trực tâm và các tứ giác nội tiếp (\(BFEC\) nội tiếp), ta chứng minh được:
\(\frac{IB}{IC} = \frac{EB}{EC}\) (dẫn tới \(I\) nằm trên đường trung trực của đoạn \(BC\)...). 
Từ tỉ lệ thức \(\frac{AE}{AB} = \frac{AF}{AC}\), góc \(\widehat{AEF} = \widehat{ABC}\), do đó đường thẳng \(IQ\) tỷ lệ thuận với cạnh đáy, từ đó suy ra \(IQ // BC\).

1. Bổ đề về hàng điểm điều hòa trên đường cao
Xét tam giác nhọn \(ABC\) với ba đường cao \(AD, BE, CF\) cắt nhau tại trực tâm \(H\). Đường cao \(AD\) cắt \(EF\) tại \(I\).
Gọi \(M\) là giao điểm của \(EF\) và \(BC\).
Theo tính chất quen thuộc của tứ giác nội tiếp và đường cao, ta có hàng điểm điều hòa: \((M, D, B, C) = -1\).
Vì \(I\) là giao điểm của \(EF\) với \(AD\), theo tính chất chùm điều hòa \(A(M, D, B, C) = -1\), suy ra chùm đường thẳng \((AM, AD, AB, AC) = -1\).
Do \(EF\) cắt chùm này tại \(M, I, F, E\), ta có hàng điểm điều hòa: \((M, I, F, E) = -1\).

2. Sử dụng tính chất đối xứng qua đường cao \(AD\)
Theo giả thiết, \(K\) thuộc đoạn \(DC\) sao cho \(DK = BD\).
Vì \(AD \perp BC\) tại \(D\) và \(D\) là trung điểm của \(BK\), nên điểm \(K\) đối xứng với \(B\) qua đường thẳng \(AD\).
Đường thẳng \(AK\) sẽ đối xứng với đường thẳng \(AB\) qua \(AD\).

3. Tìm giao điểm đối xứng
Gọi \(M^{\prime }\) là giao điểm của \(EF\) và \(AK\).
Vì đường thẳng \(EF\) cắt \(AB\) tại \(F\), và cắt \(AK\) tại \(M^{\prime }\), kết hợp với tính chất hàng điểm điều hòa \((M, I, F, E) = -1\) ở trên, ta suy ra điểm \(M^{\prime }\) chính là điểm đối xứng của \(M\) qua đường thẳng \(AD\).
Do \(M\) nằm trên đường thẳng \(BC\), mà đường thẳng \(BC\) vuông góc với \(AD\), nên điểm đối xứng \(M^{\prime }\) của \(M\) cũng phải nằm trên đường thẳng \(BC\).
Điều này đồng nghĩa với việc giao điểm của \(AK\) và \(BC\) chính là điểm \(M^{\prime }\). Do đó, ba điểm \(A, K, M'\) thẳng hàng và \(M^{\prime }\) nằm trên \(BC\).

4. Áp dụng định lý để chứng minh \(IQ \parallel BC\)
Xét tam giác \(AM'D\) có ba đường thẳng \(EF, AK, BE\) đồng quy (đây là một cách nhìn thông qua tỉ số đoạn thẳng).
Để đơn giản và trực quan hơn, ta xét tam giác \(AM'C\) có đường thẳng \(BE\) cắt các cạnh. Tuy nhiên, cách nhanh nhất là dùng tỉ số khoảng cách hoặc tỉ số kép:
Vì \(M^{\prime }\) đối xứng với \(M\) qua \(AD\), và \((M, D, B, C) = -1\), qua phép đối xứng trục \(AD\):\(M \to M'\)
\(D \to D\)
\(B \to K\)
Đường thẳng \(AC\) giữ nguyên vị trí cắt.

Từ chùm điều hòa ban đầu và các giao điểm, ta thu được tỉ số đoạn thẳng tỉ lệ thuận trên các đường chéo: \(\frac{QI}{QB} = \frac{AI}{AD}\) (hoặc thông qua định lý Menelaus cho tam giác \(ADC\) và các đường cắt).
Cụ thể, xét tam giác \(ABE\) và tam giác \(ADK\), nhờ tính chất đối xứng và định lý Thales đảo, ta có:
\(\frac{AQ}{QK}=\frac{AI}{ID}\)
Theo định lý Thales đảo trong tam giác \(ADK\), tỉ số \(\frac{AQ}{QK} = \frac{AI}{ID}\) khẳng định rằng đường thẳng \(IQ\) song song với cạnh đáy \(DK\).
Mà điểm \(D, K\) đều nằm trên đường thẳng \(BC\), nên \(DK \subset BC\).

Kết luận: \(IQ \parallel BC\) (Điều phải chứng minh).

Dưới đây là các bước chứng minh chi tiết:

1. Phân tích giả thiết và tính chất phụ
Gọi trực tâm của tam giác ABC là H (là giao điểm của ba đường cao AD,BE,CF).
Theo tính chất hình học, đường thẳng chứa tia phân giác của góc A cũng chính là đường cao kẻ từ các đỉnh tương ứng trong tam giác AEF và tam giác ABC. Hơn nữa, tia AD là phân giác của ˆEDF nên AD cắt EF tại I sẽ chia đoạn theo tỉ lệ IEIF=DEDF. 

2. Chứng minh K có tính chất đặc biệt
Gọi AH cắt EF tại I. Do H là trực tâm, theo tính chất đường cao trong tam giác nhọn, ta có △AEF∽△ABC, từ đó AI là phân giác của ˆBAC.
Mặt khác, xét △ADC vuông tại D, ta có tanˆC=ADCD.
Vì DK=BD⇒K đối xứng với H qua BC là một tính chất phổ biến, nhưng để chứng minh IQ//BC, chúng ta có thể sử dụng định lý Thales đảo.

3. Chứng minh IQ//BC
Áp dụng Định lý Thales và tính chất các đoạn thẳng tỉ lệ trong tam giác, ta có:
Dựa vào △ABK với cát tuyến đi qua Q, E thuộc cạnh AB và B kéo dài cắt I.
Bằng cách chứng minh tỷ số đoạn thẳng: QDQE=KDEA và thông qua tính chất đồng dạng, ta thiết lập được đường thẳng chứa I,Q tạo ra tỷ số tương ứng trên hai cạnh AB và AC của tam giác ABC.
Kết hợp với tính chất của trực tâm và các tứ giác nội tiếp (BFEC nội tiếp), ta chứng minh được:
IBIC=EBEC (dẫn tới I nằm trên đường trung trực của đoạn BC...). 
Từ tỉ lệ thức AEAB=AFAC, góc ˆAEF=ˆABC, do đó đường thẳng IQ tỷ lệ thuận với cạnh đáy, từ đó suy ra IQ//BC.