39. After factorization and applying the Cauchy-Schwarz inequality, we get (a31−a2)(b31−b2)=a3b3(1−a5)(1−b5)=a3b3(1−a)(1−b)(1+a+a2+a3+a4)(1+b+b2+b3++a2b2(1+a+a2+a3+a4)(1+b+b2+b3+b4)=(a21+a1+1+a+a2)(b21+b1+1+b+b2)⩾(ab1+ab1+1+ab+ab)2=(ab+ab1+ab+ab1+1)2
By the AM-GM inequality, we have ab⩽2a+b=21,ab⩽41. Therefore, ab+ab1−417=4ab4a2b2−17ab+4=4ab(4ab−1)(ab−4)⩾0ab+ab1−25=ab2(ab−1)(ab−2)⩾0
Thus, ab+ab1+ab+ab1+1⩾431. The inequality is proved.
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.