ÖMO 1985 Problem 5

A sequence $(a_n)$ of positive integers satisfies: $a_n=\sqrt{\frac{a_{n-1}^2+a_{n+1}^2}{2}}$ for all $n \ge 1$ . Prove that this sequence is constant.