Right-angle revelation
Source: Philippine Mathematical Olympiad 2020/4
January 19, 2020
PMOgeometry
Problem Statement
Let be an acute triangle with circumcircle and the foot of the altitude from . Suppose that . Point is the midpoint of , and the bisector of meets at . Point lies on such that lines and are parallel. Lines and meet at , and line meets again at . Line meets the circumcircle of again at . Prove that .