MathDB
projections of projections on altitudes result to a segment parallel to 3rd side

Source: 2012 Sharygin Geometry Olympiad Final Round 9.1

August 3, 2018
geometryaltitudes

Problem Statement

The altitudes AA1AA_1 and BB1BB_1 of an acute-angled triangle ABC meet at point OO. Let A1A2A_1A_2 and B1B2B_1B_2 be the altitudes of triangles OBA1OBA_1 and OAB1OAB_1 respectively. Prove that A2B2A_2B_2 is parallel to ABAB.
(L.Steingarts)