MathDB
concyclic wanted, circumcenters, reflection wrt line related

Source: 2019 Irish Mathematical Olympiad paper 1 p5

October 5, 2020
geometryreflectionConcyclicCircumcenter

Problem Statement

Let MM be a point on the side BCBC of triangle ABCABC and let PP and QQ denote the circumcentres of triangles ABMABM and ACMACM respectively. Let LL denote the point of intersection of the extended lines BPBP and CQCQ and let KK denote the reflection of LL through the line PQPQ. Prove that M,P,QM, P, Q and KK all lie on the same circle.