Carré magique (mathématiques)
En mathématiques, un carré magique d’ordre n est composé de n2 entiers strictement positifs, écrits sous la forme d’un tableau carré. Ces nombres sont disposés de sorte que leurs sommes sur chaque rangée, sur chaque colonne et sur chaque diagonale principale soient égales. On nomme alors constante magique (et parfois densité) la valeur de ces sommes.
Un carré magique normal est un cas particulier de carré magique, constitué de tous les nombres entiers de 1 à n2, où n est l’ordre du carré.
Histoire
Les carrés magiques étaient connus des mathématiciens chinois, à partir de 650 av. J.-C.[1], et des mathématiciens arabes, probablement vers le VIIe siècle, lorsque les armées arabes firent la conquête du nord-ouest de l'Inde, apprenant des mathématiciens indiens, ce qui incluait certains aspects de la combinatoire. Les premiers carrés magiques d'ordres 5 et 6 apparurent dans une encyclopédie publiée à Bagdad vers 983, l’Encyclopédie de la Fraternité de la pureté (Rasa'il Ikhwan al-Safa). Des carrés magiques plus simples étaient connus de plusieurs mathématiciens arabes antérieurs[1]. Quelques-uns de ces carrés furent utilisés en conjonction avec des « lettres magiques » par des illusionnistes et des magiciens arabes[2].
Les Arabes seraient les premiers, au Xe siècle, à les utiliser à des fins purement mathématiques. Ahmad al-Buni, vers 1250 leur attribue des propriétés magiques.
En Chine, ils furent représentés par différents symboles (ainsi en est-il par exemple du carré Xi'an), puis symbolisés par des chiffres en Inde où furent inventés les chiffres arabes. On les retrouve dans de nombreuses civilisations d'Asie et d'Europe avec généralement une connotation religieuse.
En 1510, le philosophe allemand Cornelius Agrippa (1486-1535), parle de nouveau des carrés magiques, avec toujours une connotation religieuse, il écrit un traité De Occulta Philosophia où il expose une théorie mêlant astrologie et carrés magiques. S'appuyant sur les écrits de Marsile Ficin et de Jean Pic de la Mirandole, il explique les propriétés de sept carrés magiques d'ordre 3 à 9, chacun étant associé à l'une des planètes astrologiques. Cet ouvrage eut une influence marquée en Europe jusqu'à la Contre-Réforme. Jérôme Cardan (Practica arithmetica et mensurandi singulari, 1539) puis Athanasius Kircher (Œdipus Ægyptiacus, 1653) poursuivent la même analogie entre l'arithmétique et l'ordre cosmique des planètes. Les carrés magiques d'Agrippa continuent à être utilisés lors de cérémonies magiques modernes selon ce qu'il a prescrit[3] - [4].
Simon de La Loubère, diplomate et mathématicien français, publie en 1691 Du Royaume de Siam. Il introduit pour la première fois dans la langue française le terme « carré magique », et expose une nouvelle méthode de construction, dite « méthode siamoise », permettant de construire des carrés d'ordre impair arbitraire.
Au XVIIe siècle, le juriste et mathématicien français Pierre de Fermat étend le principe des carrés magiques aux cubes magiques. Bernard Frénicle de Bessy écrit un traité sur les carrés magiques (rédigé dans les années 1640, mais publié à titre posthume en 1693) et des tables pour tous les carrés d'ordre 4.
Propriétés
Il existe des dispositions magiques pour tout carré d'ordre n ≥ 1. Le carré d'ordre 1 est trivial, n'importe quel nombre indiqué dans l'unique case permet de satisfaire les règles. Le carré d'ordre 2 est également trivial puisqu'il n'est possible qu'en répétant le même nombre dans les quatre cases. Le plus petit cas non trivial est le carré d'ordre 3 (à l'exception des carrés contenant partout le même nombre).
Tout carré magique d'ordre 3 s'écrit comme somme d'une matrice circulante et d'une matrice anticirculante. Cette décomposition n'est pas unique et n'a plus lieu dans les dimensions supérieures.
La constante magique d'un carré magique normal dépend uniquement de n et vaut : n(n2 + 1)/2. En fonction de l'ordre n = 3, 4, 5, 6, 7, 8… elle vaut ainsi : 15, 34, 65, 111, 175, 260…[5]. En excluant les rotations et les réflexions[note 1], le nombre de carrés magiques normaux pour les dimensions 1 à 5 est donné par la suite : 1, 0, 1, 880, 275 305 224[6]. Le nombre de carrés magiques pour les dimensions supérieures était inconnu en 1999[7], et l'est probablement toujours en 2016. Pour information, Pinn et Wieczerkowski en 2004 estiment que pour le carré magique d'ordre 6, le nombre est d'environ 0,17 × 1020[6], soit plus de 10 milliards de milliards.
Si l'on relie les nombres de certains carrés magiques dans l'ordre croissant, on obtient une figure qui présente une symétrie centrale (voir image ci-contre). Cette propriété est fausse dans le cas général[note 2].
Opérations
Les sommes des deux carrés magiques des mêmes ordres donnent également des carrés magiques[8], mais le résultat n'est pas normal, c'est-à-dire que les nombres ne forment pas la suite 1, 2, 3... Également, la différence de deux carrés magiques du même ordre donne également un carré magique, mais qui n'est pas normal.
Le « produit » de deux carrés magiques crée un carré magique d'ordre supérieur aux deux multiplicandes[9]. Ce produit s'effectue ainsi[note 3]. Soit les carrés magiques M et N :
- Le carré final sera d'ordre M×N.
- Diviser le damier final en N×N sous-damiers de M×M cases.
- Dans le carré N, réduire de 1 la valeur de tous les nombres.
- Multiplier ces valeurs réduites par M×M. Les résultats sont reportés dans les cases de chaque sous-damier correspondant du carré final.
- Les cases du carré M sont additionnées N×N fois aux cases du damier final.
La multiplication de carrés magiques permet de générer des carrés magiques de plus grandes tailles. Cette technique produit plus rapidement des carrés de grande taille que la construction à l'aide de l'une des méthodes directes (celles de La Loubère ou de Strachey, par exemple)[10].
Méthodes de construction
En 1976, Benson et Jacoby ont publié une méthode qui s'applique tant aux carrés magiques d'ordre pair que d'ordre impair[11]. Elle est cependant plus difficile à appliquer que d'autres méthodes « spécialisées ». Pour cette raison, elle ne sera pas expliquée dans cet article.
Il existe plusieurs méthodes directes pour construire les carrés d'ordre impair et les carrés d'ordre pair[12] - [13]. Parmi les méthodes de construction indirectes, il en existe au moins trois. La multiplication de carrés magiques en est une (voir la section Opérations). Si un carré magique est déjà construit, il est possible d'en dériver d'autres par permutations de ses colonnes et de ses rangées. Finalement, il est possible d'en créer un en « bordant » un carré magique déjà construit : c'est le carré magique à enceinte.
Ordre 3
Au XIXe siècle, Édouard Lucas a trouvé une formule générale pour les carrés magiques d'ordre 3. Avec a, b et c des entiers relatifs[14]:
c + a | c – a – b | c + b |
c – a + b | c | c + a – b |
c – b | c + a + b | c – a |
Ces 9 nombres seront entiers et distincts formant un carré magique si 0 < a < b < c – a et b ≠ 2a. De plus, tout carré 3 × 3 de nombres entiers positifs distincts est de cette forme. Le carré magique normal d'ordre 3 correspond à a = 1, b = 3, c = 5. Le Kuberakolam (en) (un ancien carré magique indien) s'en déduit en ajoutant 19 dans chaque case donc correspond à a = 1, b = 3, c = 24.
Méthode du damier crénelé
Cette méthode de construction a été publiée en 1612 par Claude-Gaspard Bachet de Méziriac dans Problèmes plaisants et délectables qui se font par les nombres[15]. Elle se base sur un damier crénelé.
Par exemple, pour un carré magique de côté 5 :
Méthode siamoise
La méthode siamoise a été introduite en France par Simon de La Loubère en 1688 alors qu'il revenait de son ambassade au Siam[16].
La méthode exposée par La Loubère peut être généralisée. Supposons que nous nous déplacions dans un plan cartésien. Dans la figure plus haut, aller en diagonale vers la droite et vers le haut revient à effectuer la translation (1, 1). Lorsqu'il y a une collision, c'est-à-dire que la prochaine case est occupée, il y a une translation (0, –1). Philippe de La Hire a établi les conditions pour lesquelles un carré d'ordre N est magique. Les coordonnées du vecteur « déplacement » (C, L) et du vecteur « collision » (C + c, L + l) doivent respecter les conditions suivantes[17] - [18] :
- C, c, L et l sont des entiers relatifs non nuls (par exemple, –7, 9 ou 4), mais leur somme peut être nulle (par exemple, C = –6 et c = 6).
- C, c, L et l sont tous premiers avec N (par exemple, 3 est premier avec 11, mais pas avec 15).
- (C × l) – (c × L) est premier avec N.
De plus, le carré ainsi construit est diabolique si[17] :
- (C + L) et (c + l) sont tous deux premiers avec N (les diagonales brisées allant de la gauche en haut à la droite en bas égalent la constante magique), et
- (C – L) et (c – l) sont tous deux premiers avec N (les diagonales brisées allant de la droite en haut à la gauche en bas égalent la constante magique).
Par exemple, la méthode de construction proposée par le Byzantin Manuel Moschopoulos, dite « parcours en cavalier d'échecs », se représente par le vecteur déplacement (1, 2) et le vecteur collision (1 + 1, 2 – 2) = (2, 0)[17].
Méthode du losange
Les nombres impairs sont inscrits de manière à former un losange au « centre » du carré, d'où le nom de la méthode publiée par John Horton Conway[13] - [note 4].
|
Méthode calculatoire
On part de la matrice[19]
et on note donc sa transposée, et Un la matrice carrée composée uniquement de 1 de taille n. On pose les matrices et .
Alors le carré magique s'obtient avec
Soit pour chaque élément de la matrice :
Soient les indices et variant de 1 à n, ainsi
Méthode de spectacle
Cette méthode, dite "de spectacle" est l'une des méthodes utilisées par les mentalistes et les magiciens dans leurs spectacles, où l'effet consiste à écrire en quelques secondes le carré magique du nombre donné par un spectateur. Cette méthode a deux contraintes :
- Elle est applicable uniquement à partir du nombre 25, mais il n'y a pas de maximum imposé.
- Elle ne marche que pour un carré magique d'ordre 4.
Le tour est présenté par le magicien, qui demande un nombre n supérieur à 24 (ou bien il utilise des méthodes d'influence psychologiques), avec par exemple le nombre 49. Il faut alors soustraire 24 au nombre choisi n - 24 (49 - 24 = 25)
Juste après, le magicien prend (ou bien écrit sur le moment) un carré magique prérempli, qui utilise une certaine logique expliquée juste après :
1 | 15 | __ | 4 |
__ | 6 | 7 | 9 |
8 | __ | 11 | 5 |
13 | 3 | 2 | __ |
La logique d'écriture de ce tableau est d'abord d'écrire les nombres de 1 à 16 dans l'ordre, de gauche à droite, le 1 pour la 1re case et le 16 pour la dernière, mais uniquement en remplissant les cases qui font partie des deux grandes diagonales (les cases 1, 4, 6, 7, 10, 11, 13 et 16) mais en laissant vide la 10 et la 16. Ensuite, il faut faire la même démarche mais en commençant par la dernière case (la 16) en la considérant comme 1 et inversement, cette en remplissant les cases qui ne font pas partie de la diagonale (cases 2, 3, 5, 8, 9, 12, 14 et 15) cette fois-ci en laissant vierge les cases 12 et 14.
Pour terminer ce carré magique, il faut prendre le premier nombre calculé (25 dans l'exemple) et le placer sur la troisième ligne, deuxième colonne.
On remonte ensuite d'une ligne, à la première colonne, et on y ajoute n+2 (25 + 2 = 27). Première ligne, troisième colonne on place n+4, ou bien (n+2)+2 (27 + 2 = 29) et pour terminer on va à la quatrième ligne, quatrième colonne pour y mettre ((n+2)+2) +2, ou plus simplement n+6 (29 + 2 = 31).
Le carré magique d'ordre 4 est maintenant terminé.
Les manières de calculer sont :
- en ligne
- en colonne
- en diagonale
- le carré central (les 4 cases du centre)
- les carrés des coins (les 4 cases collées à chaque coin)
- les 4 cases extérieures (les 4 coins)
1 | 15 | 29 | 4 |
27 | 6 | 7 | 9 |
8 | 25 | 11 | 5 |
13 | 3 | 2 | 31 |
Ordre pair
Créer des carrés magiques d’ordre pair est plus difficile. Certaines méthodes permettent de construire :
- des carrés magiques d'ordre double pair (divisible par 2 et par un nombre pair), par exemple :
- des carrés magiques d'ordre double impair (divisible par 2 et par un nombre impair), par exemple :
- méthode LUX de John H. Conway[7].
- méthode de Coquard, obtenues à partir du carré numéroté dans l'ordre “naturel” en lui appliquant certaines transformations géométriques[21].
- des carrés magiques dont l'ordre est divisible par 8, par exemple :
- méthode de Benjamin Franklin[22].
- des carrés magiques d'ordre pair, par exemple :
Selon Gérardin[22], la méthode de Strachey est la plus générale. Par contre, elle s'appuie sur des carrés magiques déjà construits et ne peut servir à construire des carrés magiques d'ordre 4. Par ailleurs, la méthode de Benjamin Franklin crée des carrés magiques possédant de multiples propriétés. Pour ces raisons, plusieurs méthodes seront présentées dans cette section. Ensemble, elles permettent de construire n'importe quel carré d'ordre pair.
Méthode des permutations autour des diagonales
Cette méthode sert à construire des carrés d'ordre double pair (4, 8, 12...)[7]. Elle se base sur l'observation que ces carrés « se laissent aisément couper et recouper par moitié », ils possèdent donc « des propriétés géométriques de symétrie »[25] :
- Soit une grille vide d'ordre N, celui-ci valant 4, 8, 12...
- Dans cette grille, inscrire les nombres naturels dans l'ordre : 1, 2, 3... Il y a donc N2 nombres à inscrire (16, 64, 144...).
- Le damier ainsi construit est composé de 1, 4, 9... sous-damiers d'ordre 4. Dans chacun de ces sous-damiers, tracer une ligne passant par les deux diagonales principales.
- Remplacer chaque nombre n qui n'est pas recouvert par son complément qui vaut (N2 + 1) - n. Par exemple, pour un carré magique 8x8, N vaut 8, le complément de 2 est donc (82 + 1) - 2 = 65 - 2 = 63.
Méthode de Strachey
Cette méthode, initialement publiée par Ralph Strachey et ensuite présentée sous une « forme élégante » par William H. Benson et Oswald Jacoby, permet de construire des carrés magiques d'ordre pair[22], mais elle ne permet pas de construire tous les carrés d'ordre pair[26]. Cependant, le nombre de carrés magiques ainsi construits est très élevé. Par exemple, le nombre de carrés magiques d'ordre 5 s'élève à 275 305 224 et la méthode de Strachey permet de créer, au minimum, un carré magique d'ordre 10 à partir de chacun de ces carrés magiques[27].
Puisque le damier final est d'ordre pair, il est toujours divisible en quatre sous-damiers que nous nommons A, B, A' et B'. Soit N l'ordre du carré magique.
Si N est simple paire
- Poser N = 2 × (2n + 1).
- Dans le sous-damier A, la diagonale qui va du haut à gauche en bas à droite contient exactement n + 1 fois le nombre 3.
- Chaque rangée du sous-damier A contient exactement n fois le nombre 3. Les autres cases contiennent 0.
- Dans le sous-damier A', remplir les cases « en miroir » (selon la ligne de séparation) en se basant sur les cases de A.
- Dans le sous-damier B, la diagonale qui va du haut à droite en bas à gauche contient exactement n + 2 fois le nombre 2.
- Chaque rangée du sous-damier B contient exactement n + 2 fois le nombre 2. Les autres cases contiennent le nombre 1.
- Dans le sous-damier B', remplir les cases « en miroir » en se basant sur les cases de B.Carrés servant à construire un carré magique d'ordre 10. Le carré est divisé en quatre parties égales. 1. Ici, 10 = 2 × (2n + 1). Donc, n = 2. 2. Dans le sous-damier A, la diagonale qui va du haut à gauche en bas à droite contient 3 fois le nombre 3. 3. Chaque rangée du sous-damier A contient 2 fois le nombre 3. Les autres cases contiennent 0. 4. Le sous-damier A étant rempli, remplir le sous-damier A' « en miroir » (la ligne de séparation fait office de miroir en quelque sorte). 5. Dans le sous-damier B, la diagonale qui va du haut à droite en bas à gauche contient également 4 fois le nombre 2. 6. Chaque rangée du sous-damier B contient 4 fois le nombre 2.
- Multiplier chaque case par le quart de N2.
- Choisir n'importe quel carré magique d'ordre 2n + 1 (impair).
- Créer une image « miroir » de ce carré et la glisser sous le carré magique initial, formant ainsi un rectangle vertical.
- Additionner les cases de ce rectangle aux cases des sous-damiers A, B, A' et B'.
- Le carré final est magique.
- Si N double paire
- Poser N = 2 × (2n)[note 5].
- Dans le sous-damier A, la diagonale qui va de haut à gauche en bas à droite contient exactement n fois le nombre 3.
- Chaque rangée du sous-damier A contient exactement n fois le nombre 3. Les autres cases contiennent 0.
- Dans le sous-damier A', remplir les cases « en miroir » (selon la ligne de séparation) en se basant sur les cases de A.
- Dans le sous-damier B, la diagonale qui va de haut à droite en bas à gauche contient exactement n fois le nombre 2.
- Chaque rangée du sous-damier B contient exactement n fois le nombre 2. Les autres cases contiennent le nombre 1.
- Dans le sous-damier B', remplir les cases « en miroir » en se basant sur les cases de B.
- Multiplier chaque case par le quart de N2.
- Choisir n'importe quel carré magique d'ordre 2n (pair).
- Créer une image « miroir » de ce carré et la glisser sous le carré magique initial, formant ainsi un rectangle vertical.
- Additionner les cases de ce rectangle aux cases des sous-damiers A, B, A' et B'.
- Le carré final est magique.
Permutations des colonnes et des rangées
Par convention, la rotation ou la réflexion d'un carré magique ne crée pas de nouveau carré. En revanche, en « échangeant deux colonnes et deux lignes (symétriquement placés par rapport au centre) d'un carré magique, on obtient un nouveau carré magique, cousin en quelque sorte du carré initial »[28]. Cette méthode de permutations des colonnes et des rangées est valable tant pour les carrés d'ordre pair qu'impair.
Méthode des enceintes
En entourant un carré magique non normal d'une enceinte, c'est-à-dire d'une rangée de cases, il est possible de créer un carré magique normal. Cette méthode est due à Frénicle[29] - [30] - [diff 1]. Pour les besoins de l'explication, nous travaillerons avec deux carrés magiques de taille définie, mais la méthode est relativement facile à généraliser[note 6] :
- Choisir un carré magique normal d'ordre 3. Appelons-le « carré central ».
- Entourer le carré central d'une rangée de cases vides, elles forment l'enceinte.
- Le carré magique à enceinte sera d'ordre 3 + 2 = 5, car l'enceinte borde au complet le carré central. Appelons-le « carré à enceinte ».
- Le nombre de cases dans le carré central est 32, alors qu'il est (3 + 2)2 dans le carré à enceinte. L'enceinte contiendra donc 25 – 9 = 16 cases.
- En « passant » d'un carré 3×3 à un carré 5×5, la constante magique doit passer de 15 à 65.
- Sachant qu'il faut placer la suite de nombres 1, 2... 23, 24, 25 dans le carré à enceinte et observant que la constante magique a augmenté de 50, il faut modifier les nombres dans le carré central. Avant de procéder, une observation supplémentaire s'impose. La méthode ne fonctionne que si les nombres du carré central sont « au milieu » de la suite de nombres, c'est-à-dire 9, 10, 11... La valeur exacte à ajouter à chaque nombre du carré central est 2×(32 – 1) = 16. Le carré ainsi produit est non normal, mais est toujours magique.
- Il reste à placer les « extrêmes » de la suite 1, 2, 3... 8 et 18, 19 ... 25. Avant de procéder, une observation va éliminer plusieurs possibilités. La constante magique du carré central non normal est 15 + 3×8 = 39. La constante magique du carré à enceinte est de 65. La différence, 65 – 39 = 26, doit provenir des cases dans l'enceinte. Or, les seules sommes pouvant donner ce résultat sont 1 + 25, 2 + 24… Ces paires doivent donc être placées de façon symétrique relativement au centre du carré.
- En ce qui concerne l'arrangement des nombres dans les colonnes et les rangées de l'enceinte, le lecteur peut procéder par essai et erreur. Pour des carrés magiques à enceinte plus grands, il est préférable d'utiliser une méthode systématique (voir par exemple Benson et Jacoby 1976).
Méthode proposée par Claude Bégin[31]
Pour construire un carré magique d’ordre n > 2, la méthode proposée convient aussi bien aux carrés d’ordres pairs que d’ordres impairs. Elle consiste à construire trois carrés magiques linéairement indépendants A, B et C, de même ordre. La construction du carré A varie selon que l’ordre est impair, pair multiple de 4 ou pair non multiple de 4. Le carré B est toujours la rotation de -90° du carré A. Le carré C est un carré trivial qui contient l’entier 1 dans toutes ses cases.
Le carré magique qui en résulte a alors la forme t A + r B + a C où t, r et a sont des nombres réels. Un tel carré est arithmétique et pour un ordre impair ou pair multiple de 4, il est associatif.
Exemples
Ordre 4
16 | 3 | 2 | 13 |
5 | 10 | 11 | 8 |
9 | 6 | 7 | 12 |
4 | 15 | 14 | 1 |
Ce carré magique était connu du peintre allemand Albrecht Dürer, qui l'a inclus dans sa gravure Mélancolie. Il est combiné de telle sorte que pris horizontalement, verticalement ou en diagonale, la somme des nombres considérés est 34, ainsi d'ailleurs que la somme des quatre nombres figurant dans les quatre cases centrales ou encore dans les quatre cases d'angle. Il existe un très grand nombre de possibilités de trouver, dans le carré de Dürer, le nombre 34. Ainsi prendre les quatre coins, essayer de nouveau en prenant chaque case suivant directement un coin dans le sens des aiguilles d'une montre. Les trouver toutes prend un temps certain. Dürer réussit également à faire figurer dans les deux cases centrales de la rangée du bas la date (1514) de son œuvre.
La façade de la Passion de la basilique la Sagrada Familia à Barcelone montre un carré magique d'ordre 4 sculpté par Josep Maria Subirachs à côté du baiser de Judas, quelquefois appelé cryptogramme de Subirachs. La constante magique correspond à 33, l'âge du Christ à sa mort. Le carré est semblable à une variante de celui de Dürer (obtenue par rotation d'un demi tour autour du centre), dont quatre cellules (15,12,11,16) ont été réduites de 1 .
1 | 14 | 14 | 4 |
11 | 7 | 6 | 9 |
8 | 10 | 10 | 5 |
13 | 2 | 3 | 15 |
Il ne respecte toutefois pas les règles habituelles du carré magique, avec deux nombres (10 et 14) utilisés deux fois et deux autres nombres (12 et 16) qui sont absents.
Ordre 5
17 | 24 | 1 | 8 | 15 |
23 | 5 | 7 | 14 | 16 |
4 | 6 | 13 | 20 | 22 |
10 | 12 | 19 | 21 | 3 |
11 | 18 | 25 | 2 | 9 |
Ce carré magique est « semi-diabolique » car la somme de 65 se retrouve sur toutes les diagonales brisées allant de gauche à droite. Exemple : 15 + 23 + 6 + 19 + 2 = 65. Si les diagonales brisées allant de droite à gauche présentaient cette même somme magique, le carré serait dit « diabolique ». Il en existe d'ailleurs de nombreux.
Ordre 6
6 | 32 | 3 | 34 | 35 | 1 |
7 | 11 | 27 | 28 | 8 | 30 |
19 | 14 | 16 | 15 | 23 | 24 |
18 | 20 | 22 | 21 | 17 | 13 |
25 | 29 | 10 | 9 | 26 | 12 |
36 | 5 | 33 | 4 | 2 | 31 |
L'ordre 6 est le plus petit ordre impairement pair pour lequel il existe des carrés magiques. Le carré « du Soleil », représenté ci-dessus, est un tel carré magique : il figurait notamment (avec une erreur) sur une médaille offerte à Louis XIV par le duc d’Aumont. Dans ce carré, chacune des deux diagonales suit une progression arithmétique, de pas 5 pour l'une (suite de 6 à 31) et 7 pour l'autre (suite de 1 à 36). En 2020, Roland Coquard a proposé une méthode permettant de construire des carrés magiques normaux pour tout ordre pairement impair (autre que 2), qui redonne le carré du Soleil pour l'ordre 6[21]. À noter que dans le carré du Soleil, comme pour tous les carrés magiques normaux d'ordre 6, la somme de tous les nombres est 1 + 2 + … + 36 = 666.
Ordre 8
52 | 61 | 4 | 13 | 20 | 29 | 36 | 45 |
14 | 3 | 62 | 51 | 46 | 35 | 30 | 19 |
53 | 60 | 5 | 12 | 21 | 28 | 37 | 44 |
11 | 6 | 59 | 54 | 43 | 38 | 27 | 22 |
55 | 58 | 7 | 10 | 23 | 26 | 39 | 42 |
9 | 8 | 57 | 56 | 41 | 40 | 25 | 24 |
50 | 63 | 2 | 15 | 18 | 31 | 34 | 47 |
16 | 1 | 64 | 49 | 48 | 33 | 32 | 17 |
Ce carré magique d'ordre 8 publié par Benjamin Franklin possède plusieurs propriétés. La somme des carrés d'une même ligne est de 260 alors que la somme des quatre premières cases est de 130. Une ligne à 45° partant de la colonne de gauche et traversant les quatre premières colonnes, pour redescendre ensuite jusqu'à la colonne de droite, rencontre huit nombres d'un total de 260, quantité qui se retrouve en additionnant les nombres des cases extrêmes et des quatre cases centrales. La somme des nombres des cases de 16 carrés juxtaposés pour former l'ensemble de la figure est 130 ; ce nombre se retrouve en additionnant les chiffres de quatre cases quelconques équidistantes du centre. Il est également possible de réaliser un carré magique d'ordre 8 en effectuant un parcours de case en case selon les règles de déplacement du cavalier du jeu d'échecs.
1 | 8 | 53 | 52 | 45 | 44 | 25 | 32 |
64 | 57 | 12 | 13 | 20 | 21 | 40 | 33 |
2 | 7 | 54 | 51 | 46 | 43 | 26 | 31 |
63 | 58 | 11 | 14 | 19 | 22 | 39 | 34 |
3 | 6 | 55 | 50 | 47 | 42 | 27 | 30 |
62 | 59 | 10 | 15 | 18 | 23 | 38 | 35 |
4 | 5 | 56 | 49 | 48 | 41 | 28 | 29 |
61 | 60 | 9 | 16 | 17 | 24 | 37 | 36 |
Ce carré magique d'ordre 8 publié par le général Cazalas est un carré diabolique car les diagonales brisées donnent la somme caractéristique : 260. De plus, chaque sous-carré de deux sur deux a un total de 130, ce qui en fait un carré « hyper-magique ».
60 | 6 | 11 | 53 | 44 | 22 | 27 | 37 |
13 | 51 | 62 | 4 | 29 | 35 | 46 | 20 |
54 | 12 | 5 | 59 | 38 | 28 | 21 | 43 |
3 | 61 | 52 | 14 | 19 | 45 | 36 | 30 |
58 | 8 | 9 | 55 | 42 | 24 | 25 | 39 |
15 | 49 | 64 | 2 | 31 | 33 | 48 | 18 |
56 | 10 | 7 | 57 | 40 | 26 | 23 | 41 |
1 | 63 | 50 | 16 | 17 | 47 | 34 | 32 |
Ce carré panmagique d'ordre 8 publié par Willem Barink présente (presque) toutes les propriétés panmagiques concevables. Aussi les 4 quadrants du carré sont des carrés panmagiques. Les diagonales partielles et les diagonales franklines (redescendant chez les diamètres) ont un total de 260 : 18 + 25 + 45 + 38 + 59 + 52 + 8 + 15. De plus, il y a seulement deux sommes pour les paires de nombres consécutifs dans les lignes horizontales (66, 64) et les lignes verticales (73, 57).
Ordre 12
138 | 8 | 17 | 127 | 114 | 32 | 41 | 103 | 90 | 56 | 65 | 79 |
19 | 125 | 140 | 6 | 43 | 101 | 116 | 30 | 67 | 77 | 92 | 54 |
128 | 18 | 7 | 137 | 104 | 42 | 31 | 113 | 80 | 66 | 55 | 89 |
5 | 139 | 126 | 20 | 29 | 115 | 102 | 44 | 53 | 91 | 78 | 68 |
136 | 10 | 15 | 129 | 112 | 34 | 39 | 105 | 88 | 58 | 63 | 81 |
21 | 123 | 142 | 4 | 45 | 99 | 118 | 28 | 69 | 75 | 94 | 52 |
130 | 16 | 9 | 135 | 106 | 40 | 33 | 111 | 82 | 64 | 57 | 87 |
3 | 141 | 124 | 22 | 27 | 117 | 100 | 46 | 51 | 93 | 76 | 70 |
134 | 12 | 13 | 131 | 110 | 36 | 37 | 107 | 86 | 60 | 61 | 83 |
23 | 121 | 144 | 2 | 47 | 97 | 120 | 26 | 71 | 73 | 96 | 50 |
132 | 14 | 11 | 133 | 108 | 38 | 35 | 109 | 84 | 62 | 59 | 85 |
1 | 143 | 122 | 24 | 25 | 119 | 98 | 48 | 49 | 95 | 74 | 72 |
Ce carré panmagique d'ordre 12 publié par Willem Barink (constante de 870) contient presque toutes les propriétés panmagiques concevables, sauf les diagonales franklines. Le carré se compose de 9 carrés 4×4 panmagiques. Commençant à une case impaire dans une ligne, la somme de 4 nombres consécutifs est 290 (= 1/3 de la somme totale de la ligne). Suivant l'installation des nombres 1, 2, 3, 4... 144, la figure symétrique est de forme identique à celle du carré panmagique 8×8 ci-dessus. On peut construire tous les carrés d'ordre 4k suivant cette symétrie[32].
Carrés magiques premiers
2 087 | 2 633 | 2 803 | 2 753 | 3 389 |
2 843 | 2 729 | 3 347 | 2 099 | 2 647 |
3 359 | 2 113 | 2 687 | 2 819 | 2 687 |
2 663 | 2 777 | 2 699 | 3 373 | 2 153 |
2 713 | 3 413 | 2 129 | 2 621 | 2 789 |
Les carrés magiques peuvent également être intégralement constitués de nombres premiers comme dans l'exemple ci-dessus[33], qui est de plus un carré diabolique du fait que de nombreuses symétries y figurent (entre autres, croix pleines et déliées, en diagonale et en verticale, ainsi que les translations horizontales et verticales de toutes celles-ci). La constante magique est 13 665.
1 480 028 159 | 1 480 028 153 | 1 480 028 201 |
1 480 028 213 | 1 480 028 171 | 1 480 028 129 |
1 480 028 141 | 1 480 028 189 | 1 480 028 183 |
Avant 1988, on s’est souvent demandé s’il existait un carré premier parfait pour l’ordre 3. C’est Harry L. Nelson (en) qui a trouvé le premier carré premier parfait d’ordre 3 en 1988 à l’aide d’un ordinateur Cray (en 1988, il en a trouvé 22 en tout). Nelson n’a peut-être pas procédé de façon exhaustive contrairement au Polonais Arkadiusz Wesolowski[35] qui en trouva 27 en avril 2015 dont les 22 de Nelson. Wesolowski en a donc trouvé 5 nouveaux.
À l’aide d’un programme dans MAPLE construit par Claude St-Hilaire, Claude Bégin[36] trouva de façon exhaustive les 8 premiers carrés premiers parfaits d’ordre 3. Il montra ainsi qu’il n’y en a aucun avant le plus petit, ce que Wesolowski a également montré.
Pour trouver des nouveaux carrés premiers parfaits, alors il faut donc chercher au-delà du 27e carré de la liste des 27 carrés premiers parfaits de Wesolowski.
Du 20 avril 2020 au 26 juillet 2020, Claude Bégin trouva 23 nouveaux carrés premiers parfaits d’ordre 3. Le procédé utilisé n’est pas exhaustif et consiste à trouver à l’aide de trois p-générateurs de nombreux carrés premiers (au moins 541) dont 48 sont premiers parfaits, incluant les 23 nouveaux de Bégin. Ceux-ci peuvent alors être notés (28) à (50) pour les ajouter à la suite des 27 de Wesolowski, notés de (1) à (27). Ainsi nous avons 50 carrés premiers parfaits d’ordre 3 connus en date du 27 juillet 2020.
Un p-générateur est un carré premier presque normal tel qu’en ajoutant un même entier dans toutes ses cases, nous obtenions un nouveau carré premier. Voici les carrés premiers parfaits (28) et (41) :
103 987 093 601 | 103 987 093 607 | 103 987 093 559 |
103 987 093 547 | 103 987 093 589 | 103 987 093 631 |
103 987 093 619 | 103 987 093 571 | 103 987 093 577 |
Il aura fallu environ 245 heures à Bégin avec un ordinateur PC sous Windows 10 utilisant l’application MATHEMATICA pour obtenir le carré (41)[36].
316 653 447 389 | 316 653 447 413 | 316 653 447 311 |
316 653 447 293 | 316 653 447 371 | 316 653 447 449 |
316 653 447 431 | 316 653 447 329 | 316 653 447 353 |
Applications
En mentalisme, certains artistes construisent des carrés magiques lors de leur spectacle. Un spectateur pense ou dit un nombre, l'artiste fait un carré magique en quelques secondes.
Les carrés magiques trouvent des applications dans les plans d'expériences. Il s'agit d'effectuer, par exemple, des expériences biologiques sur cinq variétés de plantes soumises à l'application de cinq engrais différents. La croissance des plantes est également influencée par le sol, aux caractéristiques variables, dans laquelle elles poussent. Pour minimiser l'influence du sol, il faut faire intervenir au maximum le hasard. Un carré magique d'ordre 5 facilite de beaucoup cette exigence[37]. Chaque plante reçoit un identifiant numérique entre 0 et 4 (p), de même pour chaque engrais (e). Chaque paire (p, e) est assignée à une parcelle du terrain, préalablement divisé en 5 × 5 = 25 parcelles, selon cette formule : 5 × p + e + 1 (par exemple, pour la plante no 3 et l'engrais no 2, nous avons 5 × 3 + 2 + 1 = 18). Cette technique peut être appliquée, par exemple, à la mise au point d'une famille de nouveaux vaccins.
Glossaire
Cette section liste différentes définitions qui permettent de mieux comprendre les explications de l'article[38] - [39] :
- Carré
- additif-multiplicatif : carré magique dont le produit selon chaque rangée, chaque colonne et chaque diagonale principale est un nombre constant.[40]
- A-Dürer : carré Dürer associatif[41].
- antimagique : suivre ce lien interne.[42]
- arithmétique : carré magique tel que ses n² nombres peuvent être disposés sous la forme d’un tableau arithmétique. Dans un tableau arithmétique, les nombres forment n suites arithmétiques horizontales de raison r et n suites arithmétiques verticales de raison t.[43]
- associatif : carré magique tel que la somme de deux cases symétriques par rapport au centre du carré est toujours égale 2S/n; S est la somme magique, n est l’ordre du carré[44].
- bimagique : carré magique qui le demeure en élevant au carré tous ses éléments (en date d'août 2010, ce n'est possible qu'à partir de l'ordre 6)[45].
- diabolique : carré magique dont toutes les diagonales brisées sont des figures magiques. Il n’existe aucun carré magique d’ordre 3 qui soit diabolique. De plus, il n’existe aucun carré magique normal qui soit diabolique si l’ordre est 4 k + 2.[46]. Dans « Carrés Magiques : nouveaux Horizons », on réserve le nom de diabolique à une certaine classe de carrés magiques d'ordre 4[47].
- Dürer : carré magique d’ordre 4 caractérisé par 24 figures magiques[48].
- magique normal : carré magique d'ordre n > 2 qui renferme tous les nombres entiers de 1 à n².
- pandiagonal : carré magique dont toutes les diagonales brisées sont des figures magiques[49].
- panmagique : voir carré diabolique.
- premier : carré magique formé uniquement de nombres premiers[50].
- premier parfait : carré premier formé de n² nombres premiers consécutifs[50].
- presque normal : carré magique qui ne contient que des entiers > 0, tous différents[51].
- semimagique : carré magique dont seules les colonnes et les rangées donnent la constante magique.
- trimagique : carré magique qui le demeure en élevant au carré ou au cube tous ses éléments (en date d'août 2010, ce n'est possible qu'à partir de l'ordre 12)[52].
- trivial : carré magique qui renferme le même nombre dans toutes ses cases[51].
- Constante magique : somme des termes selon un axe (horizontal, vertical ou diagonal). On dit aussi somme magique.
- Diagonale brisée principale : dans un carré d’ordre n, il s’agit de deux petites diagonales parallèles à la diagonale principale, situées de part et d’autre de celle-ci et dont le nombre total de cases est n.[53]
- Diagonale principale : diagonale qui est formée des cases (1 ; 1) à (n ; n). Rappelons que la case (i ; j) est celle qui se trouve à l’intersection de la i-ème rangée et de la j-ème colonne[53].
- Diagonale brisée secondaire : dans un carré d’ordre n, il s’agit de deux petites diagonales parallèles à la diagonale secondaire, situées de part et d’autre de celle-ci et dont le nombre total de cases est n.[53]
- Diagonale secondaire : diagonale qui est formée des cases (1 ; n) à (n ; 1)[53].
- Dimension : voir Ordre.
- Figure magique : dans un carré magique d’ordre n, groupe de n cases distinctes dont la somme est la somme magique S.
- Grandes diagonales : les diagonales principale et secondaire[53].
- Ordre : nombre de colonnes (ou de rangées).
- Somme magique : unique nombre S qui est la somme des nombres de chaque rangée, de chaque colonne et de chaque grande diagonale. On dit aussi somme d'un carré M au lieu de somme magique d'un carré M lorsqu'il est clair que M est un carré magique. On dira aussi que S est la somme du carré magique M.[54]
Notes et références
Notes
- Par convention, la rotation ou la réflexion d'un carré magique ne crée pas de nouveau carré : Gérardin 1986, p. 110-112.
- Voici un contre-exemple d'ordre 5 :
1 24 3 25 12 16 7 21 6 15 23 14 18 8 2 5 9 10 22 19 20 11 13 4 17 - Une méthode semblable est proposée sur (en) M. Hartley, « Making Big Magic Squares », Dr Mike's Math Games for Kids!, (consulté le ).
- Une méthode alternative est proposée par Gérard Villemin, « carrés magiques, méthode de construction du losange », (consulté le ).
- Puisqu'il n'existe pas de carré magique normal d'ordre 2 ou 4, n doit être plus grand que 2 pour obtenir un carré magique normal avec cette méthode.
- Ball 1905, p. 135-136, explique la méthode de Frénicle en s'appuyant sur des arguments algébriques. La méthode expliquée dans l'article a recours à des carrés magiques de taille définie pour faciliter la compréhension de la méthode.
Références
- (en) Mark Swaney, Magic Squares.
- Shams Al-ma'arif (arabe : كتاب شمس المعارف) contient des informations sur Ahmed bin Ali Al-boni, décédé vers 1225 (622 AH). Réimpression à Beyrouth en 1985.
- (en) Mark Swaney, History of Magic Squares.
- (en) Nevill Drury, Dictionary of Mysticism and the Esoteric Traditions, Bridport, Dorset, Prism Press, (ISBN 1-85327-075-X).
- Voir la suite A006003 de l'OEIS.
- Voir la suite A006052 de l'OEIS.
- Weisstein 1999, p. 1129.
- Gérardin 1986, p. 100-101.
- Gérardin 1986, p. 113-114.
- Gérardin 1986, p. 112.
- Benson et Jacoby 1976, p. 43-58.
- Gérardin 1986, p. 85-86.
- Weisstein 1999, p. 1128.
- (en) [vidéo] Mathologer, New magic in magic squares sur YouTube.
- Gérardin 1986, p. 79.
- (en) Peter Higgins, Number Story : From Counting to Cryptography, New York, Copernicus, , 323 p. (ISBN 978-1-84800-000-1), p. 54 — Voir footnote 8.
- Gérardin 1986, p. 199.
- Weisstein 1999, p. 1128 (cet auteur propose un tableau de vecteurs construit à partir de considérations semblables à Gérardin 1986).
- (en) « Magic Squares for Odd, Singly Even, and Doubly Even Orders - Wolfram Demonstrations Project », sur demonstrations.wolfram.com
- (en) W. S. Andrews, Magic Squares and Cubes, Open Court Publishing Company, , 419 p., p. 18-33
- Roland Coquard — « Sur les traces (géométriques) de grands carrés magiques » — Images des Mathématiques, CNRS, 2020.
- Gérardin 1986, p. 89.
- Ball 1905, p. 132-134.
- Gérardin 1986, p. 89-95.
- Gérardin 1986, p. 85-88.
- Gérardin 1986, p. 95.
- Gérardin 1986, p. 93.
- Gérardin 1986, p. 95-97.
- Ball 1905, p. 135-136.
- Gérardin 1986, p. 137-139.
- Bégin, Claude, Carrés magiques : nouveaux horizons, 1189 p. (carres-magiques.com), Partie 1, pages 36 à 48 et Partie 2, chapitre 11, section 11.3, pages 6 à 28.
- « MULTIMAGIE.COM - Carrés magiques additifs-multiplicatifs d'ordre 10 et + », sur multimagie.com (consulté le ).
- Pour d'autres exemples, voir le site Carrés et cubes magiques d'Ali Skalli.
- Weisstein 1999, p. 1129. Attribué à « H. Nelson (Rivera) ».
- « The OEIS Foundation ».
- Claude Bégin, Carrés magiques : nouveaux horizons, 1189 p. (lire en ligne), partie 3, annexes 18 et 18.1.
- Gérardin 1986, p. 197.
- Weisstein 1999, p. 1127-1128.
- Gérardin 1986, p. 209-212.
- Weisstein 1999, p. 16.
- Bégin, Claude, « Carrés magiques : nouveaux horizons » sur carres-magiques.com, 1189 p., Partie 2, chapitre 5, section 5.9, page 28
- Weisstein 1999, p. 50.
- Bégin, Claude, « Carrés magiques : nouveaux horizons » sur carres-magiques.com, 1189 p., Partie 2, chapitre 11, section 11.2, pages 1 et 2
- Bégin, Claude, « Carrés magiques : nouveaux horizons » sur carres-magiques.com, 1189 p., Partie 2, chapitre 7, section 7.1, page 1 et chapite 14, section 14.10, page 45
- Christian Boyer, « Le plus petit carré bimagique possible utilisant des entiers distincts », Multimagie.com, (consulté le ).
- Weisstein 1999, p. 1302.
- Bégin, Claude, « Carrés magiques : nouveaux horizons » sur carres-magiques.com, 1189 p., Partie 2, chapitre 5, section 5.10, page 33
- Bégin, Claude, Carrés-magiques : nouveaux horizons sur carres-magiques.com, 1189 p., Partie 2, chapitre 5, section 5.4, page 7.
- Bégin, Claude, Carrés magiques : nouveaux horizons, , 1189 p. (lire en ligne), sur carres-magiques.com, Partie 1, page 7 et glossaire 1, page 61
- Bégin, Claude, Carrés magiques : nouveaux horizons sur carres-magiques.com, 1189 p., Partie 1, page 4, Partie 2, chapitre 10, page 1
- Bégin, Claude, Carrés magiques : nouveaux horizons, 1189 p., sur carres-magiques.com, Partie 1, pages 4 et 61
- (en) Christian Boyer, « Trimagic square, 12nd-order », multimagie.com, (consulté le ).
- Bégin, Claude, Carrés magiques : nouveaux horizons sur carres-magiques.com, 1189 p., Partie 1, pages 7 et 61
- Bégin, Claude, Carrés magiques : nouveaux horizons sur carres-magiques.com, 1189 p., Partie 1, page 63
Différences
- Gérardin 1986, p. 137, affirme que Blaise Pascal serait le premier à avoir eu l'idée de ce « genre de super-carré ».
Voir aussi
Bibliographie
- (en) Walter William Rouse Ball, Mathematical Recreations and Essays, Londres, Macmillan, , 4e éd., 353 p. (lire en ligne), chap. V, p. 132-134 Cet ouvrage est librement téléchargeable depuis le Projet Gutenberg. La 6e éd. (1914) est disponible sur archive.org.
- Claude Bégin, Carrés magiques : nouveaux horizons, publication d'auteur, 2020 (ISBN 978-2-9820239-0-1) Étude d'un grand nombre de types de carrés magiques avec leurs propriétés et d'un nouveau procédé de construction. Le contenu de cet ouvrage de 1 189 pages peut être consulté et téléchargé librement en ligne sur le site carres-magiques.com.
- (en) William H. Benson et Oswald Jacoby, New Recreations With Magic Squares, Dover, , 196 p. (ISBN 978-0-486-23236-2)
- Jean-Louis Boursin, Les Maths pour les nuls, First-Gründ,
- Jacques Bouteloup, Carrés magiques, carrés latins et eulériens : histoire, théorie, pratique, Éditions du Choix, (ISBN 2-909028-02-X)
- Lucien Gérardin, Les Carrés magiques : Mystérieuse harmonie des nombres, St-Jean-de-Braye (France), Dangles, coll. « Horizons ésotériques », , 219 p. (ISBN 2-7033-0297-5)
- (en) Simon de La Loubère, A New Historical Relation of the Kingdom of Siam (lire en ligne) Illustrations de la première édition anglaise du Royaume de Siam de Simon de la Loubère.
- J. Riollot, Les Carrés magiques : contribution à leur étude, Gauthier-Villars, (lire en ligne)
- (en) Eric W. Weisstein, The CRC Concise Encyclopedia of Mathematics, vol. 3, Boca Raton/London/New York etc., CRC Press, , 1969 p. (ISBN 0-8493-9640-9, lire en ligne)
Articles connexes
Liens externes
- Gérard Villemin, « Carrés magiques, diaboliques… »
- « Carré magique de l'Enchridion du pape Léon III », sur BibNum
- « À propos du carré magique de Dürer (1514) », sur BibNum
- « Le Carré magique Xi'an, Chine, ca XIIIe s. », sur BibNum
- (en) Eric W. Weisstein, « Magic Squares », sur MathWorld (plusieurs pages sur les carrés magiques)
- Les Carrés magiques sur kandaki.com
- (en) Magic square mq (exemples de carrés magiques construits avec différents symboles)
- (en) Perfect magic squares (différentes méthodes pour construire des carrés magiques de différentes tailles)
- (de) Jürgen Köller, « Magische Quadrate », sur mathematische-basteleien.de
- (de) Maria Koth, « Magische Quadrate », sur mathe-online.at