MathLabs

第2問

an+1=a1a_{n+1}=a_1、an+2=a2a_{n+2}=a_2 を満たし、かつ i=1,2,…,ni=1,2,\ldots,n に対して aiai+1+1=ai+2a_ia_{i+1}+1=a_{i+2} を満たす実数 a1,a2,…,ana_1, a_2, \ldots, a_n が存在するような整数 n≥3n \ge 3 をすべて求めよ。
ステップ 2/7: 添字の拡張と積の恒等式
ai+22−ai+2=aiai+3−aia_{i+2}^2-a_{i+2}=a_ia_{i+3}-a_i
詳しい解説

ai+n=aia_{i+n}=a_i によって (ai)(a_i) をすべての整数 ii に拡張する。これは an+1=a1a_{n+1}=a_1 と an+2=a2a_{n+2}=a_2 に整合しており、このとき aiai+1+1=ai+2a_ia_{i+1}+1=a_{i+2} がすべての整数 ii について成り立つ。この関係式に ai+2a_{i+2} を掛けると aiai+1ai+2=ai+22−ai+2a_ia_{i+1}a_{i+2}=a_{i+2}^2-a_{i+2} となり、添字をずらした関係式 ai+1ai+2+1=ai+3a_{i+1}a_{i+2}+1=a_{i+3} に aia_i を掛けても同じ積 aiai+1ai+2=aiai+3−aia_ia_{i+1}a_{i+2}=a_ia_{i+3}-a_i が得られる。二つの式を等置すると、すべての整数 ii について ai+22−ai+2=aiai+3−aia_{i+2}^2-a_{i+2}=a_ia_{i+3}-a_i が成り立つ。