2023 WSMO Speed Round Problems/Problem 8

Problem

In regular octagon $ABCDEFGH$ of sidelength $4,$ quadrilaterals $ACEG$ and $BDFH$ are drawn. Find the square of the area of the overlap of the two quadrilaterals.

Solution