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 :