円周率が3.05より大きいことを証明せよ
ドラマ「受験の神様」で「円周率が3.05より大きいことを証明せよ。」という問題がありましたが、その問題に対する解説で「加法定理を使って証明する」といっていましたが加法定理はどこで使うのでしょうか。
ドラマでは
「半径1の円周の長さをlcとおき、正十二角形の周囲の長さをlsとおく。するとlc>ls・・・(1) が成り立つ。
また円周率の定義からlc=2π・・・(2)が成り立つ。ここから加法定理を用いた解法に入ります。」
と言っていました。
(以下私の証明)
(1)と(2)から2π>ls すなわちπ>ls/2
よって、π>ls/2≧3.05を示せばよい。
ls/2の値は、余弦定理をもちいて計算すると
3(√6-√2)>3.10
よって
π>ls/2≧3.05は示された。
∴円周率は3.05より大きい
私は上のように証明したのですが、どこで加法定理を用いるのか分かりません。
ドラマでは赤本が出ていたので、もしかしたら赤本にこの解法が載っているのかもしれません。
あいにく赤本を持ちあわせていないので、分かる方、お願いします。
(いろいろ調べたのですが
面積を用いる方法、ゼータ関数を用いる方法、正八角形を用いる方法、正十二角形を用いる方法(私の解法と同じ)、などさまざまな解法がありましたが、加法定理を使っているものは見つかりませんでした。)
お礼
分かりやすいご回答ありがとうございます、助かりました。