Mathématiques des origamis

Les pliages d'origamis sont utilisés en mathématiques pour procéder à des constructions géométriques. Selon les méthodes de pliages utilisées, on obtient des procédés plus riches que ceux propres à la règle et au compas.

Formalisation des origamis

Le formalisme auquel il est le plus souvent fait référence est celui de Huzita. Il contient 6 axiomes qui sont en fait les 6 pliages de base permettant de décomposer n'importe quel origami. En voici la liste :

• 
  Axiome 1. Un unique pli passe par deux points $p_{1}$ et $p_{2}$ spécifiés.
• 
  Axiome 2. Un unique pli amène un point $p_{1}$ sur un point $p_{2}$.
• 
  Axiome 3. Un pli superpose deux droites $l_{1}$ et $l_{2}$.
• 
  Axiome 4. Un unique pli passe par un point $p_{1}$ et est orthogonal à une droite $l_{1}$.
• 
  Axiome 5. Soient une droite $l_{1}$ et deux points $p_{1}$ et $p_{2}$ ; un pli passe par $p_{2}$ et amène $p_{1}$ sur $l_{1}$.
• 
  Axiome 6. Soient deux droites $l_{1}$ et $l_{2}$ et deux points $p_{1}$ et $p_{2}$ ; un pli amène $p_{1}$ sur $l_{1}$ et $p_{2}$ sur $l_{2}$.

Les axiomes 1 à 4 ont toujours au moins une construction possible, unique pour les axiomes 1, 2 et 4. Les axiomes 5 et 6 peuvent n'en avoir aucune, une ou plusieurs selon la disposition des points et des droites. Ces deux derniers axiomes expriment que, lorsqu'il y a au moins une solution, alors elle peut être obtenue par origami.

Points, droites et nombres constructibles par origami

On se donne deux points de base. À partir de ces deux points, on définit récursivement les points et les lignes constructibles par origami de la façon suivante :

• Les points de base sont constructibles par hypothèse.
• Les droites construites sur les plis définis par les axiomes 1 à 6 à partir d'objets constructibles sont constructibles.
• Un point intersection de deux droites constructibles est constructible.

On appelle nombre constructible par origami un nombre égal à la distance de deux points constructibles, les deux points de base étant à une distance unité.

On peut alors interpréter les axiomes 1) à 4) de la façon suivante :

• Axiome 1. une droite passant par deux points constructibles est constructible.
• Axiome 2. la médiatrice d'un segment dont les extrémités sont constructibles est constructible.
• Axiome 3. la bissectrice de deux droites constructibles est constructible.
• Axiome 4. la perpendiculaire passant un point constructible à une droite constructible est constructible.

Les nombres constructibles au moyen de ces quatre axiomes sont exactement les mêmes que ceux qu'on peut construire avec la règle et le compas à pointes sèches. Il s'agit par exemple de ${\sqrt {5}}$ ou ${\sqrt {2+{\sqrt {2}}}}$ mais ni de ${\sqrt[{3}]{2}}$ ni de ${\sqrt {1+{\sqrt {2}}}}$. Voici par exemple la construction du symétrique d'un point P par rapport à une droite (L).

Construction du symétrique d'un point par rapport à une droite par origami.

On construit la perpendiculaire à (L) passant par P puis la perpendiculaire à cette perpendiculaire passant par P (autrement dit, la parallèle à (L) passant par P). On construit les deux bissectrices en P à la parallèle à (L) et la perpendiculaire à (L). Ces deux bissectrices vont couper (L) en deux points d'où l'on trace deux nouvelles perpendiculaires à (L). Deux dernières bissectrices vont se couper en le symétrique à P cherché.

• L'axiome 5 est équivalent à chercher l'intersection d'une droite et d'un cercle.

Les nombres constructibles au moyen des cinq premiers axiomes sont exactement les mêmes que les nombres constructible à la règle et au compas.

• L'axiome 6 offre des procédés de construction particulièrement puissants. Il revient à construire la tangente aux deux paraboles de foyers $p_{1}$ et $p_{2}$ et de directrices respectives $l_{1}$ et $l_{2}$.

L'axiome 6 permet de résoudre les équations du troisième degré et du quatrième degré à coefficients constructibles. Il permet par exemple de trisecter un angle, de dupliquer le cube ou de construire l'heptagone régulier, choses qu'on ne peut faire à la règle et au compas. L'ensemble des nombres constructibles à l'aide des six axiomes est le plus petit corps contenant les rationnels et stable par les opérations de calcul de racine carrée et de racine cubique.

Voici par exemple la construction de ${\sqrt[{3}]{2}}$.

Construction de raine cubique de 2 par origame

On considère un carré ABCD que l'on plie en trois. On effectue un troisième pli de façon que A soit amené sur R et E sur S. Alors CR/BR est égal à ${\sqrt[{3}]{2}}$.

Origami et pliage fractal

Notons $a$ la hauteur OA et $b$ la largeur OO' d'un rectangle $(O,A,A',O')$. Soit $B$ le point de $[O,A]$ tel que OB soit égal à $b$. Procédons de même pour construire $B'$ sur le segment $[O',A']$.

diagramme de découpage d'une feuille

$(O,B,B',O')$ est un carré. On reporte $B'$ en $C$ sur $[A,A']$. On note $C'$ son vis-à-vis sur $[B,B']$ pour y former le carré $(A',C,C',B')$.

Il reste le rectangle $(C,A,B,C')$ ; quelles sont ses propriétés ? Voici les longueurs de quelques segments de cette figure :

• $[O,A]$ est de longueur $a$,
• $[O,O']$ et $[O,B]$ de longueur $b$,
• $[A,B]=[A,O]-[B,O]$ est donc de longueur $a-b$,
• $[A',C]$ est aussi de longueur $a-b$,
• et donc $[A,C]=[A,A']-[C,A']$ est de longueur $b-(a-b)$.

Notons $r$ le rapport de la longueur sur la largeur du rectangle $(C,A,B,C')$. On obtient : $r={b-(a-b) \over a-b}$ si $[A,C]$ est plus long que $[A,B]$ ou $r={a-b \over b-(a-b)}$ si $[A,B]$ est plus long que $[A,C]$.

Exprimons $r$ en fonction du rapport de $[O,A]$ sur $[O,B]$ (que l'on note $\alpha$) : $\alpha ={a \over b}$. On obtient respectivement : $r={2-\alpha \over \alpha -1}$ ou $r={\alpha -1 \over 2-\alpha }$.

Une valeur de $r$ est particulièrement intéressante, $r=\alpha$, ce qui signifie que les proportions du rectangle restant après avoir retiré les deux carrés successifs (d'abord $(B,O,O',B')$ puis $(B',C',C,A')$), sont les mêmes que celles du rectangle original.

Il y a deux solutions possibles : $\alpha ={2-\alpha \over \alpha -1}$ ou $\alpha ={\alpha -1 \over 2-\alpha }$, qui donnent respectivement $\alpha ={\sqrt {2}}$ ou $\alpha ={1+{\sqrt {5}} \over 2}$

Une série de boites réalisées à partir d'une seule feuille A4. À part la première, elles sont toutes en deux exemplaires

Le premier cas correspond aux proportions des feuilles $An$ (par exemple $A4$, les feuilles rectangulaires standard) :

Format	Largeur	Hauteur
$An$	$2^{-1/4-n/2}$	$2^{1/4-n/2}$

Le second cas fait apparaître le nombre d'or.

Si on itère le procédé, ces deux formats de feuilles permettent de réaliser des origamis fractales, car dans le rectangle restant, aux mêmes proportions que le premier, il est encore possible de retirer deux carrés, puis de recommencer, théoriquement jusque l'infini.

• 
  pliage fractal
• 
  pliage fractal

Annexes

Articles connexes

• Nombre constructible
• Didier Boursin et ses ouvrages sur les pliages mathématiques
• Théorème de Kawasaki (en)
• Théorème de Maekawa (de)

Bibliographie

• (en) T. Sundara Row, Geometric exercices in paper folding, Dover, 1966.
• Kôdi Husimi et Mitsue Husimi, The Geometry of Origami, Tokyo, Nihon Hyouronsha, 1984, 2^e éd. (1^re éd. 1984)
• (en) David Auckly et John Cleveland, « Totally real origami and impossible paper folding », The American Mathematical Monthly, vol. 102, n^o 3,‎ mars 1995, p. 215-226 (DOI 10.2307/2975008, JSTOR 2975008)
  Les axiomes choisis par les auteurs sont équivalents aux quatre premiers axiomes de cet article
• (en) R.C. Alperin, « A mathematical theory of origami constructions and numbers », New York Journal of Mathematics, vol. 6,‎ 2000, p. 119-133 (lire en ligne)
• Jean-Paul Delahaye, « Les mathématiques de l'origami », Pour la Science, n^o 448,‎ février 2015, p. 76-81
• (en) Shuo Ma, Muhao Chen, Hongying Zhang et Robert E. Skelton, « Statics of integrated origami and tensegrity systems », International Journal of Solids and Structures, vol. 279,‎ 1^er septembre 2023, article n^o 112361 (DOI 10.1016/j.ijsolstr.2023.112361)

Liens externes

• (en) Trisection par pliage de papier sur le site de cut-the-knot.
• Michael Friedman — « Le pliage du papier et l’histoire des mathématiques » — Images des Mathématiques, CNRS, 2020