Problem 4
Find all ordered pairs of positive integers for which is an integer.
Step 3 of 4: Solve the first case
In plain words
The equation forces one factor to be within two of .
Detailed analysis
With , the identity becomes . By symmetry take . The value fails; if , then , giving . If , then and , so , impossible.