🔢 mathematics

Quartic reductions and elliptic obstructions for perfect Euler bricks

Cet article établit l'équivalence du problème du pavé parfait avec une question sur des carrés simultanés, réduit ce système à une famille de courbes hyperelliptiques de genre 3, et développe des obstructions arithmétiques sur leur quotient elliptique pour exclure de nombreuses familles de solutions, bien que l'existence d'un pavé parfait ne soit pas encore définitivement réfutée.

Auteurs originaux : René Peschmann

Publié 2026-04-13

📖 5 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : René Peschmann

Article original sous licence CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète

🧱 Le Mystère de la Boîte Parfaite

Imaginez que vous essayez de construire une boîte rectangulaire (comme un dé ou une boîte à chaussures) avec des règles très strictes :

Les trois côtés doivent avoir des longueurs entières (pas de 3,5 cm, juste 3 cm, 4 cm, etc.).
Si vous tracez une diagonale sur chaque face de la boîte, cette diagonale doit aussi avoir une longueur entière.
Le défi ultime : Si vous tracez une diagonale qui traverse l'intérieur de la boîte (du coin en bas à gauche au coin en haut à droite), elle doit aussi avoir une longueur entière.

Les mathématiciens appellent cela un brique d'Euler parfaite. On sait depuis des siècles qu'on peut construire des boîtes où les diagonales des faces sont entières (on les appelle des "briques d'Euler"). Mais personne, jamais, n'a trouvé une boîte où toutes les diagonales (faces et intérieur) sont entières.

Ce papier de René Peschmann ne prétend pas avoir trouvé la solution (ou prouver qu'elle n'existe pas), mais il a construit une nouvelle carte pour explorer ce mystère et a trouvé plusieurs obstacles qui rendent la tâche extrêmement difficile, voire impossible.

🗺️ La Nouvelle Carte : Transformer le problème en une course de chevaux

Au lieu de chercher directement la boîte, l'auteur transforme le problème en une équation mathématique complexe (une "courbe").

L'analogie de la course :
Imaginez que trouver la boîte parfaite, c'est comme essayer de faire courir un cheval (la solution) sur une piste très spécifique.

L'auteur a construit une piste de course géante et complexe (une "courbe de genre 3") qui représente toutes les possibilités mathématiques.
Il a ensuite découvert que cette piste est en fait composée de trois pistes plus petites et plus simples (des "courbes elliptiques") qui tournent ensemble.

Si une boîte parfaite existait, elle correspondrait à un point précis sur cette piste où tout s'aligne parfaitement. L'auteur dit : "Si vous ne trouvez pas ce point sur la piste, la boîte n'existe pas."

🚧 Les Obstacles : Le Gardien de la Porte

C'est ici que le papier devient fascinant. L'auteur a mis en place un "gardien" (un mécanisme mathématique appelé caractère de Kummer) qui vérifie si un point sur la piste est valide.

L'analogie du cadenas à 4 chiffres :
Imaginez que pour entrer dans la zone de la solution, vous devez avoir un code secret.

Le gardien vérifie les "torsions" (les points spéciaux de la piste).
Il a découvert que pour certains points clés (les points d'ordre 4), le gardien dit toujours "NON".
En termes simples : le gardien a un cadenas qui refuse systématiquement d'ouvrir pour certaines configurations. Cela signifie que si la solution existait, elle devrait violer les règles de ce gardien. Or, les règles sont strictes.

C'est comme si l'auteur disait : "Nous avons prouvé que la porte est verrouillée pour 90% des tentatives possibles. La solution ne peut pas passer par là."

🔍 La Chasse aux Preuves : L'ordinateur comme détective

Puisqu'on ne peut pas prouver mathématiquement que la porte est fermée pour tous les cas (il reste une petite zone d'ombre), l'auteur a utilisé la puissance brute de l'informatique.

L'analogie du tamis :
Imaginez que vous essayez de trouver une aiguille dans une botte de foin, mais que vous avez un tamis ultra-puissant.

L'auteur a fait tourner des millions de combinaisons de nombres (jusqu'à 1 000) sur son ordinateur.
Pour chaque combinaison, il a appliqué le "tamis" (les obstacles mathématiques).
Résultat : Aucune combinaison n'a réussi à passer. À chaque fois, un "bloqueur" (un nombre premier spécifique) a empêché la solution de se former. C'est comme si chaque tentative de construire la boîte se heurtait à un mur invisible.

🕳️ Le Reste du Mystère : Pourquoi ce n'est pas encore fini ?

Le papier est brillant, mais il ne clôt pas le dossier. Pourquoi ?

L'analogie de la forêt :
L'auteur a cartographié une immense forêt et a prouvé que dans 99% des sentiers, il y a des pièges mortels. Il a aussi prouvé que les arbres dans certaines zones sont trop denses pour laisser passer un éléphant (la solution).
Cependant, il reste une petite clairière, un sentier caché, où il n'a pas encore prouvé qu'il y a un piège.

Il suggère d'utiliser des outils encore plus puissants (comme la méthode de Chabauty, qui est un peu comme un drone de surveillance pour les courbes complexes) pour inspecter cette dernière zone.
Il mentionne aussi un lien mystérieux avec un nombre spécial ( $\sqrt{2}$ ), comme si la solution cachée était liée à la géométrie de l'hexagone ou à d'autres formes sacrées.

🏁 En Résumé

Ce papier est une avancée majeure car il change la façon dont on regarde le problème :

Il transforme un problème de géométrie (une boîte) en un problème de "chasse aux carrés parfaits" sur une courbe complexe.
Il découvre un mécanisme de sécurité (le gardien) qui bloque la plupart des tentatives.
Il vérifie par ordinateur des millions de cas et ne trouve aucune faille.

Bien qu'il n'ait pas encore dit "La boîte parfaite n'existe pas", il a rendu l'idée qu'elle existe de plus en plus improbable, en montrant que le monde mathématique est rempli de murs qui empêchent cette boîte de se construire. C'est un travail de détective mathématique de très haut niveau !

1. Le Problème : La Brique d'Euler Parfaite

Le papier aborde le problème classique de la brique d'Euler parfaite (ou cube parfait). Il s'agit de trouver un parallélépipède rectangle aux arêtes entières positives $e_1, e_2, e_3$ tel que :

Les trois diagonales des faces soient entières : $d_{ij} = \sqrt{e_i^2 + e_j^2} \in \mathbb{Z}$ .
La diagonale de l'espace soit entière : $D = \sqrt{e_1^2 + e_2^2 + e_3^2} \in \mathbb{Z}$ .

Bien que des briques d'Euler (satisfaisant uniquement les conditions des faces) existent, aucune brique parfaite n'a jamais été trouvée, et l'existence d'une telle brique reste une question ouverte depuis le XVIIIe siècle.

2. Méthodologie et Réduction du Problème

L'auteur ne prétend pas prouver l'inexistence, mais développe un nouveau cadre de réduction transformant le problème géométrique en un problème de théorie des nombres sur des courbes algébriques.

A. Paramétrisation et Paires Quartiques

En utilisant la formule d'Euclide pour les triples pythagoriciens, les conditions de la brique sont réduites à l'existence de deux paires d'entiers $(a,b)$ et $(m,n)$ (coprimes, de parité opposée) telles que deux expressions quartiques soient simultanément des carrés parfaits :
$\begin{aligned} f_1 &= 2(a^2-b^2)mn \quad \text{et} \quad (a^2+b^2)(m^2-n^2) \\ f_2 &= 4abmn \quad \text{et} \quad (a^2+b^2)(m^2-n^2) \end{aligned}$
Plus précisément, après normalisation par un paramètre $s = a/b$ et un paramètre conique $\lambda = m/n$ , le problème équivaut à trouver des entiers tels que :
$r^2 = \lambda^4 + 2c\lambda^2 + 1 \quad \text{et} \quad x^2 = \lambda^4 - 2c\lambda^2 + 1$
où $c(s) = \frac{s^4 - 6s^2 + 1}{(1+s^2)^2}$ .

B. Courbe Hyperelliptique de Genre 3

Le produit de ces deux expressions définit une famille de courbes hyperelliptiques de genre 3, notée $C_A$ :
$C_A : w^2 = \lambda^8 + A\lambda^4 + 1$
avec $A = 2 - 4c^2$ .
L'implication clé (Lemme 3.1) : Si une brique d'Euler parfaite existe, alors pour le paramètre $s$ correspondant, la courbe $C_A$ possède un point rationnel non dégénéré.

C. Quotients Elliptiques et Caractère de Kummer

La courbe $C_A$ admet un groupe de Klein de quatre involutions. En quotientant par ces involutions, on obtient trois courbes elliptiques ( $E_A, E'_A, E''_A$ ). L'auteur se concentre sur le quotient $E_A$ donné par le modèle de Weierstrass :
$E_A : y^2 = (x + A)(x - 2)(x + 2)$
Il définit une fonction rationnelle $f$ sur $E_A$ :
$f(P) = \frac{2y}{(x-2)(x+2)}$
Le problème se reformule alors : existe-t-il un point rationnel $P \in E_A(\mathbb{Q})$ tel que $f(P)$ soit un carré rationnel non trivial ?

3. Contributions Clés et Résultats

A. Obstruction par le Caractère de Kummer (Théorème 5.4)

L'auteur calcule le caractère de Kummer $\chi_f$ associé à la fonction $f$ sur le sous-groupe de torsion de $E_A$ .

Résultat : Le caractère est non trivial sur les points d'ordre 4. Plus précisément, pour tout point d'ordre 4 $T_4$ , $\chi_f(T_4) \neq 1$ .
Signification : Cela implique une obstruction structurelle profonde : la translation par un point d'ordre 4 modifie la classe de carré de $f(P)$ . Si $f(P)$ est un carré, alors $f(P+T_4)$ ne l'est généralement pas. Cela restreint sévèrement la possibilité d'avoir des points rationnels satisfaisant la condition de carré.

B. Obstructions Algébriques par Descente 2 (Théorème 6.2)

En utilisant la descente 2 sur la courbe elliptique, l'auteur analyse les classes de descente $(\delta_1, \delta_2, \delta_3)$ .

Théorème : Si $\delta_3 = 1$ , alors $f(P)$ n'est pas un carré (il est congru à 2 modulo les carrés).
De plus, tout facteur premier impair de $\delta_3$ doit diviser $\delta_1$ ou $\delta_2$ .
Cela élimine une grande classe de points rationnels candidats.

C. Vérification Computationnelle

L'auteur a vérifié exhaustivement tous les paramètres jusqu'à $10^3$ (couples $(a,b,m,n)$ ).
Résultat : Pour aucun de ces paramètres, le produit $f_1 f_2$ n'est un carré parfait.
Pour chaque tuple testé, un "bloqueur" (un nombre premier $p$ ) a été identifié tel que la valuation $v_p(f_1 f_2)$ est impaire, empêchant le produit d'être un carré. Ce bloqueur est soit $p=2$ , soit un premier $p \equiv 1 \pmod 4$ . Aucun premier $p \equiv 3 \pmod 4$ n'apparaît, ce qui est cohérent avec la théorie des normes dans $\mathbb{Z}[i]$ .

4. Statut des Résultats et Lacunes

Inconditionnel : Les obstructions algébriques (caractère de Kummer, descente 2) sont prouvées. Elles montrent que si une brique existe, elle doit correspondre à des points rationnels dans des classes de descente très spécifiques, non encore totalement exclues par la théorie.
Computationnel : L'absence de solution pour les petits paramètres est établie, mais cela ne constitue pas une preuve générale.
Lacune restante : Les obstructions actuelles ne couvrent pas tous les cas possibles de descente (notamment lorsque $\delta_3 \neq 1$ et que ses facteurs partagent des propriétés spécifiques avec $\delta_1$ ).

5. Perspectives et Signification

L'article ouvre plusieurs voies pour une preuve future :

Obstruction de revêtement de genre 5 : La non-trivialité de $\chi_f$ sur la torsion d'ordre 4 implique que le revêtement double $z^2 = f(P+T_4)/f(P)$ est une courbe de genre 5. Par le théorème de Faltings, cette courbe n'a qu'un nombre fini de points rationnels. Si le rang de la jacobienne est suffisamment faible, la méthode de Chabauty-Coleman pourrait rendre cette finitude effective.
Extension du caractère de Kummer : Prouver que $\chi_f(G) \neq 1$ pour tout point non-torsion $G$ , indépendamment du rang.
Obstruction de Brauer-Manin : Appliquer des obstructions géométriques sur la surface définie par l'équation quartique.

Conclusion :
Ce papier représente une avancée significative en reformulant le problème de la brique parfaite non plus comme une simple recherche de solutions diophantiennes, mais comme un problème d'arithmétique des courbes elliptiques et hyperelliptiques. Il établit des obstructions rigoureuses basées sur la structure de torsion et la descente, réduisant considérablement l'espace de recherche et fournissant un cadre théorique robuste pour les tentatives futures de preuve d'inexistence.