いつも気が多くて一つのことに集中できない。これは研究者としては重大な欠陥であろう。
せっかく球面三角法の現代的な導出について目途がついてきたのに、今日はまた四元数のことが気にかかる。
それとかベクトル解析の重要な定理である、ストークスの定理とガウスの定理の証明法が気にかかる。
体力がないのだが、それだけでもないようだ。ちょっと一日か二日あることに集中すると他のことに気がとられる。
まだ完全にわかっているわけではないが、球面三角法の現代的な導出法がすこしづつわかってきている。
これはもちろん私にとってという意味である。専門家にとってという意味ではない。以前にインターネットからとってきてプリントしていたコピーを少し読んでいる。
もっともたぶん一番たどり着きにくいのは球面三角法の発見法的な導出であろう。
『四元数の発見』の第11章の「四元数の広がり」で球面三角法の定理の導出の方法として
１．発見法的に導く
２．現代的に導く
３．平面三角法を用いて導く
４．四元数を用いて導く
の４つの導出法をレヴューしたいと自分の願望を述べたが、２－４の導出法はそれぞれどこかにすでに記述されているはずだ。いま学んでいるのは２の「現代的に導く」である。
だが、１の「発見法的に導く」はそういう観点をもっている人が世界全体をみてもどれくらいいるのだろうか。
もっとも不勉強な私はTodhunterの球面三角法のテクストをインターネットでダウンロードしてもっているが、それをまだ開いて読んだことはない。