Show that the marked region is a square



We see that the picture is symmetric with respect to four axes:
the two diagonals of the square and the two lines going through the midpoints of two opposite sides of the square.
The marked region remains invariant under each of those axes; hence, the marked quadrilateral is a square.