MathDB
Determine a_2007 in an 'exact' sequence

Source: Baltic Way 2007

November 30, 2010
inductionalgebra proposedalgebra

Problem Statement

A sequence of integers a1,a2,a3,a_1,a_2,a_3,\ldots is called exact if an2am2=anman+ma_n^2-a_m^2=a_{n-m}a_{n+m} for any n>mn>m. Prove that there exists an exact sequence with a1=1,a2=0a_1=1,a_2=0 and determine a2007a_{2007}.