- Day 1
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 .