La série de Kempner est une série obtenue à partir de la série harmonique en excluant tous les termes dont le dénominateur, exprimé en base dix, contient le chiffre 9. La somme des termes de cette série s'écrit : où le prime dans signifie que ne prend que les valeurs dont le développement décimal ne contient pas de 9.

Son intérêt réside dans le fait que contrairement à la série harmonique, elle converge. Ce résultat fut démontré en 1914 par .. Mais il fallut attendre la fin des années 1970 pour qu'on en détermine une valeur approchée de la somme au moyen de méthodes astucieuses, en raison de sa très lente vitesse de convergence.

Démonstration La preuve est élémentaire : les entiers à n chiffres ne contenant pas de 9 ont un premier chiffre compris entre 1 et 8 et les n − 1 suivants entre 0 et 8 ; il y en a donc 8(9), et chacun d'eux est minoré par 10, donc la série de Kempner est majorée par la série géométrique

.

Sa somme vaut 22,92067... , voir la .

Généralisation La preuve de convergence est la même en remplaçant 9 par tout autre chiffre et la base dix par toute autre base, et la généralisation à toute séquence finie de chiffres de longueur autre que 1 s'en déduit facilement, chapitre 9 (« L'écriture décimale des nombres »), théorèmes 143 et 144..

Ainsi, si par exemple on omet le chiffre 0, on obtient la borne supérieure , et une convergence vers 23,10344F. Le Lionnais, Les Nombres Remarquables, .... voir la .

Les valeurs approchées des sommes des séries, à la vingtième décimale, sont données dans le tableau suivant, en fonction du chiffre supprimé :

{| class="wikitable" |- !chiffre supprimé !valeur approchée |- ! 0

! 1

! 2

! 3

! 4

! 5

! 6

! 7

! 8

! 9

Lien avec la densité logarithmique Ce résultat entraine que tous ces ensembles d'entiers naturels dont l'écriture en base b ne comporte pas la séquence s ont une densité logarithmique nulle.

Notes et références

Voir aussi Articles connexes Constante d'Erdős-Borwein Problème de Bâle Série des inverses des nombres premiers Théorème de Brun Théorème de Müntz-Szász Lien externe

Bibliographie

Kempner