Problem: Let x, y, z be positive real numbers that satisfy the equality x2+y2+z2=3. Prove that x2+yz+1x2+yz+y2+zx+1y2+zx+z2+xy+1z2+xy≤2
Solution
Solution: We have x2+yz+1x2+yz+y2+zx+1y2+zx+z2+xy+1z2+xy≤2⇔x2+yz+1x2+yz+1+y2+zx+1y2+zx+1+z2+xy+1z2+xy+1≤2+x2+yz+11+y2+zx+11+z2+xy+11⇔3≤2+x2+yz+11+y2+zx+11+z2+xy+11⇔1≤x2+yz+11+y2+zx+11+z2+xy+11x2+yz+11+y2+zx+11+z2+xy+11≥x2+yz+1+y2+zx+1+z2+xy+19=x2+y2+z2+xy+yz+zx+39≥2x2+y2+z2+39=1 The first inequality: AM-GM inequality (also can be achieved with Cauchy-Bunjakowski-Schwarz inequality). The second inequality: xy+yz+zx≤x2+y2+z2 (there are more ways to prove it, AM-GM, full squares etc.)
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.