Proof: From Apollonius's theorem: 4ma2=2b2+2c2
−a2, we get 4(ma2+mb2+mc2)=(2b2+2c2−a2)+(2c2+2a2−b2)+(2a2+2b2−c2)=3a2+3b2+3c2.
Obviously, the function f(x)=3x2 is a convex function in (0,+∞), so by Jensen's inequality we get:
3a2+3b2+3c2⩾3[3⋅(3a+b+c)2]=
4s2, that is: ma2+mb2+mc2⩾s2.