Difference between revisions of "2023 USAMO Problems/Problem 1"
m (→Solution 1) |
m (→Solution 1) |
||
Line 5: | Line 5: | ||
From this, we have <math>\frac{MP}{MX} = \frac{MC}{MA} = \frac{MP}{MQ} = \frac{MA}{MB}</math>, as <math>MC=MB</math>. Thus, <math>M</math> is also the midpoint of <math>XQ</math>. | From this, we have <math>\frac{MP}{MX} = \frac{MC}{MA} = \frac{MP}{MQ} = \frac{MA}{MB}</math>, as <math>MC=MB</math>. Thus, <math>M</math> is also the midpoint of <math>XQ</math>. | ||
− | Now, <math>NB = NC</math> | + | Now, <math>NB = NC</math> if <math>N</math> lies on the perpendicular bisector of <math>\overline{BC}</math>. As <math>N</math> lies on the perpendicular bisector of <math>\overline{XQ}</math>, which is also the perpendicular bisector of <math>\overline{BC}</math> (as <math>M</math> is also the midpoint of <math>XQ</math>), we are done. |
~ Martin2001 | ~ Martin2001 | ||
Revision as of 01:55, 6 February 2024
In an acute triangle , let
be the midpoint of
. Let
be the foot of the perpendicular from
to
. Suppose that the circumcircle of triangle
intersects line
at two distinct points
and
. Let
be the midpoint of
. Prove that
.
Solution 1
Let be the foot from
to
. By definition,
. Thus,
, and
.
From this, we have , as
. Thus,
is also the midpoint of
.
Now, if
lies on the perpendicular bisector of
. As
lies on the perpendicular bisector of
, which is also the perpendicular bisector of
(as
is also the midpoint of
), we are done.
~ Martin2001
Solution 2
We are going to use barycentric coordinates on . Let
,
,
, and
,
,
. We have
and
so
and
. Since
, it follows that
Solving this gives
so
The equation for
is
Plugging in
and
gives
. Plugging in
gives
so
Now let
where
so
. It follows that
. It suffices to prove that
. Setting
, we get
. Furthermore we have
so it suffices to prove that
which is valid.
~KevinYang2.71
See also
2023 USAMO (Problems • Resources) | ||
Preceded by First Problem |
Followed by Problem 2 | |
1 • 2 • 3 • 4 • 5 | ||
All USAMO Problems and Solutions |