The maximum possible value of k is 4.
Firstly, consider a=0 and b=c=21. The inequality becomes
0+4+k2+4+k2≥21.
Hence, we need k≤4.
It remains to prove
1+9bc+4(b−c)2a+1+9ca+4(c−a)2b+1+9ab+4(a−b)2c≥21
for all nonnegative a,b,c with a+b+c=1.
By the Cauchy-Schwarz inequality, we have
(cyc∑a(1+9bc+4(b−c)2))(cyc∑1+9bc+4(b−c)2a)≥(a+b+c)2=1.
So,
cyc∑1+9bc+4(b−c)2a≥∑cyca(1+9bc+4(b−c)2)1.
Therefore, it suffices to prove
cyc∑a(1+9bc+4(b−c)2)≤2.
Expanding,
cyc∑a(1+9bc+4(b−c)2)=cyc∑a+9cyc∑abc+4cyc∑a(b−c)2.
Since a+b+c=1, ∑cyca=1.
Now,
cyc∑a(b−c)2=cyc∑a(b2−2bc+c2)=cyc∑ab2+ac2−2abc.
But ∑cycab2+ac2=∑syma2b.
So,
cyc∑a(1+9bc+4(b−c)2)=1+9abc+4sym∑a2b−8abc.
Thus,
1+9abc+4sym∑a2b−8abc=1+abc+4sym∑a2b.
Therefore, we need
1+abc+4sym∑a2b≤2.
Or,
abc+4sym∑a2b≤1.
But ∑syma2b=a2b+a2c+b2a+b2c+c2a+c2b.
Now, since a+b+c=1, we can homogenize the expression:
(a+b+c)3≥3abc+4(a2b+a2c+b2a+b2c+c2a+c2b).
Expanding (a+b+c)3:
(a+b+c)3=a3+b3+c3+3(a2b+a2c+b2a+b2c+c2a+c2b)+6abc.
So,
a3+b3+c3+3abc≥a2b+a2c+b2a+b2c+c2a+c2b.
This is exactly Schur's inequality. So the inequality is proved.