数学ナビゲーター掲示板

HOME HELP 新規作成 新着記事 ツリー表示 スレッド表示 トピック表示 発言ランク ファイル一覧 検索 過去ログ

■50313 / 1階層)  不等式
□投稿者/ らすかる 一般人(24回)-(2020/04/18(Sat) 01:52:47)
    0<x<π/2でsinx>(2/π)xが成り立つ。
    nが奇数のとき
    Σ[k=1〜n-1]1/sin(kπ/n)
    =2Σ[k=1〜(n-1)/2]1/sin(kπ/n)
    <2Σ[k=1〜(n-1)/2]1/{(2/π)(kπ/n)}
    =nΣ[k=1〜(n-1)/2]1/k
    <n(∫[1/2〜(n-1)/2+1/2]dx/x)
    =n{log(n/2)-log(1/2)}
    =nlogn
    nが偶数のとき
    Σ[k=1〜n-1]1/sin(kπ/n)
    =1+2Σ[k=1〜n/2-1]1/sin(kπ/n)
    <1+2Σ[k=1〜n/2-1]1/{(2/π)(kπ/n)}
    =1+nΣ[k=1〜n/2-1]1/k
    <1+n(∫[1/2〜n/2-1+1/2]dx/x)
    =1+n{log((n-1)/2)-log(1/2)}
    =1+nlog(n-1)
    <nlogn (※)

    (※)
    1+nlog(n-1)<nlognは、
    f(x)=xlogx-(1+xlog(x-1))とおくと
    f'(x)<0, lim[x→∞]f(x)=0となることから言えます。

記事引用 [メール受信/OFF] 削除キー/

前の記事(元になった記事) 次の記事(この記事の返信)
←不等式 /グルンカ →Re[2]: 不等式 /グルンカ
 
上記関連ツリー

Nomal 不等式 / グルンカ (20/04/17(Fri) 22:58) #50312
Nomal 不等式 / らすかる (20/04/18(Sat) 01:52) #50313 ←Now
  └Nomal Re[2]: 不等式 / グルンカ (20/04/18(Sat) 10:03) #50314

All 上記ツリーを一括表示 / 上記ツリーをトピック表示
 
上記の記事へ返信

Mode/  Pass/

HOME HELP 新規作成 新着記事 ツリー表示 スレッド表示 トピック表示 発言ランク ファイル一覧 検索 過去ログ

- Child Tree -
Edit By 数学ナビゲーター