Puzzle diophantien
dans Arithmétique
Bonjour,
Voici une petite amusette diophantienne. On peut laisser l'artillerie lourde dans la remise et continuer à siroter son thé glacé.
Soient $m_1$, $m_2$, $m_3$, $m_4$ et $m$ des entiers fixés, strictement supérieurs à $1$, et deux à deux premiers entre eux. On considère l'équation d'inconnues entières et strictement positives $x_1$, $x_2$, $x_3$, $x_4$ et $x$ :
$$x_1^{m_1}+x_2^{m_2}+x_3^{m_3}+x_4^{m_4}=x^{m}\;\;\;\;\;\;(\mathcal{E})$$
Soit $(\varepsilon_1,\varepsilon_2,\varepsilon_3,\varepsilon_4)\in\{0;1\}^4$. Montrer que $(\mathcal{E})$ possède une infinité de solutions $(x_1,x_2,x_3,x_4,x)$ vérifiant $\forall i\in[\![1;4]\!]$, $x_i\equiv \varepsilon_i\;[2]$.
P.-S. Je ne pourrai pas répondre sur le forum durant une quinzaine de jours.
Voici une petite amusette diophantienne. On peut laisser l'artillerie lourde dans la remise et continuer à siroter son thé glacé.
Soient $m_1$, $m_2$, $m_3$, $m_4$ et $m$ des entiers fixés, strictement supérieurs à $1$, et deux à deux premiers entre eux. On considère l'équation d'inconnues entières et strictement positives $x_1$, $x_2$, $x_3$, $x_4$ et $x$ :
$$x_1^{m_1}+x_2^{m_2}+x_3^{m_3}+x_4^{m_4}=x^{m}\;\;\;\;\;\;(\mathcal{E})$$
Soit $(\varepsilon_1,\varepsilon_2,\varepsilon_3,\varepsilon_4)\in\{0;1\}^4$. Montrer que $(\mathcal{E})$ possède une infinité de solutions $(x_1,x_2,x_3,x_4,x)$ vérifiant $\forall i\in[\![1;4]\!]$, $x_i\equiv \varepsilon_i\;[2]$.
P.-S. Je ne pourrai pas répondre sur le forum durant une quinzaine de jours.
Réponses
-
Bonsoir,
Si $(\mathcal{E})$ possède une solution $(x_1,x_2,x_3,x_4,x)$ vérifiant $\forall i\in[\![1;4]\!]$, $x_i\equiv \varepsilon_i\;[2]$, elle en possède une infinité:
En effet, en notant $m_0$ plutôt que $m$, puis $\pi$ le produit des cinq $m_i$, puis $\pi _i$ le quotient de $\pi$ par $m_i$, on vérifie que pour tout $a$ impair $(x_1a^{\pi_1},x_2a^{\pi_2},x_3a^{\pi_3},x_4a^{\pi_4},xa^{\pi_0})$ est une solution de $(\mathcal{E})$ vérifiant $\forall i\in[\![1;4]\!]$, $x_ia^{\pi_i}\equiv \varepsilon_i\;[2]$.
Cordialement
Edit 1 : Oups! erreur de bouton! Sommeil, je reprends demain. Sorry
Edit 2
Paul -
Pour ceux qui se seraient penchés sur le problème, voici une façon de le résoudre :
$\bullet$ Solutions avec tous les $x_i$ pairs
D'après le Théorème Chinois, il existe une infinité d'entiers $k>0$ tels que $k\equiv0\;[m]$ et $k\equiv-1\;[m_1m_2m_3m_4]$. Posons $a=4^{m-1}$, alors $(x_1,x_2,x_3,x_4,x)=\left(a^{\frac{k+1}{m_1}},a^{\frac{k+1}{m_2}},a^{\frac{k+1}{m_3}},a^{\frac{k+1}{m_4}},4a^{\frac{k}{m}}\right)$ est solution de $(\mathcal{E})$.
$\bullet$ Solutions avec un seul $x_i$ impair (par exemple $x_1$)
Soit $\alpha>0$ un entier impair tel que $\alpha^m>2^{m_2}+2^{m_3}+2^{m_4}+1$ ; posons $a=\alpha^m-2^{m_2}-2^{m_3}-2^{m_4}$. D'après le Théorème Chinois, il existe une infinité d'entiers $k>0$ tels que $k\equiv-1\;[m_1]$ et $k\equiv0\;[m_2m_3m_4m]$.
Alors $(x_1,x_2,x_3,x_4,x)=\left(a^{\frac{k+1}{m_1}},2a^{\frac{k}{m_2}},2a^{\frac{k}{m_3}},2a^{\frac{k}{m_4}},\alpha a^{\frac{k}{m}}\right)$ est solution de $(\mathcal{E})$.
$\bullet$ Solutions avec exactement deux $x_i$ impairs (par exemple $x_1$ et $x_2$)
Soit $\alpha>0$ un entier pair tel que $\alpha^m>2^{m_3}+2^{m_4}+2$ ; posons $a=\alpha^m-2^{m_3}-2^{m_4}-1$. D'après le Théorème Chinois, il existe une infinité d'entiers $k>0$ tels que $k\equiv-1\;[m_1]$ et $k\equiv0\;[m_2m_3m_4m]$.
Alors $(x_1,x_2,x_3,x_4,x)=\left(a^{\frac{k+1}{m_1}},a^{\frac{k}{m_2}},2a^{\frac{k}{m_3}},2a^{\frac{k}{m_4}},\alpha a^{\frac{k}{m}}\right)$ est solution de $(\mathcal{E})$.
$\bullet$ Solutions avec exactement trois $x_i$ impairs (par exemple $x_1$, $x_2$ et $x_3$)
Soit $\alpha>0$ un entier impair tel que $\alpha^m>2^{m_4}+3$ ; posons $a=\alpha^m-2^{m_4}-2$. D'après le Théorème Chinois, il existe une infinité d'entiers $k>0$ tels que $k\equiv-1\;[m_1]$ et $k\equiv0\;[m_2m_3m_4m]$.
Alors $(x_1,x_2,x_3,x_4,x)=\left(a^{\frac{k+1}{m_1}},a^{\frac{k}{m_2}},a^{\frac{k}{m_3}},2a^{\frac{k}{m_4}},\alpha a^{\frac{k}{m}}\right)$ est solution de $(\mathcal{E})$.
$\bullet$ Solutions avec tous les $x_i$ impairs
Posons $a=4^m-3$. D'après le Théorème Chinois, il existe une infinité d'entiers $k>0$ tels que $k\equiv-1\;[m_1]$ et $k\equiv0\;[m_2m_3m_4m]$. Alors $(x_1,x_2,x_3,x_4,x)=\left(a^{\frac{k+1}{m_1}},a^{\frac{k}{m_2}},a^{\frac{k}{m_3}},a^{\frac{k}{m_4}},4 a^{\frac{k}{m}}\right)$ est solution de $(\mathcal{E})$.
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.1K Toutes les catégories
- 7 Collège/Lycée
- 21.8K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 52 Catégories et structures
- 1K Combinatoire et Graphes
- 11 Sciences des données
- 5K Concours et Examens
- 11 CultureMath
- 47 Enseignement à distance
- 2.9K Fondements et Logique
- 10.3K Géométrie
- 62 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 68 Informatique théorique
- 3.8K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 312 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10K Probabilités, théorie de la mesure
- 772 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres
Qui est en ligne 3
3 Invités