もう 14年も前になるんですね.あまりにも有名すぎる入試問題*1
円周率が 3.05よりも大きいことを証明せよ.(2003年東大)
のパクリ,いえ類題です.どこかですでに出ているのかもしれませんが,いつもの備忘録的な感じで以下書いていきます.
類題
円周率が 3.23よりも小さいことを証明せよ.
なので,今回は ということで,この値を採用しました.というのはウソでたまたまです(笑).
いろいろな解法がありますが
やはり,円周率の定義から考えると「円周の長さと比較する」というのが王道かなと.今回は,外から囲い込む→外接する正多角形の長さとの比較になります.
正多角形の周の長さ
まずは,内接および外接する正多角形の一辺の長さを求めます.これは,図のように頂角が である二等辺三角形の底辺の長さを求める問題になります.
それを 倍すれば,周の長さになるので,
内接する正 角形の周の長さ:
外接する正 角形の周の長さ:
は直径の長さとなるので,その前の部分が「円周率」に相当する値を示しています.
ちなみに,それぞれの式において の極限を考えると,
と円周率が与えられます.
ただ,「円周率自身の値を評価する」という問題で,のように が出てくるとなんか本末転倒な感じになるので,以下では
と書くことにします.
をいくつにするか?
上で確認した極限の式からも,が大きければ大きくなるほど「精度」は上がります.ただ,手計算ではそれにも限度があります.では「ゆとり世代の解答」になってしまうので,よりは大きい整数を選ぶ必要があります.この選び方には,数学的な「センス」を持っているかもポイントだと思います.わたしが 2003年の問題を見たときには,直感的に正 12角形を考えていました.
やはり,素数を含めて奇数を選ぶのは難しいですよね.以下では,の場合と の場合を考えていきます.*2
1) のとき
は
と表されます.の値は扱いづらいですね.
ここで,の倍角の公式を用います.覚えていてもいいのですが,ちょっと丁寧に加法定理から導いておきましょう.
の倍角公式の導出
加法定理の式からスタートします.
であるので,加法定理の式の両辺を割り算して,
さらに,右辺の分子・分母を で割ってしまうと,
と加法定理の式が導かれました.あとは,とすれば倍角公式です.
正確には半角公式を用いることになりますが,の置き方を変えるだけなので倍角公式が導ければそれまでです.
うなりの回の中でも,いくつか三角関数の公式の導出を書いているので,そちらも参考にしてもらうといいかと思います.
とおけば,
左辺の値は であり,とすると,上の式は の 2次方程式となります.そして,その解は となります.
さて,いま示したいことは,の値を上から抑えることです.そこで,*3としてみると,
となります.これでは,よりも小さいことは示すことができません.
でも,これで何も得られなかったのではなく,の倍角公式(半角公式)を用いれば,より大きな に関する値の評価ができることがわかりました.
2) のとき
ですから,倍角公式を用いて
とおくと,上と同様にして とあらま?ときれいに求められます.今度は,の前に負号がついているので,として,
と見事 より小さいことが示せました.
内接のとき(東大の問題のとき)は,の値を評価すれば証明ができましたが,今回はもう一歩精度をあげる必要がありました.感覚的ですが,同じ に対して外接正多角形の方が内接正多角形よりも円から「離れて」いて,
(円の面積) - (内接する正 角形の面積) < (外接する正 角形の面積) - (円の面積)
だったりするのかな?と思ったりしてます.*4
さらに精度を上げるのに,半角公式を繰り返すとか,3倍角の公式を使うとかも考えられます.しかし,前者では二重根号(さらに,それ以上の重根号),後者では 3次方程式になってしまうということが予想されます.3次方程式と 3次関数のグラフで計算させることもできなくはないようにも思いますけど.