Olympiad Maths Prep

Library / /2 of 5

Geometry Difficulty 6.4 National olympiad Prove it Turkey

Let DD be a point on the side [BC][BC] of the triangle ABCABC different from the vertices and EE be the midpoint of [CD][CD]. The line perpendicular to BCBC at EE intersects the side [AC][AC] at point FF satisfying AFBC=ACECAF \cdot BC = AC \cdot EC. Let GG be the second point where the circumcircle of the triangle ADCADC intersects the side [AB][AB]. Prove that the tangent line of the circumcircle of the triangle AGFAGF at FF is also tangent to the circumcircle of the triangle BGEBGE.

Solution

We will show that EFEF is a common tangent of the circumcircles of AGFAGF and BGEBGE. Note that it is enough to show that GBE=GEF\angle GBE = \angle GEF and GAF=GFE\angle GAF = \angle GFE.

Let HH be the point of intersection of ABAB and the line passing through FF parallel to BCBC.

Then AHFABCAHF \sim ABC and AFAC=HFBC\frac{AF}{AC} = \frac{HF}{BC}. On the other hand, it is given that AFAC=ECBC\frac{AF}{AC} = \frac{EC}{BC}. Therefore, HF=EC=EDHF = EC = ED and hence HFCEHFCE is a parallelogram and HFDEHFDE is a rectangle.

Since ACDGACDG is a cyclic quadrilateral and FCHEFC \parallel HE, we have BGD=ACB=HED\angle BGD = \angle ACB = \angle HED. Then H,E,D,GH, E, D, G are cyclic. Consequently, H,G,D,E,FH, G, D, E, F are on the circle of diameter [HE][HE]. Then BGE=90\angle BGE = 90^\circ and GBE=90GED=GEF\angle GBE = 90^\circ - \angle GED = \angle GEF. Since AGDCAGDC and GFEDGFED are cyclic quadrilaterals BAC=180GDE=GFE\angle BAC = 180^\circ - \angle GDE = \angle GFE.

Figure 1

Looking for a route rather than 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.