Gọi M là trung điểm BC => BM=CM
Xét tam giác ABC có:
BM=CM
AE=EC (giả thiết vì E la trung điểm của AC)
Nên: EM là đường trung bình trong tam giác ABC
=>EM//AB và EM=AB/2
Tương tự: Xét tam giác BCD có:
FM là đường trung bình trong tam giác BCD
=>FM//CD và FM=CD/2
Lại có:
FM//CD
mà AB//CD (theo giả thiết ABCD la hthang)
Nên: FM//AB
Mà EM//AB
Do đó, theo tiên đề Ơclit ta có: E,M,F thẳng hàng.
Vậy,EF=FM-EM=(CD-AB)/2