Formule qui donne tous les nombres premiers (le retour)

[invite2b14cd41]

Bonjour/soir,
Comment prouver que : donne tous les nombres premiers? (lorsque n décrit )

De même pour:
(et cette fois si elle est injective en plus!)

Source: http://www.cnrs.fr/Cnrspresse/math2000/pdf/Maths10.pdf
Mais je ne trouve aucun article avec une démo.

Merci par avance.

[invite332de63a]

Bonjour, à mon avis vu que ces formules sont toutes jeunes, moins de 20 ans, si tu trouves un article qui te démontre la propriété de ces fonctions alors je doute que tu comprennes plus loin que la deuxième ligne... et moi par ailleurs.

[invite2b14cd41]

C'est dommage. Surtout que je n'arrive même pas à voir pourquoi la première est toujours entière

[invite332de63a]

Ben utiliser des parties entières déjà corse énormément la compréhension des résultats, en plus en faire une somme puis un inverse etc... pas facile.

[A voir en vidéo sur Futura]

[invite2b14cd41]

Je parlais de la première formule, et il n'y a pas de partie entière.

[invite332de63a]

Et les crochets ne sont là que pour faire joli ...? D'ailleurs il n'y a pas un erreur? (n+2)/p-(n+1)/p me semble simplifiable...

[invite2b14cd41]

Oui, je parle de la première!

Je ne comprends d'ailleurs pas pourquoi ils n'ont pas retrancher les 2 fractions, pour avoir juste du 1/p au dénominateur.

[erik]

Et si ! Dans la première formule (dans la deuxième aussi) les crochets indiquent bien la partie entière (et il t'en manque) , la formule exacte est :



L'explication (simplissime) peut se trouver ici : http://www.lifl.fr/~wegrzyno/FormulP...Premiers5.html

[invite2b14cd41]

Et si ! Dans la première formule les crochets indiquent bien la partie entière (et il t'en manque) , la formule exacte est :



L'explication (simplissime) peut se trouver ici : http://www.lifl.fr/~wegrzyno/FormulP...Premiers5.html

Merci bien

[invite332de63a]

En fait oui c'est tout bête, j'en avait même faite une moi même! Une pour la fonction pi qui compte les nombres premiers sous forme de somme mais très peu intéressante car au pire équivalente en niveau de calcul à un algorithme simple. Ce juste en remarquant que E(E(m/n)n/m) est égal à 1 ou 0 suivant si n divise m ou pas

[Seirios]

Bonsoir,

Grossièrement, je dirais : la somme du dénominateur compte les nombres premiers plus petits que m (théorème de Wilson), et on remarque que la somme totale contient des termes qui s'annulent pour m suffisamment grand donc on a pas besoin de s'inquiéter de la borne, il suffit de la choisir suffisament grande. La somme pourrait donc se réécrire comme . Or les termes de cette somme sont identiques tant que m n'est pas devenu suffisament grand pour atteindre un nouveau nombre premier, donc on doit avoir quelque chose comme . On remarque que vaut 0 si k+1 est plus grand que n, et 1 sinon. Donc on se retrouve finalement avec une somme télescopique, et on trouve finalement .

Ce n'est pas tout à fait le résultat recherché, mais l'idée doit y être, il faut ensuite écrire tout ça proprement (il doit être plus facile de partir de la fin du raisonnement).

[invite2b14cd41]

Merci, en effet, il y a certainement du Wilson. Comment justifiez-vous la borne 2^n ?

[Seirios]

La borne b(n) doit être telle qu'il existe au moins n nombres premiers inférieurs à n. Or d'après le postulat de Bertrand, pour tout n>2, il existe au moins un nombre premier compris strictement entre n et 2n. Par récurrence, on montre donc que b(n)=2ⁿ convient.

[invite2b14cd41]

La borne b(n) doit être telle qu'il existe au moins n nombres premiers inférieurs à n. Or d'après le postulat de Bertrand, pour tout n>2, il existe au moins un nombre premier compris strictement entre n et 2n. Par récurrence, on montre donc que b(n)=2ⁿ convient.

Ah oui, je n'y avais pas pensé... (la preuve d'Erdos de ce "postulat" est d'ailleurs très élégante).

[shearer]

Cette formule est bien compliquée. Je m'intéresse seulement à (j-1)!/j, en simplifiant j!/j^2
Si j est premier, alors le résultat n'est pas entier. (exception j=4)

Pour plus d'explications: https://remy.veritis.ch/accueil/

[gg0]

Bonjour.

Dommage de commencer (premier message) par une grossière erreur de logique ("exception j=4").
Mais comme ce n'est qu'une pub pour ta page personnelle, ça n'a finalement que peu d'intérêt. Et ne répond pas au sujet.

Pour les autres lecteurs : C'est une évidence de débutant en arithmétique que le produit des entiers strictement inférieurs à un premier p n'est pas divisible par p.

[Mongolito]

Si on simplifie les j, on trouve 1/j. Effectivement il y a tous les nombres premiers entre 0 et 1. Je ne cherche pas à falsifier le passé.

[gg0]

Euh ... peux-tu expliquer ce que tu veux dire (2 phrases incompréhensibles).

[Black Jack 2]

Bonjour,

C'est un algorithme déguisé qui cherche le n ième nombre premier.

Un nombre j est premier ssi ((j-1)! + 1) est divisible par j (démontré par le mathématicien Wilson)

La partie de la formule contenue dans la somme du numérateur est un "test logique" qui pour un j entré, donne 1 si j est premier, sinon donne 0.

On additionne ces "1" (par la somme)

… et l'exposant (1/n) renvoie 1 tant que le nombre de premiers trouvés est < n et renvoie 0 dès que n-ième premier est atteint et 0 aussi au delà.

On compte au max jusque 2^n car un nombre n ne peut pas être divisible par un nombre > 2^n

C'est le genre de formule qui ne sert à rien, ce n'est un simulacre d'algorithme qui peut conduire à un temps de calcul long et à des manipulations de nombres très grands (Par exemple , pour trouver le 100 ème nombre premier, il faudrait calculer 540!, soit un nombre avec plus de 1000 chiffres.

[Mongolito]

On peut aussi faire le test logique suivant: j!/j^2 moins sa partie entière. Si c'est pas un nombre premier, le résultat est 0, et si c'est un nombre premier, ça va se rapprocher de 1.
Ce test logique ne vole pas très haut, je trouve plus intéressant d'essayer de comprendre se qui se passe à la fin avec la recherche du plus grand nombre premier. On utilise la formule de Mersenne y=2^x-1