数学ナビゲーター掲示板
HOME
HELP
新規作成
新着記事
ツリー表示
スレッド表示
トピック表示
発言ランク
ファイル一覧
検索
過去ログ
[ スレッド内全2レス(親記事-2 表示) ] <<
0
>>
■48824
/ 親記事)
不等式
▼
■
□投稿者/ 虚言症
一般人(1回)-(2018/09/21(Fri) 08:33:32)
において
が成り立つことの証明を教えて下さい。
引用返信
/
返信
[メール受信/OFF]
削除キー/
編集
削除
■48838
/ ResNo.1)
Re[1]: 不等式
▲
▼
■
□投稿者/ らすかる
一般人(22回)-(2018/09/23(Sun) 14:22:56)
与不等式の左辺はx=πに関して対称なので、0<x≦πに関して示せば十分。
0<x≦π/2のとき
sinx>x-x^3/6=(-x^3+6x)/6
cosx<1-x^2/2+x^4/24=(x^4-12x^2+24)/24
2sin(x/2)<xから
log(2sin(x/2))<logx<(x-1)-(x-1)^2/2+(x-1)^3/3
=(2x^3-9x^2+18x-11)/6
なので
(π-x)sinx-2(cosx)log(2sin(x/2))
>(3-x)(-x^3+6x)/6-2(x^4-12x^2+24)/24・(2x^3-9x^2+18x-11)/6
=(-2x^7+9x^6+6x^5-85x^4+132x^3+12x^2-216x+264)/72
=(2t^7+129xt^5+(783x^3+4796)t^2+3(5x+36)t^3+17654t+41984)/157464+1
>1 (ただしt=5-3x>0)
π/2≦x≦πのときy=π-xとおくと0≦y≦π/2で
(π-x)sinx-2(cosx)log(2sin(x/2))
=ysin(π-y)-2(cos(π-y))log(2sin((π-y)/2))
=ysiny+2(cosy)log(2cos(y/2))
siny>y-y^3/6=(-y^3+6y)/6
cosy>1-y^2/2=(-y^2+2)/2
2cos(y/2)>(16-3y)/8から
log(2cos(y/2))>log((16-3y)/8)>(8-3y)/8-((8-3y)/8)^2/2
=(-9y^2+64)/128
なので
ysiny+2(cosy)log(2cos(y/2))
>y(-y^3+6y)/6+2(-y^2+2)/2・(-9y^2+64)/128
=(-37y^4+138y^2+384)/384
=y^2(138-37y^2)/384+1
≧1
∴(π-x)sinx-2(cosx)log(2sin(x/2))≧1
引用返信
/
返信
[メール受信/OFF]
削除キー/
編集
削除
■48839
/ ResNo.2)
Re[2]: 不等式
▲
▼
■
□投稿者/ 虚言症
一般人(2回)-(2018/09/24(Mon) 22:50:11)
有り難うございます。
引用返信
/
返信
[メール受信/OFF]
削除キー/
編集
削除
このスレッドをツリーで一括表示
スレッド内ページ移動 / <<
0
>>
このスレッドに書きこむ
入力内容にタグは利用できません。
数式の記述方法
TeX入力ができます。
\[
TeX形式数式
\]
あるいは,
$
TeX形式数式
$
で数式を記述します。
TeX形式数式には半角英数字のみです。詳しくは、
ここ
を見てください。
Titleは質問の内容がわかりやすいように書いてください。
他人を中傷する記事は管理者の判断で予告無く削除されます。
半角カナは使用しないでください。文字化けの原因になります。
名前、Title、コメントは必須記入項目です。記入漏れはエラーになります。
入力内容の一部は、次回投稿時の手間を省くためブラウザに記録されます。
削除キーを覚えておくと、自分の記事の編集・削除ができます。
URLは自動的にリンクされます。
引用返信するときは不要な引用部分を削除してください。
記事中に No*** のように書くとその記事にリンクされます(No は半角英字/*** は半角数字)。
使用例)
No123 → 記事No123の記事リンクになります(指定表示)。
No123,130,134 → 記事No123/130/134 の記事リンクになります(複数表示)。
No123-130 → 記事No123〜130 の記事リンクになります(連続表示)。
Name
/
E-Mail
/
└> 関連するレス記事をメールで受信しますか?
NO
YES
/ アドレス
非公開
公開
Title
/
URL
/
Comment/ 通常モード->
図表モード->
(適当に改行して下さい/半角10000文字以内)
File
/
アップ可能拡張子=> /
.gif
/
.jpg
/
.jpeg
/
.png
/.txt/.lzh/.zip/.mid/.svg
1) 太字の拡張子は画像として認識されます。
2) 画像は初期状態で縮小サイズ250×250ピクセル以下で表示されます。
3) 同名ファイルがある、またはファイル名が不適切な場合、
ファイル名が自動変更されます。
4) アップ可能ファイルサイズは1回
200KB
(1KB=1024Bytes)までです。
5) ファイルアップ時はプレビューは利用できません。
6) スレッド内の合計ファイルサイズ:[0/500KB]
残り:[500KB]
Icon
/
ぺそぎん(常)
ぺそぎん(喜)
ぺそぎん(礼)
ぺそぎん(跳)
ぺそぎん(焦)
ぺそぎん(励)
マサト
ミツコ
サトシ
サクラ
ダン
エリカ
ホイールロボ
くるりロボ
ぱんだ
ふとめネコ
ねずみ
こあら
疑問ねこ
ランダム
管理者用
(画像を選択/
サンプル一覧
)
削除キー
/
(半角8文字以内)
解決済み!
BOX/
解決したらチェックしてください!
プレビュー/
Mode/
通常管理
表示許可
Pass/
HOME
HELP
新規作成
新着記事
ツリー表示
スレッド表示
トピック表示
発言ランク
ファイル一覧
検索
過去ログ
-
Child Tree
-
Edit By
数学ナビゲーター