MathDB
2016 JBMO Shortlist G2

Source: 2016 JBMO Shortlist G2

October 8, 2017
geometryJBMO

Problem Statement

Let ABC{ABC} be a triangle with BAC=60\angle BAC={{60}^{{}^\circ }}. Let DD and EE be the feet of the perpendiculars from A{A} to the external angle bisectors of ABC\angle ABC and ACB\angle ACB, respectively. Let O{O} be the circumcenter of the triangle ABC{ABC}. Prove that the circumcircles of the triangles ADE{ADE}and BOC{BOC} are tangent to each other.