Cho tứ giác ABCD. Gọi E, F, I theo thứ tự là trung đếm của AD

Với 3 điểm E,I,F bất kì ta có: EF ≤ EI + IF (dấu “ = ” xảy ra khi I nằm giữa E và F) mà EI = CD / 2 ; IF= AB / 2 (chứng minh trên)

⇒ EF≤CD2+AB2

Vậy EF≤AB+CD2(dấu bằng xảy ra khi AB // CD)