球面距离最短的证明