円の計測と円周率 π
どの円も円周と直径の比が同じであることは、アルキメデス以前から知られていた。はっきりしなかったのは、今日 $\pi$ と呼ぶその比の値である。バビロニア人はときに $3\frac{1}{8}$ を使い、エジプト人は $3.16$ に近い値を使っていた。短い論考『円の計測』で、アルキメデスは二つのことをした。円の面積を円周と結びつけ、そして $\pi$ を望むだけの精度で計算する方法を示したのである。
円の面積 最初の命題は、円の面積は、半径 $r$ と円周 $C$ を直角をはさむ二辺とする直角三角形の面積に等しいと述べる。
$$A = \frac{1}{2}\,r\,C.$$円をピザのようにごく細い扇形に切ると、どの一切れも高さ $r$ のほぼ三角形になる、というのが考え方である。アルキメデスは取りつくし法によって厳密な証明を与え、面積がその三角形より大きくも小さくもありえないことを示した。$C = 2\pi r$ だから、公式はおなじみの $A = \pi r^2$ になる。
二つの多角形にはさむ $\pi$ を見積もるため、アルキメデスは円に内接する正多角形と外接する正多角形を描いた。内側の多角形の周は円周より短く、外側の多角形の周は円周より長い。直径で割れば、$\pi$ は計算できる二つの数のあいだにはさまれる。
彼は正六角形から始めた。内接正六角形の周は $6r$、つまり直径 $3$ 本分で、外接正六角形の周は $4\sqrt{3}\,r \approx 6.93\,r$ である。それから辺の数を 12、24、48、そして最後に 96 と倍にしていった。各段階で、$n$ 角形と $2n$ 角形のあいだの幾何学的な関係を使った。
この対話型の図を使うには JavaScript を有効にしてください。議論の全体は本文にあります。
最終的な結果は
$$3 + \frac{10}{71} < \pi < 3 + \frac{1}{7}, \qquad \text{すなわち} \qquad 3.1408 < \pi < 3.1429$$だった。上の限界 $\frac{22}{7}$ はとても有名になり、いまも学校で $\pi$ の近似値として使われている。