a b c 为空间三向量|a-b|与 |a-c|+|c-b| 大小关系