SUR LE CARRÉ DE 3 ET SUR LES CARRES A DEUX DEGRES
Pour trouver tous les carrés magiques de 3, on commence par diminuer tous les éléments du tiers de la somme constante; alors la somme des nombres de chaque ligne, de chaque colonne, de chaque diagonale est nécessairement égale à zéro.
En exprimant d'abord que la somme est nulle pour chaque ligne et pour chaque colonne, le carré a forcément la forme suivante :
c ci — c —d
Si Ton exprime que la somme des nombres placés dans chacune des diagonales est nulle, on a les conditions
2a.-\- 2d-h b -^c^zo, d -— 2a — b — c^=o;
Note II. 225
ea ajoutant, on trouve ^ = o, et si Ton pose
b -h C=: 2pj b — C=2^,
le carré devient
Il ne peut y en avoir d'autres à somme nulle. Ce carré est formé des trois progressions arithmétiques
II —p, G, p,
de même raison /?. Déplus, dans la progression intermédiaire II, chacun des termes est égal à la demi-somme des termes correspondants des deux autres; ces conditions subsistent dans le carré magique dont la constante n'est pas nulle. On a donc ce théorème :
Pour former un carré magique avec neuf nombres, il faut et il suffit que ces nombres appartiennent à trois progressions arithmétiques de même raison et que le premier terme de l'une d'acnés soit égal à la demi-somme des premiers termes des deux autres.
Lorsque ces conditions sont remplies, le problème ne comporte qu'une seule solution.
E. Lucas. — Récréations mathém , IV. i5
226 Note II.
Si l'on considère le Tableau des neuf quantités
/?'-+- 3-— r« — 5«, ^{qf'-^ps)y 2(qs—pr),
2(qr-'ps], p^-\-r^ — q'-s\ 2[rs-^pq],
2[qs-\-pr], 2{rs—pq), p^-h s^— q^— r-,
on obtient un carré magique dans lequel la somme des carrés des nombres contenus dans une même ligne ou dans une même colonne est égale au carré de {p^-h q^-\- r*-+- 5-). Ce Tableau est extrait du tome Idela Théorie des Nombres {ç. 129), qui a paru en 1891 à la librairie Gauthier-Villars.
Le no 2 des Tablettes du Chercheur contient un très remarquable carré magique de 8, à deux degrés, qui a été obtenu par M. Pfeffermann. En d'autres termes, il s'agit de disposer les 64 premiers nombres sur les cases de Téchiquier, de telle sorte que la somme des termes de chaque ligne, de chaque colonne et de chaque diagonale soit la même; et, de plus, que si Ton remplace tous les nombres par leurs carrés, le carré reste magique.
Nous allons faire voir que le problème est impossible pour le carré de 3, avec des nombres inégaux, et qu'il est impossible pour le carré de 4, en prenant seize nombres consécutifs. En effet, on doit d'abord remarquer qu'un carré magique à deux degrés conserve toutes ses propriétés lorsqu'on augmente tous les termes d'un nombre quelconque x. Lorsqu'un terme ^ devient (x -ha),
son carré devient
jc^ -h 2 ^ jc -f- fl- ;
par conséquent, en supposant, par exemple, un carré de 4, et en désignant par a, by c, d les termes d'une rangée ou d'une diago-
Kote IL 227
nale, on a, pour les rangées et les diagonales,
Si et S) désignant les constantes pour le premier degré et le second. En augmentant de x tous les éléments du carré, la somme des termes d'une rangée devient
(a: -+- a) -+-(^ -H *) -H (j: -h c) -H (j: -h ^) = 4JC 4- Si
et augmente de 4^; d'autre part, la somme des carrés des nombres d'une rangée devient
[x H- a)' -h (x -4- by -\-[x-\- cY H- (a: -h d]- — 4^:» + 2X S, 4- S,;
elle augmente, pour chacune des rangées ou des diagonales, de la même quantité ^x--\- 2X S,.
Au lieu d'augmenter de at, .on peut diminuer tous les termes de x\ ainsi, pour le carré de 3, en égalant la somme des carrés de deux lignes ou de deux colonnes, on obtient p^=^o o\i q^=^o. Donc, il n'existe pas de carré de 3, à deux degrés, formé de nombres tous différents.
De même, si un carré de 4, à deux degrés, est formé de seize nombres consécutifs, on^ peut le supposer formé des nombres de I à 16; alors Sjr^: 84 et 82= 374. Le nombre 16-1=: 25 6 doit appartenir à deux rangées; mais
n'est décomposable que d'une seule manière en somme de trois
228 Note II,
carrés inégaux deux à deux, 8i, 36 et i. Donc, // est impossible de faire un carré magique à deux degrés avec i6 nombres consécutifs.
