Maths Olympiad Prep

Library / /22 of 45

, 2008

Number theory Difficulty 5.6 AIME, harder Prove it Slovenia

Find all prime numbers pp and qq such that 2p2q+45pq22p^2q + 45pq^2 is a perfect square.

Solution

First assume p=qp = q. Then 47p347p^3 must be a perfect square. Since 47p347p^3 is divisible by 4747 which is prime, it must also be divisible by 47247^2. This implies that 4747 divides either p3p^3 or pp. But pp is a prime, so this is only possible when pp is equal to 4747. Indeed, when p=q=47p = q = 47 we have 2p2q+45pq2=4742p^2q + 45pq^2 = 47^4, which is a perfect square.

Now, let pqp \neq q. Since 2p2q+45pq2=pq(2p+45q)2p^2q + 45pq^2 = pq(2p + 45q) is a perfect square divisible by pp, it must also be divisible by p2p^2. So, pp divides q(2p+45q)q(2p + 45q) or, since pp and qq are coprime, pp divides 2p+45q2p + 45q. We conclude that pp divides 45q45q, so pp divides 4545. There are two possible cases: p=3p = 3 or p=5p = 5. A similar argument shows that if qq divides 2p+45q2p + 45q, then qq divides 2p2p, which implies q=2q = 2. So, pq(2p+45q)=4p(p+45)pq(2p + 45q) = 4p(p + 45). If p=3p = 3, then this expression is equal to 4348=2424 \cdot 3 \cdot 48 = 24^2. If p=5p = 5, then it is equal to 40004000 and this is not a perfect square. The only two pairs of primes with the required property are p=q=47p = q = 47 and p=3,q=2p = 3, q = 2.

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.