Maths Olympiad Prep

Library / Selection Tests for the JBMO /1 of 2

Selection Tests for the JBMO, 2019

Algebra Difficulty 4.9 AIME Prove it Romania

If xx, yy and zz are real numbers such that x2+y2+z2=2x^2 + y^2 + z^2 = 2, prove that x+y+z≤xyz+2x + y + z \le xyz + 2.

Solutions — 2

Solution 1

Notice that 2xy≤x2+y2≤x2+y2+z2=22xy \le x^2 + y^2 \le x^2 + y^2 + z^2 = 2, therefore xy≤1xy \le 1. Similarly, xz≤1xz \le 1, and yz≤1yz \le 1. We also have (x+y)2=x2+y2+2xy≤4(x+y)^2 = x^2 + y^2 + 2xy \le 4, so x+y≤∣x+y∣≤2x+y \le |x+y| \le 2. Also, x+z≤2x+z \le 2, and y+z≤2y+z \le 2. If one of the numbers is negative, let's say zz, then the conclusion follows from the inequalities x+y≤2x+y \le 2 and z≤xyzz \le xyz.

In the case x,y,z∈[0,1]x, y, z \in [0, 1], we have z(1−xy)≤1−xy≤2−x−yz(1 - xy) \le 1 - xy \le 2 - x - y (the last inequality is equivalent to (1−x)(1−y)≥0(1-x)(1-y) \ge 0).

We may have at most one number greater than 1, otherwise the product of two such numbers would be greater than 1. We are left with the case x,y∈[0,1]x, y \in [0, 1] and z>1z > 1. In this case (1−x)(1−y)(z−1)≥0⇔xyz+2≥xy+yz+xz+3−(x+y+z)≥x+y+z(1-x)(1-y)(z-1) \ge 0 \Leftrightarrow xyz + 2 \ge xy + yz + xz + 3 - (x+y+z) \ge x+y+z, the last inequality being equivalent to 2(xy+yz+zx)+6=(x+y+z)2+4≥4(x+y+z)2(xy+yz+zx)+6 = (x+y+z)^2+4 \ge 4(x+y+z).

Solution 2

Using Cauchy-Buniakowsky-Schwarz we get (x+y+z−xyz)2=((x+y)+z(1−xy))2≤((x+y)2+z2)(1+(1−xy)2)=(2+2xy)(2−2xy+x2y2)=4+2x2y2(xy−1)≤4(x + y + z - xyz)^2 = ((x+y)+z(1-xy))^2 \le ((x+y)^2+z^2)(1+(1-xy)^2) = (2+2xy)(2-2xy+x^2y^2) = 4+2x^2y^2(xy-1) \le 4 since x2+y2≤2x^2 + y^2 \le 2 and xy≤1xy \le 1.

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.