a_n^2 = a_{n-1}a_{n+1} if a_2^2 = a_1a_3 where a_n=1+x^{n+1}+x^{n+2}
Source: Caucasus 2015 10.2
April 26, 2019
algebraidentityalgebraic identities
Problem Statement
Vasya chose a certain number x and calculated the following:
a1=1+x2+x3,a2=1+x3+x4,a3=1+x4+x5,...,an=1+xn+1+xn+2,...
It turned out that a22=a1a3.
Prove that for all n≥3, the equality an2=an−1an+1 holds.