Arc midpoints in the right triangle
Source: Kyiv City MO 2023 Round 1, Problem 9.3
December 16, 2023
geometrycircumcircle
Problem Statement
You are given a right triangle with . Let respectively be the midpoints of the smaller arcs and of the circumcircle of , and respectively be the midpoints of the larger arcs and of this circle. Denote by and the points of intersection of segment with the lines and , respectively. Prove that .Proposed by Oleksiy Masalitin