Hình thang ABCD có đáy AB, CD. Gọi E, F, K theo thứ tự là

+ ΔABD có DE = EA và DK = KB

⇒ EK là đường trung bình của ΔDAB

⇒ EK // AB

+ Hình thang ABCD có: AE = ED và BF = FC

⇒ EF là đường trung bình của hình thang ABCD

⇒ EF // AB// CD

+ Qua điểm E ta có EK // AB và EF // AB nên theo tiên đề Ơclit ta có E, K, F thẳng hàng.