Dissecting the square into seven or nine congruent parts

Gerardo L. Maldonado, Edgardo Roldán-Pensado

We give a computer-based proof of the following fact: If a square is divided into seven or nine convex polygons, congruent among themselves, then the tiles are rectangles.