Carrés latins : construction, modulo et grilles cycliques

Les carrés latins sont des objets simples à définir, mais beaucoup plus riches qu’ils n’en ont l’air.

Ils ne sont pas forcément des carrés magiques. Pourtant, ils interviennent souvent dans les méthodes de construction de carrés magiques, de carrés gréco-latins, de grilles combinatoires ou de structures apparentées au Sudoku.

Un carré latin est une grille carrée où chaque symbole apparaît exactement une fois dans chaque ligne et une fois dans chaque colonne.

Cette règle produit une forme d’équilibre très forte.

Elle ne garantit pas encore que les sommes soient constantes, mais elle organise déjà les positions avec une régularité remarquable.

Définition d’un carré latin

Un carré latin d’ordre n est une grille de taille n × n remplie avec n symboles, de telle sorte que chaque symbole apparaisse une seule fois dans chaque ligne et une seule fois dans chaque colonne.

Par exemple, voici un carré latin d’ordre 5 :

0  1  2  3  4
1  2  3  4  0
2  3  4  0  1
3  4  0  1  2
4  0  1  2  3

Chaque ligne contient :

0, 1, 2, 3, 4

Chaque colonne contient aussi :

0, 1, 2, 3, 4

L’ordre des symboles change, mais leur présence est parfaitement équilibrée.

C’est cette propriété qui fait du carré latin une structure fondamentale.

Pourquoi “latin” ?

Le mot “latin” vient d’une tradition de notation où l’on utilisait des lettres latines pour remplir les grilles.

Par exemple :

A  B  C  D
B  C  D  A
C  D  A  B
D  A  B  C

Ici, chaque lettre apparaît une seule fois par ligne et une seule fois par colonne.

On peut utiliser :

des lettres ;
des chiffres ;
des couleurs ;
des symboles ;
des couples de symboles ;
des objets quelconques.

La propriété importante n’est pas la nature du symbole, mais sa répartition.

Construction cyclique

La construction la plus simple consiste à décaler chaque ligne d’un cran.

Pour l’ordre 5 :

ligne 1 : 0  1  2  3  4
ligne 2 : 1  2  3  4  0
ligne 3 : 2  3  4  0  1
ligne 4 : 3  4  0  1  2
ligne 5 : 4  0  1  2  3

Chaque nouvelle ligne est obtenue par rotation de la précédente.

Cette méthode produit automatiquement un carré latin.

On l’appelle souvent une construction cyclique, car les symboles tournent comme sur un cercle.

Formule modulo

La construction cyclique peut s’écrire avec une formule très simple.

Si les lignes et colonnes sont numérotées à partir de 0, alors la case située à la ligne i et à la colonne j peut être définie par :

L(i, j) = (i + j) mod n

Pour n = 5, cela donne :

L(0, 0) = (0 + 0) mod 5 = 0
L(0, 1) = (0 + 1) mod 5 = 1
L(1, 0) = (1 + 0) mod 5 = 1
L(4, 4) = (4 + 4) mod 5 = 3

La fonction modulo permet de revenir au début dès que l’on dépasse n - 1.

Par exemple :

5 mod 5 = 0
6 mod 5 = 1
7 mod 5 = 2

C’est exactement ce qui se passe dans la grille : après 4, on revient à 0.

Exemple avec des lettres

Avec des lettres, le carré latin d’ordre 5 devient :

A  B  C  D  E
B  C  D  E  A
C  D  E  A  B
D  E  A  B  C
E  A  B  C  D

Chaque ligne contient les cinq lettres.

Chaque colonne contient aussi les cinq lettres.

Ce type de grille est très facile à lire visuellement. Il permet de comprendre l’idée avant de passer aux nombres, aux matrices ou aux constructions plus avancées.

Carré latin et carré magique : attention à la confusion

Un carré latin n’est pas nécessairement un carré magique.

Prenons le carré latin numérique :

0  1  2  3  4
1  2  3  4  0
2  3  4  0  1
3  4  0  1  2
4  0  1  2  3

Chaque ligne donne la même somme :

0 + 1 + 2 + 3 + 4 = 10

Chaque colonne donne aussi 10.

Mais ce n’est pas un carré magique normal, car il n’utilise pas les nombres de 1 à 25.

Il utilise seulement cinq symboles répétés.

Il vaut donc mieux dire :

carré latin = équilibre des symboles
carré magique = équilibre des sommes numériques

Les deux notions sont liées, mais elles ne sont pas identiques.

Carré latin et carré semi-magique

Si l’on remplace les symboles d’un carré latin par des nombres, on peut obtenir une grille où les lignes et colonnes sont équilibrées.

Mais les diagonales ne le sont pas forcément.

Une grille dont les lignes et colonnes ont la même somme, mais pas forcément les diagonales, est souvent appelée carré semi-magique.

Cette distinction est importante.

Un carré latin peut aider à construire une structure régulière, mais il ne suffit pas toujours à garantir la magie complète.

Pour obtenir un carré magique, il faut contrôler aussi :

les deux diagonales principales ;
l’unicité des nombres si l’on construit un carré normal ;
la transformation des symboles en valeurs numériques.

Le lien avec le Sudoku

Le Sudoku peut être vu comme une extension populaire de l’idée de carré latin.

Dans une grille de Sudoku classique, chaque ligne et chaque colonne doit contenir les chiffres de 1 à 9 une seule fois.

Cette partie de la règle est exactement de nature latine.

Le Sudoku ajoute une contrainte supplémentaire : chaque bloc 3×3 doit lui aussi contenir les chiffres de 1 à 9.

On peut donc résumer :

carré latin :
chaque symbole une fois par ligne et par colonne

sudoku :
chaque symbole une fois par ligne, par colonne et par bloc

Le Sudoku montre que les carrés latins ne sont pas seulement des objets théoriques. Ils peuvent aussi devenir des jeux, des puzzles et des supports pédagogiques.

Transversales

Une transversale dans un carré latin est une sélection de cases contenant une case par ligne et une case par colonne.

Dans certains cas, on s’intéresse aux transversales qui contiennent tous les symboles une seule fois.

Ce type de propriété devient important lorsque l’on étudie des carrés latins plus avancés.

Les transversales permettent de comprendre :

comment les symboles se répartissent en diagonale ou en oblique ;
si certaines sélections équilibrées existent ;
comment plusieurs carrés latins peuvent se combiner ;
pourquoi certains carrés sont plus structurés que d’autres.

Ce sujet conduit rapidement à des questions plus profondes de combinatoire.

Carrés latins orthogonaux

Deux carrés latins de même ordre sont dits orthogonaux si, lorsqu’on les superpose, chaque couple de symboles apparaît une seule fois.

Prenons deux carrés latins A et B.

À chaque position, on forme un couple :

(A(i, j), B(i, j))

Si tous les couples sont différents, alors les deux carrés sont orthogonaux.

C’est ici que commence la notion de carré gréco-latin.

Un carré gréco-latin n’est donc pas simplement un carré latin. C’est une superposition de deux carrés latins orthogonaux.

Cette distinction est essentielle dans Mystimath :

carré latin :
une seule grille équilibrée

carré gréco-latin :
deux grilles latines superposées, avec couples uniques

Pourquoi les carrés latins intéressent les carrés magiques

Les carrés latins sont utiles pour construire certains carrés magiques parce qu’ils répartissent les symboles de manière régulière.

Une méthode fréquente consiste à utiliser deux grilles auxiliaires :

une grille de quotients
une grille de restes

Puis à combiner ces deux grilles pour obtenir des nombres.

Par exemple, pour l’ordre 5, on peut imaginer une construction du type :

nombre = 5 × quotient + reste + 1

Cette idée rejoint les méthodes modulaires.

On ne place pas directement les nombres de 1 à 25. On construit d’abord deux composantes régulières, puis on les combine.

Cela permet de transformer une structure symbolique en carré numérique.

Exemple de matrice des restes

Pour n = 5, la matrice cyclique des restes peut être :

0  1  2  3  4
1  2  3  4  0
2  3  4  0  1
3  4  0  1  2
4  0  1  2  3

Chaque reste apparaît une fois par ligne et une fois par colonne.

Cette matrice peut servir d’une des deux composantes d’une construction.

Mais seule, elle ne suffit pas à créer un carré magique normal.

Elle doit être combinée avec une autre grille, par exemple une matrice de quotients.

Exemple de matrice des quotients

Une autre matrice peut organiser les quotients :

0  1  2  3  4
2  3  4  0  1
4  0  1  2  3
1  2  3  4  0
3  4  0  1  2

Elle aussi peut être construite par modulo, avec une règle différente.

Si les deux matrices sont correctement choisies, les couples obtenus peuvent être tous distincts.

On peut alors transformer chaque couple en nombre :

N(i, j) = 5 × Q(i, j) + R(i, j) + 1

Cette formule donne des nombres de 1 à 25.

La magie complète dépend ensuite de la façon dont les lignes, colonnes et diagonales se comportent.

Construction d’un carré numérique à partir de deux matrices

Supposons que l’on ait deux matrices Q et R.

On calcule :

N = 5Q + R + 1

Si une case contient :

Q = 3
R = 2

alors :

N = 5 × 3 + 2 + 1
N = 18

Ce procédé montre comment une grille symbolique peut devenir une grille numérique.

C’est l’un des grands intérêts des carrés latins : ils servent de charpente.

Ils organisent les positions avant que les nombres définitifs ne soient produits.

Carrés latins et méthode d’Euler

Les constructions par matrices et les carrés latins sont souvent associées à des méthodes attribuées à Euler ou à des approches dites eulériennes.

L’idée générale consiste à travailler avec deux composantes.

Au lieu de voir un nombre comme une valeur isolée, on le voit comme le résultat d’une combinaison :

nombre = partie haute + partie basse

ou :

nombre = quotient × n + reste

Cette décomposition permet de construire la grille de manière plus contrôlée.

C’est très utile pour expliquer les carrés magiques d’un point de vue algorithmique.

Existence des carrés latins

Les carrés latins existent pour tout ordre n.

La construction cyclique suffit à le montrer.

Pour n’importe quel ordre, on peut définir :

L(i, j) = (i + j) mod n

Cette formule produit un carré latin.

Donc, contrairement aux carrés gréco-latins orthogonaux, les carrés latins simples ne posent pas de problème d’existence.

Il faut bien distinguer :

carré latin d’ordre 6 :
existe

paire de carrés latins orthogonaux d’ordre 6 :
problème beaucoup plus délicat

Cette distinction évite une confusion fréquente.

Pourquoi l’ordre 6 est souvent cité

Dans l’histoire des carrés gréco-latins, l’ordre 6 est célèbre à cause du problème des 36 officiers d’Euler.

Mais ce problème ne dit pas qu’un carré latin d’ordre 6 est impossible.

Il concerne l’existence d’un carré gréco-latin d’ordre 6, c’est-à-dire la superposition de deux carrés latins orthogonaux produisant tous les couples possibles.

Un carré latin d’ordre 6, lui, est facile à construire :

0  1  2  3  4  5
1  2  3  4  5  0
2  3  4  5  0  1
3  4  5  0  1  2
4  5  0  1  2  3
5  0  1  2  3  4

La difficulté commence lorsque l’on demande une orthogonalité complète entre deux carrés.

Applications

Les carrés latins ne sont pas seulement utilisés pour les carrés magiques.

Ils apparaissent aussi dans plusieurs domaines :

plans d’expériences ;
statistiques ;
organisation de tests ;
combinatoire ;
cryptographie ;
codes correcteurs ;
jeux de logique ;
Sudoku ;
problèmes d’orthogonalité.

Ils sont donc à la fois très simples à présenter et très profonds à étudier.

C’est ce qui les rend intéressants pour Mystimath : ils forment un pont entre pédagogie, construction visuelle et mathématiques avancées.

Lecture visuelle

Un carré latin peut être visualisé de plusieurs manières.

On peut colorer chaque symbole :

0 → bleu
1 → vert
2 → orange
3 → violet
4 → rouge

La propriété devient immédiatement visible : chaque couleur apparaît une fois par ligne et une fois par colonne.

On peut aussi montrer les rotations de lignes, les cycles, les diagonales, les transversales ou les superpositions avec une autre grille.

La visualisation est très utile, car elle rend perceptible ce qui serait moins évident dans une simple formule.

Algorithme simple

Voici le principe algorithmique d’un carré latin cyclique :

choisir n
pour chaque ligne i
  pour chaque colonne j
    écrire (i + j) mod n

Pour n = 5, cela produit :

0  1  2  3  4
1  2  3  4  0
2  3  4  0  1
3  4  0  1  2
4  0  1  2  3

Ce petit algorithme suffit à produire une grille parfaitement équilibrée.

Il peut ensuite être adapté :

en changeant la formule ;
en permutant les lignes ;
en permutant les colonnes ;
en renommant les symboles ;
en combinant deux carrés latins.

Vérifier un carré latin

Pour vérifier qu’une grille est un carré latin, il faut contrôler deux choses.

D’abord, chaque ligne doit contenir tous les symboles une seule fois.

Ensuite, chaque colonne doit contenir tous les symboles une seule fois.

Pour un carré d’ordre 5, chaque ligne et chaque colonne doivent contenir :

0, 1, 2, 3, 4

Il n’est pas nécessaire de vérifier les diagonales pour la définition de base.

Les diagonales deviennent importantes dans d’autres contextes :

carrés magiques ;
carrés diagonaux ;
transversales ;
constructions gréco-latines ;
variantes spécialisées.

Exemple de vérification

Prenons :

0  1  2  3  4
1  2  3  4  0
2  3  4  0  1
3  4  0  1  2
4  0  1  2  3

Ligne 1 :

0, 1, 2, 3, 4

Ligne 3 :

2, 3, 4, 0, 1

Colonne 1 :

0, 1, 2, 3, 4

Colonne 4 :

3, 4, 0, 1, 2

La grille est bien un carré latin.

Ce que les carrés latins apportent à Mystimath

Dans Mystimath, les carrés latins ont trois rôles.

D’abord, ils servent d’introduction aux constructions régulières.

Ensuite, ils préparent les carrés gréco-latins, qui sont essentiels dans certaines méthodes avancées.

Enfin, ils permettent d’expliquer les méthodes modulo et les décompositions en matrices.

On peut les voir comme une couche intermédiaire :

grille simple
→ carré latin
→ carrés latins orthogonaux
→ carré gréco-latin
→ carré magique numérique

Cette progression est très utile pour construire une rubrique pédagogique cohérente.

À retenir

Un carré latin est une grille où chaque symbole apparaît exactement une fois dans chaque ligne et dans chaque colonne.

Il ne faut pas le confondre avec un carré magique.

Le carré latin organise les symboles.

Le carré magique organise les sommes.

Mais les carrés latins sont très utiles pour construire certains carrés magiques, surtout lorsqu’ils sont combinés avec d’autres grilles, des méthodes modulo ou des carrés orthogonaux.

Les idées clés sont :

permutation ;
cycle ;
modulo ;
équilibre ligne-colonne ;
transversale ;
orthogonalité ;
superposition ;
construction matricielle.

Les carrés latins sont donc un outil discret, mais fondamental.

Pour continuer

Tu peux poursuivre avec :

Source documentaire

Cet article s’appuie sur des notes et schémas consacrés aux carrés latins, à leurs propriétés, à leur construction, à leurs liens avec le Sudoku, le modulo, les transversales et les carrés latins orthogonaux.

Le contenu a été reformulé dans une version originale Mystimath, avec une approche centrée sur la construction, la visualisation et la distinction entre carré latin, carré gréco-latin et carré magique.