MathDB
equilateral given and wanted, IMO TST problem

Source: Dutch IMO TST2 2015 p3

August 5, 2019
geometryEquilateralEquilateral Triangle

Problem Statement

An equilateral triangle ABCABC is given. On the line through BB parallel to ACAC there is a point DD, such that DD and CC are on the same side of the line ABAB. The perpendicular bisector of CDCD intersects the line ABAB in EE. Prove that triangle CDECDE is equilateral.