Không mất tính tổng quát, giả sử AB <CD.(th còn lại c/m tương tự)
Gọi P là trung điểm AD. Có ngay:
PF // AB(1); \(PF=\frac{1}{2}AB\)(2)
Tương tự PE//CD => PE // AB (3) và \(PE=\frac{1}{2}CD\)(4)
Từ (1) và (3) suy ra P, E, F thẳng hàng.
Do đó EF = PE - PF \(=\frac{CD-AB}{2}\)
P/s: ko chắc, bài này đáng lẽ phải có đk giữa AB và CD