数学ナビゲーター掲示板
(現在 過去ログ2 を表示中)

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

[ 最新記事及び返信フォームをトピックトップへ ]

■20560 / inTopicNo.1)  区分求積?
  
□投稿者/ ライア 一般人(1回)-(2007/01/03(Wed) 14:01:50)
    2007/01/03(Wed) 16:01:27 編集(投稿者)


    を求めよという問題なのですが この式の答えをαとすれば

    となり

    となるのかと思っていますが、後は区分求積?うーん、一筋縄ではいかないような…
引用返信/返信 [メール受信/OFF] 削除キー/
■20586 / inTopicNo.2)  Re[1]: 区分求積?
□投稿者/ 白拓 大御所(676回)-(2007/01/04(Thu) 09:55:38)
    a[n]=(1*2^(1/2)*3^(1/3)*…*n^(1/n))/(logn)^2 は
    収束しなさそう(lim[n→∞]a[n]=∞?)ですが問題はあってますか?
引用返信/返信 [メール受信/OFF] 削除キー/
■20634 / inTopicNo.3)  Re[2]: 区分求積?
□投稿者/ 白拓 大御所(678回)-(2007/01/05(Fri) 05:44:58)
    2007/01/06(Sat) 08:15:52 編集(投稿者)

    lim[n→∞]a[n]=∞の証明です。

    log(a[n])=log(1*2^(1/2)*3^(1/3)*…*n^(1/n))-2loglogn (n>2)
    =Σ[k=1〜n]{logk/k}-2loglogn
    =Σ[k=1〜n]{logk/(k/n)}(1/n)-2loglogn
    .>∫[1〜n+1]1/xdx-2loglogn=log{(n+1)/(logn)^2}
    ∴a[n]>(n+1)/(logn)^2
    lim[n→∞]√a[n]≧lim[n→∞]√(n+1)/(logn)=∞

    lim[n→∞]a[n]=∞

引用返信/返信 [メール受信/OFF] 削除キー/
■20812 / inTopicNo.4)  Re[3]: 区分求積?
□投稿者/ ライア 一般人(6回)-(2007/01/09(Tue) 11:21:22)
    返信が遅くなって申し訳ありません
    が、投稿した問題はa[n]=(1*2^(1/2)*3^(1/3)*…*n^(1/n))/(logn)^2
    ではなく
    (1*2^(1/2)*3^(1/3)*…*n^(1/n))の((1/logn)^2)乗です
    よって
    式全体のlogをとれば

    となると思います。(∵logの連続性によりlimとlogが入れ替えられるから)
                 ↑この議論は自分では時々使うのですが、よろしければこちらの証明もお願いします。
引用返信/返信 [メール受信/OFF] 削除キー/
■20854 / inTopicNo.5)  Re[4]: 区分求積?
□投稿者/ 白拓 大御所(685回)-(2007/01/10(Wed) 07:27:16)
    (1/logn)^2は指数部だったのですね。
    >logの連続性によりlimとlogが入れ替えられるから
    そのようにはできません。
    lim[n→a]logA[n]=log(lim[n→a]A[n])
    等はいえますが、
    lim[n→a]logA[n]=logA[n]lim[n→a]1
    のようにはできません。

    a[n]=(1*2^(1/2)*3^(1/3)*…*n^(1/n))^{(1/logn)^2} とします。
    loga[n]={Σ[k=1〜n]logk/k }/(logn)^2

    ∫[3〜n]{logx/x}dx< Σ[k=1〜n]logk/k <∫[2〜n]{logx/x+1/2}dx
    →1/2-(log3)^2/(2(logn)^2)<loga[n]<1/2+(1-(log2)^2)/(2(logn)^2)
    →lim[n→∞]loga[n]=1/2

    ∴lim[n→∞]a[n]=√e
引用返信/返信 [メール受信/OFF] 削除キー/



トピック内ページ移動 / << 0 >>

このトピックに書きこむ

過去ログには書き込み不可

Mode/  Pass/

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

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