Carrés magiques

d'ordre 3

Carrés magiques d'ordre 3 Aimé Lachal

 I
Carrés d'ordre 3
et culture
I – Carrés d'ordre 3 et culture
Apparition en Chine : ~ 650 av. J.-C.
→ Légende de « Luo Shu »
(Le Livre de la rivière Luo – 洛書 ,
~ 2200 av. J.-C.)

Carré « Lo Shu »

Carrés magiques d'ordre 3 Aimé Lachal

I – Carrés d'ordre 3 et culture
Apparition en Chine : ~ 650 av. J.-C.
→ Légende de « Luo Shu »
(Le Livre de la rivière Luo – 洛書 ,
~ 2200 av. J.-C.)

Carrés magiques d'ordre 3 Aimé Lachal

I – Carrés d'ordre 3 et culture
Apparition en Chine : ~ 650 av. J.-C.
→ Légende de « Luo Shu »
(Le Livre de la rivière Luo – 洛書 ,
~ 2200 av. J.-C.)

Carrés magiques d'ordre 3 Aimé Lachal

I – Carrés d'ordre 3 et culture
Apparition en Chine : ~ 650 av. J.-C.
→ Légende de « Luo Shu »
(Le Livre de la rivière Luo – 洛書 ,
~ 2200 av. J.-C.)

Carrés magiques d'ordre 3 Aimé Lachal

 II
Résolution
complète
II – Résolution complète
Données

x x x
1 2 3

x x x
4 5 6

x x x
7 8 9
Carrés magiques d'ordre 3 Aimé Lachal
II – Résolution complète
Conditions pour avoir un carré magique de somme S

Lignes Colonnes
x + x + x =S x + x + x =S
{ {
1 2 3 1 4 7

x + x + x =S
4 5 6
x + x + x =S
2 5 8

x + x + x =S
7 8 9
x + x + x =S
3 6 9

Diagonales
x + x + x =S
{ 1 5

x + x + x =S
3 5
9

7
Carrés magiques d'ordre 3 Aimé Lachal
II – Résolution complète
Système linéaire (8 équations, 9 inconnues)

E1 x 1+ x 2+ x 3 =S

{
E2 x 4+ x5+ x6 =S
E3 x7 + x 8 + x9 = S
E4 x1 +x4 + x7 =S
E5 x2 + x5 +x 8 =S
E6 x3 + x6 + x9 = S
E7 x1 + x5 + x9 = S
E8 x 3
+ x5 + x7 =S
Carrés magiques d'ordre 3 Aimé Lachal
II – Résolution complète
Permutations et combinaisons des équations

E1' = E4 x1 +x4 + x7 =S
E'=E
2 5 x2 + x5 + x8 =S
E'=E
3 6 x3 + x6 + x9 = S
E'=E
4 2 x4 + x5+ x6 =S
E ' = E – E – E – E x 4 + x 5 + x 6 + x 7 + x 8 + x 9 = 2S
5 1 4 5 6

E'=E+E +E –E
6 7 5 6 1
2x 5 + x 6 + x 8 +2x 9 = 2S
E'=E –E
7 8 6
x 5 −x 6 + x 7 − x9 = 0
E'=E
8 3
x7 + x8+ x9 = S
Carrés magiques d'ordre 3 Aimé Lachal
II – Résolution complète
Permutations et combinaisons des équations

E1" = E1' x1 +x 4 + x7 =S
E"=E'
2 2 x2 + x5 +x 8 =S
E"=E'
3 3 x3 + x6 + x9 = S
E"=E'
4 4 x 4+ x5 + x6 =S
E"=E'
5 7
x 5 −x 6 + x 7 − x9 = 0
E " = E '– 2xE '
6 6 7
3x 6 −2x 7 + x 8 +4x 9 = 2S
E"=E'
7 8
x 7 + x 8+ x9 = S
E"=E'–E'
8 5 4
x 7 + x 8+ x9 = S
Carrés magiques d'ordre 3 Aimé Lachal
II – Résolution complète
Inconnues 2daires : x8,x9 — Équation 2daire : E8"' — Rang=7

E1"' = E1" x1 +x4 + x7= S

E "' = E "
2 2 x2 + x5 = S−x 8
E "' = E "
3 3 x3 + x6 = S−x 9
E "' = E "
4 4 x 4+ x5 + x6 =S
E "' = E "
5 5 x 5 −x 6 +x 7 = x 9
E "' = E "
6 6 3x 6 −2x 7 = 2S−x 8 −4 x 9
E "' = E "
7 7
x 7 = S−x 8 −x 9
E "' = E "– E "
8 8 7
0=0
Carrés magiques d'ordre 3 Aimé Lachal
II – Résolution complète
Résolution de x1, x2, x3, x4, x5, x6 et x7
1
x 1 = S−x −x

{
4 73

1
x 2 = S−x −x 5 83

1
x 3 = S−x −x 6 93

1
x 4 = S−x −x 5 63

1
x 5 = x 6−x + x 7 93

2 2 1 4
x 6 = S+ x − x 8 − x 9
3 3 7 3 3

x 7 = S−x 8 −x 9
Carrés magiques d'ordre 3 Aimé Lachal
II – Résolution complète
Substitution progressive en fonction de x8 et x9
2
x 1 = S−x 9

{
3
2
x 2 = S−x 8
3
1
x 3 = − S+ x 8 + x 9
3
2
x 4 = − S + x 8 +2 x 9
3
1
x5 = S 3
4
x 6 = S−x 8 −2 x 9
3

x 7 = S−x 8 −x 9
Aimé Lachal Carrés magiques d'ordre 3 Aimé Lachal
II – Résolution complète
→ Infinité de solutions dépendant de x8 , x9 et S

2 2 1
3
S−x 9 3
S−x 8 − S+x 8 +x 9
3

2 1 4
− S+x 8 +2x 9
3 3
S 3
S−x 8 −2x 9

S−x 8 −x 9 x8 x9
Carrés magiques d'ordre 3 Aimé Lachal
II – Résolution complète
Remarque 1

La somme magique S
vaut nécessairement 3x 5
et le terme central est S/3

Carrés magiques d'ordre 3 Aimé Lachal

II – Résolution complète
Une explication en couleurs

Carrés magiques d'ordre 3 Aimé Lachal

II – Résolution complète
Une explication en couleurs

⇒
Carrés magiques d'ordre 3 Aimé Lachal
II – Résolution complète
Remarque 2

Équation 2daire : E8"' = 0

Or E8"' = E8"– E7"

= E5' – E4' – E8'
= E1 + E 2 + E 3 – E 4 – E 5 – E 6

 
D'où : E1 + E2 + E3 – E 4 – E 5 – E 6 = 0

Carrés magiques d'ordre 3 Aimé Lachal

 III
Une méthode
de construction
III – Une méthode de construction
Remplissage progressif

À partir du
paramètre central
→a

Carrés magiques d'ordre 3 Aimé Lachal

III – Une méthode de construction
Remplissage progressif

2 paramètres
→ a,b

Carrés magiques d'ordre 3 Aimé Lachal

III – Une méthode de construction
Remplissage progressif

3 paramètres
→ a,b,c

Carrés magiques d'ordre 3 Aimé Lachal

III – Une méthode de construction
Remplissage progressif

3 paramètres
→ a,b,c

Carrés magiques d'ordre 3 Aimé Lachal

III – Une méthode de construction
Remplissage progressif

3 paramètres
→ a,b,c

Carrés magiques d'ordre 3 Aimé Lachal

III – Une méthode de construction
Remplissage progressif

3 paramètres
→ a,b,c

Carrés magiques d'ordre 3 Aimé Lachal

III – Une méthode de construction
Remplissage progressif

3 paramètres
→ a,b,c

Carrés magiques d'ordre 3 Aimé Lachal

III – Une méthode de construction
Une représentation à trois paramètres

Carré
de somme
magique 3a
→ Espace vectoriel
de dimension 3

Carrés magiques d'ordre 3 Aimé Lachal

III – Une méthode de construction
Une décomposition

Carré magique Carré magique Carré magique

trivial symétrique antisymétrique
de somme 3a de somme 0 de somme 0

Carrés magiques d'ordre 3 Aimé Lachal

III – Une méthode de construction
Un mathématicien

Édouard Lucas (1842–1891)

Mathématicien français.

→ « Récréations mathématiques »
(1882–1894)
→ Forme générale
des carrés d'ordre 3

Carrés magiques d'ordre 3 Aimé Lachal

 IV
Carrés d'ordre 3
normaux
IV – Carrés d'ordre 3 normaux
Avec les chiffres de 1 à 9…

Un carré normal
de somme 15

Carrés magiques d'ordre 3 Aimé Lachal

IV – Carrés d'ordre 3 normaux
Avec les chiffres de 1 à 9…

Il y a 8 carrés magiques normaux d'ordre 3

(obtenus par rotations et symétries)
Carrés magiques d'ordre 3 Aimé Lachal
 MERCI
DE
VOTRE ATTENTION !
Diaporama complet disponible sur
http://math.univ-lyon1.fr/~alachal/exposes/carres_magiques_diaporama.pdf

Carrés magiques d'ordre 3 Aimé Lachal