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

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

No36527 の記事


■36527 / )  Re[1]: 数学的帰納法
□投稿者/ miyup 大御所(619回)-(2008/10/26(Sun) 23:24:16)
    2008/10/26(Sun) 23:31:52 編集(投稿者)

    No36524に返信(すぅさんの記事)
    > 自然数nに対して、a[n]=2^n+3^n+1 とおくとき、
    > @a[n+6]-a[n]は7で割り切れることを示せ

    a[n+6]-a[n]
    =2^(n+6) + 3^(n+6) + 1 - (2^n + 3^n +1)
    =(2^6-1)・2^n + (3^6-1)・3^n
    =63・2^n + 728・3^n
    =7(9・2^n + 104・3^n)
    よって
    a[n+6]-a[n]は7で割り切れる。


     @:a[n+6]-a[n]は7で割り切れる
     →周期6で余りが一致する(余り 6, 0, 1, 0, 3, 3, 以降繰り返し)
     ということ。

    > Anが6の倍数のとき、a[n]は7で割り切れないことを示せ

    a[1]=6、a[2]=14、a[3]=36、a[4]=98、a[5]=276、a[6]=794
    を7で割った余りはそれぞれ 6, 0, 1, 0, 3, 3。

    a[6]は7で割り切れないので
    @より n が6の倍数のとき、a[n]は7で割り切れない。

    > Ba[n]が7で割り切れるためのnの条件を求めよ

    a[2]、a[4]が7で割り切れるので
    a[n]が7で割り切れるための n の条件は
    @より n=2+6k, 4+6k (k=0,1,2,3,…)。

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


Mode/  Pass/

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

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