MathDB
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 ABCABC with ACB=90\angle ACB = 90^\circ. Let WA,WBW_A , W_B respectively be the midpoints of the smaller arcs BCBC and ACAC of the circumcircle of ABC\triangle ABC, and NA,NBN_A , N_B respectively be the midpoints of the larger arcs BCBC and ACAC of this circle. Denote by PP and QQ the points of intersection of segment ABAB with the lines NAWBN_AW_B and NBWAN_BW_A, respectively. Prove that AP=BQAP = BQ.
Proposed by Oleksiy Masalitin