Bonjour,
Je me casse la tête sur un problème depuis plusieurs mois, j'aimerais une aide svp merci. Voici l'énoncé de la conjecture.
---
Soit la fonction des diviseurs qui effectue la somme des diviseurs d'un entier
Soit le reste de la division euclidienne de
par
Prenons les cas où
On prouve assez facilement que quand
et
sont premiers.
Cependant il existe d'autres cas pour lesquels . Par exemple avec
,
ou
.
Le point commun entre ces exemples est que
avec
La question est : comment prouver que quand
et quand
n'est pas premier.
Je vous remercie par avance.
Bonjour,
tel qu'il est l'énoncé n'est pas compréhensible.
Première chose à corriger : dans il n'y a pas le bon nombre de parenthèses et il y a des parenthèses inutiles.
Bonjour jandri,
Merci, j'ai supprimé les erreurs de parenthèses.
Soit le reste de la division euclidienne de
par
On considère les cas où .
Le reste est dans mon premier message.
Merci pour cette correction mais cela ne va encore pas.
Ne faut-il pas ecrire "On prouve assez facilement que r=6 quand n+2 et 4n+9 sont premiers" à la place de "On prouve assez facilement que r=6 quand n+2 et 4n+5 sont premiers" ?
Effectivement !
Donc si on reprend l'énoncé le problème est le suivant
---
Soit la fonction des diviseurs qui effectue la somme des diviseurs d'un entier
Soit le reste de la division euclidienne de
par
Prenons les cas où
On prouve assez facilement que quand
et
sont premiers.
Cependant il existe d'autres cas pour lesquels . Par exemple avec
,
ou
.
Le point commun entre ces exemples est que
avec
La question est : comment prouver que quand
et quand
n'est pas premier.
Je ne comprends toujours pas. Je suppose dans tous les exemples que est premier.
Pour est premier et
Pour est non premier et
Pour est non premier et
Pour est premier et
Pour est premier et
Dans tous ces cas on a bien mais cela ne donne pas toujours un résultat de la forme
.
Je me rends compte en relisant que j'avais mal compris.
Effectivement quand n'est pas premier le résultat est bien de la forme
.
Je vais chercher pour voir si c'est démontrable.
Oui voilà c'est ça. L'énoncé est super simple mais la démonstration, si elle existe, doit être difficile.
@Meiosis
Tu aurais pu donner l'énoncé sous une forme encore plus simple en posant .
Soit un nombre premier tel que
ne soit pas premier.
On suppose que
(ce qui est très rare, il n'y a que pour
).
Montrer que
D'accord, merci pour la reformulation du problème.
Maintenant ma question est : est-ce trivial ou difficilement démontrable (voire pas du tout) ?
Merci.
Bonjour,
Je fais un petit UP pour savoir comment démarrer la démonstration, au moins une piste, merci.
Bonsoir
Une preuve dans un cas particulier :
Je suppose que ,
comme c'est le cas par exemple pour : ,
,
et
.
On a en effet en adoptant la formulation de jandri (que je salue !) :
et
.
D'où,
et donc
et
sauf erreur de ma part bien entendu
Bonjour,
merci à elhor_abdelali pour cette démonstration (dans un cas particulier).
Ce qui est remarquable c'est qu'à l'exception du cas toutes les valeurs que j'ai trouvées pour avoir
premier,
non premier et
sont telles que
est une puissance de
.
Mais comme il y a une exception pour il peut très bien y en avoir d'autres pour
très grand.
Bonsoir
Une preuve dans un autre cas particulier :
Je suppose que .
Dans ce cas on a .
D'où .
D'où qui s'écrit aussi
et donc en particulier ou encore
.
D'où
sauf erreur de ma part bien entendu
Vous devez être membre accéder à ce service...
Pas encore inscrit ?
1 compte par personne, multi-compte interdit !
Ou identifiez-vous :