Maths Olympiad Prep

Library / /95 of 264

Number theory Difficulty 5.4 AIME, harder Prove it Romania

a) Prove that if pp, qq, 2pq\sqrt{2p-q} and 2p+q\sqrt{2p+q} are integers, then qq is even.

b) Find out how many positive integers pp have the property that both 2p4030\sqrt{2p-4030} and 2p+4030\sqrt{2p+4030} are integers.

Solution

a) We know that 2pq=k22p - q = k^2, 2p+q=r22p + q = r^2, hence r2k2=2qr^2 - k^2 = 2q, with kk, rr positive integers. Then (rk)(r+k)=2q(r - k)(r + k) = 2q, and the conclusion follows from the fact that rkr - k and r+kr + k have the same parity.

b) Answer: four numbers.
With the above notations, (rk)(r+k)=24030=2251331(r - k)(r + k) = 2 \cdot 4030 = 2^2 \cdot 5 \cdot 13 \cdot 31. Since rkr - k and r+kr + k have the same parity and rk<r+kr - k < r + k, the pair (rk,r+k)(r - k, r + k) can be (2,4030)(2, 4030), (10,806)(10, 806), (26,310)(26, 310) or (62,130)(62, 130).
Then r{2016,408,168,96}r \in \{2016, 408, 168, 96\} and p{2030,113,812,17,1209,753}p \in \{2030, 113, 812, 17, 1209, 753\}.

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 reproduced verbatim; metadata (topic, difficulty) added by this project.