在空间直角坐标系中,已知两点坐标,怎样求出中点坐标,并证明?