By the Cauchy-Bunyakovsky-Schwarz inequality, we have
b(a−1)2+c(b−1)2≥b+c(2−a−b)2=b+cc2,
and similar inequalities hold for all pairs. By adding the inequalities, we get
b(a−1)2+c(b−1)2+a(c−1)2≥21(a+bb2+b+cc2+c+aa2).
Note that the initial claim follows from this, because
a+bb2+b+cc2+c+aa2=a+ba2+b+cb2+c+ac2,
which holds since
a+bb2+b+cc2+c+aa2−a+ba2−b+cb2−c+ac2=a+bb2−a2+b+cc2−b2+c+aa2−c2=(b−a)+(c−b)+(a−c)=0.