Accueil🇫🇷Chercher

Formule autoréférente de Tupper

La formule autoréférente de Tupper est une inégalité à deux variables. Lorsque l'ensemble des points du plan qui satisfont cette inégalité sont tracés, une partie du plan représente la formule elle-même. Créée par Jeff Tupper en 2001[1], il s'agit d'un exemple d'autoréférence.

Caractéristiques

Définition

La formule est une inégalité définie par :

est la fonction partie entière et mod l'opérateur modulo[1] - [2] - [3] - [4].

Tracé

Soit k le nombre de 543 chiffres égal à :

960939379918958884971672962127852754715004339660129306651505519271702802395266
424689642842174350718121267153782770623355993237280874144307891325963941337723
487857735749823926629715517173716995165232890538221612403238855866184013235585
136048828693337902491454229288667081096184496091705183454067827731551705405381
627380967602565625016981482083418783163849115590225610003652351370343874461848
378737238198224849863465033159410054974700593138339226497249461751545728366702
369745461014655997933798537483143786841806593422227898388722980000748404719

Si on trace le graphe de l'ensemble des points (x,y) qui satisfont l'inégalité de Tupper sur la restriction du plan à 0 < x < 106 et k < y < k+17, on obtient le graphe suivant[1] - [5] :

Tracé de l'inégalité de Tupper sur [0;106]×[k;k+17] ; par simplicité, le tracé a été ramené verticalement au niveau de y=0.

Fonctionnement

Du fait de la partie entière et du modulo 2, la partie droite de l'inégalité ne peut prendre comme valeur que 0 ou 1. Les solutions de l'inégalité sont donc celles de l'égalité :

On pose q le quotient de la division euclidienne de par 17 et r son reste : et . On peut écrire : . L'équation précédente devient (en divisant par la puissance de 2 plutôt qu'en multipliant par son opposé) :

c'est-à-dire :

est impair.

Dans cette formule, la partie entière de la division de q par permet d'obtenir le -ième bit de q[6].

De façon générale, la formule de Tupper décode une image matricielle monochrome stockée dans une constante q. Le bit de poids faible de q encode le pixel du coin inférieur gauche de l'image, les 17 premiers bits de poids faibles encodent la colonne de pixels la plus à gauche, les 17 bits suivants encodent la 2e colonne la plus à gauche, ainsi de suite.

Lorsqu'elle est appliquée à tous les nombres y positifs, l'inégalité trace une bande verticale contenant toutes les images possibles de 17 pixels de hauteur. La tranche située entre k et k+17 décrit la formule elle-même, mais ce n'est qu'un cas particulier : toutes les autres formules possibles sont également décrites ailleurs, pour peu qu'elles tiennent sur 17 pixels de hauteur.

Historique

Jeff Tupper publie la formule dans un article pour le SIGGRAPH 2001 (une conférence annuelle sur l'infographie), discutant des méthodes de tracés analogues à celle employée par GrafEq, un programme de représentation graphique[1].

Tupper a composé depuis des versions étendues de sa formule originale, qui excluent tout le plan sauf une zone particulière[7].

Références

  1. (en) Tupper Jeff, « Reliable Two-Dimensional Graphing Methods for Mathematical Formulae with Two Free Variables », SIGGRAPH 2001 Conference Proceedings, (lire en ligne)
  2. (en) « Tupper's Self-Referential Formula », MathWorld
  3. (en) D. H. Bailey ; J. M. Borwein ; N. J. Calkin ; R. Girgensohn ; D. R. Luke ; V. H. Moll, Experimental Mathematics in Action, Natick, MA, A. K. Peters, , 322 p. (ISBN 978-1-56881-271-7), p. 289
  4. collectif, « Self-Answering Problems », Math Horizons, vol. 13, , p. 19
  5. (en) S. Wagon, « Best Puzzles - Problem 14 »
  6. (fr) « Le produit de Tupper », Choux romanesco, vache qui rit et intégrales curvilignes
  7. « Index of /selfplot », peda.com

Annexes

Articles connexes

Liens externes

Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.