球面三角 平行线定理-球面三角平行线定理

球面三角学的核心实际上跟我们在平面几何里学直线没啥本质区别，都是靠角度和边长去推导逻辑。但在地球这个庞大的球体上，情况略微有点不一样，出于所有的线都是弯弯曲曲的弧线。
那会儿的教科书一般会把平行线定理讲得一本正经，像是在念法条，结局咱们学生听完都头大，认定这玩意儿跟单纯的平面三角形解法没多大关系。
实际上这东西只是表面现象，要是好好琢磨，它反而能帮咱们在球面上找东西、算距离，就连绕着地球跑一圈也不累。 在球面上，我们一般假设两点不重合。
要是两点重合，那忒好办了，直接就是位置一样。
要是两点在同一个球面上，从某点出发的两条射线，只要它们不指向同一个方向，看似平行，实际上总得相撞要么打圈。但在球面上，这实际上是个挺微妙的难题。记得那会儿学立体几何时，老师说过，球面上不存有真正意义上互不相交的平行线，要么说，要是你画一条线，另一条线只要在附近不穿过它，那你就可能把它画得跟它平行，要么干脆把它画得像个圆环，让它绕着中心转圈圈，一辈子碰不到。
这时候，用欧几里得几何的公式直接套算的话，误差会贼大，就连算出来距离是负数，结局离得比你实际远，根本没法用。 这就引出了球面三角里最关键的定理之一，也就是那个球面平行线定理。它的核心思想实际上就一条：当两条球面曲线在一点启动，并且一直保持不交叉（也就是方向一致）时，它们最终还是会相遇的，要不就它们绕着球心转了整整一圈要么更多圈。
这个“一圈”的概念在球面上有点抽象，不如说就是看这两条线在顶点处被分成了多少段。
要是分成了两段，它们肯定相交；要是分成了四段、六段……这些偶数段，不管转多少圈，它们最终都会撞上。
只有当分成的段数是奇数时，它们才会有点“纠缠”，可能一辈子碰不到，也可能绕着打转。
这个看似绕地球跑一圈的奇偶性判断，实际上是我后来在计算环球航线时感触最深的地方。 举个例子，咱们去珠穆朗玛峰大本营看看。假设你在山脚下，有一条登山路线往北走，另一条路线往东边走。
这两条线在起点汇合。
要是你往上爬升，你会发现这两条线别看在局部不交叉，但它们最终都会撞在一起。你只需求数数，看它们在这个过程中被切分了几个“份”。
要是是两个份，你肯定会撞上；要是是四个份，你也不会撞上，出于中间有个回旋。
这个回旋的次数拍板了命运。
这比平面几何里的平行线要活泛得多，多了几分“绕得开”和“绕得拢”的区别。 这个定理在球面导航里尤实际上用。
你想算两点之间的球面大圆距离，要是这两点在同一经线上，直接算就行。
要是不在，你得把其中一条旋转，把它转到和另一条经线重合的起始位置，算出夹角。
要是这个夹角是 180 度，那就是对跖点，直接算距离就行。但要是夹角不是 180 度，这时候就要小心了，球面夹角的计算不能直接用平面公式里的 `arccos` 那样直接往死磕，那样会出错。
这时候你得熟悉球面三角里的 Napier 法则要么更底层的球面三角恒等式，要么干脆用那种专门处理球面难题的软件。
可是，应用这些复杂公式的人毕竟是少数，大多数时候，我们还是习惯用平面三角形公式，打上一个弧度修正系数，然后硬算。
这就像是在平地上开车，遇到弯道就改道，反正目标地在那儿，方向错了也就错了，反正路是通的。 实际上，球面三角里的平行线定理更像是一个隐喻，它告诉咱们，数学在抽象模型里别看处理得贼完美、逻辑严密，就连能把奇偶性、旋转圈数这些微末细节都囊括进去，但它并不能直接拿来解决所有现实难题。在地球这样的大曲面上，我们更需求的是实用主义的解决方案。
有时候，为了简化难题，我们宁愿用略微粗糙一点的平面近似法，要么用那种一看就能看懂的查表法，而不是非要搞那些繁琐的球面解析。
毕竟，在球面上，比起“会不会撞上”，更关键的是“能不能到”。 另外，球面图上的线条也是弯的，这跟平面图上的直线挺不一样。球面图的网格线也不是确实直线，那是把球面切出来的面。
要是为了画图撇脱，硬把球面上的弧线画成直的，大家一看就傻眼了，出于那压根不在球面上。真正的球面线，就像你低头看地上的蚂蚁走行，一辈子都是弯的。
这种弯曲感在球面三角里体现得淋漓尽致。当你计算一条从北极出发到赤道的路线时，你会发现你的经度角和纬度角之间没有任何好办的线性关系，你得动用球面三角里的正弦定理要么余弦定理去解那个超现实的方程组。 不过，这种复杂的计算别看令人头大，却也充满了美感。它让我们意识到，宇宙不只是是个平整的纸面，而是一个有曲率的立体空间。在这个空间里，平行线可能落空，也可能绕圈，但甭管如何折腾，它们终究还是遵循着某种内在的对称性。
这种对称性，就是球面三角定理最迷人的地方。它不只是是一个工具，更是一种看待世界的方式。在平面上，我们追求两线之“平”，而在球面上，我们则是在寻找两线之间“相遇”或“错过”的微妙平衡。 最终，咱们还得提提球面大圆。在球面上，大圆就是离球心一定距离的交点连线，这构成了球面的骨架。所有的球面三角形，要么说所有的球面路径，本质上都是跟着大圆走的。
要是你要飞一段直线，那你也得顺着大圆飞，用大圆飞行才能最短。
这时候，球面平行线定理就显得特别关键，出于它帮助咱们确定，沿着大圆飞行时，两条航线是会在中间相遇，还是会擦肩而过。
要是两条航线背道而驰，要么方向彻底反之，它们可能根本碰不到。
这种“擦肩”的概念，实际上就是球面上平行线的另一种表现形式，它和平面几何里的平行线有着深刻的联系，但又有了球面上特有的“回旋”属性。
这种回旋，让球面三角学的魅力更加无穷无尽，让人在思索这些抽象的逻辑时，忍不住会对地球本身形成一种敬畏。
毕竟，能把如此复杂的几何关系理清楚的人，大约也只有寥寥 handful 的寥寥无几。