Une technique géométrique constructive qui transforme des figures en découpant selon des courbes ou segments choisis et en réassemblant les morceaux pour former de nouvelles figures, utilisée pour démontrer des congruences, égalités d'aires, la congruence par ciseaux ou pour produire des dissection.

Principe

Décomposer une figure en un nombre fini de parties et reconfigurer ces parties par isométries (translations, rotations, réflexions) pour obtenir une autre figure ; l'égalité d'aire ou la congruence découle d'une bijection entre les morceaux préservant les mouvements rigides.

Démonstration

Pour montrer que deux polygones ont la même aire, découper l'un en triangles partageant un sommet commun et réarranger ces triangles par translations et rotations pour remplir l'autre polygone ; la dissection explicite témoigne concrètement de l'égalité d'aire.

Mauvaise application

Supposer que les morceaux peuvent être réassemblés arbitrairement sans préserver les mouvements rigides ou ignorer que les découpes peuvent créer des frontières non mesurables ou fractales mène à des conclusions invalides ; la confusion apparaît si l'on utilise des déformations plutôt que des isométries.

Conséquence

Fournit des preuves constructives explicites et des certificats visuels (dissections) d'égalité d'aire et de congruence, et dans la théorie plus avancée distingue l'équidécomposabilité (congruence par ciseaux) des invariants préservant la mesure.

Inversion

Au lieu de découper et recoller, utiliser des outils analytiques (intégrales, théorie de la mesure ou invariants algébriques) pour prouver l'égalité d'aire ou l'inexistence d'une dissection ; l'inversion remplace la démonstration constructive par une obstruction par invariants.

Limite

Nécessite que le réassemblage utilise des mouvements rigides admissibles et que les morceaux soient mesurables ; ne s'applique pas lorsque seules des déformations non rigides sont autorisées ou lorsque le domaine produit des décompositions paradoxales sauf si les hypothèses mésure-théoriques sont précisées.

Tension sémantique

Tendue avec les approches algébriques ou métriques : découper-coller fournit des bijections explicites des pièces, tandis que les méthodes d'invariants peuvent montrer l'impossibilité ; la tension est entre dissections constructives et preuves d'obstruction abstraites.

Synthèse

Découper en parties mesurables et réassembler par mouvements rigides pour exhiber une congruence ou une égalité d'aire ; préciser les découpes et mouvements autorisés et recourir aux invariants quand les dissections sont impossibles ou non constructives.