线段公理(),()叫做两点之间的距离