La srie harmonique

Pour n naturel non nul , on pose

n
X
1
.
k

Hn =

k=1

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

Pour n > 1,
Hn+1 Hn =

1
> 0.
n+1

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

2n
2n
X
X
1
1
1
1
>
=n
= .
k
2n
2n
2
k=n+1

k=n+1

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

n +

ou encore, la srie harmonique diverge.

2) Equivalent de Hn quand n tend vers +

Soit n > 2. La fonction t 7

1
est continue et dcroissante sur ]0, +[. On en dduit que
t
Z k+1
Zk
1
1
1
1
pour k > 1, >
dt et pour k > 2, 6
dt.
k
t
k
k
k1 t

En sommant ces ingalits, on obtient

Z n+1
Zn
n Z k+1
n
n
n Zk
n
X
X
X
X
X
1
1
1
1
1
1
1
>
dt =
dt = ln(n + 1) et
=1+
61+
dt = 1 +
dt = 1 + ln n.
k
t
t
k
k
t
1
1 t
k
k1

k=1

k=1

k=1

k=2

k=2

Ces ingalits restent vraies pour n = 1 et donc

n > 1, ln(n + 1) 6 Hn 6 1 + ln n.
et en particulier
Hn

n +

ln n.

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

Pour n > 1, posons un = Hn ln n.
1re tude. Soit n > 1.
1
1
un+1 un =
(ln(n + 1) ln n) =

n+1
n+1

Z n+1
n

1
dt =
t

Z n+1 
n

1
1

n+1 t

dt.

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

Or la fonction t 7

http ://www.maths-france.fr

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

De plus , daprs 2), pour n > 1,

0 6 ln(n + 1) ln n 6 Hn ln n = un 6 (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 . Enfin, puisque n N , 0 6 un 6 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 > 1, on pose aussi vn = Hn ln(n + 1). On a

Z n+1 
1
1
dt 6 0. La suite (un )nN est dcroissante.

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

t
n  n+1

Z n+2
1
1
1
vn+1 vn =
dt > 0. La suite (vn )nN est croissante.
(ln(n + 2) ln(n + 1)) =

n+1
n
+
1
t
n+1


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

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

k=1

nN

k=1

nN

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
n
X
X
1
1
n > 1,
ln(n + 1) 6 6
ln n.
k
k
k=1

k=1

3me tude. Quand n tend vers +,

un+1 un =

 
 

  
 
1
1
1
1
1
1
1
=

=
O
.
ln 1 +
+O
+
O
2
2
n+1
n
n
n
n
n
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 .


n 
n1
n1
X
X
X 1
1
k+1
k
=1+
, quand n tend vers +, on
ln
ln
Comme un = u1 +
(uk+1 uk ) = 1 +
k+1
k
k
k1
k=2
k=1
k=1

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

Hn

n +

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

+ 
X
1

n=2


n
.
ln
n
n1

4) Valeurs approches de .


1
et donc
On a vu prcdemment que pour n > 1, vn 6 6 un avec un vn = ln 1 +
n


1
n > 1, 0 6 vn 6 ln 1 +
.
n
Par suite,

0 6 vn 6



103
103
1
1
6
ln 1 +
n > 0,0005
n > 1999, 5 . . . n > 2000.
2
n
2
e
1

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

103
prs. Mais alors une valeur approche de v2000
2

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

| | 6 | v2000 | + |v2000 | 6

http ://www.maths-france.fr

103
103
+
= 103 .
2
2

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 fin de 3),
Hn ln n =

1+

n 
X
1

k=2

k
ln
k
k1

!

1+

+ 
X
1

k=2

k
ln
k
k1

!

+ 
X
ln

k=n+1

k
1

k1 k

Quand k tend vers +, on a



k
1
1
k1 1
1
ln

= ln
= ln 1
k1 k
k
k
k
k


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

= + 2 +o
k 2k
k2
k 2k
2k(k 1)
2 k1 k
Daprs la rgle de lquivalence des restes de sries termes positifs convergentes, on a alors
Hn ln n

Donc, Hn ln n

n +

n +



+
X
1
1
1
1
=

(srie tlescopique).
2 k1 k
2n

k=n+1

1
ou encore
2n
Hn

n +

1
ln n + +
+o
2n

 
1
.
n

6) Pour n > 2, Hn nest pas entier.

Montrons par rcurrence que pour tout n > 2, il existe des entiers naturels non nuls pn et qn tels que Hn =

2pn + 1
(Hn
2qn

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 J2, nK, 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
Hn+1 = H2m =

2m
m
m
m
X
X
X
1 X 1
1
1
1
=
+
= Hm +
.
k
2k
2k 1
2
2k 1

k=1

k=1

k=1

k=1

On a dj 2 6 m 6 m + m 1 = 2m 1 = n et par hypothse de rcurrence, il existe des entiers pm et qm tels que

m
X
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,

Hn+1 =

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

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.