球上最短路径证明为什么球上两点最短路径为过这两点的大圆在这两点间劣弧的长度?请知道的帮着证明一下,最好有图和严格的公理化