整数からなる数列\suuretu{a_n}を次に示す漸化式によって定める.$
$ a_1=1,\ \ a_2=3,\ \ a_{n+2}=3a_{n+1}-7a_n\ \ (n=1,\ 2,\ ･･････)$
$このとき,\ a_n\,が5の倍数となるための条件を求めよ.$ [\,東京大・改\,] 整数値漸化式}
よって,\ $a_{n+4}$と$a_n$を5で割ったときの余りは等しい.}
ゆえに,\ $a_n$を5で割ったときの余りは周期4で循環}する.
∴$ $a_n$が5の倍数となるための条件は,\ $nが4の倍数}$となることである.} \\
$a_n\,を5で割ったときの余りを{r_n}\,とすると$
漸化式より,\ ある項の余りは直前の2項の余りで定まる.{周期4で循環}する.
∴$ $a_n$が5の倍数となるための条件は,\ $nが4の倍数}$となることである.}
漸化式は,\ 基本的には数 B:数列の学習内容である.
ただし,\ 一般項を求めるのではなく整数からなる数列の性質を探るのならば,\ ほぼ数 Aの範疇である.
数 Bを学習すると一般項a_n\,を求めたくなるが,\ 整数論的性質は漸化式のまま探る}ことになる.
整数値漸化式の余りの問題では,\ 余りの数列\{r_n\}が一定周期で循環する}という知識が重要になる.
まずは本問を例にその理由を確認する.
a_n\,を5で割ったときの商をq_n,\ 余りをr_n\,とすると
よって,\ a_{n+2}\,を5で割ったときの余りr_{n+2}\,は,\ 3r_{n+1}-7r_n\,を5で割ったときの余りに等しい.
合同式を用いて表すと,\ r_{n+2}≡3r_{n+1}-7r_n\ ±od5}となる.
このように,\ 漸化式は合同式を用いて余りの漸化式に変換することができる.
要するに,\ ある項を5で割ったときの余りは,\ 直前の2項を5で割ったときの余りで決まる.}
例えば,\ r_1≡1,\ r_2≡3より,\ r_3≡3r_2-7r_1≡2である.
ここで,\ 5で割ったときの余りは0,\ 1,\ 2,\ 3,\ 4の5種類である.
この5数から2数(重複可)を選んで並べるときの場合の数は5^2=25通りである.
よって,\ (r_2,\ r_3),\ ･･･,\ (r_{26},\ r_{27})の25組の中に必ず(r_1,\ r_2)と同じものが現れる(部屋割り論法}).
25通りのパターンしかないから,\ 26組目までには必ず重複が生じるという単純な論理である.
そして,\ 一旦(r_1,\ r_2)と同じ余りの組が現れると,\ それ以降は循環する.}
実際に問題を解く上では,\ まず周期を確認する}ことが重要である.\ ひたすら計算して調べる.
(r_1,\ r_2)=(r_5,\ r_6)より,\ r_6\,まで計算すると周期4で循環することがわかる.}
後は周期が4であることをどのようにして示すかが問題になる.
周期が4ということは,\ a_{n+4}\,とa_n\,を5で割ったときの余りが等しくなるということである.
一般に「\,aとbを5で割ったときの余りが等しい\,⇔\,a-bが5の倍数}」が成り立つのであった.
a_{n+4}-a_n\,に漸化式を繰り返し適用していく}と,\ 5の倍数であることが示される.
先程示したように,\ 元の漸化式を合同式を用いて余りの漸化式に変換する}と簡潔に済む(別解).
計算が楽になるように,\ 7≡2±od5も適用した. n$を正の整数とする.\ \ $x^{n+1}$を$x^2-x-1$で割った余りを$a_nx+b_n$とおく.
(1)\ \ 数列$a_n,\ b_n\ (n=1,\ 2,\ 3,\ ･･･)$は\ $
a_{n+1}=a_n+b_n
b_{n+1}=a_n
$-.5zw}を満たすことを示せ. [-.5zh]
(2)\ \ $n=1,\ 2,\ 3,\ ･･･$に対して,\ $a_n,\ b_n$は共に正の整数で,\ 互いに素であることを
証明せよ. [\,東京大\,]
(1)\ \ $x^{n+1}$を$x^2-x-1$で割ったときの商を$Q_n(x)$とおくと
∴ ②,\ ③を比較すると
a_{n+1}=a_n+b_n
b_{n+1}=a_n
よって,\ $a_1$と$b_1$は共に正の整数で互いに素である.
[2]\ \ $n=k$のとき $a_k$と$b_k$が共に正の整数で互いに素であると仮定}する.より,\ $a_{k+1}$と$b_{k+1}$は共に正の整数である. \\
$a_{k+1}$と$b_{k+1}$が素数の公約数$p$をもつと仮定}する(背理法).
このとき,\ $a_{k+1}=pl,\ \ b_{k+1}=pm\ (l,\ m:正の整数)$とおける.
よって,\ $a_k$と$b_k$は共に$p$の倍数である.
これは,\ $a_k$と$b_k$が互いに素であるという数学的帰納法の仮定に矛盾}する.
よって,\ 背理法の仮定は誤りであり,\ $a_{k+1}$と$b_{k+1}$は互いに素}である.
∴$ [1],\ [2]\,より,\ すべての自然数$n}$に対して$a_n,\ b_n}$は共に正の整数で互いに素である.
互いに素の証明}\,]
$n=1$のとき $x^2=(x^2-x-1)+x+1$より $a_1=1,\ b_1=1$
$n≧2$のとき,\ ある$a_n,\ b_n$が素数の公約数$p$をもつと仮定}する.
このとき,\ $a_n=pl,\ b_n=pm\ (l,\ m:正の整数)$とおける.
よって,\ $a_{n-1},\ b_{n-1}$は$p$の倍数である.
帰納的に$a_1,\ b_1$も$p$の倍数となるが,\ これは$a_1=b_1=1$であることと矛盾}する.
∴$ すべての自然数$n}$に対して$a_n,\ b_n}$は互いに素である.
本問は,\ 整式の割り算(数II})と漸化式(数 B)と整数(数 A)の融合問題である.
(1)\ \ 整式の割り算なので,\ まずは等式を作成するのが自然である.
\ \ このとき,\ nの値によって商や余りが変わる}ことに注意する.
\ \ そこで,\ ax+bではなくa_nx+b_n\,とするよう誘導されているわけである.
\ \ このように,\ n次式の余りを数列としてとらえると漸化式を作成することができる.}
\ \ 実際には,\ x^{n+2}\,を2通りに表して係数比較}する.
\ \ ①をx倍すると,\ x^{n+2}\,をx^2-x-1で割ったときの等式を作成できる.
\ \ ここで,\ 2次式で割ったときの余りは1次以下の式でなければならない.
\ \ よって,\ a_nx^2+b_nxをさらにx^2-x-1で割る}必要がある.
\ \ 筆算でもよいが,\ ここではx^2-x-1を作ってつじつまを合わせた後,\ くくり出した.
(2)\ \ 数学的帰納法}(数 B)を用いて証明する.
\ \ a_n,\ b_n\,が共に正の整数であることだけならば,\ 漸化式からほぼ明らかである.
\ \ 後は,\ a_k,\ b_k\,が互いに素であると仮定し,\ a_{k+1},\ b_{k+1}\,も互いに素であることを示せばよい.
\ \ 互いに素の証明は,\ 素数の公約数pをもつと仮定し,\ 矛盾を導く}のであった(背理法}).
\ \ このとき,\ 数学的帰納法の仮定と背理法の仮定を混同しないように注意する.
\ \ 数学的帰納法の仮定(n=k)を利用して背理法の仮定が誤りであることを示す}ことになる.
\ \ 別解1のように,\ 漸化式を逆に利用して繰り下げていくことで矛盾を示す方法}もある.
