Les plus petits carrés magiques multiplicatifs possibles
Quels sont les plus petits carrés multiplicatifs possibles ?
En septembre 2005, Ed Pegg Jr., auteur du site MathPuzzle, posait la question : "Existe-t-il une liste des plus petites constantes pour carrés multiplicatifs NxN pour divers N ?"
Etrangement, il semble qu'aucune liste n'ait jamais été publiée. Après la question posée par Ed, j'ai immédiatement étudié la question et vous trouverez dans ce site la réponse à la question de Ed : les listes 3x3, 4x4, 5x5, 6x6, 7x7, et encore plus d'information... Beaucoup de nouveaux résultats: par exemple, le plus petit P=302400 pour carrés 5x5 est nouveau, trouvé en septembre 2005. Il semble que tous les exemples de carrés multiplicatifs 5x5 publiés auparavant étaient plus gros.
Merci à Ed pour sa question très intéressante ! Après les premières réponses à sa question, Ed a écrit un intéressant article dans sa rubrique Math Games de MAA Online :
Merci à Dan Asimov, Michael Kleber, Richard Schroeppel, et David Wilson pour leurs idées. Et merci à Edwin Clark, Don Reble, et Günter Stertenbrink pour leurs tests de mes grands carrés multiplicatifs, confirmant qu'il avaient toutes les propriétés annoncées.
Ordre |
Semi-magique |
Magique |
Plus petit nb max (*) |
3 |
120 |
(a) 216 |
(a) 36 |
4 |
(c) 4 320 |
(b) 5 040 |
(b) 28 |
5 |
277 200 |
302 400 |
45 |
6 |
25 945 920 |
66 (!) |
|
7 |
3 632 428 800 |
91 |
|
8 |
(d) 670 442 572 800 |
≤ (e) 117 (!) |
|
9 |
(d) 140 792 940 288 000 |
≤ (e) 153 (!) |
|
10 |
≤ 2.77E+17 |
≤ 290 (!) |
|
11 |
≤ (e) 4.68E+19 |
≤ (e) 238 (!) |
|
12 |
≤ (e) 3.23E+22 |
≤ (e) 276 (!) |
|
13 |
≤ (e) 1.76E+25 |
≤ (e) 350 (!) |
|
14 |
≤ (e) 1.02E+28 |
≤ (e) 406 (!) |
|
15 |
≤ (e) 1.12E+31 |
≤ (e) 465 (!) |
|
16 |
≤ 1.03E+35 |
≤ 848 (!) |
|
17 |
≤ (e) 1.70E+37 |
≤ (e) 627 (!) |
Qu'est-ce qu'un carré magique multiplicatif ?
C'est un carré qui est magique en utilisant la multiplication au lieu de l'addition.
Un carré magique "multiplicatif" est très facile à construire à partir d'un carré magique "additif" standard, en utilisant les nombres du carré magique additif comme puissances d'un entier fixé. Par exemple :
Additif |
=12 |
>> |
(puissance) |
>> |
Multiplicatif |
=4096 |
||||||
3 |
8 |
1 |
=12 |
23 |
28 |
21 |
8 |
256 |
2 |
=4096 |
||
2 |
4 |
6 |
=12 |
22 |
24 |
26 |
4 |
16 |
64 |
=4096 |
||
7 |
0 |
5 |
=12 |
27 |
20 |
25 |
128 |
1 |
32 |
=4096 |
||
=12 |
=12 |
=12 |
=12 |
|
=4096 |
=4096 |
=4096 |
=4096 |
Quand on ajoute les nombres de tout alignement du carré de gauche, on obtient toujours le même nombre (ici 12). Quand on multiplie les nombres de tout alignement du carré de droite, on obtient toujours le même nombre (ici 4096). Le carré multiplicatif d'ordre 3 de droite a été publié par Antoine Arnauld dans Nouveaux Eléments de Géométrie, Paris, en... 1667... il y a bien longtemps !
Quelques propriétés des carrés multiplicatifs :
Je recommande le livre Magic squares and cubes de W.S. Andrews republié par Dover en 1960 : il contient en pages 283-294 un excellent article sur les carrés multiplicatifs écrit par Harry A. Sayles, article qui avait été initialement publié dans The Monist en 1913. Des exemples variés de carrés magiques multiplicatifs sont donnés. Quelques-uns sont dans cette page, référencés par Sayles[page dans le livre d'Andrews, numéro de la figure]. Par exemple, le carré ci-dessus P=4096 peut aussi être trouvé dans ce livre : Sayles[284, 510]. Et je recommande le vieux magazine français Les Tablettes du Chercheur, année 1893, dans lequel G. Pfeffermann a publié différents carrés multiplicatifs présentés en grilles à compléter.
Les plus petits carrés multiplicatifs d'ordre 3
Comme la méthode de construction vue ci-dessus utilise des puissances, les nombres générés sont gros. Il est possible de construire des carrés 3x3 avec des produits magiques plus petits que 4096. Sayles a publié en 1913 deux exemples :
18 |
1 |
12 |
|
50 |
1 |
20 |
4 |
6 |
9 |
4 |
10 |
25 |
|
3 |
36 |
2 |
5 |
100 |
2 |
J'ai découvert en 2006 que G. Pfeffermann a publié de nombreux carrés 3x3 multiplicatifs 20 ans avant Sayles: il a publié 17 carrés en 1893! Ces carrés étaient des jeux, comme ses premiers carrés bimagiques 8x8 et 9x9. Ses neuf premiers carrés multiplicatifs 3x3 étaient les suivants, incluant le plus petit P=216. Réussirez-vous à les remplir ?
En 1917, dans son livre Amusements in Mathematics, Henry E. Dudeney a également publié le carré P=216. On peut remarquer que ces carrés peuvent être générés avec la même méthode :
ab² |
1 |
a²b |
a² |
ab |
b² |
b |
a²b² |
a |
Avec a=2 et b=3, on obtient le carré P=216. Avec a=2 et b=5, on obtient le carré P=1000.
Comme déjà prouvé dans un article publié en 1983 dans Discrete Mathematics par Debra K. Borkovitz (actuellement au Wheeklock College, Boston, USA) et Frank K.-M. Hwang (actuellement National Chiao Tung University, Taiwan), le produit magique minimum pour carrés multiplicatifs 3x3 est 216. En 2005, juste après la question posée par Ed, voici une autre -et très courte- preuve donnée par Rich Schroeppel :
"Il
y a la preuve classique qu'un centre d'un carré magique additif 3x3 est
K/3, où K est la somme d'une ligne (ajouter les 4 alignement passant par
le centre, soustraire la totalité du carré). Bien sûr, cela fonctionne aussi
pour un multiplicatif, donc un produit magique est toujours le cube
du centre.
Minimalité de K = 216 pour carré multiplicatif 3x3, Preuve
:
K doit être un cube, ayant au moins 9 diviseurs.
1, 8, 27, 64, 125
ont 1, 4, 4, 7, 4 diviseurs. C'est fait !"
Si l'on ne tient pas compte des diagonales, voici le plus petit carré semi-magique possible. Cela n'était pas demandé, mais une diagonale (pas l'autre diagonale) a aussi le bon produit P :
1 |
20 |
6 |
12 |
2 |
5 |
10 |
3 |
4 |
Et maintenant, voici la liste des plus petits produits magiques demandés par Ed :
# |
P |
= 2^ |
· 3^ |
· 5^ |
· 7^ |
· 11^ |
· 13^ |
1 |
216 |
3 |
3 |
0 |
0 |
0 |
0 |
2 |
1000 |
3 |
0 |
3 |
0 |
0 |
0 |
3 |
1728 |
6 |
3 |
0 |
0 |
0 |
0 |
4 |
2744 |
3 |
0 |
0 |
3 |
0 |
0 |
5 |
3375 |
0 |
3 |
3 |
0 |
0 |
0 |
6 |
4096 |
12 |
0 |
0 |
0 |
0 |
0 |
7 |
5832 |
3 |
6 |
0 |
0 |
0 |
0 |
8 |
8000 |
6 |
0 |
3 |
0 |
0 |
0 |
9 |
9261 |
0 |
3 |
0 |
3 |
0 |
0 |
10 |
10648 |
3 |
0 |
0 |
0 |
3 |
0 |
Pour plus de termes : voir la liste 3x3 référencée en oct. 2005 sous le numéro A111029 dans la On-Line Encyclopedia of Integer Sequences, OEIS Foundation.
Parmi les 17 carrés (3x3) publiés par G. Pfeffermann en 1893, les 10 plus petits produits P ci-dessus étaient déjà tous présents. Excellente analyse faite il y a plus d'un siècle !
Ma formule plus haut avec P = a3b3 est la formule complète en nombres rationnels normalisés. Voici la belle formule complète en entiers construite par Lee Morgenstern en décembre 2007, où ab = cd. Toutes les solutions peuvent être obtenues à partir de cette formule en réduisant les 9 nombres par le même entier. Dans une solution non réduite, les 3 nombres au milieu des côtés sont toujours des carrés.
bc |
a² |
bd |
d² |
ab |
c² |
ac |
b² |
ad |
Les plus petits carrés multiplicatifs d'ordre 4
En 1893, G. Pfeffermann a publié un carré pandiagonal d'ordre 4 comme un jeu, de façon habituelle pour lui. Compléter le carré ci-dessus P=28224 avec les nombres 2, 3, 4, 6, 8, 12, 14, 21, 28, 42, 56, 84. Les nombres dans les quatre quarts, ainsi que dans le carré central 2x2, doivent aussi avoir le même P. Y arriverez-vous ? G. Pfeffermann a donné 3 solutions, mais comme remarqué par Philippe Deléham en octobre 2014, son problème a 6 solutions.
|
|
|
|
1 |
24 |
|
|
|
|
|
|
|
|
168 |
7 |
En 1913, Sayles a publié divers exemples de carrés d'ordre 4 : P = 5040, 7560, 11760, 14112, 14400, 21000, 2985984. Dans leur article de Discrete Mathematics publié en 1983, Borkovitz et Hwang ont prouvé que le produit magique minimum pour carrés multiplicatifs 4x4 (non-pandiagonaux) est 5040, et ont donné un exemple différent de celui de Sayles.
1 |
15 |
24 |
14 |
|
1 |
14 |
12 |
30 |
12 |
28 |
3 |
5 |
15 |
24 |
7 |
2 |
|
21 |
6 |
10 |
4 |
42 |
3 |
10 |
4 |
|
20 |
2 |
7 |
18 |
8 |
5 |
6 |
21 |
Ces 2 carrés peuvent être construits en multipliant les cellules de deux carrés latins (les deux carrés générant un carré eulérien), et en utilisant deux ensembles différents de nombres (A, B, C, D) et (a, b, c, d). Par exemple, le carré de Sayles peut être construit ainsi :
A |
C |
D |
B |
X |
a |
b |
c |
d |
= |
Aa |
Cb |
Dc |
Bd |
B |
D |
C |
A |
c |
d |
a |
b |
Bc |
Dd |
Ca |
Ab |
||
C |
A |
B |
D |
d |
c |
b |
a |
Cd |
Ac |
Bb |
Da |
||
D |
B |
A |
C |
b |
a |
d |
c |
Db |
Ba |
Ad |
Cc |
et l'exemple de Borkovitz & Hwang peut être construit avec la même méthode, mais en utilisant d'autres carrés latins et d'autres ensembles : (1, 2, 3, 6) et (1, 4, 5, 7).
Sayles a également publié un carré multiplicatif magique pandiagonal, pandiagonal signifiant que toutes les diagonales brisées donnent aussi le même produit magique. Comme le carré 4x4 précédent de Pfeffermann, c'est également un carré magique plus-que-parfait ("most-perfect") : tous ses sous-carrés 2x2 ont le même produit magique.
1 |
24 |
10 |
60 |
30 |
20 |
3 |
8 |
12 |
2 |
120 |
5 |
40 |
15 |
4 |
6 |
En 1957, Ronald B. Edwards, Rochester (NY, Etats-Unis) http://geniimagazine.com/magicpedia/Ronald_B._Edwards, a publié dans Scripta Mathematica (Vol XXII, p.202) un très étonnant carré multiplicatif d'ordre 4. Quand on écrit tous ses nombres à l'envers, on obtient encore un carré multiplicatif d'ordre 4 !!! Un carré si étonnant ! De plus, son produit magique 4558554 est un nombre palindrome. Et l'on peut encadrer le carré pour obtenir un carré additif 6x6.
|
98 |
102 |
51 |
64 |
79 |
44 |
|||||||||
46 |
39 |
231 |
11 |
|
64 |
93 |
132 |
11 |
|
58 |
46 |
39 |
231 |
11 |
53 |
121 |
21 |
26 |
69 |
121 |
12 |
62 |
96 |
95 |
121 |
21 |
26 |
69 |
106 |
||
13 |
253 |
33 |
42 |
31 |
352 |
33 |
24 |
50 |
13 |
253 |
33 |
42 |
47 |
||
63 |
22 |
23 |
143 |
36 |
22 |
32 |
341 |
96 |
63 |
22 |
23 |
143 |
91 |
||
|
41 |
93 |
52 |
61 |
94 |
97 |
Quelle a été la méthode utilisée pour le construire, il y a 50 ans, sans le moindre ordinateur ? En février 2015, Claude Bégin, Boucherville (Québec, Canada), remarque que le carré multiplicatif d'Edwards peut s'obtenir avec la méthode de construction déjà vue plus haut en utilisant ces deux carrés latins : (A, B, C, D) = (x1, x2, x3, x4) = (23, 11, 13, 21) et (a, b, c, d) = (x5, x6, x7, x8) = (2, 3, 11, 1). De plus, si on écrit chacun de ces huit nombres xi = 10ui + vi, avec 0 ≤ ui ≤ 9 et 1 ≤ vi ≤ 9, puisque xi*xj = (10ui + vi)*(10uj + vj) = 100uiuj + 10(uivj + ujvi) + vivj, chaque nombre du carré multiplicatif final peut être écrit à l'envers parce que, pour chaque 1 ≤ i ≤ 4 et pour chaque 5 ≤ j ≤ 8, on a :
On peut maintenant calculer d'autres exemples. Le plus petit produit générant 16 entiers distincts s'obtient avec (A, B, C, D) = (1, 2, 11, 12) et (a, b, c, d) = (1, 3, 4, 13), donnant P = ABCDabcd = 41184. Le plus grand produit s'obtient avec (2, 11, 12, 21) et (31, 32, 33, 41), donnant P = 7441023744. Le plus petit produit palindrome s'obtient avec (1, 2, 11, 22) et (1, 3, 4, 12), donnant P = 69696. Plusieurs autres produits palindromes sont possibles, le plus grand palindrome étant obtenu avec (1, 11, 12, 21) et (11, 22, 32, 41), donnant ce carré :
11 |
264 |
672 |
451 |
|
11 |
462 |
276 |
154 |
352 |
861 |
132 |
22 |
253 |
168 |
231 |
22 |
|
492 |
32 |
242 |
231 |
294 |
23 |
242 |
132 |
|
462 |
121 |
41 |
384 |
264 |
121 |
14 |
483 |
Les principaux résultats de ma recherche de 2005 sont :
1 |
bc |
ab3 |
a3 |
>> |
1 |
15 |
54 |
8 |
a3b |
ab2 |
c |
b |
24 |
18 |
5 |
3 |
|
ac |
ab |
a2b |
b2 |
10 |
6 |
12 |
9 |
|
b3 |
a2 |
a |
abc |
27 |
4 |
2 |
30 |
16 |
1 |
10 |
27 |
5 |
24 |
18 |
2 |
6 |
12 |
3 |
20 |
9 |
15 |
8 |
4 |
# |
P |
= 2^ |
· 3^ |
· 5^ |
· 7^ |
· 11^ |
· 13^ |
1 |
5040 |
4 |
2 |
1 |
1 |
0 |
0 |
2 |
6480 |
4 |
4 |
1 |
0 |
0 |
0 |
3 |
6720 |
6 |
1 |
1 |
1 |
0 |
0 |
4 |
7200 |
5 |
2 |
2 |
0 |
0 |
0 |
5 |
7560 |
3 |
3 |
1 |
1 |
0 |
0 |
6 |
7920 |
4 |
2 |
1 |
0 |
1 |
0 |
7 |
8400 |
4 |
1 |
2 |
1 |
0 |
0 |
8 |
8640 |
6 |
3 |
1 |
0 |
0 |
0 |
9 |
9072 |
4 |
4 |
0 |
1 |
0 |
0 |
10 |
9240 |
3 |
1 |
1 |
1 |
1 |
0 |
Pour plus de termes : voir la liste 4x4 référencée en oct. 2005 sous le numéro A111030 dans la On-Line Encyclopedia of Integer Sequences, OEIS Foundation.
En décembre 2007, Lee Morgenstern donne cette formule complète en nombres rationnels normalisés des carrés magiques multiplicatifs 4x4. Elle nécessite 7 termes. Par exemple (a, b, c, d, e, f, g) = (1, 2, 3, 4, 5, 6, 7) donne la plus petite solution P=5040 de Sayles (voir son carré plus haut).
1 |
ce |
adf |
abg |
bf |
adg |
c |
ae |
acg |
f |
abe |
d |
ade |
ab |
g |
cf |
A partir de cette première formule, voici son raisonnement produisant l'autre formule plus loin en nombres rationnels normalisés des carrés 4x4 multiplicatifs magiques pandiagonaux :
Cancelling terms simplifies to
(1a) cde = abfg
(2a) aa = 1
(3a) bfg = acde
(4a) abe =
cdfg
(5a) 1 = aa
(6a) acdfg = be
(5a) matches (2a). After substituting
a = 1,
(6a) matches (4a) and (3a) matches
(1a).
(1b) cde = bfg
(2b) a = 1
(4b) be =
cdfg
Substituting e =
cdfg/b from (4b) into (1b) simplifies to
(1c) b =
cd
Substituting (1c) into (4b) simplifies
to
(4c) e = fg
Therefore, 3 terms are eliminated from
the general 4x4 to produce a pan 4x4.
Substituting a = 1,
b = cd, e = fg into the formulation
1 |
cfg |
df |
cdg |
cdf |
dg |
c |
fg |
cg |
f |
cdfg |
d |
dfg |
cd |
g |
cf |
Les plus petits carrés multiplicatifs d'ordre 5
In 1893, G. Pfeffermann a publié deux exemples de carrés pandiagonaux d'ordre 5 : P=665280 et 1182720. Une info supplémentaire donnée par Pfeffermann sur le carré P=1182720 : les nombres manquant sont 1, 2, 3, 4, 5, 6, 7, 8, 10, 11. Y arriverez-vous ?
|
|
5 |
2 |
|
|
|
28 |
48 |
|
88 |
10 |
4 |
|
|
7 |
|
40 |
|
|
112 |
|
|
8 |
14 |
20 |
9 |
44 |
16 |
14 |
24 |
|
|
|
|
11 |
3 |
16 |
56 |
|
20 |
176 |
|
|
1 |
6 |
|
|
|
80 |
22 |
|
|
12 |
En 1913, Sayles a publié deux exemples de carrés d'ordre 5 : P = 362880 et 720720. Et Dudeney un exemple plus gros P=60466176. Voici le plus petit exemple de Sayles qui peut être construit avec deux carrés latins (qui forment un carré eulérien), et qui est pandiagonal :
Aa |
Bb |
Cc |
Dd |
Ee |
>> |
1 |
10 |
21 |
32 |
54 |
Dc |
Ed |
Ae |
Ba |
Cb |
28 |
48 |
9 |
2 |
15 |
|
Be |
Ca |
Db |
Ec |
Ad |
18 |
3 |
20 |
42 |
8 |
|
Eb |
Ac |
Bd |
Ce |
Da |
30 |
7 |
16 |
27 |
4 |
|
Cd |
De |
Ea |
Ab |
Bc |
24 |
36 |
6 |
5 |
14 |
Les principaux résultats de ma recherche de 2005 sont :
a2b |
cd |
1 |
a3c |
ab2 |
>> |
12 |
35 |
1 |
40 |
18 |
a2b2 |
a |
a3b |
d |
c2 |
36 |
2 |
24 |
7 |
25 |
|
ad |
b2c |
bc |
a2 |
a3 |
14 |
45 |
15 |
4 |
8 |
|
c |
a4 |
abd |
abc |
b |
5 |
16 |
42 |
30 |
3 |
|
ac |
ab |
a2c |
b2 |
a2d |
10 |
6 |
20 |
9 |
28 |
9 |
1 |
14 |
44 |
50 |
2 |
35 |
55 |
18 |
4 |
25 |
33 |
8 |
7 |
6 |
22 |
20 |
3 |
10 |
21 |
28 |
12 |
15 |
5 |
11 |
# |
P |
= 2^ |
· 3^ |
· 5^ |
· 7^ |
· 11^ |
· 13^ |
1 |
302400 |
6 |
3 |
2 |
1 |
0 |
0 |
2 |
332640 |
5 |
3 |
1 |
1 |
1 |
0 |
3 |
362880 |
7 |
4 |
1 |
1 |
0 |
0 |
4 |
393120 |
5 |
3 |
1 |
1 |
0 |
1 |
5 |
403200 |
8 |
2 |
2 |
1 |
0 |
0 |
6 |
415800 |
3 |
3 |
2 |
1 |
1 |
0 |
7 |
423360 |
6 |
3 |
1 |
2 |
0 |
0 |
8 |
443520 |
7 |
2 |
1 |
1 |
1 |
0 |
9 |
453600 |
5 |
4 |
2 |
1 |
0 |
0 |
10 |
475200 |
6 |
3 |
2 |
0 |
1 |
0 |
Pour plus de termes : voir la liste 5x5 référencée en oct. 2005 sous le numéro A111031 dans la On-Line Encyclopedia of Integer Sequences, OEIS Foundation.
En décembre 2007, Lee Morgenstern donne cette formule complète en nombres rationnels normalisés des carrés magiques multiplicatifs 5x5. Elle nécessite 14 termes. Par exemple, avec s = t = u = v = w = x = y = z = 1, et avec e = f = a, on obtient ma formule précédente où P = a6b3c2d.
abfstuvyz |
cd |
1 |
a2cftxy |
b2esuv2wy |
ab2fv2w |
a |
abefs2tuy |
d |
c2tuvxy2z |
de |
b2cs2tuwy3 |
bcvx |
afuv2z |
a2ft |
cx |
a2f2tz |
abduv2y |
bcestuvwy2 |
bs |
acstuy2 |
beuv3x |
acftwyz |
b2s |
adf |
En février-mars 2015, en élargissant la méthode 4x4 Edwards-Bégin aux carrés 5x5, et en utilisant la construction eulérienne 5x5 ci-dessus, on peut construire plusieurs carrés, par exemple celui-ci avec (A, B, C, D, E) = (1, 2, 3, 11, 12) et (a, b, c, d, e) = (12, 13, 21, 22, 23) :
12 |
26 |
63 |
242 |
276 |
|
21 |
62 |
36 |
242 |
672 |
231 |
264 |
23 |
24 |
39 |
132 |
462 |
32 |
42 |
93 |
|
46 |
36 |
143 |
252 |
22 |
64 |
63 |
341 |
252 |
22 |
|
156 |
21 |
44 |
69 |
132 |
651 |
12 |
44 |
96 |
231 |
|
66 |
253 |
144 |
13 |
42 |
66 |
352 |
441 |
31 |
24 |
Le plus petit produit possible s'obtient avec (1, 2, 11, 12, 21) et (1, 3, 4, 13, 14) donnant P = 12108096, le plus grand avec (2, 3, 11, 12, 21) et (21, 23, 31, 32, 33) donnant P = 262976668416. Contrairement aux carrés 4x4, il semble impossible d'obtenir un produit palindrome.
Retour à la page d'accueil http://www.multimagie.com