Carrés bimagiques et trimagiques pandiagonaux


Un carré magique pandiagonal est un carré magique qui a une propriété supplémentaire: toutes ses diagonales brisées sont magiques. Beaucoup de carré magiques pandiagonaux d'ordres variés sont connus. Les plus petits carrés magiques pandiagonaux sont d'ordre 4. Parmi les 880 différents carrés magiques d'ordre 4, seulement 48 sont pandiagonaux. Voici l'un d'eux :

Dans le carré ci-dessus, les deux diagonales 3+9+14+8 et 10+4+7+13 ont la somme correcte 34. Mais aussi les diagonales brisées, comme par exemple 10+16+7+1, 15+5+2+12, 6+4+11+13,...

Il est plus difficile de créer un carré magique pandiagonal qui est également un carré bimagique. Le premier a été publié en 1903 par Gaston Tarry, dans le Compte-Rendu de la 32ème Session (Angers) de l'AFAS :

a+p+r

b-c+q-r+s

b+d+p

a+c+d+q+s

b+p+r+s

a+c+q-r

a+d+p+s

b-c+d+q

>>>

9

51

8

62

44

18

37

31

b+p

a+c+q+s

a+d+p+r

b-c+d+q-r+s

a+p+s

b-c+q

b+d+p+r+s

a+c+d+q-r

4

58

13

55

33

27

48

22

a+c+d+p+r+s

b+d+q-r

b-c+p+s

a+q

b-c+d+p+r

a+d+q-r+s

a+c+p

b+q+s

46

24

35

25

15

53

2

60

b-c+d+p+s

a+d+q

a+c+p+r+s

b+q-r

a+c+d+p

b+d+q+s

b-c+p+r

a+q-r+s

39

29

42

20

6

64

11

49

a+d+q-r

b-c+d+p+r+s

b+q

a+c+p+s

b+d+q-r+s

a+c+d+p+r

a+q+s

b-c+p

21

47

28

34

56

14

57

3

b+d+q

a+c+d+p+s

a+q-r

b-c+p+r+s

a+d+q+s

b-c+d+p

b+q-r+s

a+c+p+r

32

38

17

43

61

7

52

10

a+c+q-r+s

b+p+r

b-c+d+q+s

a+d+p

b-c+q-r

a+p+r+s

a+c+d+q

b+d+p+s

50

12

63

5

19

41

30

40

b-c+q+s

a+p

a+c+d+q-r+s

b+d+p+r

a+c+q

b+p+s

b-c+d+q-r

a+d+p+r+s

59

1

54

16

26

36

23

45

1903: Une famille de carrés magiques pandiagonaux qui sont aussi des carrés bimagiques, par Gaston Tarry, France
Condition nécessaire pour des diagonales bimagiques : r(a-b) = c(p-q).
A droite, son exemple avec (a, b, c, d) = (1, 4, 1, 4) et (p, q, r, s) = (0, 24, 8, 32).

Dans le carré ci-dessus d'ordre 8 de Tarry :

En janvier-février 2012, Francis Gaspalou a énuméré les carrés obtenus par la méthode ci-dessus de Tarry : voir le fichier PDF de Gaspalou (en anglais), ainsi que son étude de la méthode de Coccoz ici.
En octobre-novembre 2013, Holger Danielsson a travaillé sur dix autres familles similaires de carrés 8x8, aussi inventées par Tarry : voir le fichier PDF #1 de Danielssson (en anglais) et le fichier PDF #2 (liste de carrés).

Dans le carré ci-dessus d'ordre 8 de Schots :

2000: Un carré bimagique pandiagonal non-normal avec toutes ses diagonales brisées bimagiques,
S1 = 19 674, S2 = 31 866 762, par Su Maoting, China

66

1921

98

1913

56

1834

1457

1226

1342

1330

1284

1431

1756

132

1839

36

1939

 14

339

385

217

918

2109

888

2128

711

2118

2066

773

2110

812

2183

944

295

397

281

100

54

1473

78

1297

1899

1218

1850

1804

1786

1902

1292

1961

1375

2

1415

80

88

962

824

353

733

323

2129

262

2158

2175

2117

2080

250

2055

297

751

429

876

900

1345

1481

1281

133

1826

38

1838

34

1943

1917

46

1914

96

1764

55

1229

1407

1327

703

2063

813

2113

940

2133

417

294

341

279

218

365

2159

922

2125

887

2121

781

1808

1293

1882

1305

1959

1418

1

85

30

104

103

79

1470

1901

1367

1870

1217

1782

2081

2115

2105

230

748

301

879

428

892

970

354

821

319

736

282

2079

2177

2157

1893

1915

49

1766

93

1249

125

1323

1406

1482

1349

63

1261

41

1824

31

1837

1967

219

349

2155

362

2145

925

2123

837

704

780

863

2061

937

2093

420

2137

271

293

29

9

107

1904

1450

1867

1365

1832

1216

1294

1758

1307

1885

1438

1956

81

71

105

404

969

316

819

285

716

2107

2083

2082

2156

2101

2185

768

227

881

304

893

378

1405

65

1299

61

1264

27

1821

1968

1907

1845

1892

1769

53

1246

73

1373

123

1483

859

779

957

2131

422

2090

272

2140

269

243

2152

348

2148

360

2053

905

705

841

1286

1310

1757

1435

1889

131

1936

106

69

11

28

1924

57

1863

1453

1833

1362

1224

2098

2106

771

2184

811

225

894

284

400

382

336

968

287

889

2108

713

2132

2086

1905

1789

1891

1242

3

1374

76

1413

120

68

1475

58

1298

77

1268

1969

1801

1847

2172

247

2150

347

2054

430

755

902

856

844

960

729

352

2130

273

2088

265

2120

Le carré ci-dessus d'ordre 18 construit par Su Maoting en 2000 est un très intéressant carré bimagique pandiagonal avec toutes ses diagonales brisées bimagiques... MAIS c'est un carré magique non-normal : il utilise des nombres non consécutifs.

 Su Maoting

Six années plus tard, en février 2006, Su Maoting était le premier à réussir à construire un carré normal bimagique pandiagonal, utilisant des entiers consécutifs et ayant toutes ses diagonales brisées bimagiques. Beaucoup de personnes (moi y compris...) pensaient que ce problème était peut-être impossible. Un difficile problème posé depuis plus d'un siècle. Félicitations ! Son carré est d'ordre 32. Su Maoting a 45 ans, et vit dans la province de Fujian, en Chine. Il travaille dans une société de transports automobiles.

Est-il possible de construire un carré bimagique pandiagonal plus petit que l'ordre 32 utilisé par Su Maoting? Si vous avez quelques résultats sur ce problème, envoyez-moi un message ! Je serai heureux de rajouter vos résultats dans cette page. Voir aussi quelques autres problèmes multimagiques non résolus.

En février-avril 2009, Li Wen, Chine, a construit d'autres carrés normaux bimagiques pandiagonaux d'ordres plus grands :

et en février 2009, Li Wen était le premier à réussir à construite un carré non-normal TRImagique pandiagonal, toutes ses diagonales brisées sont trimagiques. Ses 156816 entiers utilisés sont distincts mais non consécutifs : l'entier maximal utilisé est 278259381. Et une incroyable propriété supplémentaire : c'est aussi un carré PENTAmagique, ce qui signifie que ses lignes, colonnes et deux diagonales principales sont magiques jusqu'à la puissance 5 !!! Li Wen était déjà célèbre en construisant en 2003 son carré pentamagique d'ordre 729, qui est toujours aujourd'hui le carré normal pentamagique le plus petit connu (voir les records multimagiques).

En 2011, Chen Kenju, Li Wen, et Pan Fengchu ont publié "A family of pandiagonal bimagic squares based on orthogonal arrays" dans le Journal of Combinatorial Designs, Vol. 19, Numéro 6, Novembre 2011, p. 427-438. Voici leur résumé :

La même année, Pan Fengchu a construit des carrés pandiagonaux bimagiques d'ordre n ≥ 32 avec pgcd(n,72) = 1 ou 9:

En 2012, Li Wen, Wu Dianhua, et Pan Fengchu ont publié "A construction for doubly pandiagonal magic squares" dans Discrete Mathematics, Vol. 312, Numéro 2, 28 janvier 2012, p. 479-485. Voici leur résumé :

"Doubly magic" signifie ici "bimagique". la partie important de leur article est ce théorème :

Cela explique par exemple pourquoi les carrés ci-dessus d'ordre 77 = 11*7 et 91 = 13*7, construits par Li Wen en 2009, sont possibles.

En 2015, Li Wen a construit un carré pandiagonal bimagique d'ordre 385. Difficile de construire de tels carrés d'ordre pqr, avec p, q, r premiers différents ! Ici 385 = 5*7*11.


Retour à la page d'accueil http://www.multimagie.com