Engel form.
cyc∑b+ca=cyc∑a(b+c)a2≥a(b+c)+b(c+a)+c(a+b)(a+b+c)2.
Denominator.
a(b+c)+b(c+a)+c(a+b)=2(ab+bc+ca).
Bound.
∑b+ca≥2(ab+bc+ca)(a+b+c)2.
Conclude. Using (a+b+c)2=a2+b2+c2+2(ab+bc+ca)≥3(ab+bc+ca) (since a2+b2+c2≥ab+bc+ca), we get
2(ab+bc+ca)(a+b+c)2≥2(ab+bc+ca)3(ab+bc+ca)=23.
Equality. a=b=c.