已知:O是三角形ABC内的一点,求证:0.5(BC+CA+AB)