AK_|_ BC wanted, 2 circles related
Source: 2020 Korea Junior Math Olympiad p2 KJMO
November 24, 2021
geometryperpendicular
Problem Statement
Let be an acute triangle with circumcircle and . The angle bisector of meets again at , and the line through , perpendicular to meets again at . The circle centered at , passing through meets the line again at . Let be the circumcircle of triangle . Prove that is perpendicular to .