We need to prove that
c2−b2+a2≥(c−b+a)2.
Expand the right-hand side:
(c−b+a)2=(c+a−b)2=(c+a)2−2b(c+a)+b2=c2+2ac+a2−2bc−2ab+b2.
So the inequality becomes:
c2−b2+a2≥c2+2ac+a2−2bc−2ab+b2.
Bring all terms to one side:
c2−b2+a2−[c2+2ac+a2−2bc−2ab+b2]≥0.
Simplify:
c2−b2+a2−c2−2ac−a2+2bc+2ab−b2≥0
(−b2−2ac+2bc+2ab−b2)≥0
(−2b2−2ac+2bc+2ab)≥0
2(−b2−ac+bc+ab)≥0
−b2−ac+bc+ab≥0
(bc+ab−b2−ac)≥0
b(c+a−b)−ac≥0
b(c+a−b)≥ac
Since a≤b≤c, c+a−b≥a (because c≥b), and b≥a, so b(c+a−b)≥ab. Also, ac≤bc since a≤b. So b(c+a−b)≥ac.
Therefore, the inequality holds for all real numbers a≤b≤c.