Maths Olympiad Prep

Library / Romanian Mathematical Olympiad /60 of 275

Romanian Mathematical Olympiad

Number theory Difficulty 5.2 AIME, harder Prove it Romania

Find all non-negative integers nn so that n+3+n+3\sqrt{n+3} + \sqrt{\sqrt{n+3}} is an integer.

Solution

Denote m=n+3+n+3m = \sqrt{n+3} + \sqrt{\sqrt{n+3}}. Then n+n+3=(m−n+3)2n + \sqrt{n+3} = (m - \sqrt{n+3})^2, whence (2m+1)n+3=m2+3(2m+1)\sqrt{n+3} = m^2 + 3. Then there exists p∈Np \in \mathbb{N} so that n+3=p2n+3 = p^2 and, since p+n+p∈Np + \sqrt{n+p} \in \mathbb{N}, there exists q∈Nq \in \mathbb{N} so that n+p=q2n+p = q^2.
Eliminating nn yields p2−3=q2−pp^2 - 3 = q^2 - p, that is 4p2+4p−12=4q24p^2 + 4p - 12 = 4q^2, or (2p+1)2−(2q)2=13(2p+1)^2 - (2q)^2 = 13, which is equivalent to (2p+1−2q)(2p+1+2q)=13(2p+1-2q)(2p+1+2q) = 13.
This gives p=3p = 3, so n=6n = 6.

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.