Xét tam giác ABC:
AE = EB =

AB
AD = DC =

AC
=> ED là đường trung bình trong tam giác ABC ( định lí 2 đường trung bình trong tam giác)
=> ED =

BC ( định lí 3 đường trung bình trong tam giác) (1)
Xét tam giác BGC:
BI = IG =

BG
GF = FC =

GC
=> IF là đường trung bình trong tam giác ABC ( định lí 2 đường trung bình trong tam giác)
=> IF =

BC ( định lí 3 đường trung bình trong tam giác) (2)
Từ (1) và (2) => IF = ED =

BC (DPCM)