MathDB
concurrency of reflections of 3 // lines wrt altitudes

Source: 2021 Sharygin Finals grade VIII p2

August 1, 2021
geometryreflectionconcurrencyconcurrent

Problem Statement

Three parallel lines a,b,c\ell_a, \ell_b, \ell_c pass through the vertices of triangle ABCABC. A line aa is the reflection of altitude AHaAH_a about a\ell_a. Lines b,cb, c are defined similarly. Prove that a,b,ca, b, c are concurrent.