Problem: Prove that, for all real numbers x,y,z : 2x2+1x2−y2+2y2+1y2−z2+2z2+1z2−x2≤(x+y+z)2 When does equality hold?
Solution
Solution: For x=y=z=0 the equality is valid. Since (x+y+z)2≥0 it is enough to prove that 2x2+1x2−y2+2y2+1y2−z2+2z2+1z2−x2≤0 which is equivalent to the inequality x2+21x2−y2+y2+21y2−z2+z2+21z2−x2≤0 Denote a=x2+21,b=y2+21,c=z2+21 Then (1) is equivalent to aa−b+bb−c+cc−a≤0 From the very well known AG inequality it follows that a2b+b2c+c2a≥3abc From the equivalencies a2b+b2c+c2a≥3abc⇔ca+ab+bc≥−3⇔aa−b+bb−c+cc−a≤0 it follows that the inequality (2) is valid for positive real numbers a,b,c.
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.
Source: MathNet,
licensed CC-BY-4.0.
Statement reproduced verbatim; metadata (topic, difficulty) added by this project.