Problem

Source: St Petersburg 2021 10.3

Tags: geometry, pentagon



Given a convex pentagon $ABCDE$, points $A_1, B_1, C_1, D_1, E_1$ are such that $$AA_1 \perp BE, BB_1 \perp AC, CC_1 \perp BD, DD_1 \perp CE, EE_1 \perp DA.$$In addition, $AE_1 = AB_1, BC_1 = BA_1, CB_1 = CD_1$ and $DC_1 = DE_1$. Prove that $ED_1 = EA_1$