Vous êtes sur la page 1sur 4

La srie harmonique

Pour n naturel non nul , on pose


n

Hn =
k=1

1 . k

Pour n

1) Hn tend vers + quand n tend vers +.


1, Hn+1 Hn = 1 > 0. n+1 1,

Donc la suite (Hn )nN est strictement croissante et admet ainsi une limite dans ] , +]. Ensuite, pour n
2n

H2n Hn =
k=n+1

1 k

2n

k=n+1

1 1 1 =n = . 2n 2n 2

On en dduit que la suite (Hn )nN nest pas de Cauchy et donc diverge. Finalement
n +

ou encore, la srie harmonique diverge.

lim Hn = +,

2) Equivalent de Hn quand n tend vers +


Soit n 2. La fonction t pour k En sommant ces ingalits, on obtient
n

1 est continue et dcroissante sur ]0, +[. On en dduit que t 1, 1 k


k+1 k

1 dt et pour k t

2,

1 k

k1

1 dt. t

k=1

1 k

k+1

k=1 k

1 dt = t

n+1 1

1 dt = ln(n + 1) et t

k=1

1 =1+ k

k=2

1 k

1+
k=2 k1

1 dt = 1 + t

n 1

1 dt = 1 + ln n. t

Ces ingalits restent vraies pour n = 1 et donc n et en particulier Hn


n +

1, ln(n + 1)

Hn

1 + ln n.

ln n.

3) Convergence de la suite (Hn ln n)nN .


Pour n 1, posons un = Hn ln n. 1. 1 1 (ln(n + 1) ln n) = n+1 n+1
n+1 n

1re tude. Soit n

un+1 un = Or la fonction t

1 dt = t

n+1 n

1 1 n+1 t

dt. 0. Par

1 1 1 est dcroissante sur ]0, +[ et donc sur [n, n + 1]. Par suite, pour t [n, n + 1], t n+1 t positivit de lintgrale, on en dduit que un+1 un 0. La suite (un )nN est donc dcroissante.

http ://www.maths-france.fr

c Jean-Louis Rouget, 2008. Tous droits rservs.

De plus , daprs 2), pour n 0

1, ln(n + 1) ln n Hn ln n = un (1 + ln n) ln n = 1,

et donc, pour n 1, un [0, 1]. Ainsi, la suite (un ) est dcroissante et minore par 0 et donc converge vers un certain rel positif not . Enn, puisque n N , 0 un 1, par passage la limite, on a [0, 1]. la suite (Hn ln n)nN converge vers un rel de [0, 1] not . sappelle la constante dEuler. 2me tude. Pour n pour n 1, on pose aussi vn = Hn ln(n + 1). On a
n+1 n

1, un+1 un = (ln(n + 1) ln n) =

n+2 1 vn+1 vn = (ln(n + 2) ln(n + 1)) = n+1 n+1 1 un vn = ln(n + 1) ln n = ln 1 + et lim (un vn ) = 0. n + n

1 1 dt 0. La suite (un )nN est dcroissante. n+1 t 1 1 dt 0. La suite (vn )nN est croissante. n+1 t

Donc, les suites (un )nN et (vn )n N sont adjacentes. On en dduit que les suite
k=1

1 ln n k

et
nN k=1

1 ln n k

sont adjacentes et convergent donc vers une limite commune savoir , la constante dEuler. En particulier, puisque la suite (un )nN dcroit vers et que la suite (vn )nN croit vers , on a
n

nN

n 3me tude. Quand n tend vers +, un+1 un =

1,
k=1

1 k

ln(n + 1)

k=1

1 k

ln n.

1 1 ln 1 + n+1 n

1 +O n

1 n2

1 +O n

1 n2

=O

1 . n2

Donc, la srie de terme gnral un+1 un converge. Maintenant, on sait que la suite (un )nN est de mme nature que la srie de terme gnral un+1 un . On retrouve ainsi la convergence de la suite (un )nN .
n1 n1

Comme un = u1 +
k=1

(uk+1 uk ) = 1 +
k=1

k+1 1 ln k+1 k

=1+
k=2

obtient = 1 +

+ n=2

1 n . En rsum ln n n1
+ n=2

1 k , quand n tend vers +, on ln k k1

Hn

n +

ln n + + o(1) o = 1 +

1 n . ln n n1

4) Valeurs approches de .
On a vu prcdemment que pour n 1, vn un avec un vn = ln 1 + vn ln 1 + 1 . n 1 n et donc

n Par suite, 103 1 ln 1 + 2 n

1, 0

vn

103 n 2

Ainsi, la valeur exacte de v2000 est une valeur approche de

103 prs de v2000 est une valeur approche de 103 prs car 2 | | | v2000 | + |v2000 |

103 prs. Mais alors une valeur approche de v2000 2

1 n e0,0005 1

1999, 5 . . . n

2000.

103 103 + = 103 . 2 2

http ://www.maths-france.fr

c Jean-Louis Rouget, 2008. Tous droits rservs.

On calcule donc la machine v2000 arrondi la troisime dcimale la plus proche et on obtient = 0, 577 103 prs.

5) Equivalent de Hn ln n .
Pour n 2, daprs le calcul fait la n de 3),
n + k=2 + k=n+1

Hn ln n =

1+
k=2

k 1 ln k k1

1+

1 k ln k k1

ln

k 1 k1 k

Quand k tend vers +, on a ln k 1 1 k1 1 1 = ln = ln 1 k1 k k k k k 1 1 1 1 1 1 1 2 = = + 2 +o k 2k k2 k 2k 2k(k 1) 2

1 1 k1 k

Daprs la rgle de lquivalence des restes de sries termes positifs convergentes, on a alors Hn ln n
+ k=n+1

n +

1 2

1 1 k1 k

1 (srie tlescopique). 2n

Donc, Hn ln n

n +

1 ou encore 2n Hn = ln n + + 1 +o 2n 1 . n

n +

6) Pour n

2, Hn nest pas entier.


2, il existe des entiers naturels non nuls pn et qn tels que Hn = 2pn + 1 (Hn 2qn

Montrons par rcurrence que pour tout n

est alors le rapport dun entier impair sur un entier pair et en particulier nest pas entier). 3 1 = et on peut prendre p1 = q1 = 1. 2 2 Soit n 2. Supposons que pour tout entier k 2, n , il existe des entiers naturels non nuls pk et qk tels que 2pk + 1 Hk = . 2qk 1er cas. Si n est pair, on peut poser n = 2m o m 1. On a alors Pour n = 2, H2 = 1 + 1 1 = H2m + n+1 2m + 1 1 2p2m + 1 + (par hypothse de rcurrence) = 2q2m 2m + 1 2 (p2m + m + 2mp2m + q2m ) + 1 2p2m+1 + 1 (2p2m + 1)(2m + 1) + 2q2m , = = = 2q2m (2m + 1) 2 (q2m (2m + 1)) 2q2m+1

Hn+1 = Hn +

o p2m+1 = p2m + m + 2mp2m + q2m et q2m+1 = q2m (2m + 1) sont des entiers. 2me cas. Si n est impair, on peut poser n = 2m 1 o m 2. On a alors
2m

Hn+1 = H2m =
k=1

1 = k

k=1

1 + 2k

k=1

1 1 = Hm + 2k 1 2

k=1

1 . 2k 1

On a dj 2 m m + m 1 = 2m 1 = n et par hypothse de rcurrence, il existe des entiers pm et qm tels que m 2pm + 1 1 K . Dautre part, aprs rduction au mme dnominateur, Hm = scrit sous la forme o K et L 2qm 2k 1 2L + 1 k=1 sont des entiers naturels non nuls. Par suite, K (2pm + 1)(2L + 1) + 2 2Kqm 2(pm + L + 2Lpm + 2Kqm ) + 1 2p2m + 1 1 2pm + 1 + , = = = 2 2qm 2L + 1 2 2qm (2L + 1) 2 (2qm (2L + 1)) 2q2m

Hn+1 =

o p2m = pm + L + 2Lpm + 2Kqm et q2m = 2qm (2L + 1) sont des entiers naturels non nuls. c Jean-Louis Rouget, 2008. Tous droits rservs. http ://www.maths-france.fr 3

2pn+1 + 1 . On a donc montr 2qn+1 par rcurrence que pour tout entier naturel n suprieur ou gal 2, il existe des entiers naturels non nuls pn et qn tels 2pn + 1 que Hn = et en particulier, 2qn Dans tout les cas, on a trouv des entiers naturels non nuls pn+1 et qn+1 tels que Hn+1 = n N \ {0, 1}, Hn nest pas entier.

http ://www.maths-france.fr

c Jean-Louis Rouget, 2008. Tous droits rservs.