Тёмный

Une formule de récurrence simple pour les nombres premiers 

Phil Caldero
Подписаться 9 тыс.
Просмотров 3,6 тыс.
50% 1

Je présente une formule étonnante d'Éric Trefeu, mathématicien amateur, une formule simple à la fois dans son énoncé et dans sa preuve. D'une part, je donnerai une version du crible d'Eratosthène par les séries génératrices, puis, j'en déduirai une formule de récurrence élégante (mais théorique) qui donne un nombre premier en fonction de ses prédécesseurs. Dans une première partie, nous nous adressons aux mathématiciens amateurs ou aux jeunes passionnés qui voudraient contacter un expert en mathématiques, afin qu'ils évitent des erreurs classiques de communication.
00:00 Introduction
03:08 Comment contacter un mathématicien pro?
14:18 Présentation de la série génératrice du crible d'Eratosthène
20:50 Preuve du théorème de la série génératrice
37:16 Une récurrence pour les nombres premiers
41:43 Petits calculs sur Sage

Опубликовано:

 

28 июл 2024

Поделиться:

Ссылка:

Скачать:

Готовим ссылку...

Добавить в:

Мой плейлист
Посмотреть позже
Комментарии : 39   
@erictrefeu5041
@erictrefeu5041 17 дней назад
13:00 ce n'est pas tout à fait exact, il y a quand même eu quelques personnes qui s'y sont intéressé auxquelles j'adresse mes sincères remerciements : le premier étant Paulo RIBENBOIM qui m'a fait l'honneur de le rencontrer; ensuite Edouard THOMAS, docteur en maths, qui a fait paraitre cette formule dans le courrier des lecteurs du magazine Tangente; Corinne HUET, professeure de lycée, qui a repris cette formule sur sa chaine youtube; et enfin notre cher Phil bien sûr.
@MrRaphaelThiers
@MrRaphaelThiers 17 дней назад
J'ai trouvé très intéressante cette introduction sur le comment s'adresser à un mathématicien professionnel. A noter qu'il faut un sacré bagage amateur pour comprendre précisément la spécialité de tel ou tel chercheur !.. Si je puis me permettre : "non calculable" et " formule non polynomiale" ne sont pas des expressions synonymes puisque qu'un algorithme en temps exponentiel est calculable, par contre il est inexploitable à partir d'un certain rang.
@philcaldero8964
@philcaldero8964 17 дней назад
@@MrRaphaelThiers oui bien sûr ce n'est pas synonyme mais là c'est les deux!
@erictrefeu5041
@erictrefeu5041 17 дней назад
hé oui !! j'ai un viewver qui s'est amusé à écrire un script en python (mais il n'applique pas correctement ma formule, car il ne prend pas la valeur entière à laquelle il faut ajouter 1), il trouve: 3 -> 4.655352, difference_val_exacte: 0.344648 5 -> 6.889822, difference_val_exacte: 0.110178 7 -> 10.655421, difference_val_exacte: 0.344579 11 -> 12.890144, difference_val_exacte: 0.109856 13 -> 16.659801, difference_val_exacte: 0.340199 au delà, son ordinateur demande grâce.....
@erictrefeu5041
@erictrefeu5041 17 дней назад
4:48 faudra dire aux "gars du labo" qu'ils m'envoient une bouteille de champagne ! 🙂
@erictrefeu5041
@erictrefeu5041 20 дней назад
mathématicien amateur mais éclairé !! 😉
@abinadvd
@abinadvd 8 дней назад
J'ai peut être une vision surprenante des nombres premier. Y'a pas de théorèmes. J'ai vu un Monsieur sur internet , montrer un truc qui y ressemble mais il ne voyait pas l'essentiel. Par contre ma vision (representation par ordinateur) donne des résultats franchement "drôles". L'idée est simple (pas de moi mais , j'ai vu que l'idée de base était pas suffisante) par contre elle demande un ordinateur car l'idée a été faite avec un programme (impossible à la main). Soit mon idée est connue (je pense pas vraiment, les mecs ont raté un truc), soit elle partira à la poubelle avec moi. Simple remarque , prenez la suite n*(n+1) +41 dans excel ... Ca va peut être vous surprendre. Cette facon de regarder a permi de voir ce truc comme le nez au milieu de la figure.
@laurent-ym2jw
@laurent-ym2jw 20 дней назад
content de savoir que Ribenboim se porte bien :) Il me semble que le bon endroit pour publier des mathématiques "élémentaires" est American math Monthly, après avoir fait une recherche quand même pour éviter de publier quelque chose de connu ? Bon ben j'avais pas tout entendu on est d'accord..;
@philcaldero8964
@philcaldero8964 20 дней назад
@@laurent-ym2jw oui c'est la revue de prestige pour ce genre de résultats
@jean-francoishachelouf9639
@jean-francoishachelouf9639 13 дней назад
Bonjour, il faut relire Grothendieck sur les hiérarchies. Il fut surpris de découvrir qu'il en avait été lui-même l'acteur/victime.
@philcaldero8964
@philcaldero8964 13 дней назад
On va dire "lire" parce que j'ai pas tout lu :-)) Mais tu parles des premiers contacts entre Grothendieck et Dieudonné?
@erictrefeu5041
@erictrefeu5041 19 дней назад
je précise ici (comme je l'indique d'ailleurs dans ma vidéo) qu'il existe déjà une formule identique (dans son expression finale) trouvée par le mathématicien Gandhi publiée en 1971. Mais Gandhi définit la valeur de s d'une manière très différente en écrivant: s = SOMME [ µ(d)/((2^d)-1) ] où µ est la fonction de Mobius et où d parcourt l'ensemble des diviseurs de Q (Q étant le produit des n premiers nombres premiers).
@philcaldero8964
@philcaldero8964 19 дней назад
Ok.
@SimoneChoule81
@SimoneChoule81 20 дней назад
Je suis sur qu'il existe des tonnes de résultats intermédiaires et trouvailles mathématiques à la portée d'"amateurs" disons bac+3, parce que l'on n'explore pas tous les sujets. Mais blague à part si vous êtes chercheur professionnel et qu'on vous donne à vérifier une preuve de la conjecture de Syracuse à partir du théorème de la Banana split et des choux romanesco parfois on doit crier misère 😄
@philcaldero8964
@philcaldero8964 20 дней назад
@@SimoneChoule81 😅
@bardamu9662
@bardamu9662 19 дней назад
Les choux Romanesco ont cependant l'avantage de mettre en avant les fractales.
@ee8925
@ee8925 20 дней назад
En gros s'adresser à un mathématicien professionnel, ça se merite ...
@philcaldero8964
@philcaldero8964 20 дней назад
@@ee8925 si on veut avoir une réponse il faut connaître son interlocuteur et savoir s'adresser à lui c'est un principe général qui s'applique aussi dans le monde des mathématiques et quand il est appliqué tout le monde s'y retrouve parce que le milieu des mathématiques est en général très courtois. Mais s'adresser à un mathématicien c'est pas une question mérite c'est la qualité de la réponse qui va dépendre de la qualité de la question
@ee8925
@ee8925 20 дней назад
@@philcaldero8964 La forme et la courtoisie sont en effet importantes et préalables, mais je ne savais pas qu'il y avait "un code" à respecter ou à connaître, qui dont par définition non intégrés ni meme soupçonnés par des amateurs
@philcaldero8964
@philcaldero8964 20 дней назад
@@ee8925 ce n'est pas vraiment un code, c'est juste une forme de clarté un petit peu comme quand on dit aux étudiants comment ils doivent rédiger pour le correcteur qui est en train de se taper 150 copies à l'agrégation et qu'il faut se mettre à sa place
@ee8925
@ee8925 20 дней назад
@@philcaldero8964 y aurait t'il peut-être d'autres manières d'être clair ? Peut-être non conventionnelles ou habituelles ?
@philcaldero8964
@philcaldero8964 20 дней назад
@@ee8925 l'idée est de prendre un maximum de recul avant de s'adresser à une personne et surtout dépoussiérer complètement sa question
@erictrefeu5041
@erictrefeu5041 20 дней назад
41:12 c'est certainement une question de notation d'écriture mais attention il faut ajouter 1 à la partie entière de (- ln(s-1/2)/ln(2)) pour obtenir p_(n+1)
@philcaldero8964
@philcaldero8964 20 дней назад
@@erictrefeu5041 non c'est bien la formule que j'ai utilisé en tout cas quand je fais le programme à la fin et je trouve bien 7
@erictrefeu5041
@erictrefeu5041 20 дней назад
@@philcaldero8964 oui d'accord. c'est parce que je préfère utiliser la fonction partie entière avec des valeurs strictement positives.
@erictrefeu5041
@erictrefeu5041 8 дней назад
15:30 il me semble qu'il manque un facteur X^Qn à ta définition de Gn
@philcaldero8964
@philcaldero8964 8 дней назад
@@erictrefeu5041 disons que par rapport à ce que tu as fait il y a une différence mais dans la logique de mon exposé ça se tient
@erictrefeu5041
@erictrefeu5041 8 дней назад
@@philcaldero8964 bon bah alors c'est à 16:30 que ça ne va pas : il faut faire la division euclidienne de Gn par X^(theta_n - q_n)
@philcaldero8964
@philcaldero8964 8 дней назад
@@erictrefeu5041 Ah oui, c'est très possible
@erictrefeu5041
@erictrefeu5041 8 дней назад
@@philcaldero8964 c'est même certain ;-)
@Moinsdeuxcat
@Moinsdeuxcat 19 дней назад
Le "lemme pas chinois", je l'aurais bien appelé "Interpolation de Lagrange pour les entiers".
@philcaldero8964
@philcaldero8964 19 дней назад
@@Moinsdeuxcat je ne vois pas pourquoi
@Moinsdeuxcat
@Moinsdeuxcat 19 дней назад
Parce que c'est la même formule et ça marche pour la même raison. Tes q_(p,i) (produit de tous les p_j sauf p_i) jouent le rôle de (X-x_1)...(X-x_(i-1))(X-x_(i+1))...(X-x_n) dans la formule qui donne le polynôme interpolateur de Lagrange, et ce que fait ta fonction "w(r)" c'est d'envoyer un uplet vers une combinaison linéaire de ces éléments, comme le fait le polynôme interpolateur en fonction des valeurs que tu veux donner en x_1,...,x_n. Ensuite, tout repose sur le fait que l'élément construit se réduit modulo p_i en le coefficient correspondant (à un petit facteur inversible près, mais si on voulait on pourrait multiplier q_(p,i) par un entier dont la réduction mod p_i est un inverse, ce serait un peu plus proche de Lagrange mais c'est inutile) ce qui n'est rien d'autre qu'un analogue direct du fait que le polynôme interpolateur évalué en x_i a la valeur qu'on voulait qu'il ait. En fait, c'est exactement la même construction, et on peut unifier les deux en parlant plus généralement d'idéaux.
@philcaldero8964
@philcaldero8964 19 дней назад
@@Moinsdeuxcat ok je vois merci !
@erictrefeu5041
@erictrefeu5041 20 дней назад
je taquine un peu, mais parler du lemme "pas chinois" (sans avoir évoqué le théorème chinois préalablement et expliqué que ce lemme pas chinois était en fait presque chinois) peut être offensant pour les Chinois.
@philcaldero8964
@philcaldero8964 20 дней назад
@@erictrefeu5041 il y a quand même une valeur ajoutée au lemme chinois parce qu'on a un morphisme.
Далее
ТРОЛЛИНГ СКАМЕРА СТАНДОФФ 2
00:59
Z/nZ : Découverte
24:12
Просмотров 133 тыс.
Le nombre "e"
25:05
Просмотров 89 тыс.
C'est quoi ce polynôme de golmon ?
9:45
Просмотров 3,3 тыс.
ТРОЛЛИНГ СКАМЕРА СТАНДОФФ 2
00:59