方針
根が満たす二次方程式から An の整数係数漸化式を作る。(2)は立方和の恒等式で3を因数に出す。
解答
解と係数の関係より α+β=p、αβ=−q である。また各根 u=α,β は u2=pu+q を満たす。
(1) n≥2 のとき、上の式に un−2 を掛けて un=pun−1+qun−2 を得る。u=α,β について加えるとAn=pAn−1+qAn−2である。初期値は A0=2、A1=α+β=p で、どちらも整数である。したがってこの漸化式により、数学的帰納法で全ての n≥0 に対して An は整数である。
(2) 恒等式 u3+v3=(u+v)3−3uv(u+v) に u=αn,v=βn を代入するとA3n=An3−3(αβ)nAn=An3−3(−q)nAn.よってA3n−An3=−3(−q)nAn.(1)より An は整数であり、q も整数だから、右辺は3の倍数である。したがって A3n−An3 は3で割り切れる。
別解
解法2
方針
An を p,q の整数係数多項式として明示する。整数性を直接読み取り、立方展開で合同条件を示す。
解答
(1)
解と係数の関係から α+β=p, αβ=−q である。
二変数の整式 Pn(X,Y) をP0=2,P1=X,Pn=XPn−1−YPn−2で定める。これは整数係数の整式である。またαn+βn=(α+β)(αn−1+βn−1)−αβ(αn−2+βn−2)だから、帰納法によりAn=Pn(α+β,αβ)=Pn(p,−q).p,−q は整数で Pn は整数係数だから、An は整数である。
(2)
さらにAn3−A3n=(αn+βn)3−(α3n+β3n)=3(αβ)n(αn+βn)=3(−q)nAn.右辺は3の倍数だから A3n−An3 は3で割り切れる。
総評
無理数である可能性のある2根の累乗和が整数になる理由を、根ごとの関係式から作る漸化式で示す。(2)は3乗和の恒等式を使うと差が明示的に3倍になる。A0=2 を補助的に導入すると、n=2 から同じ漸化式を統一して扱える。目安時間は15分。 2解法は同じ結論を異なる着眼点から確認しており、条件の使い忘れと端点・等号条件まで相互に点検できる。 2解法は同じ結論を異なる着眼点から確認しており、条件の使い忘れと端点・等号条件まで相互に点検できる。 2解法は同じ結論を異なる着眼点から確認しており、条件の使い忘れと端点・等号条件まで相互に点検できる。 2解法は同じ結論を異なる着眼点から確認しており、条件の使い忘れと端点・等号条件まで相互に点検できる。
冊子PDFで見る阪大の数列の問題で問題集を作る
出典: 大阪大学 1988年度 後期 数学(大学公式の問題PDF)。問題文はHTML表示のために再入力・数式組版しています。