2846. 球面直角三角形

　スマホのリズムゲーム、ミリオンライブ・シアターデイズで超短期間の特別ガチャが開催され、何だかSSRカードがたくさん来ました。催し物の方はどうだったでしょうか。会場は声優ライブの感じみたいです。

　やっとの事で例の古典幾何学本の翻訳を少し。まだまだ前半の前半です。このあたりの内容は易しくて楽しいです。翻訳して初めて分かる細かい部分もありますが。
　とはいっても、前任者(約30年前)はここで迷ってしまったみたいなので油断はできません。数式を検証したり、立体模型を作って確かめないといけませんが、後回しです。

　数学書ですから、図だけでなく数式も当然がんがん出てきます。ここは普通の球面直角三角形の公式を使えば良い、とか。今はコンピュータグラフィックスをやっている方はある程度、球面三角法には慣れていると思います。しかし、公式集が対応しているかな。
　幸いにして私は古い数学公式集(1969年)を持っているので、すぐに平面直角三角形の三角法(つまり普通の三角関数)との対応表が出てきました。今、普通に売られている公式集で確かめようとしましたが、とある理由で部屋を整理していて、本日はすでに頭がクラクラしていて確認できません。