MathDB
equilateral wanted, <C=60^o, altitudes and midpoint

Source: 2006 Bosnia & Herzegovina JBMO TST p2

May 27, 2020
geometryEquilateralaltitude

Problem Statement

In an acute triangle ABCABC, C=60o\angle C = 60^o. If AAAA' and BBBB' are two of the altitudes and C1C_1 is the midpoint of ABAB, prove that triangle C1ABC_1A'B' is equilateral.