Difference between revisions of "2012 USAJMO Problems/Problem 1"
(Created page with "==Problem== Given a triangle <math>ABC</math>, let <math>P</math> and <math>Q</math> be points on segments <math>\overline{AB}</math> and <math>\overline{AC}</math>, respectively...") |
(→Solution) |
||
Line 3: | Line 3: | ||
==Solution== | ==Solution== | ||
+ | |||
+ | Since <math>\angle BPS = \angle PRS</math>, the circumcircle of triangle <math>PRS</math> is tangent to <math>AB</math> at <math>P</math>. Similarly, since <math>\angle CQR = \angle QSR</math>, the circumcircle of triangle <math>QRS</math> is tangent to <math>AC</math> at <math>Q</math>. | ||
+ | |||
+ | <asy> | ||
+ | import markers; | ||
+ | |||
+ | unitsize(0.5 cm); | ||
+ | |||
+ | pair A, B, C, O, P, Q, R, S; | ||
+ | |||
+ | A = (2,12); | ||
+ | B = (0,0); | ||
+ | C = (14,0); | ||
+ | P = intersectionpoint(A--B,Circle(A,8)); | ||
+ | Q = intersectionpoint(A--C,Circle(A,8)); | ||
+ | O = extension(P, P + rotate(90)*(A - P), Q, Q + rotate(90)*(A - Q)); | ||
+ | S = intersectionpoint(B--C,arc(O, abs(O - P), 180, 270)); | ||
+ | R = intersectionpoint(B--C,arc(O, abs(O - P), 270, 360)); | ||
+ | |||
+ | draw(A--B--C--cycle); | ||
+ | draw(Circle(O, abs(O - P))); | ||
+ | draw(S--P--R); | ||
+ | draw(S--Q--R); | ||
+ | |||
+ | label("$A$", A, N); | ||
+ | label("$B$", B, SW); | ||
+ | label("$C$", C, SE); | ||
+ | label("$P$", P, W); | ||
+ | label("$Q$", Q, NE); | ||
+ | label("$R$", R, SE); | ||
+ | label("$S$", S, SW); | ||
+ | |||
+ | markangle(1, B, P, S, radius=4mm, marker(markinterval(stickframe(n=1,2mm),true))); | ||
+ | markangle(1, P, R, S, radius=4mm, marker(markinterval(stickframe(n=1,2mm),true))); | ||
+ | markangle(1, R, Q, C, radius=4mm, marker(markinterval(stickframe(n=2,2mm),true))); | ||
+ | markangle(1, R, S, Q, radius=4mm, marker(markinterval(stickframe(n=2,2mm),true))); | ||
+ | </asy> | ||
+ | |||
+ | For the sake of contradiction, suppose that the circumcircles of triangles <math>PRS</math> and <math>QRS</math> are not the same circle. Since <math>AP = AQ</math>, <math>A</math> lies on the [[Radical_axis|radical axis]] of both circles. However, both circles pass through <math>R</math> and <math>S</math>, so the radical axis of both circles is <math>RS</math>. Hence, <math>A</math> lies on <math>RS</math>, which is a contradiction. | ||
+ | |||
+ | Therefore, the two circumcircles are the same circle. In other words, <math>P</math>, <math>Q</math>, <math>R</math>, and <math>S</math> all lie on the same circle. | ||
==See also== | ==See also== |
Revision as of 17:26, 25 April 2012
Problem
Given a triangle , let and be points on segments and , respectively, such that . Let and be distinct points on segment such that lies between and , , and . Prove that , , , are concyclic (in other words, these four points lie on a circle).
Solution
Since , the circumcircle of triangle is tangent to at . Similarly, since , the circumcircle of triangle is tangent to at .
For the sake of contradiction, suppose that the circumcircles of triangles and are not the same circle. Since , lies on the radical axis of both circles. However, both circles pass through and , so the radical axis of both circles is . Hence, lies on , which is a contradiction.
Therefore, the two circumcircles are the same circle. In other words, , , , and all lie on the same circle.
See also
2012 USAJMO (Problems • Resources) | ||
First Problem | Followed by Problem 2 | |
1 • 2 • 3 • 4 • 5 • 6 | ||
All USAJMO Problems and Solutions |