We use the standard
wa=(b+c)2bccos(A/2), etc.
The inequality takes the form
cyclic∑4Rbccos(A/2)(b2+c2)(b+c)>2.
This may be put in the form
cyclic∑2abc(b2+c2)(b+c)sin(A/2)>1.
But note that b2+c2≥2bc and b+c>a. Hence it is sufficient to prove that ∑cyclicsin(A/2)>1. We start with the identity
cyclic∑cosA=1+4cyclic∏sin(A/2),
which shows that ∑cycliccosA>1, in any triangle ABC. But, whenever A,B,C are the angles of a triangle, we know that (π−A)/2,(π−B)/2,(π−C)/2 are also the angles of some other triangle. For this triangle, we get
cyclic∑cos(2π−A)>1.
It follows that
cyclic∑sin2A>1,
which is to be proved.