Problem

Source: China TST 1997, problem 3

Tags: calculus, integration, algebra unsolved, algebra



Prove that there exists $m \in \mathbb{N}$ such that there exists an integral sequence $\lbrace a_n \rbrace$ which satisfies: I. $a_0 = 1, a_1 = 337$; II. $(a_{n + 1} a_{n - 1} - a_n^2) + \frac{3}{4}(a_{n + 1} + a_{n - 1} - 2a_n) = m, \forall$ $n \geq 1$; III. $\frac{1}{6}(a_n + 1)(2a_n + 1)$ is a perfect square $\forall$ $n \geq 1$.