Perpendicular bisector meets the circumcircle of another triangle
Source: 2023 Junior Macedonian Mathematical Olympiad P4
June 10, 2023
geometry
Problem Statement
We are given an acute with circumcenter such that . The bisector of meets the circumcircle of at a second point . The perpendicular bisector of meets the circumcircle of for the second time at . The line meets the circumcircle of for the second time at . Prove that the lines , and are concurrent.Proposed by Petar Filipovski