Áp đụng BĐT tam giác ta có:
OA+OB>AB
OA+OC>AC
OC+OD>CD
OD+OB>BD
=>2(0A+0B+0C+0D)>AB+AC+BD+CD
=>2(AD+BC)>AB+AC+BD+CD
=>AD+BC>(AB+AC+BD+CD)/2
Áp dụng BĐT tam giac ta có:
AB+AC>BC
BD+CD>BC
AB+BD>AD
AC+CD>AD
=>2(AB+AC+BD+CD)>2(AD+CB)
=>AB+AC+CD+BD>AD+BC
Vậy (AB+AC+CD+BD)/2<AD+BC<AB+AC+BD+CD