すべての整数$\bm{n}$に対して$\bm{f(n)}$が整数となるような多項式$\bm{f(n)}$}}を\textbf{\textcolor{blue}{整数値多項式}}という. \\[1zh] \textbf{\textcolor{blue}{$\bm{k}$次式$\bm{f(n)}$が整数値多項式であるための必要十分条件}}として,\ 3つの同値な表現がある. \\[.2zh] これを知識としてもっておくと,\ 問題の見通しがよくなる. \\[.2zh] また,\ 数Bの数列を学習済みならば理解しやすくなる. \\\\ $[1]$\ \ $\bm{\textcolor{red}{f(0)が整数}\ \ かつ\ \ \textcolor{red}{階差f(n+1)-f(n)が常に整数}}$ \\[1zh] $[2]$\ \ $\bm{\textcolor{red}{連続するk+1個の整数nに対してf(n)が整数である}}$ \\[1zh] $[3]$\ \ $\bm{\textcolor{cyan}{a_n,\ \cdots,\ a_0\,を整数},\ \textcolor{magenta}{P_k(n)をk次階乗関数}}とするとき$ \text{[1]}\ \ 3つの中で最も単純で扱いやすい表現である. \\[1zh] \phantom{[1]}\ \ f(n+1)-f(n)が常に整数は,\ f(1)-f(0),\ f(2)-f(1),\ \cdots\ がすべて整数ということである. \\[.2zh] \phantom{[1]}\ \ f(0)=(整数)かつf(1)-f(0)=(整数)より,\ f(1)=(整数)となる. \\[.2zh] \phantom{[1]}\ \ f(1)=(整数)かつf(2)-f(1)=(整数)より,\ f(2)=(整数)となる. \\[.2zh] \phantom{[1]}\ \ これを繰り返すと,\ すべての整数n\,(\geqq0)に対してf(n)=(整数)となるのはほぼ明らかである. \\[1zh] \phantom{[1]}\ \ 階差が常に整数は,\ f(0)-f(-\,1),\ f(-\,1)-f(-\,2),\ \cdots\ がすべて整数ということでもある. \\[.2zh] \phantom{[1]}\ \ f(0)=(整数)かつf(0)-f(-\,1)=(整数)のとき,\ f(-\,1)=(整数)となる. \\[.2zh] \phantom{[1]}\ \ よって,\ 負数も含めたすべての整数nに対してf(n)=(整数)となることもわかる. \\[1zh] \phantom{[1]}\ \ 逆に,\ すべての整数nに対してf(n)が整数のとき,\ f(n+1)-f(n)は明らかに整数である. \\[.2zh] \phantom{[1]}\ \ よって,\ [1]は必要十分条件である. \\[1zh] \phantom{[1]}\ \ 一般に,\ \bm{f(n)がk次式のとき,\ f(n+1)-f(n)はk-1次式}となる. \\[.2zh] \phantom{[1]}\ \ 階差を考えることで,\ より次数の低い多項式に帰着するわけである. \\[1zh] \text{[2]}\ \ f(n)が2次式ならば,\ \bm{「連続する3個の整数nに対してf(n)が整数」が必要十分条件}である. \\[.2zh] \phantom{[1]}\ \ 例えば,\ 2次式f(n)に対して,\ f(0),\ f(1),\ f(2)がすべて整数であるとする. \\[.2zh] \phantom{[1]}\ \ これだけで,\ すべての整数nに対してf(n)が整数となることが確定する(後で証明). \\[.2zh] \phantom{[1]}\ \ 逆「\,2次式f(n)が常に整数\ \Longrightarrow\ f(0),\ f(1),\ f(2)は整数」は明らかである. \\[1zh] \text{[3]}\ \ \bm{k個の連続整数の積n(n-1)\cdots(n-k+1)をk\kaizyou\,で割った関数をP_k(n)}とする. \\[.2zh] \phantom{[1]}\ \ P_k(n)は\bm{k次式}であり,\ これを\bm{k次階乗関数}と呼ぶ. \phantom{[1]}\ \ \bm{k個の連続整数の積はk\kaizyou\,で割り切れる}のであったから,\ P_k(n)は常に整数である. \\[.2zh] \phantom{[1]}\ \ よって,\ 「\,f(n)=a_nP_k(n)+\cdots+a_0\ \Longrightarrow\ f(n)は整数値多項式」が成り立つ. \\[.2zh] \phantom{[1]}\ \ なお,\ n\geqq kのとき,\ P_0(n)=\kumiawase n0,\ P_1(n)=\kumiawase n1,\ P_2(n)=\kumiawase n2,\ \cdots,\ P_k(n)=\kumiawase nk\ とも表せる. \\[1zh] \phantom{[1]}\ \ 「\,f(n)は整数値多項式\ \Longrightarrow\ f(n)=a_nP_k(n)+\cdots+a_0\,の形で表せる」は後で示す. が整数値多項式であることを示せ. \\ $n(n-1)(n-2)$は連続3整数の積}であるから,\ $3\kaizyou=6$の倍数である. \\\\ \centerline{$\therefore \bm{f(n)は整数値多項式である.}f(n+1)-f(n)$nとn+11$は偶奇が異なる}から,\ \textcolor{cyan}{$n(n+11)$は偶数}である. \\\\ \centerline{$\therefore$ $\textcolor{red}{f(0)もf(n+1)-f(n)も整数}なので,\ 帰納的に\bm{f(n)は整数}である.$} 低次の具体的な多項式が整数値多項式であることを示すのは難しくない. \\[.2zh] 通分すると,\ 分子が6の倍数であることの証明に帰着する. \\[.2zh] 例によってn=6k,\ 6k+1,\ \cdots,\ 6k+5と場合分けして証明することもできるが,\ 面倒である. \\[.2zh] 一般に,\ \bm{連続k整数の積はk\kaizyou\,で割り切れる}から,\ 無理矢理連続3整数の積の形を作る. \\[.2zh] [3]の事実を考慮すると自然な発想である. \\[1zh] 実際には,\ n(n-1)(n-2)=n^3-3n^2+2nを作り,\ つじつまを合わせればよい. \\[.2zh] 数\text{I\hspace{-.1em}I}を学習済みならば,\ n^3-3n^2+2nで割り算すると考えることもできる. \\[.2zh] ちなみに,\ n(3n-1)=6\cdot\bunsuu{n(n-1)}{2}+2nより,\ f(n)=\kumiawase n3+6\kumiawase n2+2\kumiawase n1\ (n\geqq3)である. \\\\ 別解は,\ 階差f(n+1)-f(n)を利用するものである. \\[.2zh] 2次式に帰着するが,\ 計算が面倒で,\ 結局はその2次式が整数となることを示すための変形を要する. \\[.2zh] また,\ f(0)と階差が整数となるときf(n)が常に整数となることを自明としてよいかは微妙である. \\[.2zh] 同じ操作を繰り返せばほぼ明らかに成り立つ場合,\ 「帰納的に」と記述して済ませる方法がある. すべての整数nに対して,\ f(n)=an^2+bn+c\ \ (a,\ b,\ c:実数)\ が整数となるための$ \\[.2zh] \hspace{.5zw}$a,\ b,\ cの必要十分条件を求めよ.$ \\ {g(n)=f(n+1)-f(n)}$とする. \\[.5zh] すべての整数$n$に対して$f(n)$が整数であるとする. \\[.2zh] このとき明らかに,\ $f(0)$は整数で,\ なおかつすべての整数$n$に対して$g(n)$は整数である. \\[1zh] $f(0)$が整数で,\ なおかつすべての整数$n$に対して$g(n)$が整数であるとする. \\[.5zh] \textcolor{forestgreen}{$n$が正の整数}のとき \textcolor{magenta}{$f(n)=f(0)+\{g(0)+\cdots+g(n-1)\}$は整数}である. \\[.2zh] \textcolor{forestgreen}{$n$が負の整数}のとき \textcolor{magenta}{$f(n)=f(0)-\{g(-1)+\cdots+g(n)\}$は整数}である. \\[1zh] よって,\ すべての整数$n$に対して$f(n)$は整数である. \\\\ $f(n)が常に整数となるための必要十分条件は$ \\[.5zh] \centerline{$\textcolor{red}{f(0)=c\ が整数}\ \ かつ\ \ \textcolor{red}{f(n+1)-f(n)=g(n)=2an+a+b\ が整数}$} \\[1zh] $g(n)が常に整数となるための必要十分条件は$ \\[.5zh] \centerline{$\textcolor{red}{g(0)=a+b\ が整数}\ \ かつ\ \ \textcolor{red}{g(n+1)-g(n)=2a\ が整数}$} \\[1.3zh] \centerline{$\therefore \bm{2a,\ a+b,\ cがすべて整数}となることが必要十分条件である.$} 「\,f(0)が整数\ かつ\ f(n+1)-f(n)が常に整数\ \Longleftrightarrow\ f(n)が常に整数」を利用する. \\[.2zh] \Longleftarrow は明らかだろう.\ \ \Longrightarrow は先程「帰納的に」で済ませたが,\ 今回はきちんと記述した. \\[1zh] 解答がわかりにくいならば,\ 具体的な整数で考えてみればよい. \\[.2zh] f(n)は以下のように,\ f(0)とg(0),\ \cdots,\ g(n-1)の和で表される. f(0),\ g(0),\ \cdots,\ g(n-1)がすべて整数であるならば,\ f(n)も整数である. \\[.2zh] 一見巧妙な変形に思えるかもしれないが,\ 数\text Bで学習する階差数列の公式に他ならない. \\[.2zh] つまり,\ f(n)の階差数列がg(n)であるから,\ f(n)=f(0)+\retuwa{k=0}{n-1}g(k)\ というだけの話なのである. \\\\ ただし,\ 数列では基本的に考えない負の整数の場合も考慮する必要がある. f(n)は2次式なので,\ \bm{2回階差をとると定数のみの式}となり,\ 必要十分条件が求められる. \\[.5zh] f(n+1)-f(n)=a(n+1)^2+b(n+1)+c-(an^2+bn+c)=2an+a+b \\[.2zh] g(n+1)-f(n)=2a(n+1)+a+b-(2an+a+b)=2a f(n)=an^2+bn+c\ \ (a,\ b,\ c:実数)とする.$ \\[1zh] \hspace{.5zw}(1)\ \ $f(-1),\ f(0),\ f(1)がすべて整数ならば,\ すべての整数nに対してf(n)が整数で$ \\[.2zh] \hspace{.5zw}\phantom{(1)}\ \ あることを示せ. \\[1zh] \hspace{.5zw}(2)\ \ $f(2019),\ f(2020),\ f(2021)がすべて整数ならば,\ すべての整数nに対してf(n)$ \\[.2zh] \hspace{.5zw}\phantom{(1)}\ \ が整数であることを示せ. \\ f(0)=c} & \cdots\cdots\,\maru1 \\[.2zh] \textcolor{red}{\ f(1)=a+b+c} & \cdots\cdots\,\maru2 \\[.2zh] \textcolor{red}{\ f(-1)=a-b+c} & \cdots\cdots\,\maru3 n(n+1),\ n(n-1)\ は連続2整数の積}であるから,\ 偶数である.$ \\[1zh] \centerline{$\therefore \bm{すべての整数nに対してf(n)は整数である.}$} \\\\[1zh] (2)\ \ $\textcolor{red}{g(n)=f(n+2020)}$とおくと \\[.2zh] \phantom{ (1)}\ \ $g(n)=a(n+2020)^2+b(n+2020)+c=an^2+b’n+c’\ \ (a,\ b’,\ c’;実数)$\ と表せる. \\[1zh] \phantom{ (1)}\ \ ここで,\ \textcolor{red}{$g(-1)=f(2019),\ \ g(0)=f(2020),\ \ g(1)=f(2021)$はすべて整数}である. \\[.2zh] \phantom{ (1)}\ \ よって,\ (1)より\textcolor{red}{すべての整数$m$に対して$g(m)$は整数}である. \\[1zh] \centerline{$\therefore \bm{すべての整数nに対してf(n)=g(n-2020)は整数である.}$ (1)\ \ \bm{a+b,\ a-b,\ cがすべて整数であるとき,\ f(n)が常に整数となる}ことを示すことになる. \\[.2zh] \phantom{(1)}\ \ わかりやすくするためにa+b,\ a-bを1つの文字でおくとよい. \\[.2zh] \phantom{(1)}\ \ 後は,\ \bm{a,\ bを消去してl,\ m,\ cで整理する}と,\ l,\ m,\ cが整数であることを利用できる. \\[1zh] \phantom{(1)}\ \ 逆は明らかであるから,\ a+b,\ a-b,\ cがすべて整数であることは必要十分条件である. \\[.2zh] \phantom{(1)}\ \ 前問の結果と異なるが,\ 同値な表現は無数にある. \\[.2zh] \phantom{(1)}\ \ 実際,\ 「\,2a,\ a+b,\ cが整数\ \Longleftrightarrow\ a+b,\ a-b,\ cが整数」である. \\[.2zh] \phantom{(1)}\ \ これは,\ (a+b)+(a-b)=2aという関係から明らかだろう. \\[1zh] (2)\ \ 一旦g(n)=f(n+2020)という関数を考えると,\ (1)を利用できる. \\[.2zh] \phantom{(1)}\ \ 図形的には\bm{平行移動}に相当する. \\[.2zh] \phantom{(1)}\ \ x軸方向にa平行移動するとき,\ x\ →\ x-aと変換するのであった. \\[.2zh] \phantom{(1)}\ \ n\ →\ n+2020として,\ -\,2020平行移動したわけである. \\[.2zh] \phantom{(1)}\ \ nの2次式g(n)に対してg(-1),\ g(0),\ g(1)がすべて整数なので,\ g(n)は整数値多項式である. \\[.2zh] \phantom{(1)}\ \ 平行移動したg(n)が整数値多項式ならば,\ 元のf(n)も整数値多項式である. n$を自然数とする.\ \ $n$次多項式$f(x)$に対して$f(0),\ f(1),\ \cdots,\ f(n)$が整数ならば, \\[.2zh] \hspace{.5zw}$f(x)$が整数値多項式であることを示せ. (上級者用) \\ [1]\ \ $n=1$のとき $\textcolor{cyan}{f(x)=ax+b}$とおく. \\[.5zh] \phantom{ [1]}\ \ \phantom{$n=1$のとき} $f(0)=b,\ f(1)=a+b$がともに整数ならば,\ $a,\ b$は整数である. \\[.5zh] \phantom{ [1]}\ \ \phantom{$n=1$のとき} よって,\ $f(x)$は整数値多項式である. \\\\ [2]\ \ $n=k$のとき \\[.5zh] \textcolor{cyan}{$k$次多項式$f(x)$}に対して\\[.2zh] \textcolor{forestgreen}{$f(0),\ f(1),\ \cdots,\ f(k)$が整数ならば, $f(x)$が整数値多項式であると仮定}する. \\[1zh] \phantom{ [1]}\ \ $n=k+1$のとき \\[.5zh] \textcolor{cyan}{$k+1$次多項式$f(x)$}に対して\textcolor{red}{$g(x)=f(x+1)-f(x)$}とする. \\[.2zh] \textcolor{red}{$f(0),\ f(1),\ \cdots,\ f(k+1)$が整数ならば,\ $g(0),\ g(1),\ \cdots,\ g(k)$は整数}である. \\[.2zh] よって,\ \textcolor{forestgreen}{仮定より$k$次多項式$g(x)$は整数値多項式}である. \\[1zh] \textcolor{magenta}{$f(0)$が整数で,\ 階差も常に整数なので,\ $k+1$次式$f(x)$は整数値多項式}である. \\\\ \centerline{$\therefore$ [1],\ [2]\,より,\ \textbf{すべての自然数$\bm{n}$に対して$\bm{f(x)}$は整数値多項式である.}} 一般的な場合の証明は\bm{数学的帰納法}(数\text B:数列)による. \\[.2zh] 数学的帰納法を利用する問題は様々あるが,\ その中で最も難しいものの1つである. \\[.2zh] 何を前提として何を示せばよいのかが非常に紛らわしいので,\ 慎重な思考が要求される. \\[.2zh] 特に,\ \bm{f(x)は特定の多項式ではなく,\ 任意(すべて)の多項式である}ことに注意してほしい. \\[1zh] n=1のときに示すべきは次である. \\[.5zh] \bm{どんな1次式f(x)に対しても,\ f(0),\ f(1)が整数ならば,\ f(x)が整数値多項式である.} \\[.5zh] a,\ bが整数ならば,\ 1次式f(x)=ax+bのxにどんな整数mを代入してもf(m)は整数である. \\[1zh] n=kのときに成り立つことを仮定したのは次である. \\[.5zh] \bm{どんなk次式f(x)に対しても,\ f(0),\ \cdots,\ f(k)が整数ならば,\ f(x)は整数値多項式である.} \\[1zh] この仮定を利用してn=k+1のときに示すべきは次である. \\[.5zh] \text{\scalebox{.92}[1]{$\bm{どんなk+1次式f(x)に対しても,}\ \bm{f(0),\ \cdots,\ f(k+1)が整数ならば,\ f(x)は整数値多項式である.}$}} \\[1zh] f(0),\,\cdots,\,f(k+1)が整数ならば,\ g(0)=f(1)-f(0),\ \cdots,\ g(k)=f(k+1)-f(k)は整数である. \\[.2zh] k次多項式g(x)に対してg(0),\ \cdots,\ g(k)が整数であるから,\ g(x)は整数値多項式である. $n$を自然数,\ $a_n,\ a_{n-1},\ \cdots,\ a_0$を整数,\ \ $P_n(x)=\bunsuu{x(x-1)\cdots(x-n+1)}{n\kaizyou}$とする. \\[.8zh] \hspace{.5zw}$n$次の整数値多項式$f(x)$が,\ $f(x)=a_nP_n(x)+a_{n-1}P_{n-1}(x)+\cdots+a_1P_1(x)+a_0$と \\[.2zh] \hspace{.5zw}表せることを示せ. \ (上級者用) \\ n$次式$f(x)$は$f(x)=a_nP_n(x)+\cdots+a_0\ (a_n,\ \cdots,\ a_0:実数)$と表せる}$\ \cdots\ (*)$を示す. \\\\ [1]\ \ $n=1$のとき $f(x)=a_1P_1(x)+a_0\ (a_1,\ a_0:実数)$と表せる. \\\\ [2]\ \ $n\leqq k$のとき $(*)$が成り立つと仮定する. \\[1zh] \phantom{ [1]}\ \ $n=k+1$のとき \\[.5zh] \textcolor{red}{$k+1$次式$f(x)$を$k+1次式P_{k+1}(x)$で割ったときの商を$a_{k+1}$,\ 余りを$g(x)$}とする. \\[.5zh] このとき,\ $f(x)=a_{k+1}P_{k+1}(x)+g(x)$となる. \\[.5zh] $g(x)$は$k$次以下の式であるから,\ 仮定より$n=k+1$のときも$(*)$が成り立つ. \\\\ \centerline{$\therefore$ [1],\ [2]\,より,\ すべての自然数$n$について$(*)$が成り立つ.} \\\\[.5zh] $f(x)$が整数値多項式であるとすると,\ $f(0),\ f(1),\ \cdots,\ f(n)$は整数である. \\[.5zh] $f(0)=a_0=(整数)$\ より $a_0$は整数 \\[.2zh] $f(1)=a_1P_1(1)+a_0=a_1\cdot1+a_0=(整数)$\ より $a_1$は整数 \\[.2zh] $f(2)=a_2P_2(2)+a_1P_1(2)+a_0=a_2\cdot1+a_1\cdot2+a_0=(整数)$\ より $a_2$は整数 \\[.2zh] $\vdots$ \\[.2zh] $f(n)=a_nP_n(n)+a_{n-1}P_{n-1}(n)+\cdots+a_1P_1(n)+a_0$ \\[.2zh] $\phantom{f(n)}=a_n\cdot1+a_{n-1}\cdot n+\cdots+a_1\cdot n+a_0=(整数)$\ より $a_n$は整数 \\[1zh] よって,\ \textcolor{red}{$a_n,\ a_{n-1},\ \cdots,\ a_1,\ a_0$はすべて整数}である. \\\\ \centerline{\scalebox{.97}[1]{$\therefore$\ \ \textbf{$\bm{n}$次整数値多項式は$\bm{f(x)=a_nP_n(x)+\cdots+a_0\ (a_n,\,\cdots,\,a_0:整数)}$と表せる. まず,\ \bm{すべてのn次式f(x)が\dot{実}\dot{数}\,a_n,\ \cdots,\ a_0\,とP_n(x)を用いて表せることを示す.} \\[.2zh] その後,\ \bm{f(x)が整数値多項式ならばa_n,\ \cdots,\ a_0\,が整数となることを示す}という二段構えである. \\[1zh] 一段階目では,\ \bm{整式の割り算}(数\text{I\hspace{-.1em}I})を利用する. \\[.2zh] n次式f(x)をn次式P_n(x)で割ると,\ 余りはn-1次以下の式となる. \\[.2zh] それをさらにn-1次式P_{n-1}(x)で割るといったことを繰り返していくと,\ f(x)を(*)と表せる. \\[1zh] n=1のとき,\ P_1(x)=xより,\ すべての1次式は実数a_1,\ a_0,\ P_1(x)を用いて表せる. \\[1zh] n次式で割ったときの余りはn-1次式とは限らず,\ n-1次\dot{以}\dot{下}の式である. \\[.2zh] よって,\ n=kのときだけでなく\bm{n\leqq kのときをすべて仮定する数学的帰納法}を用いた. \\[1zh] f(x)が整数値多項式であるとき,\ 当然n+1個の数f(0),\ \cdots,\ f(n)はすべて整数である. \\[.2zh] これを利用すると,\ a_0,\ a_1,\ \cdots,\ a_n\,が整数であることを順次確認できる. \\[.2zh] f(0)=(整数)よりa_0\,が整数とわかり,\ これとf(1)=a_1+a_0=(整数)よりa_1\,が整数とわかる. \\[.2zh] 順次繰り返していけば,\ a_0,\ \cdots,\ a_n\,がすべて整数であることがわかるわけである. \\[1zh] \bm{P_n(x)=\kumiawase xn}\,という認識があれば,\ P_{n}(n)などの値を求めやすくなる. \\[.5zh]
