MathLabs

Problem 4

Find all ordered pairs of positive integers (m,n)(m,n) for which n3+1mn−1\frac{n^3+1}{mn-1} is an integer.
Step 3 of 4: Solve the first case
In plain words

The equation forces one factor to be within two of nn.

m+k=n⟹n=m(n−m)−1m+k=n\Longrightarrow n=m(n-m)-1
Detailed analysis

With k=n−mk=n-m, the identity becomes n=m(n−m)−1n=m(n-m)-1. By symmetry take m≥km\ge k. The value m=n−1m=n-1 fails; if m=n−2m=n-2, then n=5n=5, giving (m,n)=(2,5),(3,5)(m,n)=(2,5),(3,5). If m<n−2m<n-2, then n−m≥3n-m\ge3 and m≥n/2m\ge n/2, so m(n−m)−1≥3n/2−1>nm(n-m)-1\ge3n/2-1>n, impossible.