Proof: Let f(x)=3x2−6x+9x2+9,x∈(0,3), then f′(x)=(3x2−6x+9)2−6(x2+6x−9)= 3(x2−2x+3)2−2(x2+6x−9). Since f′(x) is not monotonic, we cannot handle it using concavity or convexity. Noting the geometric meaning of the derivative:
f′(x0)=x−x0f(x)−f(x0), we have f(x)=f′(x0)(x−x0)+f(x0), we can consider whether there exists a bounding function for f(x) at x=x0. Since the function's extremum is obtained when the variable x takes the average value, we can consider the tangent function of f(x) at x=1, which is y=f′(1)(x−1)+f(1)=3x+4.
Because 3x2−6x+9x2+9−3x+4=3x2−6x+9(x2+9)−(x+4)(x2−2x+3)
=3x2−6x+9−(x+3)(x−1)2,
Therefore, when 0<x<3, 3x2−6x+9x2+9⩽3x+4.
Thus, 2a2+(b+c)2a2+9+2b2+(c+a)2b2+9+2c2+(a+b)2c2+9
=3a2−6a+9a2+9+3b2−6b+9b2+9+3c2−6c+9c2+9⩽3a+4+3b+4+3c+4=5.