Example 7.5 (2006 China National Team Training Problem) Given a⩾b⩾c⩾d>0, prove that (1+a+bc)(1+b+cd)(1+c+da)(1+d+ab)⩾(23)
This one wants a proof. Work it on paper, read the official solution, then mark
yourself honestly — the ladder only means something if the record is true.
Official solution
Considering the equality holds for a=b=c=d, we try to reduce dimensions, bringing a closer to b and c closer to d. ⇔(a+b)(a+d)(a+b+c)(a+c+d)(a+b+d)⋅(b+c)(c+d)b+c+d⩾(23)4
Fix b,c,d, and let f(a)=(a+b)(a+d)(a+b+c)(a+c+d)(a+b+d)f′(a)=[(a+b)(a+d)]2[∑cyc(a+b+c)(a+b+d)(c+d)](a+b)(a+d)−[(a+b)(a+d)]2[b(a+d)+d(a+b)](a+b+c)(a+c+d)(a+b+d)=[(a+b)(a+d)]2g(a)g(a)=(a+b)(a+c+d)(a+b+d)[(a+d)(b+c)−d(a+b+c)]+(a+d)(a+b+c)(a+c+d)[(a+b)(a+d)−b(a+b+d)]+(a+b)(a+d)(c+d)(a+b+c)(a+b+d)>0
Thus, f′(a)>0, so f(a)min =f(b). Similarly, we get f(c)min =f(d). Therefore, we only need to prove 2b2b+d⋅b+db+2d⋅2db+2d⋅b+d2b+d⩾(23)4⇔bd(b+d)(2b+d)(b+2d)⩾29⇔4b2+4d2+10bd⩾9b23d21+9d23b21
Also, since (b21−d21)4⩾0⇔b2+d2+6bd⩾4(b23d21+d23b21)⇒4b2+4d2+10bd⩾16(b23d21+d23b21)−14bd⩾9b23d21+9d23b21
Thus, the proposition is proved!
Source: NuminaMath-1.5,
licensed Apache-2.0.
Statement and solution reproduced as published; topic, difficulty and ordering added
by this site.