Carrés bimagiques de nombres premiers
En 1900, Henry E. Dudeney a probablement été le premier à étudier les carrés magiques de nombres premiers : voir plus bas une histoire abrégée de ces carrés. En 2005, parmi les 10 problèmes ouverts de mon article dans The Mathematical Intelligencer, je posais celui-ci :
Problème ouvert 4. Construire un carré bimagique utilisant des nombres premiers distincts.
Bimagique signifie un carré magique restant magique après que ses nombres aient été élevés au carré. Comme première étape, dans le Supplément de cet article, je donnais ce carré CB16 qui avait été préalablement construit en octobre 2004, comme mentionné dans le Puzzle 287 de Carlos Rivera posant le même problème. C'est seulement un carré "semi"-bimagique, signifiant que ses 2 diagonales n'étaient pas bimagiques.
29 |
293 |
641 |
227 |
277 |
659 |
73 |
181 |
643 |
101 |
337 |
109 |
241 |
137 |
139 |
673 |
En novembre 2006, j'ai été heureux de construire le premier carré bimagique connu de nombres premiers. Pleinement bimagique, avec ses deux diagonales bimagiques. Le Problème ouvert 4 est ainsi le premier problème résolu sur les dix ! Dans ce carré d'ordre 11, ce sont 121 nombres premiers consécutifs qui sont utilisés, en excluant seulement 2, 3, 523, 641, 677.
137 |
131 |
317 |
47 |
5 |
457 |
541 |
359 |
467 |
353 |
683 |
401 |
277 |
239 |
647 |
23 |
421 |
229 |
181 |
7 |
419 |
653 |
463 |
269 |
701 |
59 |
157 |
257 |
563 |
557 |
179 |
191 |
101 |
593 |
311 |
379 |
503 |
197 |
83 |
53 |
521 |
149 |
619 |
89 |
307 |
617 |
397 |
241 |
571 |
661 |
109 |
107 |
79 |
127 |
281 |
373 |
443 |
29 |
587 |
383 |
61 |
19 |
409 |
631 |
389 |
173 |
73 |
11 |
607 |
433 |
613 |
577 |
263 |
97 |
227 |
313 |
283 |
43 |
599 |
151 |
199 |
509 |
487 |
223 |
163 |
293 |
691 |
139 |
673 |
37 |
113 |
271 |
193 |
31 |
601 |
431 |
331 |
337 |
479 |
67 |
233 |
103 |
439 |
499 |
251 |
547 |
659 |
491 |
41 |
167 |
367 |
569 |
461 |
71 |
347 |
211 |
349 |
13 |
643 |
17 |
449 |
Voici les 6 principales étapes de la méthode utilisée :
Merci à Jaroslaw Wroblewski : il a été la personne la plus rapide à publier mon carré. C'était dans son article "Kwadraty bimagicze" publié dans la revue polonaise MMM = Magazyn Milosnikow Matematyki, numéro 18.
Puisque le problème ouvert 4 est maintenant résolu, je propose un nouveau défi, le but étant de trouver des carrés plus petits :
Construire des carrés bimagiques de nombres premiers, pour chaque ordre < 11
Nous avons plus haut un carré semi-bimagique d'ordre 4. Voici un carré semi-bimagique d'ordre 10, utilisant 100 nombres premiers consécutifs <= 571, en excluant seulement 2, 3, 5, 547 et 563. Un carré "quasi" bimagique : 10 lignes bimagiques, 10 colonnes bimagiques, 1 diagonale bimagique, l'autre diagonale étant "seulement" magique. Qui construira un carré pleinement bimagique d'ordre 10, ou d'un ordre plus petit ?
277 |
7 |
283 |
383 |
541 |
103 |
167 |
293 |
71 |
457 |
449 |
19 |
127 |
229 |
389 |
151 |
503 |
31 |
311 |
373 |
269 |
173 |
367 |
571 |
233 |
467 |
53 |
23 |
263 |
163 |
61 |
199 |
569 |
463 |
139 |
313 |
347 |
239 |
11 |
241 |
131 |
379 |
83 |
271 |
487 |
47 |
401 |
461 |
41 |
281 |
521 |
439 |
37 |
79 |
181 |
227 |
101 |
211 |
479 |
307 |
149 |
509 |
359 |
191 |
331 |
13 |
107 |
419 |
431 |
73 |
97 |
409 |
337 |
257 |
43 |
443 |
157 |
89 |
193 |
557 |
137 |
197 |
353 |
29 |
179 |
397 |
523 |
317 |
433 |
17 |
491 |
251 |
67 |
109 |
59 |
421 |
223 |
499 |
349 |
113 |
11 juin 2014, Jaroslaw Wroblewski a construit cet incroyable carré bimagique d'ordre 8. C'est aussi un carré magique pandiagonal, comme le carré de Tarry.
10413102601438193 |
12552954442285363 |
64858219275339011 |
69616564276909621 |
13721103289000213 |
10874533897093523 |
65198099109403231 |
67647104300475221 |
9918646092261563 |
14676991093832173 |
65352675784515641 |
67492527625362811 |
10258525926325783 |
12707531117397773 |
68660676472077661 |
65814107080170971 |
67991406116513851 |
66483377435734781 |
10927796281889593 |
12038260761833963 |
66021946140079451 |
66823257269799001 |
9249375736697753 |
15346261449395983 |
65867369464967041 |
66977833944911411 |
13051832933436403 |
11543804252657333 |
64188948919775201 |
70285834632473431 |
11082372957002003 |
11883684086721553 |
64999317008985881 |
67845886400892571 |
13522321188582863 |
11073315997510873 |
68307317696547901 |
66167465855700731 |
13862201022647083 |
9103856021076473 |
68461894371660311 |
66012889180588321 |
10059743825908433 |
12906313217815123 |
68801774205724531 |
64043429204153921 |
13367744513470453 |
11227892672623283 |
12698474157906643 |
11897163028187093 |
69471044561288341 |
63374158848590111 |
10729014181472243 |
12237042862251313 |
67792624016096501 |
66682159536152131 |
14531471378210893 |
8434585665512663 |
67638047340984091 |
66836736211264541 |
12853050833019053 |
11742586353074683 |
65668587364549691 |
67176616045328761 |
Il a utilisé cette méthode de construction :
k + at |
c + k + bs + bt |
d + k + as + bs |
c + d + k + as + at + bt |
c + k + as + bs + at |
k + as + bt |
c + d + k |
d + k + bs + at + bt |
k + as + bs |
c + k + as + at + bt |
d + k + at |
c + d + k + bs + bt |
c + k |
k + bs + at + bt |
c + d + k + as + bs + at |
d + k + as + bt |
c + d + k + as + at |
d + k + as + bs + bt |
c + k + bs |
k + at + bt |
d + k + bs + at |
c + d + k + bt |
k + as |
c + k + as + bs + at + bt |
c + d + k + bs |
d + k + at + bt |
c + k + as + at |
k + as + bs + bt |
d + k + as |
c + d + k + as + bs + at + bt |
k + bs + at |
c + k + bt |
d + k + bt |
c + d + k + bs + at |
k + as + bs + at + bt |
c + k + as |
c + d + k + as + bs + bt |
d + k + as + at |
c + k + at + bt |
k + bs |
d + k + as + bs + at + bt |
c + d + k + as |
k + bt |
c + k + bs + at |
c + d + k + at + bt |
d + k + bs |
c + k + as + bs + bt |
k + as + at |
c + k + as + bt |
k + as + bs + at |
c + d + k + bs + at + bt |
d + k |
k + bs + bt |
c + k + at |
d + k + as + at + bt |
c + d + k + as + bs |
c + k + bs + at + bt |
k |
c + d + k + as + bt |
d + k + as + bs + at |
k + as + at + bt |
c + k + as + bs |
d + k + bs + bt |
c + d + k + at |
avec ces paramètres :
Les 64 entiers du carré sont donnés par cette formule, où xi = 0 ou 1:
Avec le même ensemble (a, b, s, t), mais avec des (k, c, d) variés, il a ensuite rapidement trouvé 14 solutions. Voici la liste des 15 carrés bimagiques de nombres premiers de Wroblewsk, ordre 8, triés par leur NbMax. Le carré ci-dessus est la solution #8 dans cette liste.
Nicolas Rouanet, France, est un ingénieur travaillant au LATMOS, département optique. Ce "Laboratoire ATmosphères, Milieux, Observations Spatiales" est une UMR (Unité Mixte de Recherche) dépendant du CNRS, de l'Université de Versailles, et de la Sorbonne Université. De janvier à novembre 2018, Nicolas Rouanet a travaillé sur les carrés bimagiques de nombres premiers, ordres 5 à 25, et a obtenu ces excellents résultats :
Voici deux de ses carrés :
17 |
787 |
199 |
503 |
751 |
617 |
379 |
211 |
947 |
103 |
809 |
131 |
263 |
227 |
827 |
641 |
823 |
607 |
59 |
127 |
173 |
137 |
977 |
521 |
449 |
673 |
653 |
61 |
277 |
317 |
89 |
601 |
449 |
71 |
149 |
383 |
641 |
487 |
569 |
137 |
683 |
541 |
271 |
257 |
613 |
499 |
163 |
37 |
739 |
677 |
7 |
379 |
431 |
761 |
313 |
359 |
193 |
503 |
719 |
127 |
107 |
331 |
179 |
691 |
463 |
139 |
397 |
631 |
709 |
97 |
643 |
211 |
293 |
167 |
523 |
509 |
239 |
41 |
743 |
617 |
281 |
349 |
401 |
773 |
103 |
587 |
421 |
467 |
19 |
De novembre 2018 à avril 2020, indépendemment de Nicolas Rouanet, Huang Jianchao a construit cinq carrés bimagiques de nombres premiers consécutifs : ordres 24, 25, 26, 27, 28. Huang Jianchao est un professeur chinois de mathématiques, Nanyang Center School of China, Xiaoshan District, Hangzhou, Zhe Jiang Province.
Puisque Nicolas Rouanet et Huang Jianchao ont travaillé sur deux mêmes ordres, 24 et 25, on peut comparer les caractéristiques de leurs carrés :
|
Carrés bimagiques #1 de
Nicolas Rouanet |
Carrés bimagiques #2 de
Nicolas Rouanet |
Carrés bimagiques de Huang Jianchao |
||||||
Ordre |
Nbs premiers |
S1 |
S2 |
Nbs premiers |
S1 |
S2 |
Nbs premiers |
S1 |
S2 |
24 |
5 à 4241 |
47 018 |
129 551 040 |
5 à 4253 |
47 016 |
129 534 552 |
283 à 4721 |
57 490 |
177 744 912 |
25 |
5 à 4657 |
53 823 |
162 896 257 |
5 à 4679 |
53819 |
162 859 729 |
1609 à 6827 |
103 855 |
488 411 113 |
Carré magique de nombres premiers, une histoire abrégée
Comme indiqué dans son livre Amusements in Mathematics, page 125, il semble que le premier à avoir discuté du problème de construire des carrés magiques de nombres premiers ait été Henry Ernest Dudeney. C'était dans The Weekly Dispatch des 22 juillet et 5 août 1900. Hélas, à cette époque, "1" était considéré comme un nombre premier. La somme magique 111 de son carré 3x3 est la plus petite possible, en autorisant "1".
67 |
1 |
43 |
13 |
37 |
61 |
31 |
73 |
7 |
Harry A. Sayles a aussi étudié les carrés magiques de nombres premiers, et a probablement été le premier à publier le carré 3x3 correct, n'utilisant pas 1, avec la plus petite somme magique possible 1777. C'était en 1918, dans The Monist, page 142. Rudolph Ondrejka a trouvé plus tard le même carré, rapporté par Joseph M. Madachy en 1966 dans Mathematics on Vacation, page 95 (livre ensuite republié sous un autre titre, Madachy's Mathematical Recreations).
71 |
5 |
101 |
89 |
59 |
29 |
17 |
113 |
47 |
En 1914, Charles D. Shuldham a publié dans The Monist trois intéressants articles sur les carrés magiques de nombres premiers avec de nombreux exemples d'ordres variés, par exemple ce carré magique pandiagonal, page 608 :
73 |
41 |
13 |
113 |
23 |
103 |
83 |
31 |
107 |
7 |
47 |
79 |
37 |
89 |
97 |
17 |
André Gérardin, dans Sphinx-Oedipe, a publié différents carrés magiques de nombres premiers à partir de 1916. Par exemple, il donne cette intéressante méthode utilisant des sommes de carrés.
3² |
5² |
7² |
37² |
+ |
2² |
8² |
52² |
58² |
= |
13 |
89 |
2753 |
4733 |
37² |
7² |
5² |
3² |
52² |
58² |
2² |
8² |
4073 |
3413 |
29 |
73 |
||
5² |
3² |
37² |
7² |
58² |
52² |
8² |
2² |
3389 |
2713 |
1433 |
53 |
||
7² |
37² |
3² |
5² |
8² |
2² |
58² |
52² |
113 |
1373 |
3373 |
2729 |
On connaît maintenant de nombreux carrés magiques d'ordres variés, utilisant des nombres premiers. Je mentionne particulièrement les nombreux carrés et cubes d'Allan W. Johnson Jr. publiés dans différents numéros du Journal of Recreational Mathematics, comme par exemple ce carré magique pandiagonal.
41 |
109 |
31 |
59 |
37 |
53 |
47 |
103 |
89 |
61 |
79 |
11 |
73 |
17 |
83 |
67 |
Il faut aussi mentionner le fameux carré de Harry L. Nelson, qui a gagné le prix de 100$ offert par Martin Gardner : produire un carré 3x3 de nombres premiers consécutifs. Voir son article dans le Journal of Recreational Mathematics, 1988, pages 214-216.
1480028201 |
1480028129 |
1480028183 |
1480028153 |
1480028171 |
1480028189 |
1480028159 |
1480028213 |
1480028141 |
En 2004, je construisais les plus petits (et premiers connus) carrés magiques de carrés de nombres premiers : voir les carrés CB17 (4x4) et CB18 (5x5) du Supplément. Voir aussi le Puzzle 288 de Carlos Rivera.
En 2007, Jaroslaw Wroblewski et Hugo Pfoertner construisaient le premier carré magique connu de cubes de nombres premiers : voir leur carré magique 42x42.
Pour plus d'infos sur les carrés magiques de nombres premiers, voir :
En 2008, Raanan Chermoni et Jaroslaw Wroblewski ont trouvés le premier AP25 connu, une progression arithmétique de 25 nombres premiers :
6171054912832631 + 366384*23#*n, pour n = 0 à 24
(la notation 23# signifie 2*3*5*7*11*13*17*19*23
= 223092870)
Avec cet AP25, on peut facilement arranger ses 25 termes et construire ce carré magique pandiagonal de GROS nombres premiers :
6171054912832631 |
6743218519407191 |
7315382125981751 |
7478857442145911 |
8051021048720471 |
7070169151735511 |
7642332758310071 |
7805808074474231 |
6334530228996791 |
6906693835571351 |
7969283390638391 |
6498005545160951 |
6661480861325111 |
7233644467899671 |
7397119784063831 |
6824956177489271 |
6988431493653431 |
7560595100227991 |
8132758706802551 |
6252792570914711 |
7724070416392151 |
7887545732556311 |
6416267887078871 |
6579743203243031 |
7151906809817591 |
Pour les ordres 3 et 4, on peut construire des carrés magiques de nombres premiers encore plus gros, en utilisant les meilleurs AP9 et AP16 connus ; état des recherches sur http://users.cybercity.dk/~dsl522332/math/aprecords.htm
Par exemple, avec le plus gros AP9 connu, calculé en 2012 par Ken Davis et Paul Underwood:
(65502205462 + 6317280828*n)*2371# + 1, pour n = 0 à 8
on peut construire un carré magique 3x3 de nombres premiers où le plus gros entier utilisé est ce nombre premier de 1014 chiffres !
6528 1797806551 4223969026 9465606678 8430413319 5255367568 8539223625 1894181816 2295567702 4019319671 9333832115 0061841041 7707195791 2803140095 8352804788 0185757536 6154874648 2856691539 8087025088 4358010975 5464536678 5697944644 8414005984 6147638197 4705147888 5491138440 0220327868 7363977428 2737801931 0520928772 5273502621 1160921647 5304393339 1767016703 7815224345 8891520911 6236415078 7937941027 3482586307 9771751835 2416069216 0455877228 7165528915 4691222310 5931802968 4750663643 9321249501 1529753060 2177270003 6356499195 3633416904 8702177467 8208223768 2956050987 5838438258 6851826872 9197546602 0234999349 2497621917 2738581161 9415122224 0117864207 4840555878 0205737919 5478023001 3058669932 0674106178 5760186912 4008237951 0383731554 0581804537 9660820190 6498476783 7685256998 6181217269 0236312263 0511714243 8492521158 0685298127 3315053479 1728430089 8633989547 0948111232 3941740735 3710609506 4479145195 2658117032 6376052349 8051287376 8947506973 0311459443 4926045579 0413748638 7963946563 1310017137 7738751714 9720291376 3358218759 4500584427 7708805850 0049908410 1090288421
En 2013 et 2014, Jaroslaw Wrobleski, puis Max Alekseyev, ont envoyé à Natalia Makarova (via http://dxdy.ru/post751928.html#p751928) ces carrés pandiagonaux de nombres premiers consécutifs. Max Alekseyev, déjà auteur d'un cube magique multiplicatif 4x4x4, a annoncé que son carré a la plus petite somme magique possible (S=682775764735680) pour de tels carrés : http://oeis.org/A245721.
320572022166380833 |
320572022166380921 |
320572022166380849 |
320572022166380917 |
320572022166380909 |
320572022166380857 |
320572022166380893 |
320572022166380861 |
320572022166380911 |
320572022166380843 |
320572022166380927 |
320572022166380839 |
320572022166380867 |
320572022166380899 |
320572022166380851 |
320572022166380903 |
170693941183817 |
170693941183933 |
170693941183949 |
170693941183981 |
170693941183979 |
170693941183951 |
170693941183847 |
170693941183903 |
170693941183891 |
170693941183859 |
170693941184023 |
170693941183907 |
170693941183993 |
170693941183937 |
170693941183861 |
170693941183889 |
En 2018, 14 ans après mes carrés magiques de carrés de nombres premiers, ordres 4 and 5, Nicolas Rouanet a construit des carrés pour les ordres 6, 7, 8. Voir aussi son carré BImagique d'ordre 8.
101² |
73² |
37² |
107² |
61² |
131² |
113² |
127² |
29² |
139² |
7² |
11² |
149² |
17² |
97² |
31² |
109² |
67² |
41² |
53² |
79² |
71² |
83² |
163² |
47² |
157² |
59² |
103² |
89² |
19² |
13² |
5² |
167² |
43² |
137² |
23² |
Pour plus d'infos sur les carrés magiques de nombres premiers, voir :
Retour à la page d'accueil http://www.multimagie.com