方針
(1) はを展開して係数比較する。数値は漸化式で順に出す。(2)は共役な形が同じ漸化式を満たすことを帰納法で示す。(3)は(2)の式と元の式を引いてを閉じた形で表し,として積を整理する。符号はから決まる。(4)はを代入して一次不定方程式を解き,指定範囲内の1組を出す。
解答
(1)
定義より である。両辺にをかけると である。右辺を展開して となるから,係数比較により である。
では よりである。漸化式を用いるとである。したがって である。
(2)
数学的帰納法で示す。のときは であるから成り立つ。
で が成り立つと仮定する。この両辺にをかけると である。右辺は となる。(1)より なので, である。よってでも成り立つ。以上より,すべての正の整数について が成り立つ。
(3) とおく。(2)と定義式を引くと であるから, である。したがってである。分子を整理すると,とが打ち消し合い, となる。ここで であり,また である。よって分子はである。したがって である。
(4)
(1)よりであるから,求める条件は である。ユークリッドの互除法を用いるとである。これを逆にたどるとである。これは を与える。をともに以上にするため,の一般解を考えると である。とすれば となり,これはを満たす。したがって,例えば でよい。
別解
別解( の漸化式と行列式型不変量)
方針
(1) の2本の漸化式から を消去して を得る。隣接3項で作る が符号反転することを示す。(4)では をそのままベズー型の等式へ使う。
解答
(1) 係数比較からであり、 となる。
(2) 共役な式はこの漸化式を保つので、数学的帰納法により も成り立つ。
(3) を に代入するとを得る。 とおく。 から一方、 なので である。
(4) とすればしたがって がまず得られる。一般解はであり、 とすれば となる。これは指定範囲を満たす。
総評
【公式出題意図・講評との対応】 数学的帰納法と一次不定方程式の理解を問う問題である。公式講評では(1)は比較的良好、(2)で帰納法を正しく使えない答案が多く、(3)の完答は少なかった。さらに(4)を(3)から解いた答案は非常に少なかったとされる。本解説は共役数による標準解に加え、 が(4)のベズー等式を直接与える別解を独立表示した。
難度6、計算量5、想定時間20分。符号 は に由来する。帰納法では初期値、仮定、 の3段階を省略しない。
【独立検算】 を再生成し、 を から まで確認した。 も確認済みである。