[Math] Prove that infinitely many integers $n$ satisfy $(n+a)\mid(a^n+1)$

divisibilityelementary-number-theory

Let $a\in\mathbb Z$ and $a\gt3$. Prove that there exist infinitely
many positive integers $n$ satisfying $(n+a)\mid(a^n+1)$.

This problem was mentioned for the first time in this post, so all the credits should go to Drona. The author (wrongly, I think) thought that the two problems were equivalent. I made a comment about that but it went unnoticed because it was the last one in a pretty long chain. I asked Drona to post the original question but did not hear from him since then. I believe that this problem is too interesting to be left buried in some hidden comment, so I decided to post it here.

It's relatively easy to prove that $a$ and $n$ must be coprime. But apart from that simple fact I did not get much further.

Best Answer

Ok, so this may not be a proper solution or a solution at all but I'll try my best. Sorry in advance.

If $ (a+n)|(a^n+1)$ then by long division we get the remainder $(-1)^kn^ka^{n-k} +1$ for each k times that we divide. When we keep on dividing then k finally becomes $n$. Then the remainder becomes $(-1)^nn^n+1$. Since $(a+n)|(a^n+1) \rightarrow (a+n)|((-1)^nn^n+1)$ in order for the remainder to vanish. The term $(-1)^nn^n+1$ is dependent only on n, and we can find its factors($x$) greater than $3+n$ where they exist. Then we have the desired values of $n$ for each $a = x-n$.