Áp dụng bđt trong tam giác , ta có :
AB < OB + OA ; BC < OB + OC ; CD < OC + OD ; AD < OA + OD
=> AB +BC + CD + AD < 2(OA + OB + OC + OD)
=> (AB+BC+CD+AD)/2<AC+BD (1)
AB + BC > AC ; BC + CD > BD ; CD + AD > AC ; AB + AD > BD=> 2(AB + BC + CD + DA) > 2(AC + BD)
=> AB + BC + CD + DA > AC + BD (2)
Từ (1) và (2) suy ra đpcm