证明AB+BC>OB+OC
证：
延长BO交AC于D
因为AB+AD>BD=OB+OD,
即AB+AD>OB+OD,
又因为OD+DC>OC
上述两不等式两边相加得：
所以AB+AD+OD+DC>OC+OB+OD,
消去OD得：AB+AD+DC>OC+OB
所以
AB+AC>OB+OC