Y by
Let
be a triangle with
, and
its shortest side. Let
be the orthocenter of
. Let
be the circle with center
and radius
. Let
be the second point where the line
meets
. Let
be the second point where
meets the circumcircle of the triangle
. Let
be the intersection point of the lines
and
.
Prove that the line
is tangent to the circumcircle of the triangle
.

















Prove that the line

