AlgebraDifficulty 7.2National olympiad, round 2Prove it
71. Let a,b,c be positive real numbers, and abc⩾1, prove: (1) (a+a+11)(b+b+11)(c+c+11)⩾827; (2) 27(a3+a2+a+1)(b3+b2+b+1)(c3+c2+c+1)⩾64(a2+a+1)(b2+b+1)(c2+c+1). (2007 Ukrainian Mathematical Olympiad Problem)
Solution
71. (1) a2+a+1⩾43(a+1)2⇔(a−1)2⩾0, so, a+a+11⩾43(a+1)
Similarly, b+b+11⩾43(b+1)c+c+11⩾43(c+1)
Multiplying these inequalities, we get (a+a+11)(b+b+11)(c+c+11)⩾6427(a+1)(b+1)(c+1)⩾6427⋅2a⋅2b⋅2c=827abc⩾827 (2) a2+1⩾32(a2+a+1)⇔(a−1)2⩾0, so, 27(a3+a2+a+1)(b3+b2+b+1)(c3+c2+c+1)=27(a2+1)(a+1)(b2+1)(b+1)(c2+1)(c+1)⩾27⋅32(a2+a+1)⋅(a+1)⋅32(b2+b+1)⋅(b+1)⋅32(c2+c+1)⋅(c+1)⋅2a⋅2b⋅2c=64(a2+a+1)(b2+b+1)(c2+c+1)abc⩾64(a2+a+1)(b2+b+1)(c2+c+1)=8(a2+a+1)(b2+b+1)(c2+c+1)(a+1)(b+1)(c+1)⩾8(a2+a+1)(b2+b+1)(c2+c+1)
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: NuminaMath-1.5,
licensed Apache-2.0.
Statement and solution reproduced as published; topic and difficulty added by this site.