For which integers $a,b$ does $ab-1$ divide $a^3+1$?

Solution 1:

A solution can be obtained in a more direct manner than Vieta jumping.

First, if $ab-1\mid a^3+1$, then $ab-1\mid a^2+b$ since $b\cdot(a^3+1)=a^2\cdot(ab-1)+a^2+b$. Similarly, $ab-1\mid b^2+a$ and $ab-1\mid b^3+1$. So, $ab-1$ divides either all or none of $a^3+1$, $a^2+b$, $b^2+a$, and $b^3+1$.

In particular, as has already been noted, if $(a,b)$ is a solution, then so is $(b,a)$, so we may restrict ourselves to solutions with $|a|\le|b|$. For small, fixed $a$, we may simply check all $b=(k+1)/a$ for integers $k\mid a^3+1$. This gives us the following solutions with $|b|\ge|a|$, assuming I haven't missed any:

• $a=0$ and any $b$
• $a=1$ and $b=-1,2,3$
• $a=-1$ and any $b$
• $a=2$ and $b=-4,2,5$
• $a=-2$ and $b=-4,3$
• $a=3$ and $b=-9,5$
• $a=-3$ and $b=-9,4$

In the following, we may therefore assume $4\le|a|\le|b|$.

If $ab-1\mid a^2+b$, either $b=-a^2$, which is always a solution, or $|a^2+b|\ge|ab-1|$. The latter, we split into two cases based on the sign of $a^2+b$.

If $a^2+b>0$, we get $a^2+b\ge|ab-1|$ from which follows that $|a|^2+|b|\ge|a|\cdot|b|-1$. Still assuming $|b|\ge|a|$, this gives $$ \bigl(|b|-|a|-1\bigr)\bigl(|a|-1\bigr)=|a|\cdot|b|-|a|^2-|b|+1\le2 $$ which implies that $|b|$ is either $|a|$ or $|a|+1$ when $|a|>3$. We can then check the alternatives $b=a$, $b=-a$, $b=a\pm 1$, $-b=a\pm 1$ (with $\pm$ depending on sign of $a$) to verify these give no additional solutions.

Similarly, if $a^2+b<0$, we have $-b>a^2$, which with $|b|\ge|a|\ge4$ makes $$|ab-1|\ge|a|\cdot|b|-1>|b|=-b>-b-a^2>0$$ for which there is no solution.

Although it is quite likely that I've made some mistake along the way, the approach should work.