球面三角法の公式の導出

球面三角法の公式の導出が少しづつ頭に入り始めている。完全に頭に入ったというまでにはまだなっていないが。

昨晩、インターネットのサイトからプリントした文献を読んでいて少しづつ頭に入りそうになってきた。

いまのところは余弦法則と正弦法則である。頭に入りそうなのは。他の法則にはまったくまだ手が届かない。

一つは平面三角法を用いた導出であり、もう一つはベクトル代数を用いた導出である。

球面三角法の現代的な導出も一つではない。私の知る限り少なくとも２つはある。私としては発見法的な導出を知りたいと思っているが、それはどこにも書かれたものをまだ読んだことがない。

（２０２４．１１．２６付記）最近ネットで見た球面三角法の導出の説明での参考文献にアラビア語とラテン語の文献があるらしい。これはドイツの出版社が出版している書籍らしいが、もしアラビア語ならまったくちんぷんかんぷんだし、ラテン語も読めない。もっともラテン語ならこれからでも学んで読めるようになることも不可能ではないかもしれない。

昔の知己の山本義隆さんはラテン語を予備校勤めの傍ら学んだとかどこかに書かれているのを読んだが、さてはて、そういうことまでできるかどうかはわからない。