MathNet 2023-part-05 — 191 problems (EN–VI) Question 3

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