MathDB
equal angles in square, midpoints (2020 Novosibirsk Oral Geo Oly 9.4)

Source:

May 24, 2021
equal anglessquare

Problem Statement

Points EE and FF are the midpoints of sides BCBC and CDCD of square ABCDABCD, respectively. Lines AEAE and BFBF meet at point PP. Prove that PDA=AED\angle PDA = \angle AED.