MathLabs

Bài 2

Tìm tất cả các số nguyên n≥3n \ge 3 mà tồn tại các số thực a1,a2,…,ana_1, a_2, \ldots, a_n thỏa mãn an+1=a1a_{n+1}=a_1, an+2=a2a_{n+2}=a_2, và aiai+1+1=ai+2a_ia_{i+1}+1=a_{i+2} với i=1,2,…,ni=1,2,\ldots,n.
Bước 2 trên 7: Mở rộng chỉ số và một đẳng thức tích
ai+22−ai+2=aiai+3−aia_{i+2}^2-a_{i+2}=a_ia_{i+3}-a_i
Phân tích chi tiết

Mở rộng (ai)(a_i) ra mọi số nguyên ii bằng ai+n=aia_{i+n}=a_i, phù hợp với an+1=a1a_{n+1}=a_1 và an+2=a2a_{n+2}=a_2; khi đó aiai+1+1=ai+2a_ia_{i+1}+1=a_{i+2} đúng với mọi số nguyên ii. Nhân hệ thức này với ai+2a_{i+2} cho aiai+1ai+2=ai+22−ai+2a_ia_{i+1}a_{i+2}=a_{i+2}^2-a_{i+2}; nhân hệ thức dịch chuyển ai+1ai+2+1=ai+3a_{i+1}a_{i+2}+1=a_{i+3} với aia_i cũng cho cùng tích đó, aiai+1ai+2=aiai+3−aia_ia_{i+1}a_{i+2}=a_ia_{i+3}-a_i. Cân bằng hai biểu thức ta được ai+22−ai+2=aiai+3−aia_{i+2}^2-a_{i+2}=a_ia_{i+3}-a_i với mọi số nguyên ii.