To prove the inequality (∗), it is sufficient to prove: 1−21(b−c)2+41(b−c)2≤1
which is equivalent to −21(b−c)2+41(b−c)2≤0, which in turn is equivalent to (b−c)2−2(b−c)2≤0, or (b−c)2[(b+c)2−2]≤0. Since (b+c)2=b+c+2bc≤2(b+c)<2(a+b+c)=2, the inequality (∗∗) holds, and thus 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.