Difference between revisions of "2018 USAJMO Problems/Problem 3"
Nukelauncher (talk | contribs) m (→Solution 1) |
Nukelauncher (talk | contribs) m |
||
Line 60: | Line 60: | ||
Now, <math>DP</math> is the radical axis of the circumcircles of <math>\triangle EDP</math> and <math>\triangle FDP.</math> Since <math>B</math> lies on <math>DP,</math> and <math>E, Q</math> lie on the circumcircle of <math>\triangle EPD</math> and <math>F, R</math> lie on the circumcircle of <math>\triangle FPD,</math> we have that <cmath>BF \cdot BR = BE \cdot BQ.</cmath> However, <math>BF=BE,</math> so <math>BR=BQ.</math> Since <math>E, B, Q</math> are collinear and so are <math>F, B, R</math> we can add these <math>2</math> equations to get <cmath>EQ=BE+BQ=BF+BR=FR,</cmath> which completes the proof. | Now, <math>DP</math> is the radical axis of the circumcircles of <math>\triangle EDP</math> and <math>\triangle FDP.</math> Since <math>B</math> lies on <math>DP,</math> and <math>E, Q</math> lie on the circumcircle of <math>\triangle EPD</math> and <math>F, R</math> lie on the circumcircle of <math>\triangle FPD,</math> we have that <cmath>BF \cdot BR = BE \cdot BQ.</cmath> However, <math>BF=BE,</math> so <math>BR=BQ.</math> Since <math>E, B, Q</math> are collinear and so are <math>F, B, R</math> we can add these <math>2</math> equations to get <cmath>EQ=BE+BQ=BF+BR=FR,</cmath> which completes the proof. | ||
+ | ~nukelauncher | ||
{{MAA Notice}} | {{MAA Notice}} |
Revision as of 12:52, 21 April 2018
Problem
() Let be a quadrilateral inscribed in circle with . Let and be the reflections of over lines and , respectively, and let be the intersection of lines and . Suppose that the circumcircle of meets at and , and the circumcircle of meets at and . Show that .
Solution 1
First we have that by the definition of a reflection. Let and Since is isosceles we have Also, we see that using similar triangles and the property of cyclic quadrilaterals. Similarly, Now, from we know that is the circumcenter of Using the properties of the circumcenter and some elementary angle chasing, we find that
Now, we claim that is the intersection of ray and the circumcircle of To prove this, we just need to show that is cyclic by this definition of We have that We also have from before that so and this proves the claim.
We can use a similar proof to show that are collinear.
Now, is the radical axis of the circumcircles of and Since lies on and lie on the circumcircle of and lie on the circumcircle of we have that However, so Since are collinear and so are we can add these equations to get which completes the proof.
~nukelauncher
The problems on this page are copyrighted by the Mathematical Association of America's American Mathematics Competitions.
See also
2018 USAJMO (Problems • Resources) | ||
Preceded by Problem 2 |
Followed by Problem 4 | |
1 • 2 • 3 • 4 • 5 • 6 | ||
All USAJMO Problems and Solutions |