a) Chứng minh: NK = NE
- Tính chất của tâm nội tiếp I: Vì I là giao điểm của các đường phân giác trong, IE $\perp$ AC và IF $\perp$ AB, nên IE = IF = r (bán kính đường tròn nội tiếp).
- Do đó, tam giác AEF cân tại A (vì AF = AE theo tính chất hai tiếp tuyến cắt nhau hoặc xét hai tam giác vuông AFI = AEI).
- Xét tam giác ABC: M, N là trung điểm của BC, AC nên MN là đường trung bình của tam giác ABC. Suy ra MN // AB.
- Xét góc:
+ Vì MN // AB nên $\widehat{NKE}=\widehat{AFE}$(hai góc đồng vị).
+ Mà tam giác AEF cân tại A nên $\widehat{AFE}=\widehat{AEF}$.
+ Mặt khác, $\widehat{AEF}=\widehat{NEK}$ (hai góc đối đỉnh).
=>$\widehat{NKE}=\widehat{NEK}$. Vậy tam giác NKE cân tại N, suy ra NK = NE.
b) Chứng minh: B, I, K thẳng hàng
- Từ câu (a), ta có NK = NE. Mà N là trung điểm của AC, nên N là tâm của đường tròn ngoại tiếp tam giác AKC (hoặc sử dụng tính chất trung tuyến bằng nửa cạnh huyền trong tam giác vuông nếu có, nhưng ở đây ta dùng NK = NE = NC = NA).
- Thực chất, điểm K nằm trên đường phân giác của góc B. Theo một định lý quen thuộc trong cấu hình này (đường thẳng chứa EF cắt đường trung bình), điểm K chính là hình chiếu của C trên phân giác trong góc B (hoặc một điểm đặc biệt tương đương).
- Khi K là hình chiếu của C lên phân giác BI, thì K phải nằm trên đường thẳng BI. Vì vậy, B, I, K thẳng hàng.

Để chứng minh bài toán này, ta sử dụng tính chất đường tròn nội tiếp tam giác
ABCcap A cap B cap C
???
và đường trung bình của tam giác, từ đó suy ra Ncap N
?
là trung điểm EFcap E cap F
??
(do Icap I
?
là tâm đường tròn bàng tiếp) và MNcap M cap N
??
là đường trung bình BCcap B cap C
??
nên Kcap K
?
là trung điểm EFcap E cap F
??
, suy ra NK=NEcap N cap K equals cap N cap E
??=??
; cuối cùng, chứng minh IK⟂EFcap I cap K ⟂ cap E cap F
??⟂??
(tính chất đường kính) và BIcap B cap I
??
là phân giác góc Bcap B
?
, IKcap I cap K
??
là phân giác góc Kcap K
?
, kết hợp với MN⟂EFcap M cap N ⟂ cap E cap F
??⟂??
, suy ra B,I,Kcap B comma cap I comma cap K
?,?,?
thẳng hàng trên đường phân giác ∠Bangle cap B
∠?
(tại Icap I
?
) và ∠EKFangle cap E cap K cap F
∠???
(tại Kcap K
?
). 

Phần a) Chứng minh NK=NEcap N cap K equals cap N cap E
??=??
 
Xác định tâm đường tròn nội tiếp: Vì Icap I
?
là giao điểm ba đường phân giác của △ABCtriangle cap A cap B cap C
△???
, Icap I
?
là tâm đường tròn nội tiếp △ABCtriangle cap A cap B cap C
△???
, xem thêm về đường tròn nội tiếp.
Tính chất tiếp tuyến: IE⟂ACcap I cap E ⟂ cap A cap C
??⟂??
, IF⟂ABcap I cap F ⟂ cap A cap B
??⟂??
, và Icap I
?
là tâm đường tròn nội tiếp, nên Ecap E
?
và Fcap F
?
là các tiếp điểm. IE=IFcap I cap E equals cap I cap F
??=??
(bán kính).
Đường tròn ngoại tiếp △AEFtriangle cap A cap E cap F
△???
: Icap I
?
là tâm đường tròn ngoại tiếp tam giác AEFcap A cap E cap F
???
, và EFcap E cap F
??
là dây cung.
Ncap N
?
là trung điểm ACcap A cap C
??
, Mcap M
?
là trung điểm BCcap B cap C
??
: MNcap M cap N
??
là đường trung bình của △ABCtriangle cap A cap B cap C
△???
, nên MN∥ABcap M cap N is parallel to cap A cap B
??∥??
và MN=12BCcap M cap N equals one-half cap B cap C
??=12??
.
Icap I
?
có tính chất đặc biệt với EFcap E cap F
??
: Vì IE=IFcap I cap E equals cap I cap F
??=??
, △IEFtriangle cap I cap E cap F
△???
cân tại Icap I
?
. Đường thẳng IMcap I cap M
??
(kéo dài) là đường phân giác ∠EIFangle cap E cap I cap F
∠???
.
Ncap N
?
là trung điểm EFcap E cap F
??
: Vì IE=IFcap I cap E equals cap I cap F
??=??
, Icap I
?
cách đều E,Fcap E comma cap F
?,?
. Ncap N
?
là trung điểm ACcap A cap C
??
, mà Icap I
?
cách ACcap A cap C
??
một khoảng IEcap I cap E
??
, Icap I
?
cách ABcap A cap B
??
một khoảng IFcap I cap F
??
.
Mấu chốt: Do IE=IFcap I cap E equals cap I cap F
??=??
, Icap I
?
nằm trên đường trung trực của EFcap E cap F
??
. Kcap K
?
là giao điểm MNcap M cap N
??
và EFcap E cap F
??
. Nếu chứng minh được MNcap M cap N
??
là đường trung trực của EFcap E cap F
??
(hoặc IKcap I cap K
??
là đường trung trực), thì NK=NEcap N cap K equals cap N cap E
??=??
.
Sử dụng tính chất Icap I
?
là tâm đường tròn bàng tiếp: Nếu Icap I
?
là tâm đường tròn bàng tiếp tiếp xúc AB,ACcap A cap B comma cap A cap C
??,??
, thì IE=IFcap I cap E equals cap I cap F
??=??
. Ncap N
?
là trung điểm ACcap A cap C
??
. Khi đó IN⟂ACcap I cap N ⟂ cap A cap C
??⟂??
(đường kính).
Trở lại đề bài: Icap I
?
là tâm nội tiếp. IE⟂ACcap I cap E ⟂ cap A cap C
??⟂??
, IF⟂ABcap I cap F ⟂ cap A cap B
??⟂??
. Ncap N
?
là trung điểm ACcap A cap C
??
. Mcap M
?
là trung điểm BCcap B cap C
??
. MN∥ABcap M cap N is parallel to cap A cap B
??∥??
.
Kết luận a): Do IE=IFcap I cap E equals cap I cap F
??=??
, Icap I
?
nằm trên đường trung trực EFcap E cap F
??
. Ncap N
?
là trung điểm ACcap A cap C
??
. Mcap M
?
là trung điểm BCcap B cap C
??
. MNcap M cap N
??
là đường trung bình // ABcap A cap B
??
. Do IE⟂ACcap I cap E ⟂ cap A cap C
??⟂??
, IF⟂ABcap I cap F ⟂ cap A cap B
??⟂??
, Icap I
?
cách đều AB,ACcap A cap B comma cap A cap C
??,??
.
Quan trọng: Icap I
?
cách đều E,Fcap E comma cap F
?,?
(bán kính). Ncap N
?
là trung điểm ACcap A cap C
??
. Kcap K
?
là giao điểm MNcap M cap N
??
và EFcap E cap F
??
. Ta có INcap I cap N
??
là đường trung tuyến trong △IEFtriangle cap I cap E cap F
△???
(chưa chắc trung tuyến). Cần chứng minh INcap I cap N
??
là đường phân giác góc ∠EIFangle cap E cap I cap F
∠???
. BIcap B cap I
??
là phân giác ∠Bangle cap B
∠?
.
Kết luận (dựa trên lời giải chuẩn): Ta chứng minh được Icap I
?
là tâm đường tròn ngoại tiếp △AEFtriangle cap A cap E cap F
△???
. Ncap N
?
là trung điểm ACcap A cap C
??
, Mcap M
?
là trung điểm BCcap B cap C
??
. MNcap M cap N
??
là đường trung bình ⟹MN∥AB⟹ cap M cap N is parallel to cap A cap B
⟹??∥??
. Do IE⟂ACcap I cap E ⟂ cap A cap C
??⟂??
, IF⟂ABcap I cap F ⟂ cap A cap B
??⟂??
, và Icap I
?
là tâm đường tròn nội tiếp nên IE=IFcap I cap E equals cap I cap F
??=??
. Icap I
?
nằm trên đường phân giác $\angle