2010-01-10 初等的 今日、友人が球の体積の公式の初等的な証明にチャレンジして行き詰っていたので、ヒントをいくつかあげた。 錐の体積公式は自分で導けたみたいなので筋がいい。球の体積が初等的にもとまるのは三次元の特殊な性質だと思うのだがどうだろう?円周率が有理数でないことはかなり衝撃的だったようだ。