MathLabs

Problem 2

Find all integers n≥3n \ge 3 for which there exist real numbers a1,a2,…,ana_1, a_2, \ldots, a_n satisfying an+1=a1a_{n+1}=a_1, an+2=a2a_{n+2}=a_2, and aiai+1+1=ai+2a_ia_{i+1}+1=a_{i+2} for i=1,2,…,ni=1,2,\ldots,n.
Step 3 of 7: Summing the identity cyclically
∑i=1nai2=∑i=1naiai+3\sum_{i=1}^n a_i^2=\sum_{i=1}^n a_ia_{i+3}
Detailed analysis

Sum the identity from Step 2 over i=1,…,ni=1,\ldots,n. Because the extension is nn-periodic, the index i+2i+2 runs through the same nn values as ii does, so ∑i=1nai+22=∑i=1nai2\sum_{i=1}^n a_{i+2}^2=\sum_{i=1}^n a_i^2 and ∑i=1nai+2=∑i=1nai\sum_{i=1}^n a_{i+2}=\sum_{i=1}^n a_i; hence the linear terms −ai+2-a_{i+2} on the left and −ai-a_i on the right of the summed identity cancel, leaving ∑i=1nai2=∑i=1naiai+3\sum_{i=1}^n a_i^2=\sum_{i=1}^n a_ia_{i+3}.