Entiers de la forme $abc(c-a-b)$
dans Arithmétique
J'ai du mal à évaluer la difficulté de la question suivante. Je pense que c'est difficile, je n'ai pas la réponse et ce n'est pas un exercice.
Etant donnés 3 entiers (relatifs) $a$, $b$, et $c$, on note:
$$
D(a,b,c) := abc\, (c-a-b)
$$
$D$ est invariant sous $(a,b,c)\mapsto (b,a,c)$, ainsi que $(a,b,c)\mapsto (a,b,a+b-c)$, et $(a,b,c)\mapsto (-a,-b,-c)$.
Ces symétries de $D$ commutent deux à deux et sont d'ordre 2, ce qui fait un groupe d'odre 8 de transformations $(a,b,c)\mapsto (a',b',c')$ qui laissent $D$ invariant.
Donc la question est: existe-t-il deux triplets $(a,b,c)$ et $(a',b',c')$, non équivalents dans le sens ci-dessus, tels que
$$
D(a,b,c) = D(a',b',c').
$$
Un exemple suffit, mais si vous avez d'autres remarques je suis preneur.
NB: J'ai peut-être oublié des symétries évidentes de $D$. L'esprit, c'est que les examples ne doivent pas être "triviaux".
Etant donnés 3 entiers (relatifs) $a$, $b$, et $c$, on note:
$$
D(a,b,c) := abc\, (c-a-b)
$$
$D$ est invariant sous $(a,b,c)\mapsto (b,a,c)$, ainsi que $(a,b,c)\mapsto (a,b,a+b-c)$, et $(a,b,c)\mapsto (-a,-b,-c)$.
Ces symétries de $D$ commutent deux à deux et sont d'ordre 2, ce qui fait un groupe d'odre 8 de transformations $(a,b,c)\mapsto (a',b',c')$ qui laissent $D$ invariant.
Donc la question est: existe-t-il deux triplets $(a,b,c)$ et $(a',b',c')$, non équivalents dans le sens ci-dessus, tels que
$$
D(a,b,c) = D(a',b',c').
$$
Un exemple suffit, mais si vous avez d'autres remarques je suis preneur.
NB: J'ai peut-être oublié des symétries évidentes de $D$. L'esprit, c'est que les examples ne doivent pas être "triviaux".
Après je bloque.
Réponses
-
lorsque tu dis "deux triplets $(a,b,c)$, $(a',b',c')$ non équivalents" tu veux dire qu'aucune des symétries de $D$ que tu as décrite n'envoie $(a,b,c)$ sur $(a',b',c')$ ?
-
Oui.Après je bloque.
-
$D(1,0,0)=D(0,0,1)$?
-
Oui... J'aurais du préciser $D\neq 0$. Le fait que $0$ puisse être représenté une infinité de fois est à peu près évident!
Je répète le Nota Bene:
NB: J'ai peut-être oublié des symétries évidentes de D. L'esprit, c'est que les exemples ne doivent pas être "triviaux".Après je bloque. -
L’exemple $D(1,n^2,1)=D(n,n,n)$ est-il trivial?
-
Non, bon exemple. Merci.
Cependant je crois que j'ai mal formulé ma question, et je ne sais pas très bien comment la formuler.Après je bloque. -
Je crois que ce que je voulais savoir c'est s'il existe des exemples accidentels, par opposition à celui que tu viens de donner.Après je bloque.
-
J’ai bien compris i.zitoussi, mais j’imagine que ton questionnement de départ ne consistait pas simplement à écrire différemment un relatif sous cette forme?
-
Oui, il y a une raison derrière. $D$ est le discriminant pour une famille (indexée par $(a,b,c)$) de formes quadratiques binaires, et j'essayais de savoir combien de formes non équivalentes (pour l'action de $SL(2,\mathbb{Z}))$ ont le même discriminant, ce qui revient à factoriser un entier $d$ en $d=abc(c-a-b)$ de manières distinctes.
Je pense que pour $d$ suffisamment générique, il y en a au plus 8, et ton exemple montre que quand $d=-n^4$ il y en a d'autres. Il y a probablement plein d'autres exemples, j'aurais dû réfléchir un peu plus avant de poster.Après je bloque. -
Soit abc ( c - a - b ) = a' b' c' ( c' - a' - b' )
On pose a' = k a ; b' = j b et c' = i c
On obtient :
c = ( a ( 1- k² i j) + b (1 - k i j²) ) / ( 1 - k i² j )
qui peut donner des entiers, par exemple si k = i = 1
c = a + b ( 1 + j ) -
Merci. Donc ça fait une famille d'exemples $(a,b,c) = (a,b,a+b+jb)$ couplé à $(a',b',c')=(a,jb, a+b+jb)$, pour tout $a$, $b$ et $j$.
Les factorisations correspondantes de $D$ s'obtiennent l'une de l'autre par permutation des facteurs:
$a\cdot b\cdot (a+b+jb)\cdot jb = a \cdot jb\cdot (a+b+jb)\cdot b$.Après je bloque.
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.2K Toutes les catégories
- 9 Collège/Lycée
- 21.9K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 53 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
- 65 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 69 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
- 314 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
- 773 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres