carré magique à enceintes

Imaginez une grille carrée dont chaque ligne, chaque colonne et les deux grandes diagonales donnent le même total. Dans un carré magique à enceintes, cette propriété se retrouve aussi dans le carré central lorsqu'on retire tout le tour extérieur. On peut donc regarder la grille comme une suite de cadres emboîtés : une grande grille, puis une plus petite, jusqu'au noyau central. Le mot « enceinte » désigne simplement chacune de ces bordures. Le carré de départ peut, mais pas toujours, contenir une seule fois tous les entiers de 1 à n².

Un carré magique à enceintes est un carré magique d'ordre n dont la sous-grille formée par les lignes et colonnes 2 à n−1 est encore un carré magique, d'ordre n−2. En répétant l'opération, on obtient des carrés emboîtés d'ordres n, n−2, n−4, etc. La réduction s'arrête à l'ordre 3 lorsque n est impair, et à l'ordre 4 lorsque n est pair, selon la convention donnée par la définition de référence. Chaque carré conserve l'égalité des sommes de ses lignes, de ses colonnes et de ses deux diagonales, mais les constantes magiques peuvent changer avec l'ordre.

Le carré extérieur n'est pas seulement un cadre graphique : ses nombres doivent compléter les lignes et les colonnes du carré intérieur pour retrouver la constante magique du carré de départ. Dans le cas normal, la grille initiale contient exactement les entiers de 1 à n². Cette normalité n'est toutefois pas la condition qui définit les enceintes. La construction peut partir d'un carré magique normal central, puis ajouter des bordures adaptées. La source rattache l'une de ces méthodes, d'origine vraisemblablement persane, à une description d'El-Bouni au XIIIe siècle, et mentionne aussi un traité de Blaise Pascal.

Considérons la grille d'ordre 5 suivante. Son carré central d'ordre 3 est mis en évidence par la figure associée ; les lignes, colonnes et diagonales de chaque carré ont été choisies pour avoir une somme constante. Les données de départ sont l'ordre 5, la constante extérieure 65 et le noyau central : 16, 9, 14 ; 11, 13, 15 ; 12, 17, 10.

On vérifie d'abord le noyau : 16 + 9 + 14 = 39, 11 + 13 + 15 = 39 et 12 + 17 + 10 = 39. Ses colonnes et ses diagonales donnent également 39. La grille complète est : 6, 21, 20, 14, 4 ; 6, 16, 9, 14, 20 ; 16, 11, 13, 15, 10 ; 15, 12, 17, 10, 11 ; 22, 5, 6, 12, 20.

Une ligne extérieure donne 6 + 21 + 20 + 14 + 4 = 65. Une diagonale extérieure donne 6 + 16 + 13 + 10 + 20 = 65. Le noyau central reste magique avec une constante égale à 39, après retrait de la bordure.

Ce calcul montre le geste essentiel : on vérifie séparément le carré global, puis la sous-grille obtenue après retrait de sa bordure. La grille de cet exemple n'est pas normale, car plusieurs nombres se répètent ; elle illustre uniquement la propriété d'emboîtement.

Pour reconnaître une enceinte, on commence par entourer mentalement la bordure extérieure, puis on examine la sous-grille restante. Le geste utile consiste à calculer ses lignes, ses colonnes et ses diagonales, plutôt qu'à se fier à la seule symétrie visuelle.

Pour construire un carré à enceintes, une méthode consiste à choisir un carré magique central, puis à ajouter une bordure dont les valeurs complètent chaque ligne et chaque colonne jusqu'à la nouvelle constante. La construction doit ensuite être contrôlée sur les deux diagonales.

Pour une grille normale, on ajoute en plus le contrôle de multiplicité : chaque entier de 1 à n² doit apparaître une seule fois. Si ce test échoue, la grille peut rester magique et emboîtée, mais elle n'est pas normale.

Un carré magique ordinaire n'est pas nécessairement un carré magique à enceintes. Le critère qui les sépare est testable : après retrait de la bordure extérieure, la sous-grille doit encore être magique. Une grille dont les seules lignes, colonnes et diagonales extérieures ont la même somme ne suffit donc pas.

Un carré magique à enceintes n'est pas nécessairement un carré magique normal. Le critère est la répétition des valeurs : la normalité exige exactement les entiers de 1 à n², tandis que l'emboîtement magique porte sur les sommes. L'exemple conduit ici conserve l'emboîtement, mais comporte des répétitions ; il n'est donc pas normal.

Le seuil de réduction dépend de la parité de l'ordre. Pour un ordre impair, la récurrence s'arrête à l'ordre 3 ; pour un ordre pair, elle s'arrête à l'ordre 4 dans la définition de référence. Il ne faut donc pas annoncer un noyau d'ordre 3 pour une grille de départ d'ordre pair.

Le mot « normal » peut créer un piège de lecture. Une grille emboîtée dont les sommes sont correctes mais qui répète une valeur n'est pas normale, même si elle reste un carré magique à enceintes au sens structurel. Le bon réflexe est de vérifier séparément les sommes et la liste des nombres.

La symétrie d'un dessin ne prouve rien. Une bordure peut sembler équilibrée tout en faisant varier une colonne ou une diagonale. Il faut additionner les lignes, les colonnes et les deux diagonales de chaque niveau ; une seule somme discordante suffit à invalider le carré magique concerné.

Le glossaire carré magique rappelle la propriété de somme commune qui sert de test à chaque niveau. Vous pouvez ensuite consulter l'article Construire son premier carré magique pour prolonger la vérification par une construction guidée.