MathDB
DE, DF tangents to circle (AEF)

Source: Indonesia INAMO Shortlist 2010 G1

August 27, 2021
geometrytangentalttiudes

Problem Statement

In triangle ABCABC, let DD be the midpoint of BCBC, and BEBE, CFCF are the altitudes. Prove that DEDE and DFDF are both tangents to the circumcircle of triangle AEFAEF