... 証明をしたのはアルキメデスと言われています¹

有名な ユークリッドの原論には、 円の面積は $r^2$ に比例すると解釈される定理が載っていますが、 $\pi r^2$ とは言い切っていません。 論証数学として面積・体積を堂々と 取り扱ったのはアルキメデスが最初です。 例えば円錐や角錐の体積が「底面積×高さ÷3」であることを発見したのは、 原子論で有名なデモクリトスで、証明したのはアルキメデスです。 アルキメデスはまた放物線の囲む面積を求めることにも成功しています。 図形の重心の決定など、今だったら積分を使って計算するようなことを、 微積分のない時代に実行したのは、 まさに時代を越えた天才と言えるでしょう。

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... の師匠としても有名²

何でも 60 人の博士を出したとか。

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... を基礎としているわけですね³

細かいことを言うと、 $x=1$ が式に代入できることの検証はあまり簡単ではありません。 自力でレポートが書けたらそれだけで単位を出してもよいくらい。

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... 高い効率を実現します⁴

高野公式の計算時間が 400h, Stormer 公式の計算時間が 157h だったそうです。

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... そこでは、高野喜久雄⁵

高野喜久雄 (1927-2006, 佐渡に生まれ、 鎌倉にて没する) は詩人で、合唱曲の作詞などでも知られている。 まだ WWW ページ (http://www.asahi-net.or.jp/~yp5k-tkn/) が残っている？

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.