Xét \(\Delta\)AOD ta có: AO + OD > AD (trong 1 tam giác tổng hai cạnh luôn lớn hơn cạnh còn lại)
Xét \(\Delta\) OCD ta có: BO + OC > BC ( trong 1 tam giác tổng hai cạnh luôn lớn hơn cạnh còn lại)
Cộng vế với vế ta có: AO + OD + BO + OC > AD + BC
(AO + OC) + ( OD + OB > AD + BC
AC+ BD > AD + BC
Chứng Minh tương tự ta có: AC + BD > AB + CD