Maths Olympiad Prep

Library / /9 of 27

, 2008

Geometry Difficulty 5.5 AIME, harder Prove it India

Let ABCABC be a triangle and DD, EE, FF be points on the sides BCBC, CACA, ABAB respectively such that AD=BE=CFAD = BE = CF. Suppose the line segments ADAD, BEBE, CFCF are not concurrent and enclose an equilateral triangle. Is ABCABC necessarily equilateral?

Solutions — 2

Solution 1

Yes. Draw AKAK parallel to BCBC and AK=BDAK = BD. Join KK to EE and FF. Choose LL on BCBC with LL between BB and CC, such that BD=LCBD = LC. Note that KBKB is parallel to ADAD and KB=ADKB = AD. Hence KBE=APE=60\angle KBE = \angle APE = 60^\circ. On the other hand, KB=AD=BEKB = AD = BE. Thus KBEKBE is an equilateral triangle. This gives BEK=60=BQR\angle BEK = 60^\circ = \angle BQR. Thus CFCF is parallel to EKEK but CF=BE=EKCF = BE = EK. We conclude that FCEKFCEK is a parallelogram. Since CLCL is parallel to AKAK and CFCF is parallel to KEKE we have LCF=AKE\angle LCF = \angle AKE.

Consider the triangles LCFLCF and AKEAKE. We have LC=AKLC = AK, CF=KECF = KE and the included angles are also the same. Hence LCFLCF is congruent to AKEAKE. Moreover LFLF is parallel to CACA. Thus
BFFA=BLLC=CDBD=1λ, say. \frac{BF}{FA} = \frac{BL}{LC} = \frac{CD}{BD} = \frac{1}{\lambda}, \text{ say.}
Consider the transversal FQCFQC of the triangle ABDABD. By Menelaus' theorem
BFFAAPPDCDCB=1. \frac{BF}{FA} \cdot \frac{AP}{PD} \cdot \frac{CD}{CB} = 1.
Thus
APPD=FABFCBCD=λ(CD+DBCD)=λ(1+λ). \frac{AP}{PD} = \frac{FA}{BF} \cdot \frac{CB}{CD} = \lambda \left( \frac{CD + DB}{CD} \right) = \lambda(1+\lambda).
Similarly, we get
BQQE=CRRF=λ(1+λ). \frac{BQ}{QE} = \frac{CR}{RF} = \lambda(1+\lambda).
We thus have
APPD=BQQE=CRRF. \frac{AP}{PD} = \frac{BQ}{QE} = \frac{CR}{RF}.
This equality implies
ADPD=BEQE=CFRF. \frac{AD}{PD} = \frac{BE}{QE} = \frac{CF}{RF}.
Using AD=BE=CFAD = BE = CF, we get PD=QE=RFPD = QE = RF. But then AP=BQ=CRAP = BQ = CR and hence AR=BP=CQAR = BP = CQ. Consider the triangles ABPABP and BCQBCQ. Observe that BPA=120=CQB\angle BPA = 120^\circ = \angle CQB, BP=CQBP = CQ and AP=BQAP = BQ. Thus ABPABP and BCQBCQ are congruent triangles. This gives AB=BCAB = BC. Similarly, we obtain BC=CABC = CA.

Solution 2

Let us write PQ=QR=RP=xPQ = QR = RP = x, BE=CF=AD=yBE = CF = AD = y, AR=uAR = u, BP=vBP = v and CQ=wCQ = w. Using the collinearity of the points AA, FF, BB with respect to the triangle PQRPQR, Menelaus' theorem gives
RAAPPBBQQFFR=1. \frac{RA}{AP} \cdot \frac{PB}{BQ} \cdot \frac{QF}{FR} = 1.
(we are using only the lengths). This may be written in the form
uu+xvv+xywy(w+x)=1. \frac{u}{u+x} \cdot \frac{v}{v+x} \cdot \frac{y-w}{y-(w+x)} = 1.
Simplification gives
u+v=(x+u)(x+v)(x+w)uvwyxx. u+v = \frac{(x+u)(x+v)(x+w) - uvw}{yx} - x.
Note that the expression on the right side is symmetric in u,v,wu, v, w. It follows that
u+v=v+w=w+u. u + v = v + w = w + u.
Thus u=v=wu = v = w and hence AP=BQ=CRAP = BQ = CR. As in the earlier solution, it follows that the triangles ABP,BCQ,CARABP, BCQ, CAR are congruent, and hence AB=BC=CAAB = 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 and solution reproduced as published; topic and difficulty added by this site.