[(x1+x2)/2,(y1+y2)/2,(z1+z2)/2]
空间中的两点可以放到同一平面里去分析,这样只要利用平面直角坐标系就可证明.