2017 USAJMO Problems/Problem 3
Contents
[hide]Problem
() Let
be an equilateral triangle and let
be a point on its circumcircle. Let lines
and
intersect at
; let lines
and
intersect at
; and let lines
and
intersect at
. Prove that the area of triangle
is twice that of triangle
.
Solution 1
WLOG, let . Let
, and
. After some angle chasing, we find that
and
. Therefore,
~
.
Lemma 1: If , then
.
This lemma results directly from the fact that
~
;
, or
.
Lemma 2: .
We see that
, as desired.
Lemma 3: .
We see that
However, after some angle chasing and by the Law of Sines in
, we have
, or
, which implies the result.
By the area lemma, we have and
.
We see that . Thus, it suffices to show that
, or
. Rearranging, we find this to be equivalent to
, which is Lemma 3, so the result has been proven.
Solution 2
We will use barycentric coordinates and vectors. Let be the position vector of a point
The point
in barycentric coordinates denotes the point
For all points in the plane of
we have
It is clear that
;
; and
Define the point as
The fact that
lies on the circumcircle of
gives us
This, along with the condition
inherent to barycentric coordinates, gives us
We can write the equations of the following lines:
We can then solve for the points :
The area of an arbitrary triangle is:
\[[XYZ] &= \frac{1}{2}|\vec{XY}\times\vec{XZ}|\] (Error compiling LaTeX. Unknown error_msg)
\[&= \frac{1}{2}|(\vec{X}\times\vec{Y}) + (\vec{Y}\times\vec{Z}) + (\vec{Z}\times\vec{X})|.\] (Error compiling LaTeX. Unknown error_msg)
We ultimately obtain the following:
Evaluating the denominator,
We thus conclude that:
From this, it follows that and we are done.
The problems on this page are copyrighted by the Mathematical Association of America's American Mathematics Competitions.
See also
2017 USAJMO (Problems • Resources) | ||
Preceded by Problem 2 |
Followed by Problem 4 | |
1 • 2 • 3 • 4 • 5 • 6 | ||
All USAJMO Problems and Solutions |