Maths Olympiad Prep

Library / /1 of 8

Geometry Difficulty 6.9 National Olympiad Prove it United States

Let ABC\triangle ABC be a triangle. Its excircles touch sides BCBC, CACA, ABAB at DD, EE, FF, respectively. Prove that the perimeter of triangle ABC\triangle ABC is at most twice that of triangle DEFDEF.

Figure 1

Figure 2

Solutions — 3

Solution 1

We consider the configuration shown in the diagram below. (Our proof uses directed lengths and can be easily modified for different configurations.)
Figure 1
Let a,b,ca, b, c denote the side lengths of BC,CA,ABBC, CA, AB, and let A,B,CA, B, C denote A,B,C\angle A, \angle B, \angle C, respectively. Suppose that the incircle touches sides BC,CA,ABBC, CA, AB at P,Q,RP, Q, R, respectively. It is well known that
FB=CE=QA=AR=b+ca2.(25) FB = CE = QA = AR = \frac{b+c-a}{2}. \qquad (25)
Denote by Ea,FaE_a, F_a the feet of the perpendiculars from E,FE, F to line BCBC. It is clear that EFEaFaEF \ge E_aF_a. By (25), we have
FEFaEa=BC(BFa+EaC)=ab+ca2(cosB+cosC). FE \ge F_aE_a = BC - (BF_a + E_aC) = a - \frac{b+c-a}{2} (\cos B + \cos C).
Summing the above inequality and its cyclic analogues yields
EF+FD+DEa+b+ccycb+ca2(cosB+cosC) EF + FD + DE \ge a + b + c - \sum_{\text{cyc}} \frac{b+c-a}{2} (\cos B + \cos C)
or
EF+FD+DEa+b+c(acosA+bcosB+ccosC).(26) EF + FD + DE \ge a + b + c - (a \cos A + b \cos B + c \cos C). \qquad (26)
By the sum-to-product formulas, we have
12(sin2A+sin2B)=sin(A+B)cos(AB)=sinCcos(AB)sinC. \frac{1}{2}(\sin 2A + \sin 2B) = \sin(A+B)\cos(A-B) = \sin C \cos(A-B) \ge \sin C.
Summing this inequality and its cyclic analogues yields
sinA+sinB+sinC2sinAcosA+2sinBcosB+2sinCcosC \sin A + \sin B + \sin C \ge 2\sin A \cos A + 2\sin B \cos B + 2\sin C \cos C
Multiplying both sides by 2R2R and applying the extended Law of Sines, we obtain
a+b+c2acosA+2bcosB+2ccosC.(27) a + b + c \ge 2a \cos A + 2b \cos B + 2c \cos C. \qquad (27)
Substituting (27) into (26) yields the desired
EF+FD+DEa+b+c2. EF + FD + DE \ge \frac{a+b+c}{2}.

Solution 2

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 DEFDEF and PQRPQR is at least the perimeter of triangle ABCABC.

Proof. By symmetry, it suffices to show that DE+PQABDE + PQ \ge AB. Let MM and NN be the midpoints of segments CACA and CBCB, respectively. We want to show that DE+PQAB=2MNDE + PQ \ge AB = 2MN. As in the first solution, we have CE=AQCE = AQ and CD=BPCD = BP so that MM and NN are midpoints of segments PDPD and QEQE, respectively. Computing using vectors, we obtain
MN=MC+CN=12(QC+EC)+12(CP+CD)=12(QC+CP)+12(EC+CD)=12(QP+ED). \begin{aligned} \overrightarrow{MN} &= \overrightarrow{MC} + \overrightarrow{CN} = \frac{1}{2}(\overrightarrow{QC} + \overrightarrow{EC}) + \frac{1}{2}(\overrightarrow{CP} + \overrightarrow{CD}) \\ &= \frac{1}{2}(\overrightarrow{QC} + \overrightarrow{CP}) + \frac{1}{2}(\overrightarrow{EC} + \overrightarrow{CD}) = \frac{1}{2}(\overrightarrow{QP} + \overrightarrow{ED}). \end{aligned}
By the triangle inequality, we have MN12(QP+ED)MN \le \frac{1}{2}(QP + ED), which implies
PQ+DE2MN=AB. PQ + DE \ge 2MN = AB. \quad \square

Lemma 2. The perimeter of triangle ABCABC is at least twice that of triangle PQRPQR.

Proof. Note that PQ=2CPsinC2PQ = 2CP \sin \frac{C}{2}, QR=2AQsinA2QR = 2AQ \sin \frac{A}{2}, and RP=2BRsinB2RP = 2BR \sin \frac{B}{2}. The perimeter of triangle PQRPQR is equal to
SPQR=(b+ca)sinA2+(c+ab)sinB2+(a+bc)sinC2. S_{PQR} = (b+c-a) \sin \frac{A}{2} + (c+a-b) \sin \frac{B}{2} + (a+b-c) \sin \frac{C}{2}.
By symmetry, we may assume that abca \le b \le c. This yields the orderings
ABC,b+cac+aba+bc,andsinA2sinB2sinC2. A \le B \le C, \quad b+c-a \ge c+a-b \ge a+b-c, \quad \text{and} \quad \sin \frac{A}{2} \le \sin \frac{B}{2} \le \sin \frac{C}{2}.
By Chebyshev's inequality, we have
SPQR13((b+ca)+(c+ab)+(a+bc))(sinA2+sinB2+sinC2), S_{PQR} \le \frac{1}{3} \left( (b+c-a) + (c+a-b) + (a+b-c) \right) \left( \sin \frac{A}{2} + \sin \frac{B}{2} + \sin \frac{C}{2} \right),
so it suffices to show that
sinA2+sinB2+sinC232.(28) \sin \frac{A}{2} + \sin \frac{B}{2} + \sin \frac{C}{2} \le \frac{3}{2}. \qquad (28)
But (28) follows from Jensen's inequality for y=sinxy = \sin x (which is concave for 0xπ20 \le x \le \frac{\pi}{2}). \square

Solution 3

Consider the following diagram, which contains several copies of ABCABC rotated and translated so that ABCABC, A2B2C2A_2B_2C_2, A4B4C4A_4B_4C_4, and A6B6C6A_6B_6C_6 are congruent and BB, C=A2C = A_2, B2=C4B_2 = C_4, A4=B6A_4 = B_6, and C6C_6 are collinear. Define DiD_i, EiE_i, and FiF_i to be the images of DD, EE, and FF in AiBiCiA_iB_iC_i.
Figure 2

Observe that ECE2FBD\triangle ECE_2 \simeq \triangle FBD, D2B2D4EAF\triangle D_2B_2D_4 \simeq \triangle EAF, and F4A4F6DAE\triangle F_4A_4F_6 \simeq \triangle DAE. Using these congruences, the triangle inequality, and the fact that FDF6D6FD \parallel F_6D_6, we obtain
2(DE+EF+FA)FE+EE2+E2D2+D2D4+D4F4+F4F6FF6=AB+BC+CA. 2(DE + EF + FA) \ge FE + EE_2 + E_2D_2 + D_2D_4 + D_4F_4 + F_4F_6 \ge FF_6 = AB + BC + CA.

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.