Maths Olympiad Prep

Library / /2 of 6

Number theory Difficulty 5.6 AIME, harder Prove it Romania

Find the integer solutions of the equation
x2(x2+1)=21y1. x^2(x^2 + 1) = 21^y - 1.

Solutions — 2

Solution 1

The equation can be written as x4x2+1=21yx^4 - x^2 + 1 = 21^y, i.e., (x2x+1)(x2+x+1)=21y(x^2 - x + 1)(x^2 + x + 1) = 21^y. The number in the left hand side is an integer, therefore yy must be non-negative. It is easy to see that x2x+1x^2 - x + 1 and x2+x+1x^2 + x + 1 are co-prime. As 0<x2x+1<x2+x+10 < x^2 - x + 1 < x^2 + x + 1, we can only have x2x+1=1x^2 - x + 1 = 1, x2+x+1=21yx^2 + x + 1 = 21^y or x2x+1=3yx^2 - x + 1 = 3^y, x2+x+1=7yx^2 + x + 1 = 7^y. The first case leads to x{0,1}x \in \{0, 1\} and then to the solution x=y=0x = y = 0. In the second case, from the first equation we have (2x1)2=43y3(2x - 1)^2 = 4 \cdot 3^y - 3, hence 3(2x1)23 \mid (2x - 1)^2. It follows that 943y39 \mid 4 \cdot 3^y - 3, i.e., 343y113 \mid 4 \cdot 3^{y-1} - 1, and therefore y=1y = 1. We immediately obtain x=±2x = \pm 2. Thus, the equation has three solutions: x=y=0x = y = 0 and x=±2x = \pm 2, y=1y = 1.

Solution 2

The equation can be written (2x2+1)2=4×21y3(2x^2 + 1)^2 = 4 \times 21^y - 3. The number in the left hand side is an integer, therefore yy must be non-negative. If y=0y = 0 we immediately get x=0x = 0. For y=1y = 1, we get x=±2x = \pm 2. For y2y \ge 2, the number 421y34 \cdot 21^y - 3 is divisible by 3 but not by 9, and so it can not be a perfect square.

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.