MathDB
AE = BD, <BAE =15^o inside square (2013 Romania District VII P4)

Source:

May 20, 2020
geometrysquareequal segments

Problem Statement

Consider the square ABCDABCD and the point EE inside the angle CABCAB, such that BAE=15o\angle BAE =15^o, and the lines BEBE and BDBD are perpendicular. Prove that AE=BDAE = BD.