Bonjour à tout le monde!
Le théorème cité est effectivement relativement simple et les mathématiques ont été envisagées pour nous simplifier la vie, sans nul doute.
Si l'on ne veut faire intervenir ni les notions de congruence ni le langage formel, la démonstration de M. Ben314-2 est excellente. Lhermite n'utilise pas non plus la congruence pour une telle démonstration...
Nombres premiers et les structures
En ce qui a trait à la remarque de M. Camélia, elle est formidable.Tout cela me fait penser à la fameuse phrase du mathématicien Albert Lautman... Ce qui caractérise une algèbre ce ne sont pas les éléments dont elle est l'ensemble mais les propriétés qui nous permettent d'affirmer qu'un élément appartient ou non à cet ensemble. Soit 21000000, celui qui nous dit que 21000000=2X2999999 est mieux parti que celui qui prend son crayon et commence ainsi : 2 X 2 = 4 etc. Au niveau des mathématiques, les propriétés ont toujours été plus importantes que les calculs.
Restons dans N, pour le moment :en ce qui a trait à 1, n'aurait-il pas un diviseur double, comme on parle de racine double pour les équations du second degré ...L'avis de Lhermite est, peut-être, ici, un peu délicat ...
En ce qui a trait à Pn, je peux dire à M. Ben314-2 qu'il s'agit du nè nombre premier, 1 n'étant pas considéré comme premier, au niveau de ces formules.
D'un autre côté, la fonction qui indique le nombre de nombres premiers inférieurs ou égaux à n est souvent désignée par la lettre ...
J'invite M. Ben314-2 à jeter un nouveau coup d'oeil sur le site ... On pourra , peut-être ainsi, continuer à décoder ensemble les formules de Lhermite, ce que je souhaite vivement.
Merci!