MathDB
Too many perpendicular and parallel lines

Source: Sharygin 2022 P20

March 4, 2022
geometry

Problem Statement

Let OO, II be the circumcenter and the incenter of ABC\triangle ABC; RR,rr be the circumradius and the inradius; DD be the touching point of the incircle with BCBC; and NN be an arbitrary point of segment IDID. The perpendicular to IDID at NN meets the circumcircle of ABCABC at points XX and YY . Let O1O_{1} be the circumcircle of XIY\triangle XIY.
Find the product OO1INOO_{1}\cdot IN.