Define bn(x)=an+1x+an for n≥0 and any integer x. We have to find all n≥1 for which gcd(bn(n),bn−1(n))>1. By definition, for k≥1 we have bk+1(x)=bk(x)+bk−1(x), hence gcd(bk+1(x),bk(x))=gcd(bk(x),bk−1(x)) and so, using induction and substituting x=n,
gcd(bn(n),bn−1(n))=gcd(b1(n),b0(n))=gcd(a2n+a1,a1n+a0)=gcd(4n+3,3n+1)=gcd(n+2,3n+1)=gcd(n+2,−5)∈{1,5}.
Hence, nan+1+an and nan+an−1 are not coprime iff 5∣n+2, and this is equivalent to n≡3(mod5).