MathDB
parallel lines, taking the symmetrics of orthocenter wrt to sides

Source: 2015 Sharygin Geometry Olympiad Correspondence Round P7

August 2, 2018
geometrysymmetryorthocenter

Problem Statement

The altitudes AA1AA_1 and CC1CC_1 of a triangle ABCABC meet at point HH. Point HAH_A is symmetric to HH about AA. Line HAC1H_AC_1 meets BCBC at point CC' , point AA' is defined similarly. Prove that AC//ACA' C' // AC.