AlgebraDifficulty 7.1National olympiad, round 2Prove it
Example 8 Prove that in an acute △ABC, 2(a2+b2)(b2+c2)(c2+a2)abc⩾2Rr, where r,R represent the inradius and circumradius of △ABC, respectively. (2005 Jiangsu Mathematical Winter Camp)
Solution
To prove in △ABC, Rr=4sin2Asin2Bsin2C, to prove 2(a2+b2)(b2+c2)(c2+a2)abc⩾2Rr, it suffices to prove (a2+b2)(b2+c2)(c2+a2)abc⩾22sin2Asin2Bsin2C
Considering the symmetry, it suffices to prove b2+c2a⩾2sin2A
It suffices to prove b2+c2a2⩾1−cosA, which is equivalent to proving a2−(b2+c2)(1−cosA)⩾0
By the cosine rule, a2−(b2+c2)(1+cosA)=b2+c2−2bccosA−(b2+c2)(1−cosA)=(b2+c2−2bc)cosA=(b−c)2cosA
Since (b−c)2⩾0,cosA>0, it follows that a2−(b2+c2)(1−cosA)⩾0, thus b2+c2a2⩾1−cosA
That is, b2+c2a⩾2sin2A, similarly, c2+a2b⩾2sin2Bc2+a2c⩾2sin2C
Multiplying the above three inequalities, we get (a2+b2)(b2+c2)(c2+a2)abc⩾22sin2Asin2Bsin2C, thus the original inequality holds.
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.