xét tam giác OAB có:
AB< OA + OB ( quan hệ giữa các cạnh trong tam giác) (1)
Xét tam giác OBC có:
BC< OB+ OC ( quan hệ giữa các canh trong tam giác) (2)
Xét tam giác OCD có:
CD< OC+ OD ( quan hệ giữa các cạnh trg tam giác) (3)
Xét tam giác ODA có:
DA< OD+ OA ( quan hệ giữa các cạnh trg tam giác) (4)
Từ (1), (2), (3), (4) => AB+ BC+ CD+ DA< 2OA+ 2OB+ 2OC+ 2OD
=> (AB+ BC+ CD+ DA) : 2 < OA+ OB+ OC+ OD (ĐPCM)