Trong tam giác ABC, có:
AE = EB, AF = FC (gt)
=> EF là đường trung bình của tam giác ABC
=> EF = 1/2 BC, và EF // BC (1)
Trong tam giác GBC có:
GH = HB, GK = KC (gt)
=> HK là đường trung bình tam giác GBC
=> HK = 1/2 BC, và HK // BC (2)
Từ (1), (2) => EF = HK, và EF // HK
=> EFHK là hình bình hành (có 2 cạnh đối vừa song song, vừa bằng nhau) (đpcm)