MathDB
concyclic wanted, projections of interior point on sides of ABC related

Source: Switzerland - Swiss MO 2012 p10

July 16, 2020
geometryConcyclicprojectionsprojection

Problem Statement

Let OO be an inner point of an acute-angled triangle ABCABC. Let A1,B1A_1, B_1 and C1C_1 be the projections of OO on the sides BC,ACBC, AC and ABAB respectively . Let PP be the intersection of the perpendiculars on B1C1B_1C_1 and A1C1A_1C_1 from pointsA A and BB respectilvey. Let HH be the projection of PP on ABAB. Show that points A1,B1,C1A_1, B_1, C_1 and HH lie on a circle.