La constante de Legendre est une constante mathématique proposée par le mathématicien Adrien-Marie Legendre et qui n'a aujourd'hui plus qu'un intérêt historique.
vignette|En rouge, les 100 000 premiers termes de la suite . Legendre conjecture en 1808 une forme précise de ce qu’on appellera plus tard le théorème des nombres premiers. Il écrit : En d’autres termes, Legendre affirme que
où et où désigne la fonction de compte des nombres premiers inférieurs à .
Le nombre , qui existe, est appelé constante de Legendre. Mais sa valeur n’est pas celle supposée par Legendre.
En 1849, Tchebycheff ( corrigée, 2 vol. en un). démontre que si la limite existe, elle doit être égale à 1. Une preuve plus simple est donnée par Pintz en 1980..
C'est une conséquence immédiate du théorème des nombres premiers (qui avait été démontré en 1896 indépendamment par Jacques Hadamard. et par Charles-Jean de La Vallée Poussin.), sous la forme plus précise démontrée en 1899 par La Vallée PoussinLa Vallée Poussin, C. Mém. Couronnés Acad. Roy. Belgique, vol. 59, 1899, .
que
et donc que A existe et vaut 1.
Références
Legendre (Constante) Catégorie:Théorie analytique des nombres