Notice that, by a,b,c≥0, we have ab+bc+ca≥0, so a2+b2+c2=1−2(ab+bc+ca)≤1. Therefore, applying inequality (∗), we get ≥≥=≥9−8a2+9−8b2+9−8c23+9−8a2−8b2+9−8c23+3+9−8a2−8b2−8c26+9−8(a2+b2+c2)7
Thus, 9−8a2+9−8b2+9−8c2≥7. Note: The proof of inequality (∗) can also be done using derivatives.
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: NuminaMath-1.5,
licensed Apache-2.0.
Statement and solution reproduced as published; topic and difficulty added by this site.