Voir la source de Carré magique (mathématiques)

{{Voir homonymes|Carré magique}}
[[Image:Magicsquareexample.svg|thumb|Un exemple de carré magique normal d’ordre 3 et de constante magique 15.]]
En [[mathématiques]], un '''carré magique''' d’ordre ''n'' est composé de ''n''{{2}} [[Entier naturel|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 à ''n''{{2}}, où ''n'' est l’ordre du carré.

== Histoire ==

Les carrés magiques étaient connus des mathématiciens chinois, à partir de [[Années 650 av. J.-C.|650 av. J.-C.]]<ref name="Swaney">{{en}} Mark Swaney, [https://web.archive.org/web/20040807015853/http://www.netmastersinc.com/secrets/magic_squares.htm Magic Squares].</ref>, et des mathématiciens arabes, probablement vers le {{s-|VII|e}}, 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<ref name="Swaney" />. Quelques-uns de ces carrés furent utilisés en conjonction avec des « lettres magiques » par des [[Illusionnisme|illusionnistes]] et des magiciens arabes<ref>''Shams Al-ma'arif'' ({{lang-ar|كتاب شمس المعارف}}) contient des informations sur Ahmed bin Ali Al-boni, décédé vers 1225 (622 AH). Réimpression à [[Beyrouth]] en 1985.</ref>.

Les [[Arabes]] seraient les premiers, au {{s-|X|e}}, à 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 [[Henri-Corneille Agrippa de Nettesheim|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 [[astrologie|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<ref>{{en}} Mark Swaney, [http://www.arthurmag.com/magpie/?p=449 ''History of Magic Squares''].</ref>{{,}}<ref name="DruryDict">{{Ouvrage |langue=en |prénom1=Nevill |nom1=Drury |titre=Dictionary of Mysticism and the Esoteric Traditions |éditeur=Prism Press |lieu=Bridport, Dorset |année=1992 |isbn=1-85327-075-X}}.</ref>.

[[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 {{s-|XVII|e}}, le juriste et mathématicien français [[Pierre de Fermat]] étend le principe des carrés magiques aux [[cube magique|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 ==
[[File:Magic Square Lo Shu.svg|thumb|upright=0.64|left|Le seul carré magique normal d'ordre 3 est le [[carré de Luo Shu]] (tous les autres sont obtenus par réflexion ou rotation).]]
[[Image:Carre magique curiosite.png|thumb|Graphes superposés sur des grilles de carrés magiques. Les tracés présentent des propriétés de symétrie centrale.]]

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''(''n''{{2}} + 1)/2. En fonction de l'ordre ''n'' = 3, 4, 5, 6, 7, 8… elle vaut ainsi : 15, 34, 65, 111, 175, 260…<ref>Voir la {{OEIS|id=A006003}}.</ref>. En excluant les rotations et les réflexions{{#tag:ref|Par convention, la [[Rotation plane|rotation]] ou la [[Réflexion (mathématiques)|réflexion]] d'un carré magique ne crée pas de nouveau carré : {{harvsp|Gérardin|1986|p=110-112}}.|group=note}}, le nombre de carrés magiques normaux pour les dimensions 1 à 5 est donné par la suite : 1, 0, 1, 880, {{unité|275305224|}}<ref name="OEIS_1">Voir la suite {{OEIS2C|id=A006052}} de l'OEIS.</ref>. Le nombre de carrés magiques pour les dimensions supérieures était inconnu en 1999<ref name="Weisstein_p1129">{{harvsp|Weisstein|1999|p=1129}}.</ref>, 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 {{unité|0.17|e=20}}<ref name="OEIS_1"/>, soit plus de {{nobr|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<ref group=note>Voici un contre-exemple d'ordre 5 :
{| class="wikitable" style="margin-left:auto;margin-right:auto;text-align:center;width:8em;height:8em;"
|-
| 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 
|}</ref>.

== Opérations ==
Les sommes des deux carrés magiques des mêmes ordres donnent également des carrés magiques{{sfn|Gérardin|1986|p=100-101}}, 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{{sfn|Gérardin|1986|p=113-114}}. Ce produit s'effectue ainsi<ref group=note>Une méthode semblable est proposée sur {{Lien web|langue=en
|url=http://www.dr-mikes-math-games-for-kids.com/making-big-magic-squares.html
|titre=Making Big Magic Squares
|auteur=M. Hartley
|année= 2010
|éditeur=Dr Mike's Math Games for Kids!
|consulté le= 9 août 2010}}.</ref>. 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.

[[Fichier:Magic Squares - Multiplication - 1.svg|thumb|center|upright=1.5|Soit à effectuer le « produit » de ces deux carrés magiques, un de 3×3 et l'autre de 4×4. Le carré magique final sera de 12×12.]]

[[Fichier:Magic Squares - Multiplication - 2.svg|thumb|center|upright=1.5|Le carré magique de 3×3 est remplacé par le produit 3×3, alors que chaque nombre du carré 4×4 est diminué de 1. Le damier final, de taille 12×12, est divisé en 4×4 sous-damiers, chacun ayant 3×3 cases. Chacune de ses cases s'obtient en multipliant 3×3 par l'une des cases du carré magique 4×4 « diminué ». Par exemple, 117 est le produit 3×3×13. Ce carré est magique, mais n'est pas normal. La prochaine étape va « corriger » cette « anomalie ».]]

[[Fichier:Magic Squares - Multiplication - 3.svg|thumb|center|upright=1.5|Après 4×4 additions du carré 3×3, le carré final est magique et normal.]]

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){{sfn|Gérardin|1986|p=112}}.

== 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{{sfn|Benson|Jacoby|1976|p=43-58}}. 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{{sfn|Gérardin|1986|p=85-86}}{{,}}<ref name="Weisstein_p1128">{{harvsp|Weisstein|1999|p=1128}}.</ref>. 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|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 impair ===

==== Ordre 3 ====
Au {{s-|XIX|e}}, [[Édouard Lucas]] a trouvé une formule générale pour les carrés magiques d'ordre 3. Avec ''a'', ''b'' et ''c'' des [[Entier relatif|entiers relatifs]]<ref>{{Youtube|langue = en|titre =  New magic in magic squares |chaîne = [[Mathologer]]|id = FANbncTMCGc}}.</ref>:
{| class="wikitable" style="margin-left:auto;margin-right:auto;text-align:center;height:10em;table-layout:fixed;"
|-
|''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'' ≠ 2''a''. De plus, tout carré 3 × 3 de nombres entiers positifs distincts est de cette forme. Le carré magique [[#Propriétés|normal d'ordre 3]] correspond à ''a'' = 1, ''b'' = 3, ''c'' = 5. Le {{Lien|Kuberakolam}} (un ancien carré magique [[Inde|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''{{sfn|Gérardin|1986|p=79}}. Elle se base sur un damier crénelé.

Par exemple, pour un carré magique de côté 5 : 

[[Fichier:Magic Squares - 5x5 - de Méziriac - 1.svg|thumb|center|upright=2.4|Premières étapes de construction d'un carré magique d'ordre 5. Chaque diagonale allant de gauche à droite comporte un entier unique en ordre croissant. Ensuite, le contour du carré magique final est esquissé.]]

[[Fichier:Magic Squares - 5x5 - de Méziriac - 2.svg|thumb|center|upright=2.0|Dernières étapes de construction d'un carré magique d'ordre 5. Chaque case qui se trouve en dehors du contour est déplacée de cinq places en direction du centre. Une fois les déplacements effectués, le carré magique final est complet.]]

==== 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]]<ref>{{Ouvrage |langue=en |prénom1=Peter |nom1=Higgins |titre=Number Story |sous-titre=From Counting to Cryptography |éditeur=Copernicus |lieu=New York |année=2008 |pages totales=323 |page=54 |isbn=978-1-84800-000-1}}{{Commentaire biblio SRL|Voir ''footnote 8''}}.</ref>.

[[File:Magic Square - 5x5.svg|thumb|center|upright=2.0|Construction d'un carré magique d'ordre impair selon la méthode siamoise.{{clr}}
Dans cet exemple, le carré est rempli selon les diagonales nord-est (NE), mais elles pourraient être parallèles à sud-est (SE), à sud-ouest (SO) ou à nord-ouest (NO).{{Clr}}
1) Placer le 1 tel que montré.{{Clr}}
2) Décaler d'une case vers la droite puis d'une case vers le haut pour le 2, et ainsi de suite pour le 3, puis le 4, etc.{{Clr}}
3) Si la pointe de la flèche sort du carré, revenir de l'autre côté, comme si le carré était enroulé sur un [[tore]].{{Clr}}
4) Si la prochaine case est occupée, décaler d'une case vers le bas.{{Clr}}]]

[[Fichier:Magic Square - 5x5 - Moschopoulos.svg|thumb|upright=0.8|Un carré magique d'ordre 5 construit selon la méthode de Moschopoulos.]]

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 (géométrie)|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 » {{nobr|(C + c, L + l)}} doivent respecter les conditions suivantes<ref name="Gérardin_p199">{{harvsp|Gérardin|1986|p=199}}.</ref>{{,}}<ref>{{harvsp|Weisstein|1999|p=1128}} (cet auteur propose un tableau de vecteurs construit à partir de considérations semblables à {{harvsp|Gérardin|1986}}).</ref> :
# 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, {{nobr|1=C = –6}} et c = 6).
# C, c, L et l sont tous [[Nombres premiers entre eux|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<ref name="Gérardin_p199"/> : 
# (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 {{Citation|parcours en [[Cavalier (échecs)|cavalier d'échecs]]}}, se représente par le vecteur déplacement {{nobr|(1, 2)}} et le vecteur collision {{nobr|1=(1 + 1, 2 – 2) = (2, 0)<ref name="Gérardin_p199"/>.}}

==== 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]]<ref name="Weisstein_p1128"/>{{,}}<ref group=note>Une méthode alternative est proposée par {{Lien web
|url=http://villemin.gerard.free.fr/Wwwgvmm/CarreMag/Losange.htm
|titre=carrés magiques, méthode de construction du losange
|auteur=Gérard Villemin
|année= 2010
|consulté le= 28 octobre 2010}}.</ref>.
{{Images
 | légende      =
 | image1       =Magic Squares - 5x5 - lozenge - 1.svg 
 | légende1=1. Les nombres impairs 1, 3 et 5 sont inscrits selon une diagonale montante qui va de gauche à droite.<br />2. Les nombres pairs 2 et 4 sont ensuite inscrits pour compléter la [[Diagonale partielle|diagonale brisée]].<br />3. « Descendre » à la prochaine diagonale.<br />4. Recommencer avec les nombres suivants. 
 | image2       =Magic Squares - 5x5 - lozenge - 2.svg 
 | légende2=Le résultat final est un carré magique dont la constante est 65.
 | position     =centre
}}

==== Méthode calculatoire ====
On part de la matrice<ref>{{Lien web |langue=en |titre=Magic Squares for Odd, Singly Even, and Doubly Even Orders - Wolfram Demonstrations Project |url=http://demonstrations.wolfram.com/MagicSquaresForOddSinglyEvenAndDoublyEvenOrders/ |site=demonstrations.wolfram.com }}</ref> 
<math>
P = 
\begin{bmatrix}
1 & 1 & 1 & \dots & 1 \\
2 & 2 & 2 & \dots & 2 \\
3 & 3 & 3 & \dots & 3 \\
\vdots & \vdots & \vdots & \ddots & \vdots \\
n & n & n & \dots & n \\
\end{bmatrix}
</math>

et on note donc <math>P^T</math> sa transposée, et ''U{{ind|n}}'' la matrice carrée composée uniquement de 1 de taille ''n''. On pose les matrices <math>A = (P + P^T + \frac{n - 3}{2}U_n){\mod n}</math> et <math>B = (P + 2P^T - 2U_n) \mod n</math>.

Alors le carré magique s'obtient avec <math>M = n A + B + U_n</math>

Soit pour chaque élément de la matrice <math>M</math> :

<math>M_{i,\ j} = nA_{i,\ j} + B_{i,\ j} = n\left(I_{i,\ j} + I_{j,\ i} + \frac{n - 3}{2}\right) \mod n + \left(P_{i,\ j} + 2P_{j,\ i} - 2\right) \mod n +  1</math>

Soient les indices <math>i</math> et <math>j</math> variant de 1 à ''n'', ainsi <math>P_{i,\ j} = i</math>

:<math>M_{i,\ j} = n\left(\left(i + j + \frac{n - 3}{2} \right) \mod n\right) + \left(i + 2j - 2\right) \mod n + 1</math>

==== 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 fonctionne 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 :
{| class="wikitable centre" align="center"
|+Carré magique prérempli
|<big>1</big>
|<big>15</big>
|<big>__</big>
|<big>4</big>
|-
|<big>__</big>
|<big>6</big>
|<big>7</big>
|<big>9</big>
|-
|<big>8</big>
|<big>__</big>
|<big>11</big>
|<big>5</big>
|-
|<big>13</big>
|<big>3</big>
|<big>2</big>
|<big>__</big>
|}
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)
{| class="wikitable centre" align="center"
|+Carré magique de <big>49</big>
|<big>1</big>
|<big>15</big>
|29
|<big>4</big>
|-
|27
|<big>6</big>
|<big>7</big>
|<big>9</big>
|-
|<big>8</big>
|25
|<big>11</big>
|<big>5</big>
|-
|<big>13</big>
|<big>3</big>
|<big>2</big>
|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 : 
## méthode des permutations autour des diagonales<ref name="Weisstein_p1129"/>.
## méthode de W. S. Andrews<ref>{{Ouvrage |langue=en |prénom1=W. S. |nom1=Andrews |titre=Magic Squares and Cubes |éditeur=Open Court Publishing Company |année=1917 |pages=419 |passage=18-33 }}{{Commentaire biblio|Cet ouvrage peut être téléchargé gratuitement du site [http://www.e-booksdirectory.com/details.php?ebook=3933 E-Books Directory] au format PDF.}}</ref>.
# des carrés magiques d'ordre double impair (divisible par 2 et par un nombre impair), par exemple : 
##[[Méthode LUX de Conway pour les carrés magiques|méthode LUX de John H. Conway]]<ref name="Weisstein_p1129"/>.
## méthode de Coquard, obtenues à partir du carré numéroté dans l'ordre “naturel” en lui appliquant certaines transformations géométriques<ref name="Coquard"/>.
# des carrés magiques dont l'ordre est divisible par 8, par exemple : 
## méthode de [[Benjamin Franklin]]<ref name="Gérardin_p89">{{harvsp|Gérardin|1986|p=89}}.</ref>.
# des carrés magiques d'ordre pair, par exemple : 
## méthode de De La Hire{{sfn|Ball|1905|p=132-134}}.
## méthode de Strachey<ref name="Gérardin_p89-95">{{harvsp|Gérardin|1986|p=89-95}}.</ref>.

Selon Gérardin<ref name="Gérardin_p89"/>, 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...)<ref name="Weisstein_p1129"/>. Elle se base sur l'observation que ces carrés {{citation|se laissent aisément couper et recouper par moitié}}, ils possèdent donc {{citation|des propriétés géométriques de symétrie}}{{sfn|Gérardin|1986|p=85-88}} :
# 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 N{{2}} 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 (N{{2}} + 1) - n. Par exemple, pour un carré magique 8x8, N vaut 8, le complément de 2 est donc (8{{2}} + 1) - 2 = 65 - 2 = 63.

[[Fichier:Magic Squares - 8x8 - Permutations along 4x4 diagonals.svg|thumb|center|upright=2|Construction d'un carré magique d'ordre 8. Dans le carré de gauche, les nombres naturels sont inscrits dans l'ordre. De plus, les diagonales principales de chaque sous-damier 4×4 sont recouvertes de lignes en pointillés. À droite, le carré final, magique, est inscrit. Chaque nombre qui n'était pas recouvert par une ligne en pointillés a été remplacé par son complément à 8{{2}} + 1 = 65.]]

==== Méthode de Strachey ====
Cette méthode, initialement publiée par Ralph Strachey et ensuite présentée sous une {{citation|forme élégante}} par William H. Benson et Oswald Jacoby, permet de construire des carrés magiques d'ordre pair<ref name="Gérardin_p89"/>, mais elle ne permet pas de construire tous les carrés d'ordre pair{{sfn|Gérardin|1986|p=95}}. 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 à {{unité|275305224|}} 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{{sfn|Gérardin|1986|p=93}}.

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 + {{nobr|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 + {{nobr|2 fois}} le nombre 2.
# Chaque rangée du sous-damier B contient exactement n + {{nobr|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.<br />[[File:Magic Squares - 10x10 - Strachey - 1.svg|thumb|center|upright=2.8|Carrés servant à construire un carré magique d'ordre 10. Le carré est divisé en quatre parties égales.{{clr}}
1. Ici, 10 = 2 × (2n + 1). Donc, n = 2.{{clr}}
2. Dans le sous-damier A, la diagonale qui va du haut à gauche en bas à droite contient {{nobr|3 fois}} le nombre 3.{{clr}}
3. Chaque rangée du sous-damier A contient {{nobr|2 fois}} le nombre 3. Les autres cases contiennent 0.{{clr}}
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).{{clr}}
5. Dans le sous-damier B, la diagonale qui va du haut à droite en bas à gauche contient également {{nobr|4 fois}} le nombre 2.{{clr}}
6. Chaque rangée du sous-damier B contient {{nobr|4 fois}} le nombre 2.
]]
# Multiplier chaque case par le quart de N{{2}}.
# 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.
[[File:Magic Squares - 10x10 - Strachey - 2.svg|thumb|center|upright=3.5|Dernières étapes menant à un carré magique d'ordre 10.{{clr}}
8. Chaque case est multipliée par 10{{2}} ÷ 4 = 25.{{clr}}
9. Un carré magique d'ordre 5 a été choisi (et son image a été inscrite).{{clr}}
10. Les cases des carrés magiques sont additionnées.{{clr}}
11. Le résultat apparaît.]]

; Si N double paire: 

# Poser N = 2 × (2n)<ref group=note>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.</ref>.
# 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 N{{2}}.
# 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'.<br />
# Le carré final est magique.
[[File:Magic Squares - 8x8 - Strachey.svg|thumb|center|upright=3.0|Carrés servant à construire un carré magique d'ordre 8. Se reporter aux explications du carré magique 10x10 construit par la même méthode pour plus de détails.{{clr}}
A. Ici, 8 = 2 × (2n). Donc, n = 2. {{clr}}
B. Dans le sous-damier A, la diagonale qui va du haut à gauche au bas à droite contient {{nobr|2 fois}} le nombre 3.{{clr}}
C. Chaque rangée du sous-damier A contient {{nobr|2 fois}} le nombre 3. Les autres cases contiennent 0.{{clr}}
D. Dans le sous-damier B, la diagonale qui va du haut à droite au bas à gauche contient {{nobr|2 fois}} le nombre 2.{{clr}}
E. Chaque rangée du sous-damier B contient également {{nobr|2 fois}} le nombre 2.{{clr}}
F. Un carré magique d'ordre 4 est choisi et son image apparaît en dessous.{{Clr}}
G. N{{2}} = 64. Son quart vaut 16.{{clr}}
H. Calculer la valeur de la première case : 0 × 16 + 14 = 14, puis de la deuxième, 3 × 16 + 3, etc.{{clr}}
I. Le carré final est magique.]]

=== Permutations des colonnes et des rangées ===
Par convention, la [[Rotation plane|rotation]] ou la [[Réflexion (mathématiques)|réflexion]] d'un carré magique ne crée pas de nouveau carré. En revanche, en {{Citation|é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}}{{sfn|Gérardin|1986|p=95-97}}. Cette méthode de permutations des colonnes et des rangées est valable tant pour les carrés d'ordre pair qu'impair.

[[Fichier:Magic Squares - 4x4 - Permutations.svg|thumb|center|upright=2.5|Un carré magique d'ordre 4 est utilisé pour démontrer comment permuter des colonnes et des rangées dans le but d'obtenir un nouveau carré magique.]]

=== 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 à [[Bernard Frénicle de Bessy|Frénicle]]{{sfn|Ball|1905|p=135-136}}{{,}}{{sfn|Gérardin|1986|p=137-139}}{{,}}<ref group=diff>{{harvsp|Gérardin|1986|p=137}}, affirme que [[Blaise Pascal]] serait le premier à avoir eu l'idée de ce {{Citation|genre de super-carré}}.</ref>. 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<ref group=note>{{harvsp|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.</ref> :
# 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 3{{2}}, 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×(3{{2}} – 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 {{harvsp|Benson|Jacoby|1976}}).

[[Fichier:Magic squares - 5x5 (3x3 with borders) - bis.svg|thumb|center|upright=1.5|Chaque case du carré magique 3×3 à gauche est augmenté de 8, ce qui donne le carré magique ''non normal'' au milieu. Ensuite, ce carré est entouré d'une enceinte. Dans celle-ci, la somme de chaque terme et de son symétrique (par rapport au centre) vaut 26. Le carré au centre étant déjà magique, l'enceinte ainsi construite permet de créer un nouveau carré magique.]]

=== Méthode proposée par Claude Bégin ===
Pour construire un carré magique d’ordre n > 2, la méthode proposée par Claude Bégin 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<ref>{{Ouvrage|langue=français|auteur1=Bégin, Claude|titre=Carrés magiques : nouveaux horizons|passage=Partie 1, pages 36 à 48 et Partie 2, chapitre 11, section 11.3, pages 6 à 28.|pages totales=1189|lire en ligne=carres-magiques.com}}</ref>.

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 ===
[[Image:Dürer Melancholia I.jpg|vignette|[[Melencolia de Dürer]], contenant le carré magique d'ordre 4 ci-contre.]]

{| class="wikitable centre" style="margin-left:auto;margin-right:auto;text-align:center;width:8em;height:8em;table-layout:fixed;"
|+Carré d'ordre 4<br />publié par [[Albrecht Dürer]]
|-
| 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 ''[[Melencolia de Dürer|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.

[[Image:Sagrada Familia (carré magique).JPG|thumb|Carré magique sur la façade de la Passion de la Sagrada Familia à Barcelone.]]

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 [[Jésus de Nazareth|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 .

{| class="wikitable" style="margin-left:auto;margin-right:auto;text-align:center;width:8em;height:8em;table-layout:fixed;"
|-
| 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 ===
{| class="wikitable centre" style="margin-left:auto;margin-right:auto;text-align:center;width:10em;height:10em;table-layout:fixed;"
|+Carré magique<br />d'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 ===
{| class="wikitable centre" style="margin-left:auto;margin-right:auto;text-align:center;width:12em;height:12em;table-layout:fixed;"
|+Carré magique d'ordre 6<br />dit « du Soleil »
|-
| 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 [[Antoine d'Aumont de Rochebaron|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<ref name="Coquard">Roland Coquard — [https://images.math.cnrs.fr/Sur-les-traces-geometriques-de-grands-carres-magiques.html « Sur les traces (géométriques) de grands carrés magiques »] — Images des Mathématiques, CNRS, 2020.</ref>. À 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 = [[Nombre de la Bête|666]].

=== Ordre 8 ===
{| class="wikitable centre" style="text-align:center;width:25%;"
|+Carré semimagique d'ordre 8<br />publié par [[Benjamin Franklin]]
|-        
| 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.

{| class="wikitable centre" style="text-align:center;width:25%;"
|+Carré magique d'ordre 8<br />publié par le général Cazalas
|-        
| 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 ».

{| class="wikitable centre" style="text-align:center;width:25%;"
|+Carré panmagique d'ordre 8<br />publié par Willem Barink
|-        
| 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 ===
{| class="wikitable centre" style="text-align:center;width:35%;"
|+Carré panmagique d'ordre 12<br />publié par Willem Barink
|-
| 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<ref>{{Lien web|titre=MULTIMAGIE.COM - Carrés magiques additifs-multiplicatifs d'ordre 10 et +|url=http://www.multimagie.com/Francais/AddMult10_.htm|site=multimagie.com|consulté le=2018-01-02}}.</ref>.

=== Carrés magiques premiers ===
{| class="wikitable center" style="margin-left:auto;margin-right:auto;text-align:center;width:18em;height:18em;table-layout:fixed;"
|+Carré magique premier 5×5.
|-
|{{formatnum:2087}}||{{formatnum:2633}}||{{formatnum:2803}}||{{formatnum:2753}}||{{formatnum:3389}}
|-
|{{formatnum:2843}}||{{formatnum:2729}}||{{formatnum:3347}}||{{formatnum:2099}}||{{formatnum:2647}}
|-
|{{formatnum:3359}}||{{formatnum:2113}}||{{formatnum:2687}}||{{formatnum:2819}}||{{formatnum:2687}}
|-
|{{formatnum:2663}}||{{formatnum:2777}}||{{formatnum:2699}}||{{formatnum:3373}}||{{formatnum:2153}}
|-
|{{formatnum:2713}}||{{formatnum:3413}}||{{formatnum:2129}}||{{formatnum:2621}}||{{formatnum:2789}}
|}

Les carrés magiques peuvent également être intégralement constitués de [[Nombre premier|nombres premiers]] comme dans l'exemple ci-dessus<ref name="Skalli">Pour d'autres exemples, voir le site [http://sites.google.com/site/aliskalligva/homepage Carrés et cubes magiques] d'Ali Skalli.</ref>, 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 {{formatnum:13665}}.

{| class="wikitable centre" style="margin-left:auto;margin-right:auto;text-align:center;height:16em;table-layout:fixed;"
|+Un carré magique 3×3 composé de nombres premiers consécutifs<ref>{{harvsp|Weisstein|1999|p=1129}}. Attribué à {{Citation|H. Nelson (Rivera)}}.</ref>.
|-
|{{formatnum:1480028159}}||{{formatnum:1480028153}}||{{formatnum:1480028201}}
|-
|{{formatnum:1480028213}}||{{formatnum:1480028171}}||{{formatnum:1480028129}}
|-
|{{formatnum:1480028141}}||{{formatnum:1480028189}}||{{formatnum:1480028183}}
|}

Avant 1988, on s’est souvent demandé s’il existait un carré premier parfait pour l’ordre 3. C’est {{Lien|trad=Harry_L._Nelson|fr=Harry L. Nelson|texte=Harry L. Nelson}} qui a trouvé le premier carré premier parfait d’ordre 3 en 1988 à l’aide d’un ordinateur [[Cray (entreprise)|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<ref>{{Lien web|langue=Français|titre=The OEIS Foundation|url=http://oeis.org/A256891}}.</ref> 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<ref name="ClaudeBégin">{{Ouvrage|langue=fr|auteur1=Claude Bégin|titre=''Carrés magiques : nouveaux horizons''|url=http://carres-magiques.com/partie-3-nouvelle|passage=partie 3, annexes 18 et 18.1|consulté le=2021-04-14|pages totales=1189}}.</ref> 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) :

{| class="wikitable centre"
|+Carré (28)
|{{formatnum:103987093601}}

|{{formatnum:103987093607}}
|{{formatnum:103987093559}}
|-
|{{formatnum:103987093547}}

|{{formatnum:103987093589}}
|{{formatnum:103987093631}}
|-
|{{formatnum:103987093619}}

|{{formatnum:103987093571}}
|{{formatnum:103987093577}}
|}

Il aura fallu environ {{nobr|245 heures}} à Bégin avec un ordinateur PC sous Windows 10 utilisant l’application MATHEMATICA pour obtenir le carré (41)<ref name="ClaudeBégin"/>.

{| class="wikitable centre"
|+Carré (41)
|{{formatnum:316653447389}}

|{{formatnum:316653447413}}
|{{formatnum:316653447311}}
|-
|{{formatnum:316653447293}}

|{{formatnum:316653447371}}
|{{formatnum:316653447449}}
|-
|{{formatnum:316653447431}}

|{{formatnum:316653447329}}
|{{formatnum:316653447353}}
|}

== Applications ==
[[Image:Woz magic square.jpg|thumb|Au ''[[Macworld Expo]]'' 2009, [[Steve Wozniak]], cofondateur d'[[Apple]], a construit un carré magique à partir d'un nombre proposé au hasard et utilisé par lui comme constante magique.]]
En [[mentalisme (prestidigitation)|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 [[Plan d'expérience|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{{sfn|Gérardin|1986|p=197}}. 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 {{numéro|3}} et l'engrais {{numéro|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 [[vaccin]]s.

== Glossaire ==
Cette section liste différentes définitions qui permettent de mieux comprendre les explications de l'article{{sfn|Weisstein|1999|p=1127-1128}}{{,}}{{sfn|Gérardin|1986|p=209-212}} :

* Carré
** [[Carré magique additif-multiplicatif|additif-multiplicatif]] : carré magique dont le produit selon chaque rangée, chaque colonne et chaque diagonale principale est un nombre constant.{{sfn|Weisstein|1999|p=16}}
**A-Dürer : carré Dürer associatif<ref>{{Ouvrage|langue=français|auteur1=Bégin, Claude|titre=« Carrés magiques : nouveaux horizons » sur carres-magiques.com|passage=Partie 2, chapitre 5, section 5.9, page 28|pages totales=1189}}</ref>.
**[[Carré antimagique|antimagique]] : suivre ce lien interne.{{sfn|Weisstein|1999|p=[https://archive.org/stream/CrcEncyclopediaOfMathematics/Weisstein__Eric_W_-_CRC_Concise_Encyclopedia_Mathematics_Vol_1__CRC_1999__4AH#page/n57/mode/1up 50]}}
**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.''<ref>{{Ouvrage|langue=français|auteur1=Bégin, Claude|titre=« Carrés magiques : nouveaux horizons » sur carres-magiques.com|passage=Partie 2, chapitre 11, section 11.2, pages 1 et 2|pages totales=1189}}</ref>
**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é<ref>{{Ouvrage|langue=français|auteur1=Bégin, Claude|titre=« Carrés magiques : nouveaux horizons » sur carres-magiques.com|passage=Partie 2, chapitre 7, section 7.1, page 1 et chapite 14, section 14.10, page 45|pages totales=1189}}</ref>.
** [[Carré bimagique|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)<ref>{{Lien web
|url=http://www.multimagie.com/Francais/Smallestbi3_7.htm#Bima6
|titre=Le plus petit carré bimagique possible utilisant des entiers distincts
|auteur=Christian Boyer
|année= 2010
|éditeur=Multimagie.com
|consulté le= 16 août 2010}}.</ref>.
** 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.{{sfn|Weisstein|1999|p=1302}}. Dans « Carrés Magiques : nouveaux Horizons », on réserve le nom de [[Carré diabolique d'ordre 4|diabolique]] à une certaine classe de carrés magiques d'ordre 4<ref>{{Ouvrage|langue=français|auteur1=Bégin, Claude|titre=« Carrés magiques : nouveaux horizons » sur carres-magiques.com|passage=Partie 2, chapitre 5, section 5.10, page 33|pages totales=1189}}</ref>.
**Dürer : carré magique d’ordre 4 caractérisé par 24 figures magiques<ref>{{Ouvrage|langue=français|auteur1=Bégin, Claude|titre=Carrés-magiques : nouveaux horizons sur carres-magiques.com|passage=Partie 2, chapitre 5, section 5.4, page 7.|pages totales=1189}}</ref>.
** 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<ref>{{Ouvrage|langue=français|auteur1=Bégin, Claude|titre=Carrés magiques : nouveaux horizons|passage=sur carres-magiques.com, Partie 1, page 7 et glossaire 1, page 61|date=2020|pages totales=1189|lire en ligne=http://carres-magiques.com/}}</ref>.
** panmagique : voir ''carré diabolique''.
**premier : carré magique formé uniquement de nombres premiers<ref name=":0">{{Ouvrage|langue=français|auteur1=Bégin, Claude|titre=Carrés magiques : nouveaux horizons sur carres-magiques.com|passage=Partie 1, page 4, Partie 2, chapitre 10, page 1|pages totales=1189}}</ref>.
**premier parfait : carré premier formé de ''n''² nombres premiers consécutifs<ref name=":0" />.
**presque normal : carré magique qui ne contient que des entiers > 0, tous différents<ref name=":2">{{Ouvrage|langue=français|auteur1=Bégin, Claude|titre=Carrés magiques : nouveaux horizons|passage=sur carres-magiques.com, Partie 1, pages 4 et 61|pages totales=1189}}</ref>.
** semimagique : carré magique dont seules les colonnes et les rangées donnent la constante magique.
** [[Carré trimagique|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)<ref>{{Lien web|langue=en
|url=http://www.multimagie.com/English/Trimagic12.htm
|titre=Trimagic square, 12nd-order
|auteur=Christian Boyer
|année= 2010
|éditeur=multimagie.com
|consulté le= 9 août 2010}}.</ref>.
**trivial : carré magique qui renferme le même nombre dans toutes ses cases<ref name=":2" />.
* 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.''<ref name=":1" />
*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<ref name=":1">{{Ouvrage|langue=français|auteur1=Bégin, Claude|titre=Carrés magiques : nouveaux horizons sur carres-magiques.com|passage=Partie 1, pages 7 et 61|pages totales=1189}}</ref>.
*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.''<ref name=":1" />
*Diagonale secondaire : diagonale qui est formée des cases (1 ; ''n'') à (''n'' ; 1)<ref name=":1" />.
* 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<ref name=":1" />.
* 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.<ref>{{Ouvrage|langue=fr|auteur1=Bégin, Claude|titre=Carrés magiques : nouveaux horizons sur carres-magiques.com|passage=Partie 1, page 63|pages totales=1189}}</ref>

== Notes et références ==
=== Notes ===
<references group=note/>
=== Références ===
{{Références}}

=== Différences ===
<references group=diff/>

== Voir aussi ==
{{Autres projets
|commons=Category:Magic squares
|commons titre=Carrés magiques
}}
=== Bibliographie ===
* {{Ouvrage |langue=en|prénom1=Walter William Rouse|nom1=Ball|lien auteur1=W. W. Rouse Ball|titre=Mathematical Recreations and Essays|éditeur=[[Macmillan Publishers|Macmillan]]|lieu=Londres|année=1905|numéro d'édition=4|pages totales=353|passage=132-134|lire en ligne=http://www.gutenberg.org/etext/26839|numéro chapitre=V}} {{Commentaire biblio|Cet ouvrage est librement téléchargeable depuis le [[Projet Gutenberg]]. [https://archive.org/details/mathematicalrecr00ball 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}} {{commentaire biblio|É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 {{nb|1189|pages}} peut être consulté et téléchargé librement en ligne sur le site [http://carres-magiques.com ''carres-magiques.com''].}}
* {{Ouvrage |langue=en|prénom1=William H.|nom1=Benson|auteur2=[[Oswald Jacoby]]|titre=New Recreations With Magic Squares|éditeur=[[Dover Publications|Dover]]|année=1976|pages totales=196|isbn=978-0-486-23236-2}}
* {{Ouvrage|langue=fr|prénom1=Jean-Louis|nom1=Boursin |titre=Les Maths pour les nuls|éditeur=First-Gründ|année=2005|isbn=}}
* {{Ouvrage |langue=fr |prénom1=Jacques |nom1=Bouteloup |lien auteur1=Jacques Bouteloup (mathématicien) |titre=Carrés magiques, carrés latins et eulériens |sous-titre=histoire, théorie, pratique |éditeur=Éditions du Choix |année=1991 |isbn=2-909028-02-X}}
* {{Ouvrage| langue=fr| prénom1=Lucien| nom1=Gérardin| titre=Les Carrés magiques| sous-titre=Mystérieuse harmonie des nombres| éditeur=[[Éditions Dangles|Dangles]]| collection=Horizons ésotériques| lieu=St-Jean-de-Braye (France)| année=1986| pages totales=219| pages=224| isbn=2-7033-0297-5}}
* {{Ouvrage |langue=en |prénom1=Simon |nom1=de La Loubère |lien auteur1=Simon de La Loubère |titre=A New Historical Relation of the Kingdom of Siam |éditeur= |année= |isbn= |lire en ligne=http://dlxs.library.cornell.edu/s/sea/browse_image/format/format_diag.php}} {{Commentaire biblio|Illustrations de la première édition anglaise du ''Royaume de Siam'' de Simon de la Loubère.}}
* {{Ouvrage |langue=fr |prénom1=J. |nom1=Riollot |titre=Les Carrés magiques |sous-titre=contribution à leur étude |éditeur=[[Gauthier-Villars]] |année=1907 |lire en ligne=https://archive.org/details/lescarrsmagique00riolgoog}}
* {{Ouvrage |langue=en |prénom1=Eric W. |nom1=Weisstein |titre=The CRC Concise Encyclopedia of Mathematics |éditeur=[[CRC Press]] |lieu=Boca Raton/London/New York etc. |année=1999 |pages totales=1969 |isbn=0-8493-9640-9 |lire en ligne=https://archive.org/stream/CrcEncyclopediaOfMathematics/Weisstein__Eric_W_-_CRC_Concise_Encyclopedia_Mathematics_Vol_3__CRC_1999__4AH#page/n137/mode/2up |volume=3}}

=== Articles connexes ===
* [[Étoile magique]]
* [[Problème des huit dames|Problème des ''n'' dames]]
* [[Carré de Room]]

=== Liens externes ===
<!-- *{{Lien brisé|url=http://pagesperso-orange.fr/rene.albert6/Bridge/carre.htm|titre=Méthode générale toutes dimensions|auteur=René Albert}} -->
* {{Lien web|url=http://villemin.gerard.free.fr/Wwwgvmm/CarreMag/CMIntro.htm|titre=Carrés magiques, diaboliques…|auteur=Gérard Villemin}}
* {{Lien web|url=http://www.bibnum.education.fr/calcul-informatique/jeux-mathematiques/le-carre-magique-du-pape-leon-iii|titre=Carré magique de l'Enchridion du pape Léon III|site=[[BibNum]]}}
* {{Lien web|titre=À propos du carré magique de Dürer (1514)|url=http://www.bibnum.education.fr/calcul-informatique/jeux-mathematiques/propos-du-carre-magique-d-albrecht-durer-1514|site=BibNum}}
* {{Lien web|titre=Le Carré magique Xi'an, Chine, ca {{s mini-|XIII}} s.|url=http://www.bibnum.education.fr/calcul-informatique/jeux-mathematiques/le-carre-magique-xi|site=BibNum}} 
* {{MathWorld|nom_url=topics/MagicSquares|titre=''Magic Squares''}} (plusieurs pages sur les carrés magiques)
* [http://www.kandaki.com/CM-Index.htm ''Les Carrés magiques''] sur ''kandaki.com''
* {{en}} [http://www.rodurago.de/en/index.php?site=correspondence&link=mq ''Magic square mq''] (exemples de carrés magiques construits avec différents symboles)
* {{en}} [http://www.perfectmagicsquares.com ''Perfect magic squares''] (différentes méthodes pour construire des carrés magiques de différentes tailles)
* {{Lien web|lang=de|auteur=Jürgen Köller|url=http://www.mathematische-basteleien.de/magquadrat.htm|titre=Magische Quadrate|site=mathematische-basteleien.de}}
* {{Lien web|lang=de|auteur=Maria Koth|url=http://www.mathe-online.at/materialien/maria.koth/files/Magische_Quadrate_Infotext.pdf|titre=Magische Quadrate|site=mathe-online.at}}

{{Palette|Magie mathématique}}
{{Portail|mathématiques|jeux}}

[[Catégorie:Carré magique|*]]