Step 1: Rewrite the denominators using the given condition.
Given a+b+c=3, we can express the denominators as:
b+c=3−a
c+a=3−b
a+b=3−c
Substituting these into the inequality, we get:
3−aa3+3−bb3+3−cc3≥23
Step 2: Define a function and check its convexity.
Let f(x)=3−xx3 for x∈(0,3). Since a,b,c are positive and sum to 3, each must be less than 3.
We need to find the second derivative of f(x) to check for convexity.
First, find the first derivative f′(x):
f′(x)=dxd(3−xx3)=(3−x)23x2(3−x)−x3(−1)=(3−x)29x2−3x3+x3=(3−x)29x2−2x3
Next, find the second derivative f′′(x):
f′′(x)=dxd((3−x)29x2−2x3)
Using the quotient rule (vu)′=v2u′v−uv′:
Let u=9x2−2x3⟹u′=18x−6x2
Let v=(3−x)2⟹v′=2(3−x)(−1)=−2(3−x)
f′′(x)=(3−x)4(18x−6x2)(3−x)2−(9x2−2x3)(−2(3−x))
Factor out (3−x) from the numerator:
f′′(x)=(3−x)4(3−x)[(18x−6x2)(3−x)+2(9x2−2x3)]
f′′(x)=(3−x)3(18x−6x2)(3−x)+2(9x2−2x3)
Expand the numerator:
f′′(x)=(3−x)3(54x−18x2−18x2+6x3)+(18x2−4x3)
f′′(x)=(3−x)32x3−18x2+54x
Factor out 2x from the numerator:
f′′(x)=(3−x)32x(x2−9x+27)
Step 3: Analyze the sign of the second derivative.
For x∈(0,3):
• 2x>0
• (3−x)3>0
• For the quadratic x2−9x+27, its discriminant is Δ=(−9)2−4(1)(27)=81−108=−27. Since Δ<0 and the leading coefficient (1) is positive, x2−9x+27>0 for all real x.
Therefore, f′′(x)>0 for all x∈(0,3). This means f(x) is a convex function on the interval (0,3).
Step 4: Apply Jensen's Inequality.
Since f(x) is convex, by Jensen's inequality:
3f(a)+f(b)+f(c)≥f(3a+b+c)
Substitute f(x)=3−xx3 and the given condition a+b+c=3:
31(3−aa3+3−bb3+3−cc3)≥3−(3a+b+c)(3a+b+c)3
31(3−aa3+3−bb3+3−cc3)≥3−(33)(33)3
31(3−aa3+3−bb3+3−cc3)≥3−113
31(3−aa3+3−bb3+3−cc3)≥21
Step 5: Multiply by 3 to obtain the desired inequality.
b+ca3+c+ab3+a+bc3≥23
The inequality is proven.
That's 2 down. 3 left today — send the next one.