Difference between revisions of "2023 USAJMO Problems/Problem 2"
(→Solution 3) |
(→Solution 3) |
||
Line 32: | Line 32: | ||
\end{align*}</cmath> | \end{align*}</cmath> | ||
Solving this gives | Solving this gives | ||
− | \[ | + | <cmath>\[ |
x=\frac{2b^2-2c^2}{a^2-3b^2-c^2} | x=\frac{2b^2-2c^2}{a^2-3b^2-c^2} | ||
− | \]so | + | \]</cmath> |
− | \[ | + | so |
+ | <cmath>\[ | ||
P=\left(\frac{b^2-c^2}{a^2-2b^2-2c^2},\frac{a^2-3b^2-c^2}{2a^2-4b^2-4c^2},\frac{a^2-3b^2-c^2}{2a^2-4b^2-4c^2}\right). | P=\left(\frac{b^2-c^2}{a^2-2b^2-2c^2},\frac{a^2-3b^2-c^2}{2a^2-4b^2-4c^2},\frac{a^2-3b^2-c^2}{2a^2-4b^2-4c^2}\right). | ||
− | \]The equation for <math>(ABP)</math> is | + | \]</cmath> |
− | \[ | + | The equation for <math>(ABP)</math> is |
+ | <cmath>\[ | ||
-a^2yz-b^2zx-c^2xy+ux+vy+wz=0. | -a^2yz-b^2zx-c^2xy+ux+vy+wz=0. | ||
− | \] | + | \]</cmath> |
Plugging in <math>A</math> and <math>B</math> gives <math>u=v=0</math>. Plugging in <math>P</math> gives | Plugging in <math>A</math> and <math>B</math> gives <math>u=v=0</math>. Plugging in <math>P</math> gives | ||
<cmath>\begin{align*} | <cmath>\begin{align*} | ||
Line 47: | Line 49: | ||
\end{align*}</cmath> | \end{align*}</cmath> | ||
so | so | ||
− | \[ | + | <cmath>\[ |
w=\frac{2b^4-2c^4+a^4-3a^2b^2-a^2c^2}{2a^2-4b^2-4c^2}=\frac{a^2}{2}-\frac{b^2}{2}+\frac{c^2}{2}. | w=\frac{2b^4-2c^4+a^4-3a^2b^2-a^2c^2}{2a^2-4b^2-4c^2}=\frac{a^2}{2}-\frac{b^2}{2}+\frac{c^2}{2}. | ||
− | \] | + | \]</cmath> |
Now let <math>Q=(0,t,1-t)</math> where | Now let <math>Q=(0,t,1-t)</math> where | ||
<cmath>\begin{align*} | <cmath>\begin{align*} |
Revision as of 22:14, 26 April 2023
Contents
[hide]Problem
(Holden Mui) 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
The condition is solved only if is isosceles, which in turn only happens if
is perpendicular to
.
Now, draw the altitude from to
, and call that point
. Because of the Midline Theorem, the only way that this condition is met is if
, or if
.
By similarity,
. Using similarity ratios, we get that
. Rearranging, we get that
. This implies that
is cyclic.
Now we start using Power of a Point. We get that , and
from before. This leads us to get that
.
Now we assign variables to the values of the segments. Let and
. The equation from above gets us that
. As
from the problem statements, this gets us that
and
, and we are done.
-dragoon and rhydon516 (:
Solution 2
Let be the foot of the altitude from
onto
. We want to show that
for obvious reasons.
Notice that is cyclic and that
lies on the radical axis of
and
. By Power of a Point,
. As
, we have
, as desired.
- Leo.Euler
Solution 3
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