東大の入試問題と解答例

正月早々Twitterを眺めていると、「2003年の東大入試問題「円周率は3.05より大きいことを証明せよ」のツイートが。もう14年近く経つのに話題性のある問題ですね。

バーゼル問題の解から計算する話かと思ったのに、素朴な方法だった。 / 他57コメント https://t.co/mGGLQDXE7U “【解答例】円周率は3.05より大きいことを証明せよ” https://t.co/15l38WhZw2 #数学 #ネタ
— uncorrelated (@uncorrelated) 2016年12月31日

当時は、ゆとり教育で「円周率を3としよう」みたいな議論が盛り上がっていて、「3だと円に内接する正6角形の周長と変わらないじゃないか。アホじゃないの。」ということが言われていたので、正6角形を正12角形に割って求める…というのは割と直ぐ思いつく解答だったのではないかなと思います。

これだけシンプルな問題だと色々な解法が出てくるようで、正八角形で十分だとか、マクローリン展開を使うだとか色々あるようです。 → 円周率が3.05より大きいことのいろんな証明 | 高校数学の美しい物語

ギリシャ時代のアルキメデスな円周率

さて、イントロが長くなりましたが、実は、この試験、私も受験してまして、ちょうど前日に「円周率πの不思議」という本を読んでいたので不思議な縁を感じながら取り組みました。この本の中には、アルキメデスが、円に内・外接する正96角形を用いて、 $3 \frac{10}{71} \lt \pi \lt 3 \frac{1}{7}$ を示した、という事が書かれており、これを覚えていた当時の私は $3.05 \lt 3 \frac{10}{71} \lt \pi$ であることから、これを示そうと現場で奮闘したことを覚えています。

結局、当時は、 $3 \frac{10}{71}$ という小学生でも見たことのあるようなシンプルな分数を導出するに至らず、時間の関係から正12角形の周長で諦めたのですが、 $3 \frac{10}{71}(=3.1408...)$ や $3 \frac{1}{7} (=3.142..)$ は一体どうやって求めたのでしょう。

残念ながら、先述の「円周率πの不思議」には書かれておらず、14年ぶりに調べることにしました。

アルキメデスの漸化式

円に内接・外接する正n角形の周長をそれぞれ $a_n, b_n$ とすると、同じ円に内接・外接する正2n角形に周長 $a_{2n}, b_{2n}$ について下記の関係式

$a_{2n}=\frac{2 a_n b_n}{a_n + b_n} \\ b_{2n}=\sqrt{a_n b_n}$

をアルキメデスの漸化式と呼ぶそうです。⇒ Archimedes' Recurrence Formula -- from Wolfram MathWorld

アルキメデスも、これを使って円周率を求めたのでしょうか。なんか正12角形の周長計算と同じじゃね？

一応ちょっとした証明のため、ちょっと補題

f:id:Chachay:20170101212139p:plain

アルキメデスの漸化式の証明には、ちょっと三角関数的な考え方が関わってきます。関わってきますけど、時代の雰囲気を感じるため幾何学計算で覆い隠しました（中身は殆どタンジェントの半角公式です)。

一般に図のような三角形を考えると、△AEOと△HBCが相似の関係にあることから、 EA:OA=BH:CHが成り立ち、また、△BOHと△DOAが相似の関係にあるので、DA:BH=OA:OHです。

これから、 $EA(=p_{n+1})= \frac{BH \cdot OA }{CH} = \frac{q_n \cdot OA}{CH}$ 、また、 $OH = \frac{BH \cdot OA }{DA} = \frac{q_n \cdot OA}{p_n}$ 。ここで $CH = AC - AH = 2OA - AH = OA + OH$ を使って、 $p_{n+1}= \frac{q_n \cdot OA}{CH} = \frac{q_n \cdot OA}{OA + OH}= \frac{q_n \cdot OA}{OA + \frac{q_n \cdot OA}{p_n}}=\frac{q_n \cdot p_n}{p_n + q_n}$