Problem

Source: First Romanian JBMO TST 2023 P5

Tags: geometry



Outside of the trapezoid $ABCD$ with the smaller base $AB$ are constructed the squares $ADEF$ and $BCGH$. Prove that the perpendicular bisector of $AB$ passes through the midpoint of $FH$.