Maths Olympiad Prep

Library / /9 of 18

Number theory Difficulty 5.7 AIME, harder Prove it Austria

Determine all integer solutions (x,y,z)(x, y, z) of the equation x4+x2=7zy2x^4 + x^2 = 7^z y^2.

Solution

Clearly, we have solutions for any value of zz, if we also have x=y=0x = y = 0. We claim that there are no other solutions.

In order to show this, we first assume that zz is even. In this case, the number 7zy27^z y^2 is a perfect square, and therefore x4+x2=x2(x2+1)x^4 + x^2 = x^2(x^2 + 1) must also be a perfect square. The only value of xx for which both x2x^2 and x2+1x^2 + 1 can be perfect squares is 00, and we therefore have x=0x = 0 (and thus also y=0y = 0) in this case.

Now, assume that zz is positive and odd. Let z=2c+1z = 2c + 1. Since x2(x2+1)x^2(x^2 + 1) is divisible by 77 and x2+1x^2 + 1 can only be congruent to 11, 22, 33 or 55 modulo 77, it follows that xx must be divisible by 77. Let x=7aux = 7^a u and y=7bvy = 7^b v with uu and vv not divisible by 77. The given equation can now be written as
72au2(72au2+1)=72(b+c)+1v2, 7^{2a} u^2 (7^{2a} u^2 + 1) = 7^{2(b + c) + 1} v^2,
which yields a contradiction, since the left-hand side of this expression is exactly divisible by an even number of sevens, while the right-hand side is exactly divisible by an odd number of sevens.

Finally, assume that zz is negative and let z=wz = -w. In this case the equation can be written in the equivalent form 7wx2(x2+1)=y27^w x^2 (x^2 + 1) = y^2. If ww is even, we once again note that both x2x^2 and x2+1x^2 + 1 must be perfect squares, and as before this means that x=y=0x = y = 0 must follow. If ww is odd, we can write w=2c+1w = 2c + 1, and the same argument as before will hold, with x=7aux = 7^a u and y=7bvy = 7^b v yielding 72(a+c)+1u2(72au2+1)=72bv27^{2(a + c) + 1} u^2 (7^{2a} u^2 + 1) = 7^{2b} v^2 as a contradiction.

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.