Maths Olympiad Prep

Library / Mongolian Mathematical Olympiad Round 3 /1 of 12

Mongolian Mathematical Olympiad Round 3

Number theory Difficulty 4.9 AIME Prove it Mongolia

Find all positive integer solutions to the equation
4z2(2z2+1)=4xy−2x−y. 4z^2(2z^2 + 1) = 4xy - 2x - y.

Solution

Answer: There is no solution.
Our equation is equivalent to
(4z2+1)2=(4x−1)(2y−1). (4z^2 + 1)^2 = (4x - 1)(2y - 1).
Since 4x−1≡3(mod4)4x - 1 \equiv 3 \pmod{4}, there exists a prime divisor p≥3p \ge 3 of 4x−14x - 1 such that p≡3(mod4)p \equiv 3 \pmod{4}. Then p∣4z2+1p \mid 4z^2 + 1, thus 4z2≡−1(modp)4z^2 \equiv -1 \pmod{p}. By Fermat's theorem, we have
1≡(2z)p−1≡(−1)p−12≡−1(modp). 1 \equiv (2z)^{p-1} \equiv (-1)^{\frac{p-1}{2}} \equiv -1 \pmod{p}.
This is a contradiction. So there is no solution.

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

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.