Show that for any triangle ABC with area S and circumradius R, (a)a21+b21+c21≤4S33+(a1−b1)2+(b1−c1)2+(c1−a1)2, (b)tan2A+tan2B+tan2C≤4S9R2. Here AB=c, BC=a and CA=b.
Solution
(a) We have a21+b21+c21−(a1−b1)2−(b1−c1)2−(c1−a1)2=2(ab1+bc1+ca1)−(a21+b21+c21)=(ab1+bc1+ca1)−21[(a1−b1)2+(b1−c1)2+(c1−a1)2]≤ab1+bc1+ca1=abca+b+c=4RSa+b+c=2SsinA+sinB+sinC, where we have used the fact S=4Rabc and the extended sine law. Now, note that f(x)=sinx is a concave function on (0,π) since f′′(x)=−sinx<0. Therefore, by Jensen's inequality, we have 2SsinA+sinB+sinC≤2S3sin3A+B+C=4S33. The result follows readily. Equality holds when a=b=c.
(b) Let r and s be the inradius and the semiperimeter of △ABC. Then we have tan2A=s−ar etc. Also, using S=rs=s(s−a)(s−b)(s−c), we have ⇔⇔⇔⇔tan2A+tan2B+tan2C≤4S9R2s−ar+s−br+s−cr≤4S9R2s(s−a)(s−b)(s−c)rs[(s−a)(s−b)+(s−b)(s−c)+(s−c)(s−a)]≤4S9R23s2−2(a+b+c)s+(ab+bc+ca)≤49R2−(a+b+c)2+4(ab+bc+ca)≤9R2. Recall that 9R2−(a2+b2+c2)=OH2≥0, where O and H are the circumcentre and orthocentre of △ABC respectively. Therefore, it suffices to prove −(a+b+c)2+4(ab+bc+ca)≤a2+b2+c2. This is equivalent to ab+bc+ca≤a2+b2+c2, which is a well-known inequality. Thus, the inequality is proven. Equality holds when △ABC is equilateral.
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: MathNet,
licensed CC-BY-4.0.
Statement reproduced verbatim; metadata (topic, difficulty) added by this project.