MathDB
Orthic triangle DEF satisfying 3EF=FD+DE

Source: Centroamerican 2011, Problem 6

June 22, 2011
trigonometrygeometryperpendicular bisectorgeometry proposed

Problem Statement

Let ABCABC be an acute triangle and DD, EE, FF be the feet of the altitudes through AA, BB, CC respectively. Call YY and ZZ the feet of the perpendicular lines from BB and CC to FDFD and DEDE, respectively. Let F1F_1 be the symmetric of FF with respect to EE and E1E_1 be the symmetric of EE with respect to FF. If 3EF=FD+DE3EF=FD+DE, prove that BZF1=CYE1\angle BZF_1=\angle CYE_1.