Let be a triangle. Its excircles touch sides , , at , , , respectively. Prove that the perimeter of triangle is at most twice that of triangle .


Let be a triangle. Its excircles touch sides , , at , , , respectively. Prove that the perimeter of triangle is at most twice that of triangle .


We consider the configuration shown in the diagram below. (Our proof uses directed lengths and can be easily modified for different configurations.)
Let denote the side lengths of , and let denote , respectively. Suppose that the incircle touches sides at , respectively. It is well known that
Denote by the feet of the perpendiculars from to line . It is clear that . By (25), we have
Summing the above inequality and its cyclic analogues yields
or
By the sum-to-product formulas, we have
Summing this inequality and its cyclic analogues yields
Multiplying both sides by and applying the extended Law of Sines, we obtain
Substituting (27) into (26) yields the desired
We maintain the notations of the first solution. The result clearly follows from the following two lemmas.
Lemma 1. The sum of the perimeters of triangles and is at least the perimeter of triangle .
Proof. By symmetry, it suffices to show that . Let and be the midpoints of segments and , respectively. We want to show that . As in the first solution, we have and so that and are midpoints of segments and , respectively. Computing using vectors, we obtain
By the triangle inequality, we have , which implies
Lemma 2. The perimeter of triangle is at least twice that of triangle .
Proof. Note that , , and . The perimeter of triangle is equal to
By symmetry, we may assume that . This yields the orderings
By Chebyshev's inequality, we have
so it suffices to show that
But (28) follows from Jensen's inequality for (which is concave for ).
Consider the following diagram, which contains several copies of rotated and translated so that , , , and are congruent and , , , , and are collinear. Define , , and to be the images of , , and in .
Observe that , , and . Using these congruences, the triangle inequality, and the fact that , we obtain