(Solution by Lenca Cuturela) Since a+b+c=1, we have a−a2=ab+ca, so
a2+1bc+a+1=1+a2+1bc+a−a2=1+a2+1ab+bc+ca,
and the similar relations. The inequality to be proven is equivalent with
a2+11+b2+11+c2+11≤10(ab+bc+ca)9.(∗)
Let m=ab+bc+ca; then a2+b2+c2=1−2m and, because ab+bc+ca≤a2+b2+c2, we have 0<m≤31.
Since a2+11=1−a2+1a2, we can rewrite the inequality to be proven as
a2+1a2+b2+1b2+c2+1c2≥3−10m9.
Using a variant of Cauchy-Schwarz inequality, we have
a2+1a2+b2+1b2+c2+1c2≥a2+b2+c2+3(a+b+c)2=4−2m1.
It is enough to prove that 4−2m1≥3−10m9, that is (3m−1)(5m−9)≥0, which is true, because m∈(0,31]. The equality holds when a=b=c and m=31, so a=b=c=31.