Example 2 Let the semi-perimeter of △ABC be p, the inradius be r, and the distances from the incenter to the vertices A,B,C be lA,lB,lC. Prove: 43+lAr+lBr+lCr⩽12r2p2.
Solution
Proof: Let the three sides of △ABC be a,b,c, and the area be S. Notice that lAr=sin2A=bc(p−b)(p−c)⩽2bc(p−b)+(p−c)=2bca=2bcabc⩽4abca2(b+c). Then 43+lAr+lBr+lCr⩽43+4abca2(b+c)+4abcb2(c+a)+4abcc2(a+b)=4abc(a+b+c)(ab+bc+ca). Also, (a+b+c)2⩾3(ab+bc+ca),43+lAr+lBr+lCr⩽12abc(a+b+c)3.
Therefore, it suffices to prove 12abc(a+b+c)3⩽12r2p2, which is equivalent to proving 8pr2⩽abc. Notice that 8pr2⩽abc⇔8rS⩽4RS⇔2r⩽R,
which holds by Euler's inequality. Thus, the original inequality is proven.
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.