18. (1) In b+ca+c+ab+a+bc, replace a,b,c with a+b+ca,a+b+cb, and a+b+cc respectively, and assume without loss of generality that a+b+c=1,
b+ca+c+ab+a+bc=1−aa+1−bb+1−cc
Consider f(x)=1−xx, where 0<x<1. The equality in the inequality holds if and only if a=b=c=31. The tangent line equation of y=f(x) at x=31 is y=49x−1. Direct calculation yields
f(x)−49x−1=1−x(3x−1)2⩾0
Therefore,
1−aa+1−bb+1−cc=f(a)+f(b)+f(c)⩾49a−1+49b−1+49c−1=49(a+b+c)−3=49−3=23
(2) To prove b+ca2+c+ab2+a+bc2⩾2a+b+c, it suffices to prove (b+c)(a+b+c)a2+(c+a)(a+b+c)b2+(a+b)(a+b+c)c2⩾21. In the left-hand side expression, replace a,b,c with a+b+ca,a+b+cb,a+b+cc respectively, and assume without loss of generality that a+b+c=F. Consider f(x)=⊨xx2, where θ<x<F. The equality in the inequality holds if and only if a=b=c=31. The tangent line equation of y=f(x) at x=31 is y=45x−1. Direct calculation yields f(x)−45x−1=1−x(3x−1)2⩾0, so,
1−aa2+1−bb2+1−cc2=f(a)+f(b)+f(c)⩾45a−1+45b−1+45c−1=45(a+b+c)−3=45−3=21