Chase Angles, not Girls
by djmathman, Jul 23, 2015, 2:57 AM
IMO 2015.4 wrote:
Triangle
has circumcircle
and circumcenter
. A circle
with center
intersects the segment
at points
and
, such that
,
,
, and
are all different and lie on line
in this order. Let
and
be the points of intersection of
and
, such that
,
,
,
, and
lie on
in this order. Let
be the second point of intersection of the circumcircle of triangle
and the segment
. Let
be the second point of intersection of the circumcircle of triangle
and the segment
.
Suppose that the lines
and
are different and intersect at the point
. Prove that
lies on the line
.





























Suppose that the lines





Whoops this took me > 2 hours
Solution
No diagram, sorry
In any case, it's not insanely difficult to draw, and few additional points are included anyway.
Note that it suffices to prove
, since then
lies on the perpendicular bisector of
, which is trivially
.
Ignore points
,
, and
for now. Let
be the midpoint of
. Remark that
(since
), so
. Additionally, from
we have
. Adding these two equalities together yields
Now let
and
. Note that by reverse Fact 5
and
are the incenters of
and
respectively. As a result,
Similarly,
. Therefore,
.
Finally, bring back
,
, and
. Remark that this equality is equivalent to
trivially. Note that
is the center of spiral similarity sending
to
, so
. Similarly,
. Therefore
, so
and
lies on the perpedicular bisector of
as desired. 

Note that it suffices to prove




Ignore points




















Finally, bring back














This post has been edited 1 time. Last edited by djmathman, Jul 23, 2015, 3:34 AM