Gọi M là trung điểm AB, E là trung điểm của BD, F là trung điểm của AC.
Theo tính chất đường trung bình tam giác, ta có : MF // CD và MF = 1/2 CD (1) ME // AB // CD và ME = 1/2 AB (2) Từ (1) và (2) suy ra M, E, F thẳng hàng (vì qua điểm M chỉ có 1 đường thẳng song song với CD). Vì CD > AB nên MF > ME, hay là E nằm giữa M và F. Ta có: EF=MF−ME=21CD−21AB=21(CD−AB) (điều phải chứng minh)