Maths Olympiad Prep

Library / /4 of 8

Geometry Difficulty 8.4 Shortlist Prove it Netherlands

Let Γ\Gamma be the circumcircle of a triangle ABCABC and let DD be a point on segment BCBC. The circle that passes through BB and DD and is tangent to Γ\Gamma and the circle that passes through CC and DD and is tangent to Γ\Gamma, intersect at a point EDE \neq D. The line DEDE intersects Γ\Gamma at two points, XX and YY. Prove that EX=EY|EX| = |EY|.

Solution

Figure 1

We consider the configuration as in the figure, where EE is at least as close to BB as it is to CC. The proof in the case of the configuration in which this is the other way around, is analogous.

Let OO be the centre of Γ\Gamma. The angle between the line BCBC and the common tangent in BB is on the one hand, by the inscribed angle theorem (tangent case), equal to BED\angle BED, and on the other hand equal to BAC\angle BAC. So BED=BAC\angle BED = \angle BAC. Analogously, we show that CED=BAC\angle CED = \angle BAC, so BEC=BED+CED=2BAC=BOC\angle BEC = \angle BED + \angle CED = 2\angle BAC = \angle BOC, where we use the inscribed angle theorem to derive the last step. Therefore EE lies on the circle that passes through BB, OO, and CC.

If E=OE = O, then we're done, as EX|EX| and EY|EY| then both are the radius of the circle.

So suppose that EOE \neq O, then in the configuration considered, BEOCBEOC is a cyclic quadrilateral. Then BEO=180BCO\angle BEO = 180^\circ - \angle BCO. In the isosceles triangle BOCBOC, we have BCO=9012BOC=90BAC\angle BCO = 90^\circ - \frac{1}{2}\angle BOC = 90^\circ - \angle BAC, so BEO=180(90BAC)=90+BAC\angle BEO = 180^\circ - (90^\circ - \angle BAC) = 90^\circ + \angle BAC. Hence DEO=BEOBED=90+BACBAC=90\angle DEO = \angle BEO - \angle BED = 90^\circ + \angle BAC - \angle BAC = 90^\circ. Therefore EOEO is perpendicular to DEDE and therefore also perpendicular to chord XYXY, from which follows that EE is the midpoint of XYXY. We conclude that EX=EY|EX| = |EY|. \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.