MathDB
Midpoints of arcs and a bunch of right angles

Source: Baltic Way 2020, Problem 12

November 14, 2020
geometrygeometry proposed

Problem Statement

Let ABCABC be a triangle with circumcircle ω\omega. The internal angle bisectors of ABC\angle ABC and ACB\angle ACB intersect ω\omega at XBX\neq B and YCY\neq C, respectively. Let KK be a point on CXCX such that KAC=90\angle KAC = 90^\circ. Similarly, let LL be a point on BYBY such that LAB=90\angle LAB = 90^\circ. Let SS be the midpoint of arc CABCAB of ω\omega. Prove that SK=SLSK=SL.