Maths Olympiad Prep

Library / /3 of 4

Geometry Difficulty 7.4 National Olympiad, round 2 Prove it Italy

Problem:

Let ABCABC be an acute triangle with AB<ACAB < AC. Let
- DD be the foot of the bisector of the angle at AA,
- EE the point of segment BCBC (different from BB) such that AB=AEAB = AE,
- FF the point of segment BCBC (different from BB) such that BD=DFBD = DF,
- GG the point of segment ACAC such that AB=AGAB = AG.
Prove that the circle circumscribed to triangle EFGEFG is tangent to the line ACAC.

Solution

Solution:

First method (angle chasing)
By the properties of the inscribed angle (also in the limiting case of the tangent) the claim is equivalent to proving that EGA=EFG\angle EGA = \angle EFG.
Let us denote by θ\theta the measure of GBC\angle GBC. Observe that the points B,E,GB, E, G belong to the same circle centered at AA and therefore, since a central angle is twice a corresponding inscribed angle, we deduce that EAG=2EBG=2θ\angle EAG = 2 \angle EBG = 2\theta. Since triangle AEGAEG is isosceles on base EGEG, we conclude that
EGA=12(180EAG)=12(1802θ)=90θ. \angle EGA = \frac{1}{2}\left(180^\circ - \angle EAG\right) = \frac{1}{2}\left(180^\circ - 2\theta\right) = 90^\circ - \theta.
Let us now consider triangle ABGABG. It is an isosceles triangle on base BGBG, and the line ADAD is the bisector of the angle at the vertex. It follows that the line ADAD is also an altitude, and in particular is perpendicular to the line BGBG. Denoting by KK the intersection point of the lines ADAD and BGBG, observe that KK is the midpoint of BGBG (in an isosceles triangle the foot of the altitude is the midpoint of the base), while DD is the midpoint of BFBF (by construction). It then follows from Thales' theorem that the line GFGF is parallel to the line ADAD, and therefore perpendicular to the line BGBG. In particular we deduce that triangle BGFBGF is right-angled at GG, from which
EFG=90GBC=90θ. \angle EFG = 90^\circ - \angle GBC = 90^\circ - \theta.
Comparing (1) and (2) we obtain the required equality.

Figure 1

Variant
We could alternatively prove that FGC=FEG\angle FGC = \angle FEG. To compute FGC\angle FGC we exploit the parallelism between ADAD and GFGF, obtaining that
FGC=DAC=α2, \angle FGC = \angle DAC = \frac{\alpha}{2},
where α\alpha denotes the measure of the angle at AA of triangle ABCABC.
To compute FEG\angle FEG, consider the point GG', the reflection of GG with respect to AA, and observe that the quadrilateral BEGGBEGG' is cyclic and has the angle at GG' equal to α/2\alpha/2, because the corresponding central angle (at AA) equals α\alpha. From the properties of cyclic quadrilaterals it then follows that
FEG=180BEG=BGG=α/2, \angle FEG = 180^\circ - \angle BEG = \angle BG'G = \alpha/2,
as desired.

Second method (metric concyclicity)
By the tangent-secant theorem, the claim is equivalent to proving that
CG2=CFCE. CG^2 = CF \cdot CE.
To do this we compute the lengths of the three segments in terms of the lengths of the three sides, for which we use the standard notations a=BCa = BC, b=CAb = CA, c=ABc = AB.
Since AG=AB=cAG = AB = c by construction, we immediately obtain that
CG=ACAG=bc. CG = AC - AG = b - c.
By a well-known property of the bisector we know that BD:DC=AB:ACBD : DC = AB : AC, from which
BD:(BD+DC)=AB:(AB+AC). BD : (BD + DC) = AB : (AB + AC).
It follows that BD=acb+cBD = \frac{ac}{b + c}, and therefore
CF=BCBF=BC2BD=a2acb+c=a(bc)b+c. CF = BC - BF = BC - 2BD = a - \frac{2ac}{b + c} = \frac{a(b - c)}{b + c}.
Finally, let us denote by HH the foot of the altitude of ABCABC from vertex AA. Observe that AHAH is also the altitude of the isosceles triangle ABEABE, and therefore HH is also the midpoint of BEBE, from which
CE=BCBE=BC2BH. CE = BC - BE = BC - 2BH.
It remains only to compute the length of BHBH. The classical way to do this is to set BH=xBH = x and CH=yCH = y, and observe that xx and yy satisfy the system
x+y=a,c2x2=b2y2, x + y = a, \quad c^2 - x^2 = b^2 - y^2,
in which the first equation follows from the fact that BH+CH=BCBH + CH = BC, and the second equation follows from having computed AH2AH^2 in two ways, applying the Pythagorean theorem in the right triangles ABHABH and ACHACH. Solving the system we find that
BH=a2+c2b22a BH = \frac{a^2 + c^2 - b^2}{2a}
and in conclusion
CE=BC2BH=aa2+c2b2a=b2c2a. CE = BC - 2BH = a - \frac{a^2 + c^2 - b^2}{a} = \frac{b^2 - c^2}{a}.
From equalities (4), (5) and (6), (3) immediately follows.

Figure 2

Remark
The length of BHBH can also be obtained as
BH=BAcosβ=ccosβ, BH = BA \cdot \cos \beta = c \cos \beta,
where by β\beta we have denoted the angle ABC\angle ABC. In turn, cosβ\cos \beta can be derived in terms of the lengths of the sides using the law of cosines (sometimes referred to in Italy as Carnot's theorem), according to which
b2=a2+c22accosβ. b^2 = a^2 + c^2 - 2ac \cos \beta.
The computation that we carried out solving the system in xx and yy is essentially the key step in the proof of the law of cosines.

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 translated into English from it; metadata (topic, difficulty) added by this project.