) Chứng minh IC/IA = IF/IB 
Chúng ta sẽ sử dụng định lý Thales trong các tam giác liên quan đến đường thẳng BF: 
Xét tam giác IAB và đường thẳng IFC (cắt bởi tia Cx song song với AB):Vì Cx∥ABcap C x is parallel to cap A cap B
??∥??
, ta có FC∥ABcap F cap C is parallel to cap A cap B
??∥??
.
Áp dụng định lý Thales cho tam giác IAB với đường thẳng cắt là IF:
ICIA=IFIBthe fraction with numerator cap I cap C and denominator cap I cap A end-fraction equals the fraction with numerator cap I cap F and denominator cap I cap B end-fraction
????=????
(theo định lý Thales) 

b) Chứng minh ID/IC = IF/IB 
Chúng ta sẽ sử dụng các tính chất khác của bài toán: 
Xác định vị trí của D và F:Vì EF∥BCcap E cap F is parallel to cap B cap C
??∥??
và E là trung điểm AB, theo định lý Thales đảo (hoặc tính chất đường trung bình), D là trung điểm của AC.
Xét tứ giác EBCF: EB∥FCcap E cap B is parallel to cap F cap C
??∥??
(vì AB∥Cxcap A cap B is parallel to cap C x
??∥??
) và EF∥BCcap E cap F is parallel to cap B cap C
??∥??
. Do đó, EBCF là hình bình hành. Suy ra EB=FCcap E cap B equals cap F cap C
??=??
.
Vì E là trung điểm AB, EB=AEcap E cap B equals cap A cap E
??=??
. Vậy AE=FCcap A cap E equals cap F cap C
??=??
.

Sử dụng định lý Thales cho các đoạn thẳng khác:Xét tam giác IFC và đường thẳng IDA (cắt bởi đường thẳng EF song song với BC, mà EF∥BCcap E cap F is parallel to cap B cap C
??∥??
không liên quan trực tiếp đến BF).
Xét tam giác ABF và đường thẳng DE (không liên quan trực tiếp).
Ta sử dụng định lý Thales trong tam giác AFB với đường thẳng cắt là ED (vì ED∥BCcap E cap D is parallel to cap B cap C
??∥??
không giúp ích).
Quay lại định nghĩa D là trung điểm AC, AD=DCcap A cap D equals cap D cap C
??=??
.
Quay lại định nghĩa E là trung điểm AB, AE=EBcap A cap E equals cap E cap B
??=??
.
Vì EBCF là hình bình hành, EF=BCcap E cap F equals cap B cap C
??=??
.
Xét tam giác IBC và đường thẳng IDF (không liên quan).
Xét tam giác IAD và đường thẳng ICF (không liên quan).
Xét tam giác FCI và đường thẳng ABI (đã dùng ở phần a).

Sử dụng tính chất D là trung điểm AC:Vì D là trung điểm AC, AC=2⋅DCcap A cap C equals 2 center dot cap D cap C
??=2⋅??
.
Từ phần a), ta có ICIA=IFIBthe fraction with numerator cap I cap C and denominator cap I cap A end-fraction equals the fraction with numerator cap I cap F and denominator cap I cap B end-fraction
????=????
.
Ta cần một mối liên hệ giữa IC, ID, IA. Ta biết IA=IC+CA=IC+2⋅DCcap I cap A equals cap I cap C plus cap C cap A equals cap I cap C plus 2 center dot cap D cap C
??=??+??=??+2⋅??
.
Hoặc IA=IC+ACcap I cap A equals cap I cap C plus cap A cap C
??=??+??
.
Hoặc IC=IA−ACcap I cap C equals cap I cap A minus cap A cap C
??=??−??
.
Ta biết ID=IC−DCcap I cap D equals cap I cap C minus cap D cap C
??=??−??
.
Ta cần chứng minh IDIC=IFIBthe fraction with numerator cap I cap D and denominator cap I cap C end-fraction equals the fraction with numerator cap I cap F and denominator cap I cap B end-fraction
????=????
.
Vì ICIA=IFIBthe fraction with numerator cap I cap C and denominator cap I cap A end-fraction equals the fraction with numerator cap I cap F and denominator cap I cap B end-fraction
????=????
, ta chỉ cần chứng minh IDIC=ICIAthe fraction with numerator cap I cap D and denominator cap I cap C end-fraction equals the fraction with numerator cap I cap C and denominator cap I cap A end-fraction
????=????
(điều này dẫn đến phần c).
Tức là ta cần chứng minh IC2=IA⋅IDcap I cap C squared equals cap I cap A center dot cap I cap D
??2=??⋅??
.

Chứng minh ID/IC = IF/IB trực tiếp:Sử dụng định lý Menelaus cho tam giác ADC và đường thẳng FIB (không đúng).
Sử dụng định lý Thales trong tam giác liên quan đến D:
Xét tam giác FAB và đường thẳng ED. Ta biết AE=EBcap A cap E equals cap E cap B
??=??
và ED∥FBcap E cap D is parallel to cap F cap B
??∥??
(vì EF∥BCcap E cap F is parallel to cap B cap C
??∥??
, mà BC∥DFcap B cap C is parallel to cap D cap F
??∥??
không đúng, FBcap F cap B
??
không song song ED).
Xét tam giác ABF: E là trung điểm AB. Đường thẳng EF cắt AC tại D. EF∥BCcap E cap F is parallel to cap B cap C
??∥??
không giúp ích.
Chúng ta có AE=FCcap A cap E equals cap F cap C
??=??
.
Xét tam giác ABI và đường thẳng cắt là F: đã dùng.
Xét tam giác FCI và đường thẳng cắt là ABI: đã dùng.
Ta cần sử dụng thông tin AE=FCcap A cap E equals cap F cap C
??=??
.
Xét tam giác AIB và tam giác FIC: Chúng đồng dạng (g-g) vì ∠AIB=∠FICangle cap A cap I cap B equals angle cap F cap I cap C
∠???=∠???
(đối đỉnh) và ∠IAB=∠IFCangle cap I cap A cap B equals angle cap I cap F cap C
∠???=∠???
(so le trong do AB∥FCcap A cap B is parallel to cap F cap C
??∥??
).
Tỉ số đồng dạng: IAIF=IBIC=ABFCthe fraction with numerator cap I cap A and denominator cap I cap F end-fraction equals the fraction with numerator cap I cap B and denominator cap I cap C end-fraction equals the fraction with numerator cap A cap B and denominator cap F cap C end-fraction
????=????=????
.
Từ IBIC=ABFCthe fraction with numerator cap I cap B and denominator cap I cap C end-fraction equals the fraction with numerator cap A cap B and denominator cap F cap C end-fraction
????=????
, và FC=AE=12ABcap F cap C equals cap A cap E equals one-half cap A cap B
??=??=12??
, ta có IBIC=ABAB/2=2the fraction with numerator cap I cap B and denominator cap I cap C end-fraction equals the fraction with numerator cap A cap B and denominator cap A cap B / 2 end-fraction equals 2
????=????/2=2
.
Vậy IBIC=2⟹IB=2⋅ICthe fraction with numerator cap I cap B and denominator cap I cap C end-fraction equals 2 ⟹ cap I cap B equals 2 center dot cap I cap C
????=2⟹??=2⋅??
.
Từ phần a) ICIA=IFIB⟹IFIB=IC2⋅IC=12the fraction with numerator cap I cap C and denominator cap I cap A end-fraction equals the fraction with numerator cap I cap F and denominator cap I cap B end-fraction ⟹ the fraction with numerator cap I cap F and denominator cap I cap B end-fraction equals the fraction with numerator cap I cap C and denominator 2 center dot cap I cap C end-fraction equals one-half
????=????⟹????=??2⋅??=12
.
Do đó, IBIF=2the fraction with numerator cap I cap B and denominator cap I cap F end-fraction equals 2
????=2
.
Ta cần chứng minh IDIC=IFIB=12the fraction with numerator cap I cap D and denominator cap I cap C end-fraction equals the fraction with numerator cap I cap F and denominator cap I cap B end-fraction equals one-half
????=????=12
. Tức là IC=2⋅IDcap I cap C equals 2 center dot cap I cap D
??=2⋅??
.
Ta biết D là trung điểm AC, AD=DCcap A cap D equals cap D cap C
??=??
. IA=IC+CA=IC+2⋅DCcap I cap A equals cap I cap C plus cap C cap A equals cap I cap C plus 2 center dot cap D cap C
??=??+??=??+2⋅??
.
IC=IA−2⋅DCcap I cap C equals cap I cap A minus 2 center dot cap D cap C
??=??−2⋅??
.
ID=IC−DCcap I cap D equals cap I cap C minus cap D cap C
??=??−??
.
IA/IC=2⟹IA=2⋅ICcap I cap A / cap I cap C equals 2 ⟹ cap I cap A equals 2 center dot cap I cap C
??/??=2⟹??=2⋅??
.
2⋅IC=IC+2⋅DC⟹IC=2⋅DC2 center dot cap I cap C equals cap I cap C plus 2 center dot cap D cap C ⟹ cap I cap C equals 2 center dot cap D cap C
2⋅??=??+2⋅??⟹??=2⋅??
.
ID=IC−DC=2⋅DC−DC=DCcap I cap D equals cap I cap C minus cap D cap C equals 2 center dot cap D cap C minus cap D cap C equals cap D cap C
??=??−??=2⋅??−??=??
.
Vậy ID=DCcap I cap D equals cap D cap C
??=??
. Điều này không đúng vì D là trung điểm AC, ID≠DCcap I cap D is not equal to cap D cap C
??≠??
trừ khi I trùng A, điều vô lý.

Kiểm tra lại bước 4. Tứ giác EBCF là hình bình hành. FC=EBcap F cap C equals cap E cap B
??=??
. E là trung điểm AB, AE=EBcap A cap E equals cap E cap B
??=??
. Vậy FC=AEcap F cap C equals cap A cap E
??=??
. Điều này là đúng.Tam giác AIB đồng dạng với tam giác FIC. IAIF=IBIC=ABFCthe fraction with numerator cap I cap A and denominator cap I cap F end-fraction equals the fraction with numerator cap I cap B and denominator cap I cap C end-fraction equals the fraction with numerator cap A cap B and denominator cap F cap C end-fraction
????=????=????
.
ABFC=2⋅AEFC=2the fraction with numerator cap A cap B and denominator cap F cap C end-fraction equals the fraction with numerator 2 center dot cap A cap E and denominator cap F cap C end-fraction equals 2
????=2⋅????=2
.
Vậy IBIC=2⟹IB=2⋅ICthe fraction with numerator cap I cap B and denominator cap I cap C end-fraction equals 2 ⟹ cap I cap B equals 2 center dot cap I cap C
????=2⟹??=2⋅??
.
Và IAIF=2⟹IA=2⋅IFthe fraction with numerator cap I cap A and denominator cap I cap F end-fraction equals 2 ⟹ cap I cap A equals 2 center dot cap I cap F
????=2⟹??=2⋅??
.
Từ phần a) ICIA=IFIB⟹IC2⋅IC=IF2⋅IF⟹12=12the fraction with numerator cap I cap C and denominator cap I cap A end-fraction equals the fraction with numerator cap I cap F and denominator cap I cap B end-fraction ⟹ the fraction with numerator cap I cap C and denominator 2 center dot cap I cap C end-fraction equals the fraction with numerator cap I cap F and denominator 2 center dot cap I cap F end-fraction ⟹ one-half equals one-half
????=????⟹??2⋅??=??2⋅??⟹12=12
. Phần a) đúng.

Quay lại phần b) IDIC=IFIBthe fraction with numerator cap I cap D and denominator cap I cap C end-fraction equals the fraction with numerator cap I cap F and denominator cap I cap B end-fraction
????=????
.Ta biết IFIB=12the fraction with numerator cap I cap F and denominator cap I cap B end-fraction equals one-half
????=12
. Ta cần IDIC=12⟹IC=2⋅IDthe fraction with numerator cap I cap D and denominator cap I cap C end-fraction equals one-half ⟹ cap I cap C equals 2 center dot cap I cap D
????=12⟹??=2⋅??
.
Ta có IC=IA−ACcap I cap C equals cap I cap A minus cap A cap C
??=??−??
. IA=2⋅ICcap I cap A equals 2 center dot cap I cap C
??=2⋅??
. IC=2⋅IC−AC⟹AC=ICcap I cap C equals 2 center dot cap I cap C minus cap A cap C ⟹ cap A cap C equals cap I cap C
??=2⋅??−??⟹??=??
. Vô lý.
Kiểm tra lại hình vẽ hoặc đề bài.
Ecap E
?
là trung điểm ABcap A cap B
??
. EF∥BCcap E cap F is parallel to cap B cap C
??∥??
. D nằm trên AC. F nằm trên tia Cx.
D là trung điểm AC (đúng theo định lý Thales đảo).
EBCF là hình bình hành (đúng). EB=FCcap E cap B equals cap F cap C
??=??
(đúng). AE=EBcap A cap E equals cap E cap B
??=??
(đúng). AE=FCcap A cap E equals cap F cap C
??=??
(đúng).
Tam giác AIB đồng dạng FIC (đúng). IAIF=IBIC=ABFC=2the fraction with numerator cap I cap A and denominator cap I cap F end-fraction equals the fraction with numerator cap I cap B and denominator cap I cap C end-fraction equals the fraction with numerator cap A cap B and denominator cap F cap C end-fraction equals 2
????=????=????=2
(đúng).
IB=2⋅ICcap I cap B equals 2 center dot cap I cap C
??=2⋅??
(đúng). IA=2⋅IFcap I cap A equals 2 center dot cap I cap F
??=2⋅??
(đúng).
ICIA=IC2⋅IC=12the fraction with numerator cap I cap C and denominator cap I cap A end-fraction equals the fraction with numerator cap I cap C and denominator 2 center dot cap I cap C end-fraction equals one-half
????=??2⋅??=12
. IFIB=IF2⋅IF=12the fraction with numerator cap I cap F and denominator cap I cap B end-fraction equals the fraction with numerator cap I cap F and denominator 2 center dot cap I cap F end-fraction equals one-half
????=??2⋅??=12
. Phần a) đúng.
IDIC=IFIB=12⟹IC=2⋅IDthe fraction with numerator cap I cap D and denominator cap I cap C end-fraction equals the fraction with numerator cap I cap F and denominator cap I cap B end-fraction equals one-half ⟹ cap I cap C equals 2 center dot cap I cap D
????=????=12⟹??=2⋅??
.
Ta có IC=AC−IAcap I cap C equals cap A cap C minus cap I cap A
??=??−??
(nếu A nằm giữa I và C). Hay IA=AC+ICcap I cap A equals cap A cap C plus cap I cap C
??=??+??
(nếu C nằm giữa A và I). Hình vẽ cho thấy A nằm giữa I và C (do BF cắt AC tại I, C nằm xa B hơn).
Vậy IA=AC+ICcap I cap A equals cap A cap C plus cap I cap C
??=??+??
.
Ta có IA=2⋅IFcap I cap A equals 2 center dot cap I cap F
??=2⋅??
. Ta có IB=2⋅ICcap I cap B equals 2 center dot cap I cap C
??=2⋅??
.
Ta có IA=2⋅ICcap I cap A equals 2 center dot cap I cap C
??=2⋅??
.
2⋅IC=AC+IC⟹IC=AC2 center dot cap I cap C equals cap A cap C plus cap I cap C ⟹ cap I cap C equals cap A cap C
2⋅??=??+??⟹??=??
.
Dcap D
?
là trung điểm AC⟹AD=DCcap A cap C ⟹ cap A cap D equals cap D cap C
??⟹??=??
.
IC=AC⟹IC=2⋅DCcap I cap C equals cap A cap C ⟹ cap I cap C equals 2 center dot cap D cap C
??=??⟹??=2⋅??
.
ID=IC−DCcap I cap D equals cap I cap C minus cap D cap C
??=??−??
(nếu D nằm giữa I và C, đúng). ID=2⋅DC−DC=DCcap I cap D equals 2 center dot cap D cap C minus cap D cap C equals cap D cap C
??=2⋅??−??=??
.
Vậy IC=2⋅IDcap I cap C equals 2 center dot cap I cap D
??=2⋅??
(vì IC=2⋅DCcap I cap C equals 2 center dot cap D cap C
??=2⋅??
và ID=DCcap I cap D equals cap D cap C
??=??
).
Do đó, IDIC=ID2⋅ID=12the fraction with numerator cap I cap D and denominator cap I cap C end-fraction equals the fraction with numerator cap I cap D and denominator 2 center dot cap I cap D end-fraction equals one-half
????=??2⋅??=12
.
Và IFIB=12the fraction with numerator cap I cap F and denominator cap I cap B end-fraction equals one-half
????=12
.
Vậy IDIC=IFIBthe fraction with numerator cap I cap D and denominator cap I cap C end-fraction equals the fraction with numerator cap I cap F and denominator cap I cap B end-fraction
????=????
(đúng). 

c) Chứng minh IC² = IA ⋅ ID 
Từ phần b) ta có:
IDIC=IFIBthe fraction with numerator cap I cap D and denominator cap I cap C end-fraction equals the fraction with numerator cap I cap F and denominator cap I cap B end-fraction
????=????
Từ phần a) ta có:
ICIA=IFIBthe fraction with numerator cap I cap C and denominator cap I cap A end-fraction equals the fraction with numerator cap I cap F and denominator cap I cap B end-fraction
????=????
So sánh hai biểu thức trên, ta suy ra:
IDIC=ICIAthe fraction with numerator cap I cap D and denominator cap I cap C end-fraction equals the fraction with numerator cap I cap C and denominator cap I cap A end-fraction
????=????
Nhân chéo hai tỉ số, ta được:
IC⋅IC=IA⋅IDcap I cap C center dot cap I cap C equals cap I cap A center dot cap I cap D
??⋅??=??⋅??
IC2=IA⋅IDcap I cap C squared equals cap I cap A center dot cap I cap D
??2=??⋅??
Điều phải chứng minh.