MathDB
Geometry with two cases

Source: 2024 CTST P17

March 25, 2024
geometry

Problem Statement

ABCDEABCDE is a convex pentagon with BD=CD=ACBD=CD=AC, and BB, CC, DD, EE are concyclic. If BAC+AED=180\angle BAC+\angle AED=180^{\circ} and DCA=BDE\angle DCA=\angle BDE, prove that AB=DEAB=DE or AB=2AEAB=2AE.