【立体几何】用Lagrange恒等式配合叉乘证明三射线定理（球面余弦定理）

大概是这个定理最简洁的证明方式了，因为整个过程写出来不用一分半就能完成。

注：三射线定理，又称球面余弦定理，典型的高中数学里看起来有用实则做题时基本指望不上的冷门二级结论之一

发文章留着纪念一下，因为证明过程还挺优雅的，不是吗？