# 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).
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}}$.
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']$.
$(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}$
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