Revisiting a September 2016 Problem
by tastymath75025, Apr 16, 2017, 4:18 AM
shiningsunnyday posted this problem on his blog in september but never finished his solution 
Let
be the circumcenter of an acute-angled triangle
, and let
be a point on the circumcircle of
. Let
be the projections of
onto
respectively. Prove that the incenter of
lies on the Simson line of
with respect to
.
solution
tidbit

Let










solution
Let
be the reflection of
over
and let
be the reflection of
over
; define
similarly.
By setting
as the unit circle, it's clear that since
is the midpoint of arc
that
and similarly for
. Meanwhile, by well-known formulas, we find
and similarly for
.
Ok so now you can arrange
so that square roots work out nicely (or more like I'm too lazy to write out the other cases
) and the midpoints of arcs
are
, so the incenter is the orthocenter of these three points, or
. It suffices to show this is collinear with
, which is a trivial computationt.







By setting







Ok so now you can arrange






tidbit
I actually have no idea if you can get
in a way which makes the square roots work out; I just want ssd to post his solution 

