1400 real numbers are given. Prove that one can choose three of them like x,y,z such that : x4+y4+z4+1(x−y)(y−z)(z−x)<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,z, such that: x4+y4+z4+1(x−y)(y−z)(z−x)<0.009 - Denote the given expression by f(x,y,z) for brevity.
2. Case Analysis: - Case 1: If b≥500: f(b,y,z)<4b1≤4×5001=20001=0.0005 Since 0.0005<0.009, this case is satisfied.
- Case 2: If b<500: - Sub-case 2.1: If b≥160: - Consider two sub-cases: - Sub-case 2.1.1: There are two other numbers y>z in the interval [258b,b]: f(b,y,z)<b4+(258b)4+(258b)441⋅(2517b)3=1595268b122825<1595268×160122825≈0.0004812 Since 0.0004812<0.009, this sub-case is satisfied. - Sub-case 2.1.2: At least 699 numbers belong to the interval [0,258b): - The length of this interval is 258b<160. - Thus, we can always suppose that at least 698 numbers a1,…,a698 belong to [0,160).
- Sub-case 2.2: If b<160: - Consider 160 intervals [0,1),[1,2),…,[159,160). - If there are 5 numbers in some interval [k,k+1), k≥3, then at least 3 numbers lie in either [k,k+21) or [k+21,k+1): f(x,y,z)≤3k4+141⋅(21)3≤3⋅34+141⋅(21)3≈0.000128 Since 0.000128<0.009, this sub-case is satisfied.
- Otherwise, in each interval [k,k+1), 3≤k≤159, there are at most 4 numbers. So, there are at least 698−157×4=70 numbers distributed among the three intervals [0,1),[1,2),[2,3). Thus, there is an interval containing at least 24 numbers, from which we can choose three x>y>z belonging to a sub-interval of length 81: f(x,y,z)<41⋅(81)3≈0.000488 Since 0.000488<0.009, this sub-case is satisfied.
3. Conclusion: - In all cases, we have shown that there exist three numbers x,y,z such that: x4+y4+z4+1(x−y)(y−z)(z−x)<0.009
■
Source: NuminaMath-1.5,
licensed Apache-2.0.
Statement and solution reproduced as published; topic, difficulty and ordering added
by this site.