The system of equations you have defined has infinitely many solutions. The reason why you got a[2]=a[2] in Maple is because a[2] is arbitrary, thus it can take on any value. Maple cannot calculate the exact value because there is an infinite number of solutions for a[2], thus it sets the value as a[2]. To avoid any confusion, you can let a[2]=t, where t is any number.