Maths Olympiad Prep

Library / Greece — Selection Examination /28 of 61

Greece — Selection Examination

Algebra Difficulty 5.9 AIME, harder Prove it Greece

a. Let nn be a positive integer. Prove that
nx−n2≤x2, for all x≥n2. n\sqrt{x-n^2} \le \frac{x}{2}, \text{ for all } x \ge n^2.

b. Determine real numbers xx, yy, zz satisfying the equation
2x−1+4y−4+6z−9=x+y+z. 2\sqrt{x-1} + 4\sqrt{y-4} + 6\sqrt{z-9} = x + y + z.

Solution

a. Since x≥n2x \ge n^2, we have
nx−n2≤x2⇔2nx−n2≤x⇔4n2(x−n2)≤x2⇔(x−2n2)2≥0, n\sqrt{x-n^2} \le \frac{x}{2} \Leftrightarrow 2n\sqrt{x-n^2} \le x \Leftrightarrow 4n^2(x-n^2) \le x^2 \Leftrightarrow (x-2n^2)^2 \ge 0,
which is valid. Equality holds if and only if x=2n2x = 2n^2.

Alternatively, for every x≥n2x \ge n^2, it is enough to prove that
nx−n2−x2≤0⇔2nx−n2−x≤0⇔(2nx−n2−x)(2nx−n2+x)2nx−n2+x≤0 n\sqrt{x-n^2} - \frac{x}{2} \le 0 \Leftrightarrow 2n\sqrt{x-n^2} - x \le 0 \Leftrightarrow \frac{(2n\sqrt{x-n^2} - x)(2n\sqrt{x-n^2} + x)}{2n\sqrt{x-n^2} + x} \le 0
⇔4n2(x−n2)−x22nx−n2+x≤0⇔−(x−2n2)22nx−n2+x≤0, \Leftrightarrow \frac{4n^2(x-n^2) - x^2}{2n\sqrt{x-n^2} + x} \le 0 \Leftrightarrow \frac{-(x-2n^2)^2}{2n\sqrt{x-n^2} + x} \le 0,
which is valid. Equality holds for x=2n2x = 2n^2.

b. The given inequality can be written in the form
(2x−1−x)+(4y−4−y)+(6z−9−z)=0,(1) (2\sqrt{x-1}-x)+(4\sqrt{y-4}-y)+(6\sqrt{z-9}-z)=0, \quad (1)
for x≥1x \ge 1, y≥4y \ge 4 and z≥9z \ge 9.

Using (a) for n=1,2,…,3n = 1, 2, \dots, 3, we get
2x−1−x≤0,4y−4−y≤0and6z−9−z≤0, 2\sqrt{x-1}-x \le 0, \quad 4\sqrt{y-4}-y \le 0 \quad \text{and} \quad 6\sqrt{z-9}-z \le 0,
And therefore (1) is possible to be valid, only for
2x−1−x=0,4y−4−y=0and6z−9−z=0⇔x=2,y=8,z=18. 2\sqrt{x-1}-x=0, \quad 4\sqrt{y-4}-y=0 \quad \text{and} \quad 6\sqrt{z-9}-z=0 \Leftrightarrow x=2, y=8, z=18.

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.