Interactive · 3 questions
Geometric inequalities / how to bash with area formulas
WARNING: To avoid the danger of ugly algebra please keep this article away from bashers
First some definitions:
Let be the triangle.
The area of a triangle is .
The sides opposite to , and are called , and respectively.
, and .
is half the perimeter, so .
and are the radii of the circumcircle and incircle respectively.
, and are the radii of the excircles opposing , and respectively.
, and are the altitudes of the triangle through , and respectively.
This is the most important area formula:
Now we are going to prove some other area formulas:
Now try to prove the following equations yourself!
(Heron’s formula)
Now we can express the radii of the incircle, circumcircle and excircles in terms of , and . We also know the heights of the triangle. So are we done?
No, there is a very important last bit of information left: , and are sides of a triangle. They are not just some random reals, they satisfy the triangle inequalities: , and . What are we going to do with this?
We make the substitutions , and . This is called the Ravi substitution. , and . So , and will be positive reals if and only if the triangle inequality is satisfied. So we got rid of the nasty condition and didn’t lose any information!
Now you only have to finish the problem using your inequality skills (or expand everything and bash it with AM-GM).
Some things that can go wrong: