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 | ||