Let a,b,c be arbitrary real numbers such that a+b+c=0. Prove that: 33a2+133a2−a+33b2+133b2−b+33c2+133c2−c≥0.
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.
Notice the original inequality is equivalent to cyc∑(33a2+133a2−a+t)≥3t(1) We want to try to make every term on the left hand side non negative, so we need to choose a t such that the numerator of (33a2+133a2−a+t) is always positive. Hence we want (33a2+133a2−a+t)=33a2+1(1+t)33a2−a+t=33a2+1(33(1+t)a−t)2(2) to hold. Compare the coefficients and we need 1=233t1+t⟹t=2−1+6617>0. This number itself isn't really important, we just need to prove that it exists and 0≤t≤1. For simplicity we will keep on using t to denote 2−1+6617. Now we need to proof Eq. (1) holds, using the formula Eq. (2) we will get the original problem is equivalent to the following inequality cyc∑33a2+1(33(1+t)a−t)2≥3t. The denominator is annoying to deal with, so we want to try to make it simpler using our condition, that is a2=(0−b−c)2=(b+c)2≤2b2+2c2⟹3a2=a2+2a2≤2(a2+b2+c2). Similarly 3b2≤2(a2+b2+c2),3c2≤2(a2+b2+c2) also holds. Therefore we have cyc∑33a2+1(33(1+t)a−t)2≥cyc∑22(a2+b2+c2)+1(33(1+t)a−t)2=22(a2+b2+c2)+1∑cyc(33(1+t)a−t)2=22(a2+b2+c2)+1∑cyc(33(1+t)a2)+3t Finally we need to prove it is greater than 3t, which is just 22(a2+b2+c2)+1∑cyc(33(1+t)a2)+3t≥3t⇔33(1+t)(a2+b2+c2)≥22(a2+b2+c2)3t Which holds if and only if t≤1, therefore we proved the inequality.
Another Solution: If a,b,c≥−1, then 33a2+133a2−a⇔33a2−a⇔33a3+33a2⇔33a2(a+1)≥−a≥−33a3−a≥0≥0, which is true for a,b,c. Therefore cyc∑33a2+133a2−a≥cyc∑(−a)=0. Now if one of a,b,c is smaller than (−1), suppose that a<−1. The inequality that we want to prove is equivalent to cyc∑33a2+1a+1≤3. For any x∈R, if k=33x2+1x+1, then 33kx2−x+(k−1)=0. Therefore the determinant Δ=1−132k(k−1)≥0. This implies that 132k2−132k−1≤0, and so k≤21+1+331<23. Therefore, 33a2+1a+1+33b2+1b+1+33c2+1c+1<0+23+23=3. In conclusion, the inequality holds in both case, and so we are done.
Source: MathNet,
licensed CC-BY-4.0.
Statement translated into English from the original; metadata (topic, difficulty, ordering) added by this project.