Quelques remarques et algorithmes sur les carrs magiques

Ce laus ne parle pratiquement que de carrs magiques dordre impair. Il est accompagn de 3 chiers scilab : NombresCM qui donne le nombre de carrs magiques dordre n, quel que soit lentier n 3. Ce chier nest pratiquement utilisable que pour n = 3. Bachet , qui associe tout entier n 3, impair, un carr magique dordre n construit suivant la mthode de Claude-Gaspard Bachet. Siam , qui associe tout entier n 3, impair, un carr magique dordre n construit suivant une mthode indienne rapporte du Siam par Simon de La Loubre.

Introduction

Des carrs magiques sont connus depuis longtemps. Ils auraient t invents en Chine ancienne, voir [4]. Pour nous, un carr magique dordre n (entier 3) est un tableau n lignes et n colonnes (une matrice carre) form avec les entiers de 1 n2 , chacun deux tant utilis une seule fois, de sorte que la somme des nombres sur toutes les lignes, toutes les colonnes ainsi que sur les deux diagonales soient gales un mme nombre sn 1 . Le cas n = 1 est dgnr et ne prsente donc aucun intrt. De plus, il est assez vident quil nexiste pas de carr magique dordre 2. Pour tout entier n 3, sn vrie : n2 n2 (n2 + 1) n s n = i= 2 i=1 (en additionnant les nombres ligne par ligne puis en additionnant les sommes obtenues (premier membre) ou en additionnant tous directement). On en dduit que sn = n(n2 + 1) 2

Appelons ce nombre constante magique dordre n comme dans [4]. Carrs magiques dordre 3 On peut se demander sil existe un carr magique dordre 3 et essayer den crire un en ttonnant. Ce nest pas si simple. 1 - La constante magique dordre 3 est s3 = nombres a, b, c et d du tableau
3(32 +1) 2

Feuille1 = 15. Un mathmaticien se dira que si les

a b c d

sont le dbut dun carr magique, la somme des nombres sur la ligne 1 puis 2, sur la colonne 1 puis 2
1. Dans [4], ces carrs magiques sont appels normaux.

et enn sur la premire diagonale tant 15, les nombres manquants sont respectivement 15 (a + b), 15 (c + d), 15 (a + c), 15 (b + d) et 15 (a + d). Si nous avons un carr magique, la somme des nombres sur la ligne 3, la colonne 3 et sur la deuxime diagonale est 15, autrement dit un systme de 2 quations (car une quation apparat deux fois) est vri : 30 = 2a + b + c + 2d 15 = 2a + b + c d ce qui quivaut d = 5 2a + b + c = 20 (1)

Les nombres a = 4, b = 9, c = 3, d = 5 dune part, a = 8, b = 1, c = 3, d = 5 dautre part vrient le systme prcdent. On vrie que ces choix conduisent eectivement deux carrs magiques dordre 3. Ils se trouvent dans la colonne de gauche de la gure 1.1 ci-dessous. radians autour du coin en Ensuite, on peut remarquer que si on fait tourner un carr magique de 2 bas droite dans le sens des aiguilles dune montre, on obtient encore un carr magique. En rptant ces rotations sur les 2 carrs magiques que nous venons dobtenir, nous obtenons nalement 8 carrs Feuille2 magiques dordre 3 dirents :
4 9 2 3 5 7 8 1 6 8 1 6 3 5 7 4 9 2 8 3 4 1 5 9 6 7 2 4 3 8 9 5 1 2 7 6 6 1 8 7 5 3 2 9 4 2 9 4 7 5 3 6 1 8 2 7 6 9 5 1 4 3 8 6 7 2 1 5 9 8 3 4

Figure 1.1 La question qui se pose alors est : a-t-on obtenu tous les carrs magiques dordre 3 ? La rponse est oui. Cela devrait pouvoir se dduire du systme (1). Nous prfrons une solution algorithmique : lalgorithme NombreCM , particulirement rustique, engendre, pour tout entier n pair ou impair, toutes les matrices carres (n n) dont lensemble des lments est (1, 2, . . . , n2 ) et compte ceux qui sont magiques. Cette mthode a malheureusement besoin de beaucoup de mmoire : elle utilise en eet une matrice de taille ((n2 ) ! n2 ) soit 362880 9 si n = 3. scilab a pu excuter le calcul dans ce cas mais a manqu de mmoire ds que n = 4 !

Carrs magiques dordre impair : mthode de Bachet

Claude-Gaspard Bachet semble tre lauteur de cette mthode lgante qui daterait donc du dbut du XVIIme sicle, cf. [5]. Elle permet de fabriquer, pour tout entier impair n 3, un carr magique dordre n. Ce texte est accessible en ligne : il sagit du problme XXI de [1], pp. 88-114. Description de la mthode de Bachet On commence par placer dans un tableau carr de (2n 1) (2n 1) cases la liste des entiers de 1 n2 disposs comme dans le premier carr (lexemple trait correspond au cas n = 7). On a mis en 1 1 premires lignes et en vert le tableau form des n lignes exergue en jaune le tableau form des n 2 2 conscutives partir de la ligne de rang n + 1 :

Feuille1 1 8 15 22 29 36 43 44 45 46 47 48 49 37 38 39 40 41 42 30 31 32 33 34 35 23 24 25 26 27 28 16 17 18 19 20 21 9 10 11 12 13 14 2 3 4 5 6 7 43 44 45 36 37 38 29 30 31 22 23 24 25 32 1 26 39 8 33 2 27 46 15 40 9 34 3 28 47 48 49 41 42 35 16 17 18 19 20 21 10 11 12 13 14 4 5 6 7

43 44 45 46 47 15 39 48 49 42 40 8 32 41 9 33 1 25 34 2 26 35 3 27 28 21 14 7 20 13 6 19 12 5 18 11 4 38 31 24 17 10 37 30 23 16 49 42 48 36 29 22 46 47 15 39 40 8 32 45 38 44

43 36 37 30 31 24 17 18 19 20 21 14 7 13 6 12 5 11 4 10 23 16 29 22

41 9 33 1 25 34 2 26 35 3 27 28

Figure 2.1 On a obtenu le second carr en faisant glisser le rectangle jaune du premier carr sur son rectangle vert. Le troisime a t obtenu en tournant le deuxime carr de radians dans le sens rtrograde 2 autour de son sommet en bas droite. Le quatrime carr est identique au troisime aux couleurs prs. Nous avons restitu les couleurs du premier pour indiquer que nous allons recommencer 3 fois les mmes manipulations. On obtient alors le carr suivant :
Feuille2

22 47 16 41 10 35 4 5 23 48 17 42 11 29 30 6 24 49 18 36 12 13 31 7 25 43 19 37 38 14 32 1 26 44 20 21 39 8 33 2 27 45 46 15 40 9 34 3 28

Page 1

Figure 2.2 3

On peut vrier que le carr central jaune est un carr magique dordre 7. Autres exemples 1 - Le premier des carrs magiques de la gure 1.1 est le carr magique dordre 3 obtenu par la mthode de Bachet. 2 -Voici le carr magique dordre 13 fourni par la mthode de Bachet :
Feuille1 79 164 67 152 55 140 43 128 31 116 19 104 7 8 93 80 165 68 153 56 141 44 129 32 117 20 92 9 81 166 69 154 57 142 45 130 33 105 21

22 94 10 82 167 70 155 58 143 46 118 34 106 107 23 95 11 83 168 71 156 59 131 47 119 35 36 108 24 96 12 84 169 72 144 60 132 48 120 121 37 109 25 97 13 85 157 73 145 61 133 49 50 122 38 110 26 98 1 86 158 74 146 62 134 2 87 159 75 147 63 88 160 76 148 89 161 77 90 162 91

135 51 123 39 111 14 99

64 136 52 124 27 112 15 100 3

149 65 137 40 125 28 113 16 101 4

78 150 53 138 41 126 29 114 17 102 5

163 66 151 54 139 42 127 30 115 18 103 6

Figure 2.3 Algorithme de la mthode de Bachet : Quel que soit lentier n 3 impair, lalgorithme Bachet fournit la matrice (n n) dni par la mthode de Bachet et vrie quil sagit bien dun carr magique dordre n. Avec le systme dont nous disposons, nous avons calcul assez rapidement un carr magique dordre 1201 laide de Bachet . Nous navons pas cherch savoir jusquo on peut aller.

Carrs magiques dordre impair : mthode siamoise

Comme la mthode de Bachet, la mthode siamoise, cf. [6], ne sapplique quaux carrs magiques dordre n impair et fournit, pour chaque valeur de n, un carr magique particulier. Trs ancienne, elle est due des mathmaticiens indiens. Voici comment elle est dcrite dans [6], dans le cas n = 7. On commence par crire une matrice (n n) dont tous les lments sont nuls sauf celui qui occupe ) qui vaut 1 : la case (1, n+1 2

Page 1

Feuille1 1 1 1

3 2 1 1 6 5 4 3 2 1 7 6 5 4 3 2 2 3 5 4 6 7 8 1 2 3 2 4 3 5 4 1 2

Figure 3.1 Ensuite, supposons que lon vienne de placer lentier k dans la case (i, j ). Si i = 1 et j = n, ou, dans le cas contraire, si la case (i , j ) 2 est dj occupe, on place k + 1 dans la case (i + 1, j ) ; sinon, k + 1 est plac dans la case (i , j ) qui est libre. On sarrte lorsque lentier n2 a t plac. En principe, toutes les cases sont alors occupes et forment un carr magique dordre n. Cela na rien dvident. Lalgorithme Siam excute ce programme et pour les valeurs de n testes, nous avons eectivement obtenu un carr magique : la vrication est faite par Siam . On peut faire la main le cas n = 7 par exemple. La gure 3.1 montre comment sont placs successivement les entiers 2, . . . , 8. On obtient nalement le carr magique suivant : Feuille2
30 39 48 1 10 19 28 38 47 7 46 6 9 18 27 29 8 17 26 35 37

5 14 16 25 34 36 45 13 15 24 33 42 44 4 21 23 32 41 43 3 12
1 22 31 40 49 2 Page 11 20

Figure 3.2 Le carr magique dordre 3 donn par la mthode siamoise est le cinquime de la gure 1.1. Avec le systme dont nous disposons, nous avons calcul un carr magique dordre 1201 laide de Siam . Le calcul a paru plus long quavec la mthode de Bachet, sans doute cause des nombreux tests eectuer. Nous navons pas cherch savoir jusquo on peut aller.
2. o i = i 1 si i > 1, n sinon et o j = j + 1 si j < n, 1 sinon

Conclusion

Les dmonstrations des mthodes de Bachet et siamoise se trouveraient dans [1] et dans [6] respectivement. Bachet propose aussi une construction de carrs magiques dordre pair ([1]). Nous ne savons pas sil existe une formule donnant le nombre de carrs magiques dordre pair ou impair donn. Comme dhabitude, mme ici sur une question mineure comme les carrs magiques, qui ne sont quune curiosit, il nest pas dicile de se poser des problmes redoutables.

Rfrences
[1] Claude-Gaspard Bachet : Problmes plaisants et dlectables qui se font par les nombres, Cinquime dition revue, simplie et augmente par A. Labosne, Paris, Gauthier-Villars (1884). http://cnum.cnam.fr/CGI/fpage.cgi?8PY45/91/130/246/0/0 [2] Pierre Laptre : Programmation avec Xcas Carrs magiques impairs http://irem.univ-lille1.fr/activites/spip.php?article179 [3] Simon de la Loubre : A new historical relation of the kingdom of Siam Ithaca, New York : Cornell University Library http://digital.library.cornell.edu/cgi/t/text/text-idx?c=sea;idno=sea130 [4] Wikipedia : Carr magique (mathmatiques) http://fr.wikipedia.org/wiki/Carre_magique_(mathematiques) [5] Wikipedia : Claude-Gaspard Bachet de Mziriac http://fr.wikipedia.org/wiki/Claude-Gaspard_Bachet_de_Meziriac [6] Wikipedia (en anglais) : Siamese method http://en.wikipedia.org/wiki/Siamese_method