Le théorème d’équidécomposabilité ----------------------------------
Le mathématicien écossais William Wallace (1768–1843) fut le premier à démontrer cette propriété en 1807. Le Prussien Paul Gerwien, ignorant le résultat de Wallace, le redémontra en 1833 et Farkas Bolyai fit de même en 1835 (voir Découpages et Pavages, Bibliothèque Tangente 64, 2018). La démonstration de ce théorème d’équidécomposabilité repose sur deux propriétés : tout polygone peut être triangulé (divisé en un nombre fini de triangles), et tout triangle peut, après découpage, être réassemblé pour former un rectangle de base donnée.
La construction du puzzle -------------------------
Dans la littérature, on trouve parfois la construction suivante.