Maths Olympiad Prep

Library / /28 of 82

Number theory Difficulty 5.2 AIME, harder Prove it Croatia

Determine all pairs (x,y)(x, y) of integers which satisfy
6x2y24y2=20123x2. 6x^{2}y^{2} - 4y^{2} = 2012 - 3x^{2}.

Solution

The given equality is equivalent to
6x2y2+3x24y2=20123x2(2y2+1)2(2y2+1)=20122(3x22)(2y2+1)=2010 \begin{aligned} 6x^2y^2 + 3x^2 - 4y^2 &= 2012 \\ 3x^2(2y^2 + 1) - 2(2y^2 + 1) &= 2012 - 2 \\ (3x^2 - 2)(2y^2 + 1) &= 2010 \end{aligned}
Since 2010=235672010 = 2 \cdot 3 \cdot 5 \cdot 67 and the number 2y2+12y^2 + 1 is odd, we conclude that
2y2+1{1,3,5,15,67,201,335,1005},2y2{0,2,4,14,66,200,334,1004},y2{0,1,2,7,33,100,167,502}. \begin{aligned} 2y^2 + 1 &\in \{1, 3, 5, 15, 67, 201, 335, 1005\}, \\ 2y^2 &\in \{0, 2, 4, 14, 66, 200, 334, 1004\}, \\ y^2 &\in \{0, 1, 2, 7, 33, 100, 167, 502\}. \end{aligned}
Thereby y2y^2 must be 00, 11 or 100100.
There are three cases left:
{3x22=20102y2+1=1{3x22=6702y2+1=3{3x22=102y2+1=201 \left\{ \begin{array}{l} 3x^2 - 2 = 2010 \\ 2y^2 + 1 = 1 \end{array} \right. \quad \left\{ \begin{array}{l} 3x^2 - 2 = 670 \\ 2y^2 + 1 = 3 \end{array} \right. \quad \left\{ \begin{array}{l} 3x^2 - 2 = 10 \\ 2y^2 + 1 = 201 \end{array} \right.
We see that only in the third case there are integer solutions,
(x,y){(2,10),(2,10),(2,10),(2,10)}. (x, y) \in \{(2, 10), (-2, 10), (2, -10), (-2, -10)\}.

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.