まどか☆マギカ第10話でホワイトボードに一瞬だけ表れる数学の問題.「証明してください」と書かれていたので,証明してみた.

問題

&mimetex(p);は素数,&mimetex(n);は任意の自然数とします.
&mimetex((1+n)^p -n^p -1);が &mimetex(p);で割り切れることを証明してください.

証明

まず展開する.

&mimetex((1+n)^p -n^p -1);&mimetex(= ({}_pC_01^p + {}_pC_1n + \ldots + {}_pC_{p-1}n^{p-1} + {}_pC_pn^p) \quad - n^p \quad - 1 );

簡単に整理すると,

&mimetex((1+n)^p -n^p -1);&mimetex(= (1 + {}_pC_1n + \ldots + {}_pC_{p-1}n^{p-1} + n^p) \quad - n^p \quad - 1 ); &mimetex(= {}_pC_1n + \ldots + {}_pC_{p-1}n^{p-1});

ここで,各項を総和を用いて表すと,

&mimetex({}_pC_1n + \ldots + {}_pC_{p-1}n^{p-1}); &mimetex(=\sum^{p-1}_{k=1}\left({}_pC_k1^{p-k}n^{k}\right)); &mimetex(=\sum^{p-1}_{k=1}\left({}_pC_kn^{k}\right));

となる.&mimetex({}_pC_kn^{k}=pm);(&mimetex(m);は任意の自然数)と書き換えられれば(つまり&mimetex(p);で割り切れれば),命題が証明できる.

今,&mimetex({}_pC_kn^{k});を展開すると,

&mimetex({}_pC_kn^{k});&mimetex(=\frac{p!}{(p-k)!}\frac{1}{k!}n^k);
(ただし(&mimetex(k \ge 1);,&mimetex(p);は素数)

となる.ここで&mimetex(k \ge 1);より,分母に&mimetex(p);が現れない.
&mimetex(p);は問題文より素数であるため,分子の&mimetex(p);は約分されることはない.よって,

&mimetex({}_pC_kn^{k});&mimetex(=pm);
(ただし&mimetex(p);は素数,&mimetex(m);は任意の素数)

これにより,命題が証明された.Q.E.D.

解法2

こちらはあまり数式ばっかり使わない証明方法

試しに,&mimetex((1+n)^p -n^p -1);を少し手で展開してみると,以下のようになる.*1

&mimetex(\begin{array}{crlllllll}p=1:&1&+n&&&&&-n&-1\\p=2:&1&+2n&+n^2&&&&-n^2&-1\\p=3:&1&+3n&+3n^2&+n^3&&&-n^3&-1\\p=4:&1&+4n&+6n^2&+4n^3&+n^4&&-n^4&-1\\p=5:&1&+5n&+10n^2&+10n^3&+5n^4&+n^5&-n^5&-1\\\end{array});

&mimetex(p=4);は素数じゃないのだが,一応説明の為に今入れてある. これをよくみると,下記で色分けしたように必ず同じ値になる青い領域と黄色い領域がある.

http://tessy.org/wiki/index.php?plugin=attach&pcmd=open&refer=%A4%DE%A4%C9%A4%AB%A1%F9%A5%DE%A5%AE%A5%AB%C2%E810%CF%C3%A1%D6%A4%E2%A4%A6%C3%AF%A4%CB%A4%E2%CD%EA%A4%E9%A4%CA%A4%A4%A1%D7&file=equation-10.png

さて,黄色と青い領域はキャンセルしあうので,問題はピンクの領域の項が&mimetex(p);で割り切れるかどうか,である. 実際見てみると,図中のピンクの領域の項で,&mimetex(p);で割り切れない項は*2無い.

今度は,ピンクの領域の項が&mimetex(p);で割り切れるか検証する.二項展開(二項定理とも言う)の項の係数は以下の数式で一般化される.

&mimetex({}_pC_k); &mimetex(=\frac{p!}{(p-k)!}\frac{1}{k!});

ただし&mimetex(k);はその数式中の何番目の項かを表し,&mimetex(0\le k \le);&mimetex(p);である.
ただ,今回は前述の通り,最初と最後の項に関しては無関係なので(&mimetex(1\le k \le p-1);)となる

ここまで来たら証明1と同じ.分母に&mimetex(p);が現れず,分子の&mimetex(p);が消えないので,各項とも&mimetex(p);の倍数になる.
よって

&mimetex((1+n)^p -n^p -1);&mimetex(=pm);
(ただし&mimetex(p);は素数,&mimetex(m);は任意の自然数)

が成り立つ.これにより,&mimetex((1+n)^p -n^p -1);が&mimetex(p);で割り切れることが証明された.

問題2

&mimetex(f(x)=\frac{4x+\sqrt{4x^2-1}}{\sqrt{2x+1}+\sqrt{2x-1}});とする.この時

&mimetex(f(1)+f(2)+f(3)+\cdots +f(60));を求めよ

同じく一瞬だけホワイトボードに映る問題. こっちは実は1話でほむらが解いており,そちらを参考に解いた.

解法

&mimetex(a_n=\sqrt{2n-1});と置く.この時,以下のようになる.

&mimetex(a_{n+1}\cdot a_n=\sqrt{2n+1}\sqrt{2n-1}=\sqrt{4n^2-1});

&mimetex(a_{n+1}^2+a_n^2=2n+1+2n-1=4n);

&mimetex(a_{n+1}^2-a_n^2=2n+1-2n-1=2);

上述の式を用いて問題文を変形する.

&mimetex(f(n)=\frac{4n+\sqrt{4n^2-1}}{\sqrt{2n+1}+\sqrt{2n-1}}=\frac{a_{n+1}^2+a_n^2+a_{n+1}\cdot a_n}{a_{n+1}+a_n});

分子分母それぞれに&mimetex((a_{n+1}-a_n));をかけて整理する

&mimetex(f(n)=\frac{(a_{n+1}-a_n)(a_{n+1}^2+a_n^2+a_{n+1}\cdot a_n)}{(a_{n+1}-a_n)(a_{n+1}+a_n)}=\frac{a_{n+1}^3+a_{n+1}^2a_n+a_{n+1}a_n^2-a_{n+1}^2a_n-a_{n+1}a_n^2-a_n^3}{a_{n+1}^2-a_n^2});
&mimetex(=\frac{a_{n+1}^3-a_n^3}{2}=-\frac{1}{2}a_n^3+\frac{1}{2}a_{n+1}^3);

変形された&mimetex(f(n));を用いて問題文を計算する.

&mimetex(f(1)+f(2)+f(3)+\cdots +f(60));&mimetex(=\left(-\frac{1}{2}a_1^3+\frac{1}{2}a_2^3\right)\quad +\left(-\frac{1}{2}a_2^3+\frac{1}{2}a_3^3\right)\quad +\left(-\frac{1}{2}a_3^3+\frac{1}{2}a_4^3\right)\quad +\cdots +\quad \left(-\frac{1}{2}a_{60}^3+\frac{1}{2}a_{61}^3\right));
&mimetex(=-\frac{1}{2}a_1^3+\frac{1}{2}a_{61}^3=-\frac{1}{2}\left(\sqrt{2-1}\right)^3+\left(\frac{1}{2}\sqrt{2\cdot 61 - 1}\right)^3);&mimetex(=\frac{1}{2}(\sqrt{121}^3-1)=\frac{1}{2}(1331-1)=665);

答えは665.無限級数じゃなくて60で止まってるのはなんでなんだろうと思ったら,そういう事か.

コメント

ジャンル:数学


*1 いきなり数式ばっかりというツッコミはスルーする方向で
*2 &mimetex(p);&mimetex(=4);の場合を除いて

添付ファイル: fileequation-10.png 6478件 [詳細]

トップ   編集 凍結 差分 履歴 添付 複製 名前変更 リロード   新規 一覧 検索 最終更新   ヘルプ   最終更新のRSS
Last-modified: 2011-12-19 (月) 18:09:04