Maths Olympiad Prep

Track / Stage 7 / 184 of 300 #1584 of 1964

Problem 1584

National olympiad second round; IMO P1/P4
Algebra Difficulty 7.4 Prove it

1400 real numbers are given. Prove that one can choose three of them like x,y,zx,y,z such that :
(xy)(yz)(zx)x4+y4+z4+1<0.009\left|\frac{(x-y)(y-z)(z-x)}{x^4+y^4+z^4+1}\right| < 0.009

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Official solution

1. Initial Considerations:
- We are given 1400 real numbers and need to prove that we can choose three of them, say x,y,zx, y, z, such that:
(xy)(yz)(zx)x4+y4+z4+1<0.009 \left|\frac{(x-y)(y-z)(z-x)}{x^4+y^4+z^4+1}\right| < 0.009
- Denote the given expression by f(x,y,z)f(x, y, z) for brevity.

2. Case Analysis:
- Case 1: If b500b \geq 500:
f(b,y,z)<14b14×500=12000=0.0005 f(b, y, z) < \frac{1}{4b} \leq \frac{1}{4 \times 500} = \frac{1}{2000} = 0.0005
Since 0.0005<0.0090.0005 < 0.009, this case is satisfied.

- Case 2: If b<500b < 500:
- Sub-case 2.1: If b160b \geq 160:
- Consider two sub-cases:
- Sub-case 2.1.1: There are two other numbers y>zy > z in the interval [825b,b]\left[\frac{8}{25}b, b\right]:
f(b,y,z)<14(17b25)3b4+(825b)4+(825b)4=1228251595268b<1228251595268×1600.0004812 f(b, y, z) < \frac{\frac{1}{4} \cdot \left(\frac{17b}{25}\right)^3}{b^4 + \left(\frac{8}{25}b\right)^4 + \left(\frac{8}{25}b\right)^4} = \frac{122825}{1595268b} < \frac{122825}{1595268 \times 160} \approx 0.0004812
Since 0.0004812<0.0090.0004812 < 0.009, this sub-case is satisfied.
- Sub-case 2.1.2: At least 699 numbers belong to the interval [0,825b)\left[0, \frac{8}{25}b\right):
- The length of this interval is 825b<160\frac{8}{25}b < 160.
- Thus, we can always suppose that at least 698 numbers a1,,a698a_1, \dots, a_{698} belong to [0,160)[0, 160).

- Sub-case 2.2: If b<160b < 160:
- Consider 160 intervals [0,1),[1,2),,[159,160)[0, 1), [1, 2), \dots, [159, 160).
- If there are 5 numbers in some interval [k,k+1)[k, k + 1), k3k \geq 3, then at least 3 numbers lie in either [k,k+12)\left[k, k + \frac{1}{2}\right) or [k+12,k+1)\left[k + \frac{1}{2}, k + 1\right):
f(x,y,z)14(12)33k4+114(12)3334+10.000128 f(x, y, z) \leq \frac{\frac{1}{4} \cdot \left(\frac{1}{2}\right)^3}{3k^4 + 1} \leq \frac{\frac{1}{4} \cdot \left(\frac{1}{2}\right)^3}{3 \cdot 3^4 + 1} \approx 0.000128
Since 0.000128<0.0090.000128 < 0.009, this sub-case is satisfied.

- Otherwise, in each interval [k,k+1)[k, k + 1), 3k1593 \leq k \leq 159, there are at most 4 numbers. So, there are at least 698157×4=70698 - 157 \times 4 = 70 numbers distributed among the three intervals [0,1),[1,2),[2,3)[0, 1), [1, 2), [2, 3). Thus, there is an interval containing at least 24 numbers, from which we can choose three x>y>zx > y > z belonging to a sub-interval of length 18\frac{1}{8}:
f(x,y,z)<14(18)30.000488 f(x, y, z) < \frac{1}{4} \cdot \left(\frac{1}{8}\right)^3 \approx 0.000488
Since 0.000488<0.0090.000488 < 0.009, this sub-case is satisfied.

3. Conclusion:
- In all cases, we have shown that there exist three numbers x,y,zx, y, z such that:
(xy)(yz)(zx)x4+y4+z4+1<0.009 \left|\frac{(x-y)(y-z)(z-x)}{x^4+y^4+z^4+1}\right| < 0.009

\blacksquare

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.