MathDB
Strange pentagon geo

Source: St Petersburg 2021 10.3

December 23, 2021
geometrypentagon

Problem Statement

Given a convex pentagon ABCDEABCDE, points A1,B1,C1,D1,E1A_1, B_1, C_1, D_1, E_1 are such that AA1BE,BB1AC,CC1BD,DD1CE,EE1DA.AA_1 \perp BE, BB_1 \perp AC, CC_1 \perp BD, DD_1 \perp CE, EE_1 \perp DA. In addition, AE1=AB1,BC1=BA1,CB1=CD1AE_1 = AB_1, BC_1 = BA_1, CB_1 = CD_1 and DC1=DE1DC_1 = DE_1. Prove that ED1=EA1ED_1 = EA_1