Ta có: OA + OB + OC = OA + OB + OC = (OA + OB) + OC = AB + OC < AB + BC + CA (vì OC < BC) Vậy ta có: OA + OB + OC < AB + BC + CA (1) Ta cũng có: OA + OB + OC = OA + OB + OC = (OA + OC) + OB = AC + OB < AB + BC + CA (vì OB < AB) Vậy ta có: OA + OB + OC < AB + BC + CA (2) Từ (1) và (2), ta có: OA + OB + OC < AB + BC + CA Tương tự, ta có: OA + OB + OC = OA + OB + OC = (OB + OC) + OA = BC + OA > 0A + OB + OC (vì BC > 0A) Vậy ta có: OA + OB + OC > 0A + OB + OC (3) Ta cũng có: OA + OB + OC = OA + OB + OC = (OA + OB) + OC = AB + OC > 0A + OB + OC (vì AB > 0A) Vậy ta có: OA + OB + OC > 0A + OB + OC (4) Từ (3) và (4), ta có: OA + OB + OC > 0A + OB + OC Vậy ta có: 0A + OB + OC < AB + BC + CA < OA + OB + OC