Let a, b and c be three positive real numbers with a2+b2+c2≥3. Prove that (b+1)(b+5)(a+1)(b+2)+(c+1)(c+5)(b+1)(c+2)+(a+1)(a+5)(c+1)(a+2)≥23
Solution
Solution:
The function f:(0,∞)→R,f(x)=(x+1)(x+5)x+2 is strictly monotonically decreasing and convex, since the first derivative f′(x)=−(x+1)2(x+5)2x2+4x+7 is negative, and the second derivative f′′(x)=(x+1)3(x+5)32(x3+6x2+21x+32) is positive. Jensen's inequality gives, for the mean of the arguments b,c,a weighted by the weights a+1,b+1,c+1: (a+1)+(b+1)+(c+1)(a+1)f(b)+(b+1)f(c)+(c+1)f(a)≥f((a+1)+(b+1)+(c+1)(a+1)b+(b+1)c+(c+1)a) Multiplying by the denominator of the left-hand side, we obtain (b+1)(b+5)(a+1)(b+2)+(c+1)(c+5)(b+1)(c+2)+(a+1)(a+5)(c+1)(a+2)≥(a+b+c+3)f(a+b+c+3(a+1)b+(b+1)c+(c+1)a) Now 2((a+1)b+(b+1)c+(c+1)a)=(a+b+c+3)2−4(a+b+c)−(a2+b2+c2)−9≤(a+b+c+3)2−4(a+b+c+3) (in the last step the assumption a2+b2+c2≥3 was used), hence a+b+c+3(a+1)b+(b+1)c+(c+1)a≤2a+b+c−1 Using the monotonicity of f, the right-hand side of (*) can thus be further estimated as ≥(a+b+c+3)f(2a+b+c−1) This expression now depends only on s=a+b+c: =(s+3)⋅(2s−1+1)(2s−1+5)2s−1+2=(s+1)(s+9)2(s+3)2=2−10+s+s98≥2−10+68=23 (in the second-to-last step the inequality between the arithmetic and geometric mean was applied in the form s+s9≥2s⋅s9=6).
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.
Source: MathNet,
licensed CC-BY-4.0.
Statement translated into English from de; metadata (topic, difficulty) added by this project.