Maths Olympiad Prep

Library / /6 of 8

Geometry Difficulty 6.8 National olympiad Prove it South Korea

For a convex hexagon ABCDEFGABCDEFG, three triangles ABCABC, CDECDE, EFAEFA are similar. That is,
BAC=DCE=FEA \angle BAC = \angle DCE = \angle FEA
BCA=DEC=FAE. \angle BCA = \angle DEC = \angle FAE.
Find conditions on these three triangles under which ACE\triangle ACE is an equilateral triangle if and only if BDF\triangle BDF is an equilateral triangle.

Solution

Suppose ACE\triangle ACE is equilateral, then BDF\triangle BDF is always equilateral, because three triangles ACEACE, CDECDE, EFAEFA are identical and shape of the hexagon ABCDEFABCDEF is invariable under the 120120^\circ rotation around the center of ACE\triangle ACE. That is, since BDFB \to D \to F is obtained from the 120120^\circ rotation, BDF\triangle BDF is an equilateral triangle.

We now show that if three similar triangles ABCABC, CDECDE, EFAEFA are not of a isosceles triangle whose two same angles are 3030^\circ, the converse is true. First, let BAC=DCE=FEA=α\angle BAC = \angle DCE = \angle FEA = \alpha, BCA=DEC=FAE=β\angle BCA = \angle DEC = \angle FAE = \beta. Suppose that BDF\triangle BDF is equilateral. Let
ABAC=CDCE=EFEA=sBCAC=DECE=FAEA=t, \begin{aligned} \frac{AB}{AC} &= \frac{CD}{CE} = \frac{EF}{EA} = s \\ \frac{BC}{AC} &= \frac{DE}{CE} = \frac{FA}{EA} = t, \end{aligned}
AC=aAC = a, CE=bCE = b, EA=cEA = c. For ABF\triangle ABF, we have
BF2=AB2+FA22ABFAcos(BAF)=(sa)2+(tc)22staccos(α+β+A)=s2a2+t2c22stac[cos(α+β)cosAsin(α+β)sinA]. \begin{aligned} BF^2 &= AB^2 + FA^2 - 2AB \cdot FA \cdot \cos(\angle BAF) \\ &= (sa)^2 + (tc)^2 - 2stac \cdot \cos(\alpha + \beta + A) \\ &= s^2a^2 + t^2c^2 - 2stac[\cos(\alpha + \beta) \cos A - \sin(\alpha + \beta) \sin A]. \end{aligned}

Similarly we have,
BD2=s2b2+t2a22stab[cos(α+β)cosCsin(α+β)sinC]BD^2 = s^2b^2 + t^2a^2 - 2stab[\cos(\alpha + \beta) \cos C - \sin(\alpha + \beta) \sin C]
DF2=s2b2+t2a22stab[cos(α+β)cosCsin(α+β)sinC].DF^2 = s^2b^2 + t^2a^2 - 2stab[\cos(\alpha + \beta) \cos C - \sin(\alpha + \beta) \sin C].
12acsinA=12absinC=12bcsinE\frac{1}{2}ac \sin A = \frac{1}{2}ab \sin C = \frac{1}{2}bc \sin E equals the area of ACE\triangle ACE, and BF2=BD2=DF2BF^2 = BD^2 = DF^2. Moreover, we have 2accosA=a2+c2b22ac \cos A = a^2 + c^2 - b^2, 2abcosC=a2+b2c22ab \cos C = a^2 + b^2 - c^2, 2bccosE=b2+c2a22bc \cos E = b^2 + c^2 - a^2. Let cos(α+β)=K\cos(\alpha+\beta) = K, then we have
s2a2+t2c2stK(a2+c2b2)=s2b2+t2c2stK(a2+b2c2)=s2c2+t2b2stK(b2+c2a2) \begin{aligned} & s^2a^2 + t^2c^2 - stK(a^2 + c^2 - b^2) \\ &= s^2b^2 + t^2c^2 - stK(a^2 + b^2 - c^2) \\ &= s^2c^2 + t^2b^2 - stK(b^2 + c^2 - a^2) \end{aligned}
Now let
s2t2=x,2stKs2=y,t22stK=z, s^2 - t^2 = x, \quad 2stK - s^2 = y, \quad t^2 - 2stK = z,
then we have
xa2+yb2+zc2=ya2+zb2+xc2=za2+xb2+yc2(1) xa^2 + yb^2 + zc^2 = ya^2 + zb^2 + xc^2 = za^2 + xb^2 + yc^2 \quad (1)
From the equations (1), suppose first that x=y=zx = y = z, then we have s=ts = t and K=12K = \frac{1}{2}; hence α+β=60\alpha + \beta = 60^\circ. That is, three similar triangles ABCABC, CDECDE, EFAEFA are of a isosceles triangle whose two same angles are 3030^\circ. We exclude this case. Second, suppose x,y,zx, y, z are either all distinct or two of them are equal, then we get the equations a=b=ca = b = c by some calculations, which means that ACE\triangle ACE is equilateral. We conclude that ACE\triangle ACE is equilateral unless three similar triangles ABCABC, CDECDE, EFAEFA are of a isosceles triangle whose two same angles are 3030^\circ. \square

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.