MathLabs

Problem 2

Determine all pairs of positive integers (a,b)(a,b) such that a22ab2−b3+1\frac{a^2}{2ab^2-b^3+1} is a positive integer.
Step 2 of 3: Pair solutions by Vieta
In plain words

Pair solutions by Vieta

X2−2kb2X+k(b3−1)=0X^2-2kb^2X+k(b^3-1)=0
Detailed analysis

For b>1b>1, let kk be the positive integer quotient. Clearing denominators gives X2−2kb2X+k(b3−1)=0X^2-2kb^2X+k(b^3-1)=0, whose one root is aa. By Vieta, the other root is a′=2kb2−a=k(b3−1)/aa'=2kb^2-a=k(b^3-1)/a. The first expression shows that a′a' is an integer, and the second shows a′>0a'>0 because k>0k>0 and b3−1>0b^3-1>0. The same polynomial identity gives a′2=k(2a′b2−b3+1)a'^2=k(2a'b^2-b^3+1), so the new denominator is positive and its quotient is again kk.