On Arithmetic Progressions and a Proof of the Nonexistence of Magic Squares of Squares

Ce papier explore les propriétés de progressions arithmétiques de nombres impairs pour démontrer qu'aucun carré magique $3\times3$ composé d'entiers carrés distincts n'existe.

L'essentiel

🎲 Le Grand Mystère du Carré Magique de Carrés

Imaginez un jeu de Sudoku, mais au lieu de chiffres de 1 à 9, vous devez remplir une grille de 3x3 avec des nombres qui sont eux-mêmes des carrés (comme 1, 4, 9, 16, 25, etc.).

La règle du jeu est stricte :

1. Chaque ligne, chaque colonne et les deux diagonales doivent additionner exactement le même total (on appelle ça la "constante magique").
2. Tous les nombres doivent être différents.

Depuis des siècles, les mathématiciens se demandent : Est-il possible de construire un tel carré ?

• On sait que ça marche pour des carrés de 4x4 (Euler l'a fait en 1770).
• Mais pour un carré de 3x3, personne n'y est jamais arrivé. Des gens ont essayé de tricher (en répétant des nombres ou en ayant des sommes différentes), mais un vrai carré magique de carrés de 3x3 semblait introuvable.

Ce papier, écrit par Oscar Hill, vient enfin apporter la réponse : Non, c'est impossible. Voici comment il le prouve, sans utiliser de formules compliquées.

---

🚂 L'Analogie des Trains de Nombres Impairs

Pour comprendre la preuve, il faut d'abord regarder comment fonctionnent les nombres carrés (1, 4, 9, 16...).
Si vous regardez la différence entre deux carrés consécutifs (4-1=3, 9-4=5, 16-9=7), vous obtenez une suite de nombres impairs : 3, 5, 7, 9...

Oscar Hill imagine ces nombres comme des trains qui roulent sur une voie ferrée.

• Chaque "train" est une séquence de nombres impairs consécutifs.
• La longueur du train et son point de départ (son "décalage") déterminent la somme totale des wagons.

L'auteur se concentre sur des paires de trains qui ont exactement la même longueur de voie et la même somme totale de wagons, mais qui partent de points de départ différents. C'est comme si deux trains transportaient le même poids de marchandises, mais l'un partait de la gare A et l'autre de la gare B.

🧩 Le Puzzle du Carré Magique

Pour qu'un carré magique de 3x3 existe, il faut que les nombres soient disposés de manière très précise.
L'auteur montre que si un tel carré existait, il faudrait obligatoirement trois paires de ces trains spéciaux qui s'emboîtent parfaitement les uns dans les autres.

Imaginez que vous essayez de construire une tour de trois étages avec ces trains :

1. Le premier étage doit être une paire de trains qui s'équilibrent.
2. Le deuxième étage doit être une autre paire, tout aussi équilibrée.
3. Le troisième étage doit être une troisième paire.

Et le plus important : ces trois paires doivent avoir exactement la même somme totale (c'est la règle du carré magique).

⚖️ La Preuve : Le Conflit Inévitable

C'est ici que la magie opère (ou plutôt, la logique implacable).

Oscar Hill prend ses équations et ses trains, et il les fait "collider". Il demande : "Si je force ces trois paires de trains à avoir la même somme, que se passe-t-il ?"

La réponse est surprenante :
Pour que tout s'aligne parfaitement et que les sommes soient égales, les trois paires de trains doivent devenir identiques.

• Le train de gauche doit être le même que celui du milieu.
• Le train du milieu doit être le même que celui de droite.

Mais attention ! La règle du jeu (le carré magique) exige que tous les nombres soient différents.
Si les trains sont identiques, alors les nombres dans le carré sont identiques.

• Si les nombres sont identiques, ce n'est plus un "vrai" carré magique (c'est un carré "triché" ou semi-magique).
• Si on essaie de les rendre différents, les mathématiques montrent que les sommes ne peuvent plus être égales.

🏁 Conclusion : Le Mur Invisible

En résumé, Oscar Hill a prouvé que les mathématiques imposent un mur invisible.
Vous pouvez essayer de construire ce carré de 3x3 avec des nombres carrés, mais vous vous heurterez toujours à un paradoxe :

• Soit vous avez des sommes égales, mais des nombres répétés (ce qui est interdit).
• Soit vous avez des nombres différents, mais les sommes ne s'alignent jamais.

C'est comme essayer de faire tenir un cube de glace dans un moule qui est trop petit : peu importe comment vous le tournez, il ne rentrera jamais parfaitement.

Le verdict final : Un carré magique de 3x3 composé uniquement de nombres carrés distincts n'existe pas. Le mystère est résolu, et la porte est fermée pour toujours !

Résumé technique

1. Le Problème

L'article s'attaque à un problème mathématique ouvert de longue date : l'existence d'un carré magique d'ordre 3 composé exclusivement de carrés d'entiers distincts.

• Un carré magique est une grille $n \times n$ d'entiers distincts où les lignes, les colonnes et les deux diagonales principales somment à une même constante (la constante magique).
• Bien qu'Euler ait construit un carré magique $4 \times 4$ de carrés en 1770, et que des résultats récents aient prouvé l'existence de tels carrés pour tout ordre $n \ge 4$, le cas de l'ordre $n=3$ reste une énigme. De nombreux « carrés semi-magiques » (avec des entrées répétées ou des constantes multiples) ont été trouvés, mais aucun vrai carré magique de carrés distincts n'a jamais été découvert.

2. Méthodologie

L'auteur, Oscar Hill, adopte une approche novatrice basée sur les propriétés des progressions arithmétiques (PA) de nombres impairs, plutôt que sur l'analyse directe des équations diophantiennes classiques.

• Lien entre carrés et PA : L'article rappelle que les différences entre carrés d'entiers consécutifs ($(x+1)^2 - x^2 = 2x+1$) forment une progression arithmétique de nombres impairs.
• Définition de paires de PA : L'auteur introduit le concept de « paires de PA consécutives » ($P$) ayant la même somme ($\Sigma_P$). Il définit des notations pour les décalages (offsets) et les longueurs de ces progressions.
• Modélisation du Carré Magique :
  • Le carré magique $3 \times 3$ est décomposé en fonction de ses constantes de différence ($D_1$ pour les lignes/colonnes, $D_2$ pour les diagonales).
  • La condition que tous les éléments soient des carrés implique l'existence de trois paires de PA distinctes ($P_1, P_2, P_3$) partageant la même somme $D_1$.
  • La structure impose également l'existence de deux progressions intermédiaires ($p_A, p_B$) de somme $D_2$, situées entre ces paires.
• Analyse Algébrique :
  • L'auteur exprime la somme des paires de PA en fonction de paramètres rationnels ($\kappa, \alpha$).
  • Il établit des relations entre les longueurs des progressions et les paramètres de décalage.
  • Une équation complexe (Équation 29) est dérivée en combinant les contraintes de somme des paires et des progressions intermédiaires.

3. Contributions Clés

La contribution principale de l'article réside dans la reformulation du problème du carré magique de carrés en un problème de compatibilité de progressions arithmétiques.

• Théorème 3.1 : L'article prouve formellement qu'il est impossible de construire un carré magique $3 \times 3$ composé uniquement de carrés d'entiers distincts.
• Lemme 3.2 : Il démontre que pour que la structure du carré magique soit valide, les sommes des progressions intermédiaires ($\Sigma p_A$ et $\Sigma p_B$) doivent être égales, quelle que soit la configuration relative des paires de PA (ordre croissant, chevauchement, ou ordre décroissant).
• Analyse de Contradiction : En développant l'équation (29) et en comparant les termes de gauche (LHS) et de droite (RHS), l'auteur montre que l'égalité ne peut être satisfaite que si les paramètres des progressions sont identiques.

4. Résultats

La preuve aboutit à une contradiction logique :

1. L'analyse des coefficients de l'équation dérivée impose que le rapport $\beta_1$ entre les longueurs des progressions soit égal à 1 ($\beta_1 = 1$).
2. Cela implique que les longueurs des progressions sont égales ($Pn_1 = Pn_2$).
3. Étant donné que les sommes des paires de PA sont égales ($\Sigma P_1 = \Sigma P_2 = \Sigma P_3$), l'égalité des longueurs force l'égalité des décalages initiaux ($P_1 = P_2 = P_3$).
4. Conclusion : Si $P_1 = P_2 = P_3$, les trois paires de progressions ne sont pas distinctes. Or, la définition d'un carré magique exige que les éléments soient distincts.
5. Par conséquent, l'hypothèse de départ (l'existence d'un tel carré magique) est fausse.

5. Signification

Ce travail est significatif pour plusieurs raisons :

• Résolution d'un problème ouvert : Il apporte une preuve théorique définitive à la non-existence des carrés magiques de carrés d'ordre 3, comblant une lacune laissée par les travaux d'Euler et les recherches modernes sur les ordres supérieurs.
• Nouvelle perspective méthodologique : Au lieu d'attaquer le problème par la théorie des nombres pure (recherche de solutions diophantiennes), l'article utilise la structure des progressions arithmétiques et leurs propriétés de somme. Cette approche par « paires de PA » offre un cadre analytique puissant pour étudier les contraintes de symétrie dans les carrés magiques.
• Implications pour les mathématiques discrètes : La méthode développée pourrait être applicable à d'autres problèmes combinatoires impliquant des structures de sommes égales et des contraintes de progression.

En résumé, Oscar Hill démontre que la structure algébrique nécessaire pour former un carré magique $3 \times 3$ de carrés impose une identité des composantes qui contredit la condition de distinctivité des éléments, rendant ainsi l'objet mathématique impossible à construire.