分野別過去問解説の第二弾です。今回は整数分野から二問。最後に東大数学の整数問題の特徴，傾向についても述べます。
問題１
まずは2009年理系第一問。文系は（2）までです。
問題１の解答
(1)まず，$d_m$は${}_mC_1=m$の約数なので，$1$か$m$である。
よって，あとは$m$が素数のとき${}_mC_i\:(1\leq i\leq m-1)$が$m$の倍数であることを証明すればよい。
実際，${}_mC_i=\frac{m!}{i!(m-i)!}$の分子は$m$の倍数であり，分母は$1$以上$m-1$以下の整数たちの積なので$m$の倍数ではない。つまり${}_mC_i$は$m$の倍数であるので題意は示された。
(2)まず，$k=1$のとき，$k^m-k=0$なので，題意の主張は正しい。
あとは数学的帰納法を完結させるために$k^m-k$が$d_m$の倍数であるとき$(k+1)^m-(k+1)$が$d_m$の倍数であることを証明すればよい。
実際，二項定理より$\{(k+1)^m-(k+1)\}-(k^m-k)=\displaystyle\sum_{i=1}^{m-1}{}_mC_ik^i$であり，この式の右辺は$d_m$の倍数であるので，$k^m-k$が$d_m$の倍数であるとき$(k+1)^m-(k+1)$も$d_m$の倍数となる。
(3)
$k=d_m-1$として(2)の結果を使う（$d_m=1$のときは$k=0$になってしまうが，(2)の主張は$k=0$でも成立する）と，
$(d_m-1)\{(d_m-1)^{m-1}-1\}$が$d_m$の倍数であることが分かる。
ここで，$d_m$と$d_m-1$は互いに素であるので，結局$(d_m-1)^{m-1}-1$が$d_m$の倍数であることが分かる。
ここで，二項定理により$m$が偶数のとき$(d_m-1)^{m-1}-1$は（$d_m$の倍数）-2となる。以上より-2は$d_m$の倍数。つまり$d_m$は1または2である。
問題１のポイント，補足
・(3)はかなり難しいですが，(1)，(2)は落ち着いて問題文を読めば難しくありません。簡単な小問を確実に完答することが重要です。
・(1)は有名な定理です。覚えておくとよいでしょう。なお，$i{}_mC_i=m{}_{m-1}C_{i-1}$という等式（これも有名なので覚えておくとよい）を使えば$m$が素数のとき${}_mC_i$が$m$の倍数であることがすぐに分かります。
・$m$が素数のとき，(2)の主張はフェルマーの小定理と呼ばれる有名な定理と一致します。
・(3)は(2)の結果に$k=d_m-1$を代入するのが難しいです。(2)の結果をうまく使おうと試行錯誤すれば思いつきやすいでしょう。ちなみに，$k=m-1$を代入してもほぼ同様にできます。
・$n$と$n-1$が互いに素であることは重要です（東大2005年，2012年でも活躍）。
問題２
続いて，2006年理系第四問（文系第二問も似た問題）です。
問題２の解答
(1)整数解を持つためには$z$についての二次方程式
$z^2-xyz+x^2+y^2=0$の判別式$D$が非負であることが必要。計算すると，
$D=x^2y^2-4(x^2+ y^2)$となる。
$y\leq 3$という条件のもと，$D$が非負になるのは$x=y=3$のときのみである。このときもとの方程式は$18+ z^2=9z$となり，解は$z=3,6$
よって，答えは$(x,y,z)=(3,3,3),(3,3,6)$
(2)$b^2+c^2+z^2=bcz$という条件を$z$について解くと，
$z=\frac{1}{2}\left(bc\pm\sqrt{b^2c^2-4(b^2+c^2)}\right)$となる。この式の右辺は$a^2+b^2+c^2=abc$のとき，$\frac{1}{2}\left(bc\pm\sqrt{b^2c^2-4(abc-a^2)}\right)=\frac{1}{2}\left(bc\pm(bc-2a)\right)$，つまり$z=a,bc-a$となる。よって，$z=bc-a$とすれば，問題文の方程式を満たす。あとは$b\leq c\leq bc-a$を示せばよい。(1)より$b\geq 3$なので，$bc-a-c\geq 3c-a-c > 0$となりOK。
(3)(3,3,6)からスタートして無数に解を構成する。具体的には，
$(x_1,y_1,z_1)=(3,3,6)$
$(x_{n+1},y_{n+1},z_{n+1})=(y_n,z_n,y_nz_n-x_n)\:(n=1,2,\cdots)$
とすれば任意の自然数nに対して$(x_n,y_n,z_n)$は問題文の方程式の解である。
また，(2)の議論により$x_n \leq y_n \leq z_n$という条件も満たし，$z_n$は単調増加なので異なる無限個の解が構成できた。
問題２のポイント，補足
・(1)はいろいろやり方は考えられますが，$(x,y)$は6通りに絞られているので最悪しらみつぶしに調べればよいです。絶対に間違ってはいけない小問です。
・(2)は一番難しい小問ですが「$z$が存在することを示せ」に対して「具体的に$z$を構成してやればよい」と考えることができれば難しくありません。東大の整数問題にしては簡単な問題です。
・(1)で初期解，(2)で解の生成方法について分かったので(3)ではそれを組み合わせればよいだけです。初期解＋解の生成方法→無限に解があることを示す，というのはよくある流れです（例えばペル方程式）。
まとめ〜東大整数の傾向〜
・東大の整数は「〜〜を求めよ」という問題よりも「〜〜を証明せよ」というタイプの問題が多いです。そのため，日本語できちんと答案を書き上げる力が重要です。また，背理法，数学的帰納法，対偶法などいろいろな証明方法に慣れておきましょう。
・東大の整数の小問(1)ではただ実験するだけで答えが求まったり，簡単な証明問題であることも多いです。そのためここで失点するとかなり痛いです。早いうちにきっちり解いて(2)以降に臨みましょう。また「後半の小問では前半の小問の結果を使うことも多い」ということも気に留めておきましょう。
・今回の問題１の(3)のように，後半の小問は発見的な要素を含む難問であることも。完答にこだわりすぎて必要以上に時間を費やさないように注意しましょう。