Maths Olympiad Prep

Library / /15 of 34

Number theory Difficulty 5.4 AIME, harder Prove it Romania

a) Find xNx \in \mathbb{N} and yQy \in \mathbb{Q}, such that x+x=y\sqrt{x + \sqrt{x}} = y.

b) Prove that one can find infinitely many pairs (x,y)Q2(x, y) \in \mathbb{Q}^2 such that
x+x=y. \sqrt{x + \sqrt{x}} = y.

Solution

a) Since x+xQ\sqrt{x + \sqrt{x}} \in \mathbb{Q}, xx must be a square. Let x=n2x = n^2, with nNn \in \mathbb{N}. We obtain n(n+1)=y2n(n + 1) = y^2, and since n2n(n+1)<(n+1)2n^2 \le n(n + 1) < (n + 1)^2, we deduce that n=0n = 0, hence x=y=0x = y = 0.

b) There are infinitely many Pythagorean triples (p,q,r)(p, q, r) with p2+q2=r2p^2 + q^2 = r^2. Choosing x=p4q4x = \frac{p^4}{q^4}, we obtain
x+x=p2q2(p2q2+1)=p2q2(p2+q2q2)=prq2Q. \sqrt{x + \sqrt{x}} = \sqrt{\frac{p^2}{q^2} \left( \frac{p^2}{q^2} + 1 \right)} = \sqrt{\frac{p^2}{q^2} \left( \frac{p^2 + q^2}{q^2} \right)} = \frac{pr}{q^2} \in \mathbb{Q}.

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.