[過去ログ] 不等式への招待 第3章 (1001レス)
上下前次1-新
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
451(2): 2008/08/21(木)00:38 AAS
>>433
用意しといた解答書いておく
sin(π/12) > (π/12) - (1/6)(π/12)^3
tan(π/12) > (π/12) + (1/3)(π/12)^3
より
8sin(π/12) + 4tan(π/12) > π …(*)
一方
sin(π/12) = (√6 - √2)/4
tan(π/12) = 2 - √3
より
√2 + √3 - (8sin(π/12) + 4tan(π/12))
= √2 + √3 - (2√6 - 2√2 + 8 - 4√3)
= (√2-1)^2 (2-√3)^2 (√3-√2)
これは明らかに正なので
√2 + √3 > 8sin(π/12) + 4tan(π/12) …(**)
(*)(**) より
√2 + √3 > π
上下前次1-新書関写板覧索設栞歴
あと 550 レスあります
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.132s*