What are points P, Q doing here?
Source: Sharygin Correspondence Round 2024 P11
March 6, 2024
geometryperpendicular bisectorbarycentric coordinates
Problem Statement
Let be the midpoints of sides respectively of a triangle . The perpendicular bisector to the bisectrix meets the bisectrixes of angles and at points and respectively. Prove that the common point of lines and lies on the tangent to the circumcircle of at .