First, notice:
an+12+c3=(an2+an+c3)2+c3=(an2+c3)(an2+2an+1+c3)
We first prove that an2+c3 and an2+2an+1+c3 are coprime.
We prove by induction that 4c3+1 is coprime with 2an+1, for every n≥1.
Let n=1 and p be a prime divisor of 4c3+1 and 2a1+1=2c+1. Then p divides 2(4c3+1)=(2c+1)(4c2−2c+1)+1, hence p divides 1, a contradiction. Assume now that (4c3+1,2an+1)=1 for some n≥1 and the prime p divides 4c3+1 and 2an+1+1. Then p divides 4an+1+2=(2an+1)2+4c3+1, which gives a contradiction.
Assume that for some n≥1 the number
an+12+c3=(an2+an+c3)2+c3=(an2+c3)(an2+2an+1+c3)
is a power. Since an2+c3 and an2+2an+1+c3 are coprime, then an2+c3 is a power as well.
The same argument can be further applied giving that a12+c3=c2+c3=c2(c+1) is a power.
If a2(a+1)=tm with odd m≥3, then a=t1m and a+1=t2m, which is impossible. If a2(a+1)=t2m1 with m1≥2, then a=t1m1 and a+1=t2m1, which is impossible.
Therefore a2(a+1)=t2 whence we obtain the solutions a=s2−1,s≥2,s∈N.