13. Given that a,b,c are positive real numbers, a2+b2+c2+abc=4, prove: a+b+c≤3.
This one wants a proof. Work it on paper, read the official solution, then mark
yourself honestly — the ladder only means something if the record is true.
Official solution
Proof: Without loss of generality, let (b−1)(c−1)≥0, then bc≥b+c−1. 4−a2=b2+c2+abc≥2bc+abc=bc(2+a),
i.e., 2−a≥bc≥b+c−1, so a+b+c≤3.
Source: NuminaMath-1.5,
licensed Apache-2.0.
Statement and solution reproduced as published; topic, difficulty and ordering added
by this site.