2020 AIME I Problems/Problem 13
Problem
Point lies on side
of
so that
bisects
The perpendicular bisector of
intersects the bisectors of
and
in points
and
respectively. Given that
and
the area of
can be written as
where
and
are relatively prime positive integers, and
is a positive integer not divisible by the square of any prime. Find
Solution 1
Points are defined as shown. It is pretty easy to show that by spiral similarity at
by some short angle chasing. Now, note that
is the altitude of
, as the altitude of
. We need to compare these altitudes in order to compare their areas. Note that Stewart's theorem implies that
, the altitude of
. Similarly, the altitude of
is the altitude of
, or
. However, it's not too hard to see that
, and therefore
. From here, we get that the area of
is
, by similarity. ~awang11
Solution 2
Let lie on the x-axis and
be the origin.
is
. Use Heron's formula to compute the area of triangle
. We have
. and
. We now find the altitude, which is
, which is the y-coordinate of
. We now find the x-coordinate of
, which satisfies
, which gives
since the triangle is acute. Now using the Angle Bisector Theorem, we have
and
to get
. The coordinates of D are
.
Since we want the area of triangle
, we will find equations for perpendicular bisector of AD, and the other two angle bisectors. The perpendicular bisector is not too challenging: the midpoint of AD is
and the slope of AD is
. The slope of the perpendicular bisector is
. The equation is(in point slope form)
.
The slope of AB, or in trig words, the tangent of
is
.
Finding
and
. Plugging this in to half angle tangent, it gives
as the slope of the angle bisector, since it passes through
, the equation is
.
Similarly, the equation for the angle bisector of
will be
.
For
use the B-angle bisector and the perpendicular bisector of AD equations to intersect at
.
For
use the C-angle bisector and the perpendicular bisector of AD equations to intersect at
.
The area of AEF is equal to
since AD is the altitude of that triangle with EF as the base, with
being the height.
and
, so
which gives
. NEVER overlook coordinate bash in combination with beginner synthetic techniques.~vvluo
Solution 3 (Coordinate Bash + Trig)
Let and
be the line
.
We compute that
, so
.
Thus,
lies on the line
. The length of
at a point
is
, so
.
We now have the coordinates ,
and
.
We also have
by the angle-bisector theorem and
by taking the midpoint.
We have that because
,
by half angle formula.
We also compute , so
.
Now, has slope
, so it's perpendicular bisector has slope
and goes through
.
We find that this line has equation .
As , we have that line
has form
.
Solving for the intersection point of these two lines, we get
and thus
We also have that because ,
has form
.
Intersecting the line and the perpendicular bisector of
yields
.
Solving this, we get and so
.
We now compute .
We also have
.
As , we have
.
The desired answer is ~Imayormaynotknowcalculus
See Also
2020 AIME I (Problems • Answer Key • Resources) | ||
Preceded by Problem 12 |
Followed by Problem 14 | |
1 • 2 • 3 • 4 • 5 • 6 • 7 • 8 • 9 • 10 • 11 • 12 • 13 • 14 • 15 | ||
All AIME Problems and Solutions |
The problems on this page are copyrighted by the Mathematical Association of America's American Mathematics Competitions.