过o做oE垂直AB於E点,在三角形BOE中AE+OE大於OA,而RT三角形中角E90度,所以OE小於BE,也就是说AE+OE小於AE+BE=AB,即AB大於OA,同理BC大於OB,AC大於OC,得出AB+AC+BC>OA+OB+OC
∵O是三角形内一点∴OA<AB,OB<BC,OC<AC∴AB+AC+BC>OA+OB+OC