MathDB
OD _|_ MN iff P,Q,M,N concyclic, 2 intersecting circles

Source: Indonesia INAMO Shortlist 2017 G10 https://artofproblemsolving.com/community/c1101409_indonesia_shortlist__geometry

November 15, 2021
perpendicularConcyclicgeometry

Problem Statement

It is known that circle Γ1(O1)\Gamma_1(O_1) has center at O1O_1, circle Γ2(O2)\Gamma_2(O_2) has center at O2O_2, and both intersect at points CC and DD. It is also known that points PP and QQ lie on circles Γ1(O1)\Gamma_1(O_1) and Γ2(O2)\Gamma_2(O_2), respectively. ). A line \ell passes through point DD and intersects Γ1(O1)\Gamma_1(O_1) and Γ2(O2)\Gamma_2(O_2) at points AA and BB, respectively. The lines PDPD and ACAC meet at point MM, and the lines QDQD and BCBC meet at point NN. Let OO be center outer circle of triangle ABCABC. Prove that ODOD is perpendicular to MNMN if and only if a circle can be found which passes through the points P,Q,MP, Q, M and NN.