Suppose a, b, c are the side lengths of a triangle ABC with area S, and semi-perimeter s. Prove that s<a2+b2−4S+b2+c2−4S+c2+a2−4S.
Solution
Since 2S=absinC, we can write a2+b2−4S=a2+b2−2absinC=a2+(b−asinC)2−a2sin2C=a2cos2C+(b−asinC)2≥a2cos2C and similarly a2+b2−4S=b2+(a−bsinC)2−b2sin2C=b2cos2C+(a−bsinC)2≥b2cos2C. Taking square roots and adding both together, we obtain a2+b2−4S≥2acosC+bcosC. Equality holds iff b=asinC, a=bsinC and cosC≥0. This condition is equivalent to a=b and ∠C=90∘. In a similar way we prove b2+c2−4Sc2+a2−4S≥2bcosA+ccosAand≥2ccosB+acosB with equality iff b=c and ∠A=90∘, or c=a and ∠B=90∘, respectively. To finish, we recall that c=bcosA+acosB (see diagram) as well as a=ccosB+bcosC and b=acosC+ccosA. Therefore, the semiperimeter is s=2a+b+c=2ccosB+bcosC+acosC+ccosA+bcosA+acosB and the desired inequality follows from adding the three earlier inequalities ≥a2+b2−4S+b2+c2−4S+c2+a2−4S2(acosC+bcosC)+(bcosA+ccosA)+(ccosB+acosB)=s and noting that equality cannot occur, since there cannot be three right angles in a triangle.
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.