Maths Olympiad Prep

Library / /17 of 46

Algebra Difficulty 5.7 AIME, harder Prove it Russia

Rational numbers aa and bb satisfy the equality
a3b+ab3+2a2b2+2a+2b+1=0. a^3 b + ab^3 + 2a^2 b^2 + 2a + 2b + 1 = 0.
Prove that 1ab1 - ab is a square of a rational number. (R. Zhenodarov)

Solution

First solution. Transform the original expression:
0=a3b+ab3+2a2b2+2a+2b+1=ab(a+b)2+2(a+b)+1=(ab1)(a+b)2+(a+b)2+2(a+b)+1=(ab1)(a+b)2+(a+b+1)2. \begin{aligned} 0 &= a^3 b + ab^3 + 2a^2 b^2 + 2a + 2b + 1 = ab(a + b)^2 + 2(a + b) + 1 \\ &= (ab - 1)(a+b)^2 + (a+b)^2 + 2(a+b) + 1 = (ab - 1)(a+b)^2 + (a+b+1)^2. \end{aligned}
Notice that a+b0a + b \neq 0, because otherwise 1=01 = 0.
Therefore, 1ab=(a+b+1a+b)21 - ab = \left(\frac{a+b+1}{a+b}\right)^2; since aa and bb are rational numbers, a+b+1a+b\frac{a+b+1}{a+b} is also a rational number, and the statement is proved.

Second solution. Multiply the given equation by abab and transform:
a2b2(a+b)2+2ab(a+b)+ab=0a2b2(a+b)2+2ab(a+b)+1=1ab1ab=(ab(a+b)+1)2. a^2b^2(a+b)^2 + 2ab(a+b) + ab = 0 \Leftrightarrow a^2b^2(a+b)^2 + 2ab(a+b) + 1 = 1 - ab \Leftrightarrow 1 - ab = (ab(a+b) + 1)^2.
From the last equality, the statement follows.

Third solution. If ab=0ab = 0, then the statement is true:
1ab=12. 1 - ab = 1^2.
If ab0ab \neq 0, then the quadratic equation abx2+2x+1=0abx^2 + 2x + 1 = 0 has a rational root (a+ba + b) and rational coefficients. By the quadratic formula, its discriminant is a square of a rational number. But D=4(1ab)D = 4(1 - ab), and the statement is proved.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.