Planche no 10. Sries entires.

Corrig

Exercice no 1
1) Soit z 6= 0. Pour n > e1/|z| , on a |z| ln n > 1 et donc la suite ((ln n)n zn ) ne tend pas vers 0 quand n tend vers +.
Ainsi, pour tout nombre complexe non nul z, la srie propose diverge grossirement.

R = 0.

1
2) Soit z 6= 0. Pour n > 2
, on a |z| n > 1 et donc la suite (( n)n zn ) ne tend pas vers 0 quand n tend vers +. Pour
|z|
tout nombre complexe non nul z, la srie propose diverge grossirement.

R = 0.

3) Daprs la formule de Stirling

 n n    2
2 1
n2 ln2 n.
2
p
(ln(n!)) ln 2n = n+ ln n n + ln( 2)
n+ e 2 n+

La srie entire propose a mme rayon de convergence que la srie entire associe la suite (n2 ln2 n). Comme
(n + 1)2 ln2 (n + 1)
lim = 1, la rgle de dAlembert permet daffirmer que
n+ n2 ln2 n

R = 1.

4)
     
4 1 1 1 4 1 1 1
n ln ch + cos ) = n ln 1 + +o = + o(1).
2 n n n+ 24n4 n4 n+ 24

  n4
1 1 1
Donc ch + cos e1/24 et
2 n n n+

R = 1.
 
2n
n
5) Pour n N , posons an = .
nn
n
n!2 nn (2n + 2)(2n + 1)nn

an+1 (2n + 2)! 1 4n + 2 1
= = = 1 +
an (2n)! (n + 1)!2 (n + 1)n+1 (n + 1)2 (n + 1)n+1 n+1 n+1 n
4
.
n+ ne
 
 an+1 
et donc lim   = 0. Daprs la rgle de dAlembert,
n+ an 

R = +.

6) On a vu que ln(n!) n ln n. Donc la srie entire propose a mme rayon de convergence que la srie entire
n+
a
 
(n ln n)
associe la suite . Puis
n!b

((n + 1) ln(n + 1))a /(n + 1)!b 1

(n ln n)a /n!b n+ nb

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

1 http ://www.maths-france.fr
et donc, daprs la rgle de dAlembert

si b > 0, R = +, si b = 0, R = 1 et si b < 0, R = 0.

7) Si a = 0, R = +. On suppose a 6= 0.
an  a n b
Si b > 1, n
et donc R = .
1 + b n+ b a
an an 1
Si b = 1, = et R = .
1 + bn 2 a
n
a n 1
Si 0 6 b < 1, a et R = .
1 + bn n+ a
Dans tous les cas

Max(1, b)
R= si a > 0 et R = + si a = 0.
a

Exercice no 2
1) La rgle de dAlembert montre que la srie propose a un rayon de convergence gal 1.
+
X 1
1re solution. Pour x ] 1, 1[, on pose f(x) = xn . f est drivable sur ] 1, 1[ et pour x dans ] 1, 1[,
n(n 1)
n=2

+
X + n
X
1 x
f (x) = xn1 = = ln(1 x).
n1 n
n=2 n=1
Zx
Puis, pour x ] 1, 1[, f(x) = f(0) + f (t)dt = (1 x) ln(1 x) + x.
0

2me solution. Pour x ] 1, 1[,

+ 
X  + n1
X + n
X
1 1 x x
f(x) = xn = x = x ln(1 x) + ln(1 x) + x.
n1 n n1 n
n=2 n=2 n=2

+
X xn
x ] 1, 1[, = x ln(1 x) + ln(1 x) + x.
n(n 1)
n=2

2) La rgle de dAlembert montre que la srie propose a un rayon gal 1. Pour x ] 1, 1[\{0}
+ + + + n
! !
X 3n n X X x n
1 2 X x

1 2

n
x =3 x 2 =3 =3 + (x + ln(1 x))
n+2 n+2 1 x x2 n 1 x x2
n=0 n=0 n=0 n=2

 
+
X 1 2
3n n 3 + (x + ln(1 x)) si x ] 1, 1[\{0}
x ] 1, 1[, x = 1 x x2 .
n+2
n=0 0 si x = 0

3) La rgle de dAlembert montre que la srie propose a un rayon gal 1.

Soit x ]0, 1[.

+
X +
2n
X +
2n+1
xn x 1 X x 1
= = = (ln(1 + x) ln(1 x)).
2n + 1 2n + 1 x 2n + 1 2 x
n=0 n=0 n=0

Soit x ] 1, 0[.

+ + +
2n+1
X xn X (x)n 1 X x Arctan( x)
= (1)n = (1)n =
2n + 1 2n + 1 x 2n + 1 x
n=0 n=0 n=0

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

2 http ://www.maths-france.fr
  
1 1+ x


ln si x ]0, 1[
+
X 2 x 1 x
xn
x ] 1, 1[, = 1 si x = 0 .
2n + 1
n=0 Arctan( x)

si x ] 1, 0[
x

4) La rgle de dAlembert montre que la srie propose a un rayon gal +. Pour x rel,
+ + +
!
1 X 2n + 1 1 n 1 X 1 n
X 1 n
f(x) = x = x x .
2 (2n + 1)! 2 (2n)! (2n + 1)!
n=0 n=0 n=0

Si x > 0,
+ +
!
1 X 1
2n 1 X 1
2n+1 1

1

f(x) = x x = ch( x) sh( x) .
2 (2n)! x n=0 (2n + 1)! 2 x
n=0

Si x < 0,
+ +
!
1 X 1
2n 1 X 1
2n+1 1

1

f(x) = (1)n x (1)n x = cos( x) sin( x) .
2 (2n)! x (2n + 1)! 2 x
n=0 n=0

 
1 1


ch( x) sh( x) si x > 0
+
X nxn 2 x
x R, = 0 si x = 0 .
(2n + 1)! 


n=0 1
1
cos( x) sin( x) si x < 0
2 x

5) Immdiatement R = + et

+
X x4n 1
x R, = (cos x + ch x).
(4n)! 2
n=0

en
 
1 1 1
6) ch n et donc R = . Pour x dans , ,
n+ 2 e e e
 
1
2 e+

+
X +
X +
X  x n
! x
1 1 1 1 1 e
(ch n) xn = (ex)n + = + =
2 1 ex 1 x
 
2 e 2 2 1
n=0 n=0 n=0
e x e+ x+1
e
1 x ch 1
= .
x2 2x ch 1 + 1
 +
1 1 X

1 x ch 1
x , , (ch n) xn = 2 .
e e x 2x ch 1 + 1
n=0

+
X + n
X x
7) La srie propose est le produit de Cauchy des sries entires xn et qui sont toutes deux de rayon 1. Donc
n
n=0 n=1
Xn
1
R > 1. Mais dautre part, pour tout entier naturel non nul n, an = > 1 et R 6 1. Finalement R = 1. De plus, pour
k
k=1
1 ln(1 x)
x dans ] 1, 1[, f(x) = ln(1 x) = .
1x x1
+ n
!
X X 1 ln(1 x)
x ]1, 1[, xn = .
k x1
n=1 k=1

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

3 http ://www.maths-france.fr
8) La rgle de dAlembert montre que le rayon de convergence est gal +.
n2 + 4n 1 (n + 1)(n2 + 4n 1) n3 + 5n2 + 3n 1
Pour n entier naturel donn, = = puis
n!(n + 2) (n + 2)! (n + 2)!

n3 + 5n2 + 3n 1 = (n + 2)(n + 1)n + 2n2 + n 1 = (n + 2)(n + 1)n + 2(n + 2)(n + 1) 5n 5

= (n + 2)(n + 1)n + 2(n + 2)(n + 1) 5(n + 2) + 5

Donc, pour tout rel x,

+
X +
X +
X +
X
(n + 2)(n + 1)n n (n + 2)(n + 1) n n+2 n 1
f(x) = x +2 x 5 x +5 xn .
(n + 2)! (n + 2)! (n + 2)! (n + 2)!
n=0 n=0 n=0 n=0

1
Ensuite f(0) = et pour x 6= 0,
2

+
X X 1 + X +X +
1 1 1
f(x) = xn + 2 xn 5 xn + 5 xn
(n 1)! n! (n + 1)! (n + 2)!
n=1 n=0 n=0 n=0
ex 1 ex 1 x ex (x3 + 2x2 5x + 5) 5
= xex + 2ex 5 +5 = .
x x2 x2
x 3 2
+
X n2 + 4n 1 e (x + 2x 5x + 5) 5 si x R

x R, xn = x2 .
n!(n + 2)
1
n=0 si x = 0
2

+ 2k+1
X +
X
1 n x
9) Pour n N , 6 an = n(1) 6 n et donc R = 1. Pour x dans ] 1, 1[, f(x) = + (2k)x2k . Puis
n 2k + 1
k=0 k=1

+ + +
! 
X X X 2x2

1
(2k)x2k = x (2k)x2k1 = x x2k =x = .
1 x2 (1 x2 )2
k=1 k=1 k=0

+ 2k+1 + +
!
X X (1)k1 k X 1 k
 
x 1 1 1+x
Dautre part, = x + x = ln .
2k + 1 2 k k 2 1x
k=0 k=1 k=1

+
X 2x2
 
(1)n n 1 1+x
x ] 1, 1[, n x = ln + .
2 1x (1 x2 )2
n=1

+
1X (x4 )n ln(1 + x4 )
10) R = 1. Pour x rel non nul dans ] 1, 1[, f(x) = (1)n1 = et sinon f(0) = 0.
x n 4x
n=1

+
X x 4n1 ln(1 + x4 )
n si x 6= 0
x ] 1, 1[, (1) = 4x .
4n
n=1 0 si x = 0

 
1 1 1
11) La rgle de dAlembert fournit R = . Pour x dans , ,
2 2 2

+ + + +
!
X X X X
2 n+1 n n n n
(n + 1)2 x =2 (n + 2)(n + 1)(2x) 3 (n + 1)(2x) + 2 (2x)
n=0 n=0 n=0 n=0
+
! +
! +
!
1 X 3 X X 
1 3 2 1 8

n n n
=2 (2x) (2x) +2 (2x) =2 2 +
4 2 1 2x 2 (1 2x)2 4 (1 2x)3
n=0 n=0 n=0
2 2
2(1 2x) 3(1 2x) + 2 8x 2x + 1
=2 =2 .
(1 2x)3 (1 2x)3

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

4 http ://www.maths-france.fr
  +
1 1 X 2 8x2 2x + 1

x , , (n + 1)2n+1 xn = 2 .
2 2 (1 2x)3
n=0

12) Pour x = 1, la suite ((1)n+1 nx2n+1 ) nest pas borne et donc R > 1. Mais la srie converge si |x| < 1 et R 6 1.
Finalement R = 1.
Pour x dans ] 1, 1[,

+ + +
!
X 1 X X
n+1 2n+1 n+1 2n+1 n+1 2n+1
(1) nx = (1) (2n + 2)x 2 (1) x
2
n=0 n=0 n=0
+
! +
!  !
X X x2

1 n+1 2n+2 2 n 1 2x
= (1) x + 2x (x ) = +
2 2 1 + x2 1 + x2
n=0 n=0
2x(1 + x2 ) 2x3 x x3
= 2 2
+ 2
= .
2(1 + x ) 1+x (1 + x2 )2

+
X x3
x ] 1, 1[, (1)n+1 nx2n+1 = .
(1 + x2 )2
n=0

2 1+ 5 1 5
13) 1re solution. Les racines de lquation caractristique z z 1 = 0 sont = et = . On sait quil
2 2
existe deux nombres rels et tels que pour tout entier naturel n,
!n !n
1+ 5 1 5
an = + .
2 2

Les galits n = 0 et n = 1 fournissent

 
1 1 1 1+ 5
+=1 +=1
= 1+
=
2 5 5 2 .
1 + 5 1 5 1
+ =1 =
1 1
1 1 5
2 2 5 = 1 =
2 5 5 2
!n+1 !n+1
1 1+ 5 1 1 5
Finalement, pour tout entier naturel n, an = .
5 2 5 2
!n+1 !n+1
1 + 5 1 5
Les sries entires respectivement associes aux suites et ont pour rayons respectifs
2 2
   
 1  51  1  = 5 + 1 . Ces rayons tant distincts, la srie propose a pour rayon

 (1 + 5)/2  = et 
  
2 (1 5)/2  2
 
51 5+1 51
R = Min , = .
2 2 2
# "
51 51
Pour x dans , , on a
2 2

+
X + +
X X
 
1 1
a n xn = (x)n (x)n = =
5 5 5 1 x 1 x 5 x2 ( + )x + 1
n=0 n=0 n=0
1
= .
1 x x2
2me solution. Supposons priori le rayon R de la srie propose strictement positif. Pour x dans ] R, R[, on a

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

5 http ://www.maths-france.fr
 +
X +
X +
X
f(x) = 1 + x + a n xn = 1 + x + an+2 xn+2 = 1 + x + (an+1 + an )xn+2
n=2 n=0 n=0
+
X +
X
=1+x+x an+1 xn+1 + x 2
an xn (les deux sries ont mme rayon)
n=0 n=0
= 1 + x + x(f(x) 1) + x2 f(x).
1
Donc, ncessairement x ] R, R[, f(x) = .
1 x x2
Rciproquement, la fraction rationnelle ci-dessus nadmet pas 0 pour ple et est donc dveloppable en srie entire. Le rayon
+
51 X
de convergence de la srie obtenue est le minimum des modules des ples de f savoir R = . Notons bn xn ce
2
! n=0
+
X +
X +
X +
X
dveloppement. Pour tout x de ]R, R[, on a bn xn (1xx2 ) = 1 et donc bn x n bn xn+1 bn xn+2 = 1
n=0 n=0 n=0 n=0
+
X +
X +
X
ce qui scrit encore bn x n bn1 xn bn2 xn = 1. Finalement
n=0 n=1 n=2

+
X
x ] R, R[, b0 + (b1 b0 )x + (bn bn1 bn2 )xn = 1.
n=2

Par unicit des coefficients dun dveloppement en srie entire, on a alors b0 = b1 = 1 et n > 2, bn = bn1 + bn2 . On
en dduit alors par rcurrence que n N, bn = an .
# " +
51 51 X 1
x , , a n xn = .
2 2 1 x x2
n=0

Remarque. En gnralisant le travail prcdent, on peut montrer que les suites associes aux dveloppements en srie
entire des fractions rationnelles sont justement les suites vrifiant des relations de rcurrence linaire.
14) Pour tout entier naturel n, 1 6 an 6 n + 1. Donc R = 1.
X
On remarque que pour tout entier naturel n, an = 1. La srie entire propose est donc le produit de Cauchy des
k+5l=n
+
X +
X
sries xk et x5l . Pour x dans ] 1, 1[, on a donc
k=0 l=0

+ +
! !
X X 1 1
f(x) = xk x5l = .
1 x (1 x)5
k=0 l=0

Remarque. De combien de faons peut-on payer 100 euros avec des pices de 1, 2, 5, 10, 20 et 50 centimes deuros, des
pices de 1 et 2 euros et des billets de 10 et 20 euros ? Soit N le nombre de solutions. N est le nombre de solutions en
nombres entiers a,b,... de lquation
a + 2b + 5c + 10d + 20e + 50f + 100g + 200h + 500k + 1000i + 2000j = 10000

et est donc le coefficient de x10000 du dveloppement en srie entire de

1
,
(1 x)(1 x2 )(1 x5 )(1 x10 )(1 x20 )(1 x50 )(1 x100 )(1 x200 )(1 x500 )(1 x1000 )(1 x2000 )
La remarque est nanmoins anecdotique et il semble bien prfrable de dnombrer la main le nombre de solutions. Les
no 19 et 20 de cette planche font bien mieux comprendre quel point les sries entires sont un outil intressant pour les
dnombrements.
Exercice no 3
Dans chaque question, on note f la fonction considre.
1) f est dveloppable en srie entire lorigine en tant que fraction rationnelle nadmettant pas 0 pour ple. Le rayon du
dveloppement est le minimum des modules des ples de f savoir 1. Pour x dans ] 1, 1[,

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

6 http ://www.maths-france.fr
 +
X + + 
1 X xn X 
1 1 1 1 1 n 1
f(x) = = = x = 1 n+1 xn .
x1 x2 1x 2 1 x 2 2n 2
n=0 n=0 n=0
2
2) f est dveloppable en srie entire lorigine en tant que fraction rationnelle nadmettant pas 0 pour ple.
Puisque |t| < 1, on peut poser = Arccos t. On a donc ]0, [ et t = cos(). Pour tout rel x, on a

x2 2tx + 1 = x2 2x cos() + 1 = x ei x ei ,

avec ei 6= ei . Les ples sont de modules 1 et le rayon du dveloppement est donc gal 1. Pour x dans ] 1, 1[,

ei ei
   
1 1 1 1 1
= = +
x2 2x cos() + 1 2i sin() x ei x ei 2i sin() 1 xei 1 xei
+ +
! +
1 X X X sin((n + 1)) n
= ei ein xn ei ein xn = x .
2i sin() sin
n=0 n=0 n=0

+
X
1 sin((n + 1)) n
t ] 1, 1[, x ] 1, 1[, = x o = Arccos t.
x2 2xt + 1 sin
n=0

3) Pour tout rel x, x2 5x + 6 = (x 2)(x 3) et donc si x < 2, x2 5x + 6 > 0. Pour x ] 2, 2[,

 x  x
ln(x2 5x + 6) = ln(2 x) + ln(3 x) = ln(6) + ln 1 + ln 1 ,
2 3
x x
et puisque pour x dans ] 2, 2[, et sont dans ] 1, 1[,
2 3
+ 
X 1 xn

1
ln(x2 5x + 6) = ln(6) + ,
2n 3n n
n=1

et en particulier la fonction f est dveloppable en srie entire et le rayon du dveloppement est 2.

4) Sicos a = 0, la
 fonction
 f estdfinie et drivable sur D = R et si cos a 6= 0, f est dfinie et drivable sur
1 1
D = , , + . Pour x D,
cos a cos a

sin a 1 sin a
f (x) = 2 = .
(1 x cos a)2 x2 2x cos a + 1

x sin a
1+
1 x cos a

Daprs 2), la fonction f est dans tous les cas dveloppable en srie entire, le rayon du dveloppement est 1 et pour x
dans ] 1, 1[
+
X
f (x) = sin((n + 1)a)xn .
n=0

On sait alors que la fonction f est dveloppable en srie entire, que le dveloppement a mme rayon de convergence et
sobtient en intgrant terme terme. Donc pour x dans ] 1, 1[,
Zx +
X sin((n + 1)a) n+1
f(x) = f(0) + f (t) dt = x .
0 n+1
n=0

5) La fonction f est dveloppable en srie entire en tant que fraction rationnelle nadmettant pas 0 pour ple. Le rayon
est le minimum des modules des ples de f savoir 1.
p
X
1 k
=
(x 1)(x 2) . . . (x p) xk
k=1

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

7 http ://www.maths-france.fr
  
pk 1 pk k p
avec k = (1) = (1) . Par suite, pour x dans ] 1, 1[
(k 1)!(p k)! p! k

p p + n
!
X  
k p 1

1 (1)p X
  X
pk k+1 p x
f(x) = (1) = (1)
p! k k 1 x p! k kn
k=1 k=1 n=0
  k
p

+ p
(1)p X X k n
= (1)k+1 n x .
p! k
n=0 k=1

1
6) La fonction f est deux fois drivable sur ] 1, 1[ et pour x dans ] 1, 1[, f (x) = 2 Arcsin x puis
1 x2
1 2 x 2
f (x) = 2x Arcsin x + 2
= 2
f (x) + .
2
(1 x )3/2 1x 1x 1 x2

Donc, pour x dans ] 1, 1[,

(1 x2 )f (x) xf (x) = 2 (1) et f(0) = f (0) = 0 (2).

On admettra que ces galits dterminent la fonction f de manire unique.

+
X +
X
Soit an xn une srie entire de rayon R suppos priori strictement positif. Pour x ] R, R[, on pose g(x) = a n xn .
n=0 n=0

+
X +
X
g est solution de (1) sur ] R, R[ x ] R, R[, (1 x2 ) n(n 1)an xn2 x nan xn1 = 2
n=2 n=1
+
X +
X +
X
x ] R, R[, n(n 1)an xn2 n(n 1)an xn + nan xn = 2
n=2 n=0 n=0
+
X +
X
x ] R, R[, n(n 1)an xn2 n2 an xn = 2
n=2 n=0
+
X +
X
n
x ] R, R[, (n + 2)(n + 1)an+2 x n2 an xn = 2
n=0 n=0
+
X
x ] R, R[, ((n + 2)(n + 1)an+2 n2 an )xn = 2
n=0
n2
a2 = 1 et n N , an+2 = an (par unicit des coefficients dun DES).
(n + 2)(n + 1)

En rsum, la fonction g est solution de (1) et (2) sur ] R, R[ si et seulement si a0 = a1 = 0 et a2 = 1 et n N , an+2 =

n2
an (3) puis
(n + 2)(n + 1)

2
((2n 2) . . . 4 2)
(3) n N, a2n+1 = 0 et a0 = 0, a2 = 1 et n > 2, a2n = a2
(2n) (2n 1) . . . 6 5 4 3
22n1 ((n 1)!)2
a0 = 0 et n N, a2n+1 = 0 et n N , a2n =
(2n)!

En rsum, sous lhypothse R > 0, la fonction g est solution de (1) et (2) sur ] R, R[ si et seulement si x ] R, R[,
+
X 22n1 2n
g(x) =  x .
2n
n=1 n2
n
Rciproquement, calculons le rayon de la srie entire prcdente. Pour x rel non nul,
 2n+1
(n!)2 x2n+2 4x2 n2

2 (2n)! 
 2n1 2 2n
= x2 .
 (2n + 2)! 2 ((n 1)!) x  (2n + 2)(2n + 1) n+

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

8 http ://www.maths-france.fr
Daprs la rgle de dAlembert, la srie propose converge absolument pour |x| < 1 et diverge grossirement pour |x| > 1.
Le rayon de la srie propose est donc 1 > 0 ce qui valide les calculs prcdents.
Par unicit de la solution de (1) et (2) sur ] 1, 1[, f est dveloppable en srie entire et

+
X 22n1 2n
x ] 1, 1[, Arcsin2 x =  x .
2n
n=1 n2
n

+
Xx4n
7) Pour tout rel x, cos(x2 ) = (1)n
(le rayon est infini). On sait alors que la fonction f est dveloppable en srie
(2n)!
n=0
entire, que le rayon du dveloppement est encore infini et que lon peut intgrer terme terme pour obtenir (en tenant
compte de f(0) = 0)
Zx +
X x4n+1
cos t2 dt = (1)n


x R, .
0 (4n + 1) (2n)!
n=0

1
8) Les zros du polynme t4 + t2 + 1 sont j, j2 , j et j2 . Donc la fonction t 7 est dveloppable en srie
+ t2 + 1 t4
entire en tant que fraction rationnelle nadmettant pas zro pour ple et que le rayon de la srie obtenue est 1. Puis pour
t dans ] 1, 1[,
+
X +
X +
X
1 1 t2 6n 6n
= = (1 t 2
) t = t t6n+2 = 1 t2 + t6 t8 + t12 t14 + . . ..
t4 + t2 + 1 1 t6
n=0 n=0 n=0

1 1
La fonction t 7 est continue sur ] , 0] et ngligeable devant 2 quand t tend vers . La fonction
t4 + t2 + 1 t
1
t 7 est donc intgrable sur ] , 0].
t4
+ t2 + 1
Par intgration terme terme licite, on obtient pour x dans ] 1, 1[,
Z0 Zx Z0 +  6n+1
X t6n+3

1 1 1 t
f(x) = dt + dt = dt + .
t4 + t2 + 1 0 t4 + t2 + 1 t4 + t2 + 1 6n + 1 6n + 3
n=0
Z0
1
Calcul de I = dt. Par parit et ralit,
t4 + t2 + 1
1 a a a a
= + ,
t4 + t2 + 1 t j t j2 t + j t + j2

1 1 2 + j2 1j
avec a = = = = . Puis
4j3 + 2j 2(2 + j) 2(2 + j)(2 + j2 ) 6

1 1 j 1 j2 1 j 1 j2
   
1 1 3t + 3 3t + 3
= + = +
t4 + t2 + 1 6 tj t j2 t+j t + j2 6 t2 + t + 1 t2 t + 1
   
1 t+1 t1 1 2t + 1 1 2t 1 1
= = + +
2 t2 + t + 1 t2 t + 1 4 t2 + t + 1 t2 + t + 1 t2 t + 1 t2 t + 1


1 2t + 1 1 2t 1 1
= 2 + !2 t2 t + 1 +  .

4 t + t + 1 2 2 2!
1 3 1 3

t+ + t +

2 2 2 2

Par suite,

Z0   2   0
1 1 t +t+1 2 2t + 1 2t 1 1  
4 2
dt = ln 2
+ Arctan + Arctan = + = .
t +t +1 4 t t+1 3 3 3 2 3 2 2 2 3
En rsum,

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

9 http ://www.maths-france.fr
 Zx +  6n+1
X t6n+3

1 t
x ] 1, 1[, dt = + .
t4 + t2 + 1 2 3 n=0 6n + 1 6n + 3

9) f est dveloppable en srie entire sur R en tant que produit de fonctions dveloppables en srie entire sur R. Pour x
rel,

 1X +
1  (1+i)x xn
cos x ch x = e + e(1i)x + e(1+i)x + e(1i)x = ((1 + i)n + (1 i)n + (1 + i)n + (1 i)n )
4 4 n!
n=0
+
1 X  i/4 n  i/4 n  3i/4 n  3i/4 n  xn
= 2e + 2e + 2e + 2e
4 n!
n=0
+ + 
1 X  n X n
  n    n  n  xn
3n x  n 
= 2 cos + cos = 2 cos cos
2 4 4 n! 2 4 n!
n=0 n=0
+  2p  p  x2p +  4k +
X X 2k x4k X x4k
 
= 2 (1)p cos = 2 (1)2k cos = (1)k 22k .
2 (2p)! 2 (4k)! (4k)!
p=0 k=0 k=0

+
X x4k
x R, cos x ch x = (1)k 22k .
(4k)!
k=0

Exercice no 4
+
X x2n
Pour x rel non nul, f(x) = (1)n ce qui reste vrai pour x = 0. La fonction f est donc dveloppable en srie
(2n + 1)!
n=0
entire sur R et en particulier, la fonction f est de classe C sur R.
Exercice no 5
Soit R > 0. Notons DR le disque ferm de centre 0 et de rayon R. Soient z DR et n un entier naturel.

|Pn (z)| = |ez (ez Pn (z))| > |ez | |ez Pn (z)| > eR |ez Pn (z)|.

On sait que la suite de polynmes (Pn )nN converge uniformment vers la fonction exponentielle sur DR .Donc il existe un
1 1
entier n0 tel que pour tout z DR et tout entier n > n0 , |ez Pn (z)| 6 eR . Pour n > n0 et z DR , |Pn (z)| > eR > 0.
2 2
Pour n > n0 , Pn ne sannule pas dans DR .
Exercice no 6
+ + +
! !
X X X
n n n
On cherche une srie entire bn x de rayon R strictement positif telle que an x bn x = 1 pour x
n=0 n=0 n=0
lment dun certain intervalle ouvert non vide de centre 0.

a 0 b0 = 1



a 0 b1 + a 1 b0 = 0


a 0 b2 + a 1 b1 + a 2 b0 = 0
Cette galit impose la suite (bn ) de vrifier le systme dquations ..

.


a0 bn + a1 bn1 + . . . + an1 b1 + an b0 = 1


..

.
1) Montrons par rcurrence que n N, bn existe et est unique.
Puisque a0 = 1, a0 b0 = 1 b0 = 1. Ceci montre lexistence et lunicit de b0 .
Soit n N. Supposons avoir dmontr lexistence et lunicit de b0 , b1 , . . . , bn .
Alors a0 bn+1 + a1 bn + . . . + an b1 + an+1 b0 = 0 bn+1 = a1 bn . . . an b1 an+1 b0 . Ceci montre lexistence
et lunicit de bn+1 .
On a montr par rcurrence que la suite (bn ) existe et est unique.
2) Il faut alors vrifier que la srie entire associe la suite (bn )nN a un rayon de convergence strictement positif .
Soit R > 0 le rayon de la srie associe la suite (an )nN et soit r un rel tel que 0 < r < R.

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

10 http ://www.maths-france.fr
 M
On sait que la suite (an rn )nN est borne et il existe M > 0 tel que pour tout entier naturel n, |an | 6 .
rn
M M M M M(M + 1)
b0 = 1 puis |b1 | = | a1 b0 | 6 puis |b2 | = | a2 b0 a1 b1 | 6 2 + = puis
r r r r r2
M M M M M(M + 1) M(M2 + 2M + 1) M(M + 1)2
|b3 | = | a3 b0 a2 b1 a1 b2 | 6 3
+ 2 + 2
= 3
= .
r r r r r r r3
M(M + 1)n1
Montrons alors par rcurrence que n N , |bn | 6 .
rn
Cest vrai pour n = 1.
M(M + 1)k1
Soit n > 1, supposons que k J1, nK, |bk | 6 . Alors
rk

Xn
M(M + 1)k1 M M
|bn+1 | 6 | an+1 b0 | + | an b1 | + ... + | a1 bn | 6 +
n+1k
rn+1 rk r
k=1
n
!
X (M + 1)n 1 M(M + 1)n
 
M M
= 1+M (M + 1)k1 = n+1 1 + M = .
rn+1 r (M + 1) 1 rn+1
k=1

M(M + 1)n
On a montr par rcurrence que pour tout entier naturel non nul n, |bn | 6 . En particulier , le rayon R
rn+1
r
de la srie entire associe la suite (bn )nN vrifie R > > 0. Ceci valide les calculs initiaux sur ] , [ o
M+1

= Min(R, R ) > 0 et donc linverse dune fonction f dveloppable en srie entire lorigine et telle que f(0) 6= 0 est
dveloppable en srie entire lorigine.
Exercice no 7
r

On a dj vu que Wn et la rgle de dAlembert fournit R = 1. Soit x ] 1, 1[.
h i n+ 2n
Pour tout t 0, et tout entier naturel n, |xn cosn t| 6 |x|n . Comme la srie numrique de terme gnral |x|n , n N,
2
converge,h la srie de fonctions de terme gnral t 7 xn cosn t est normalement et donc uniformment convergente sur le
i
segment 0, . Daprs le thorme dintgration terme terme sur un segment,
2

+
X +
X Z /2 Z /2 +
X
! Z /2
n n n n n 1
Wn x = x cos t dt = x cos t dt = dt
0 0 0 1 x cos t
n=0 n=0 n=0
Z1  
1 2du t
= (en posant u = tan )
0 1 u2 1 + u2 2
1x
1 + u2
1
Z1
1 1 1 Arctan r u

=2 du = 2 r
0 (1 + x)u2
+ (1 x) 1+x 1x 1 x
1+x 1+x 0
r
2 1+x
= Arctan .
1 x2 1x

+
X
r
2 n 1+x
x ] 1, 1[, Wn x = Arctan .
1 x2 1x
n=0

Exercice no 8
   
1 1 2n
Pour tout entier naturel non nul, |an | 6 et donc R > 1. Mais si x > 1, la suite cos xn nest pas borne
n n 3 n>1
comme on le voit en considrant la suite extraite des termes dindices multiples de 3 et donc R = 1. Pour x dans ] 1, 1[,
+
!
X (jx)n
f(x) = Re . Le problme est alors de ne pouvoir crire ln(1 jx). Il faut sy prendre autrement.
n
n=1

f est drivable sur ] 1, 1[ et pour x dans ] 1, 1[,

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

11 http ://www.maths-france.fr
 + +
!
X 
2n
 X 
j
 
j(1 j2 x)

1 2x + 1
n1 n n1
f (x) = cos x = Re j x = Re = Re = .
3 1 jx x2 + x + 1 2 x2 + x + 1
n=1 n=1
Zx
1
Par suite, pour x ] 1, 1[, f(x) = f(0) + f (t) dt = ln(x2 + x + 1).
0 2

+
X  
1 2n 1
x ] 1, 1[, cos xn = ln(x2 + x + 1).
n 3 2
n=1

Exercice no 9
Le rayon de la srie considre est gal 1. Soit x ] 1, 1[.
+  + +
!
1X X xn X xn

1 1 1
f(x) = xn = 1 + .
2 2n 1 2n + 1 2 2n 1 2n + 1
n=0 n=1 n=0

Si x est dans ]0, 1[,

+ + +
2n+1
! !
1 X xn+1 X xn 1

1
X
x
f(x) = 1 + = 1 + x
2 2n + 1 2n + 1 2 x 2n + 1
n=0 n=0 n=0


   
1 1 1 1+ x
= 1 + x ln .
2 2 x 1 x
Si x est dans ] 1, 0[,

+ +
! +
2n+1 !
1 X xn+1 X xn 1

1
X
x
n
f(x) = 1 + = 1 x + (1)
2 2n + 1 2n + 1 2 x n=0 2n + 1
n=0 n=0

   
1 1
= 1 x + Arctan( x) .
2 x
f(0) = 1.
1 (1)n
Maintenant, la somme est en fait dfinie sur [1, 1] car les sries numriques de termes gnraux et
4n2 1 4n2 1
convergent. Vrifions que la somme est continue sur [1, 1].
 xn 
 
 1
Pour x dans [1, 1] et n N ,  2  6 qui est le terme gnral dune srie numrique convergente. La srie
4n 1  4n2 1
entire considre converge donc normalement sur [1, 1]. On en dduit que la somme est continue sur [1, 1]. Donc

+
X



 
1 1 1
= f(1) = lim f(x) = lim 1 + (x 1) ln 1 + x ln 1 x
4n2 1 x1 x1 2 2 x
n=0 x<1 x<1
1
=
2





(car (x 1) ln 1 x = 1 + x 1 x ln 1 x 0).
x1
+
X n !
1X
   
1 1 1 1 1 1
Remarque. = lim = lim 1 = (srie tlesco-
4n2 1 n+ 2 2k 1 2k + 1 n+ 2 2n + 1 2
n=0 k=0
pique).
On a aussi

+
X (1)n
   
1 1
= f(1) = lim f(x) = lim 1 x + Arctan( x)
4n2 1 x1 x1 2 x
n=0 x>1 x>1
1 +2
= (1 2 Arctan 1) = .
2 4

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

12 http ://www.maths-france.fr
Exercice no 10
1
Pour tout entier naturel n, |un | > et donc la srie propose ne converge pas absolument.
2n + 1
Pour tout entier naturel n,

n
X n+1
X 1  n
X
1 1 1 1 1 1 1 1
|un | |un+1 | = =
2n + 1 4k + 1 2n + 3 4k + 1 2n + 1 2n + 3 4k + 1 2n + 3 4n + 5
k=0 k=0 k=0
n
X
2 1 1 1 1
= > > 0.
(2n + 1)(2n + 3) 4k + 1 (2n + 3)(4n + 5) (2n + 3)(2n + 1) (2n + 3)(4n + 5)
k=0

La suite (|un |)nN est donc dcroissante. De plus, pour tout entier naturel non nul n,
n
X 1
4n+1
X 1 X Zk 1
4n+1
6 61+ dt = 1 + ln(4n + 1)
4k + 1 k k1 t
k=0 k=1 k=2

1 + ln(4n + 1)
et donc |un | 6 . On en dduit que lim un = 0. Finalement, la srie propose converge en vertu du critre
2n + 1 n+
spcial aux sries alternes.
+
X
Considrons la srie entire un x2n+1 . La srie de terme gnral un converge et donc R > 1 mais puisque la srie de
n=0
+
X
terme gnral |un | diverge et donc R 6 1. Finalement, R = 1. Pour x ] 1, 1[, posons f(x) = un x2n+1 . Pour x dans
n=0
] 1, 1[,

+ +
n
! n
!
X X 1 X X 1
f (x) = (1)n x2n = (x2 )n
4k + 1 4k + 1
n=0 k=0 n=0 k=0
+ +
! !
X (x ) 2 n X
= (x2 )n (produit de Cauchy de deux sries numriques absolument convergentes)
4n + 1
n=0 n=0

+
X 1
Donc, pour x dans ]0, 1[, f (x) = g(x)h(x) o h(x) = (x2 )n = puis
1 + x2
n=0

+
X
1 1
g(x) = (1)n ( x)4n+1 .
x n=0 4n + 1
+ +
X X4n+1 X 1
Maintenant, en posant k(X) = (1)n , pour X dans ]1, 1[, k (X) = (1)n X4n = 4 . Ensuite, en posant
4n + 1 X +1
n=0 n=0
= ei/4 , par ralit et parit
1 a a a a
= +
X4 + 1 X X X+ X+
1
o a = 3
= . Il vient alors
4 4
  !
1 1 1 X 22 X 2+2
= + = +
X4 + 1 4 X X X+ X+ 4 X2 2X + 1 X2 + 2X + 1
!
1 2X + 2 2 2X 2 2
=
4 2 X2 + 2X + 1 X2 2X + 1


1 2X + 2 2 2X 2 2
= + +

2 2 2 2
4 2 X2 + 2X + 1 X2 2X + 1
      
1 1 1 1
X+ + X +
2 2 2 2
En tenant compte de k(0) = 0, on obtient donc pour X ] 1, 1[,

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

13 http ://www.maths-france.fr
 1   
k(X) = ln(X2 + X 2 + 1) ln(X2 X 2 + 1)) + 2 Arctan(X 2 + 1) + Arctan(X 2 1) .
4 2
1
1 1


Ensuite, pour tout rel x ]0, 1[, f (x) = k x 2
= k x k x et donc
x 1+x x

2 

2
f(x) = f(0) + k x k(0)2 = k x
1   2
= ln(x + x 2 + 1) ln(x x 2 + 1)) + 2 Arctan( x 2 + 1) + Arctan( x 2 1) .
32
Quand x tend vers 1, f(x) tend vers
! !2
1 2+ 2 1    2
ln + 2(Arctan( 2 + 1) + Arctan( 2 1)) = ln 3 + 2 2 + .
32 2 2 32

 
1
(car Arctan( 2 + 1) + Arctan( 2 1) = Arctan( 2 + 1) + Arctan = ).
2+1 2
Enfin, pour x dans [0, 1] et n dans N, |un |xn |un+1 |xn+1 > (|un | |un+1 |)xn > 0 et la srie numrique de terme gnral
un xn est alterne. Daprs une majoration classique du reste lordre n dune telle srie, pour tout entier naturel n et
tout rel x de [0, 1],
 + 
 X  
k

|Rn (x)| =  uk x  6 un+1 xn+1  6 |un+1 |,

 
k=n+1

et donc Sup |Rn (x)| 6 |un+1 | 0. La convergence est normale et donc uniforme sur [0, 1] et on en dduit que la
x[0,1] n+

somme est continue sur [0, 1]. En particulier

+
X 
1   2
un = f(1) = lim f(x) = ln 3 + 2 2 + .
x1 32
n=0 x<1

+ n
!
X (1)n X 1 1    2
= ln 3 + 2 2 + .
2n + 1 4k + 1 32
n=0 k=0

Exercice no 11
Posons SpC A = (1 , . . . , p ). On sait que pour tout entier naturel n, Tr(An ) = n n
1 + ... + p .
Soit un nombre complexe.
+
X
Si = 0, la srie entire associe la suite (n )nN est de rayon infini et pour tout nombre complexe z, n zn = 1 =
n=0
1
.
1 z
+
1 1 X n n 1
Si 6= 0, la srie entire associe la suite (n ) est de rayon et pour |z| < , z = .
|| || 1 z
n=0

1
Soit = Max (|1 |, . . . , |p |) ( est le rayon spectral de la matrice A) et R = si 6= 0 et R = + si = 0.

Pour |z| < R,

+ + p p +
! !
X X X X X
n n n n
Tr(A )z = (k z) = (k z) (somme de p sries convergentes)
n=0 n=0 k=1 k=1 n=0
Xp
1
= .
1 k z
k=1

Il est alors clair que R est le rayon de convergence de la srie entire propose (dveloppement en srie entire dune
fraction rationnelle).

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

14 http ://www.maths-france.fr
  
1

+
X Xp A
1 1 z P
Si de plus, 0 < |z| < R, Tr(An )zn = =   (dcomposition usuelle de ).

z 1
1 P
n=0 k=1 k zA
z z
Exercice no 12
Zx +
X 2n
! +
X
!
x2 t2 nx x2n+1
Pour x rel, on sait que F(x) = e e dt = (1) .
0 n! n!(2n + 1)
n=0 n=0
La fonction F est impaire donc les coefficients dindices pairs sont nuls. Dautre part, pour n N, le coefficient de x2n+1
du produit de Cauchy des deux sries prcdentes vaut
n
X 1 (1)nk
.
k!(2k + 1) (n k)!
k=0

La mthode choisie fournit classiquement une expression complique des coefficients.

On peut aussi obtenir F comme solution
Zx dune quation diffrentielle linaire du premier ordre. F est drivable sur R et
2 2
pour tout rel x, F (x) = 2xex et dt + 1 = 2xF(x) + 1.
0
F est uniquement dtermine par les conditions F + 2xF = 1 et F(0) = 0 (*). F est dveloppable en srie entire sur R
+
X
daprs le dbut de lexercice et impaire. Pour x rel, posons donc F(x) = an x2n+1 .
n=0

+
X +
X +
X
() x R, (2n + 1)an x2n + 2 an x2n+2 = 1 x R, a0 + ((2n + 1)an + 2an1 )x2n = 1
n=0 n=0 n=1
2
a0 = 1 et n > 1, (2n + 1)an + 2an1 = 0 a0 = 1 et n > 1, an = an1
2n + 1
(1)n 2n
a0 = 1 et n > 1, an = a0
(2n + 1)(2n 1) . . . 1
(1)n 22n n!
n N, .
(2n + 1)!
+
X (1)n 22n n! 2n+1
On a montr que pour tout rel x, F(x) = x . Par unicit des coefficients dune srie entire, on obtient
(2n + 1)!
n=0
en particulier,
n
X (1)nk (1)n 22n n!
n N, = .
(2k + 1)k!(n k)! (2n + 1)!
k=0

Exercice no 13
Pour tout entier naturel n, an+1 + bn+1 = 2(an + bn ) et 3an+1 + 2bn+1 = 3an + 2bn (rappel : ces combinaisons
linaires sont fournies par les vecteurs propres de t A si on ne les devine pas). On en dduit que pour tout entier naturel
n, an + bn = 2n (a0 + b0 ) = 2n et 3an + 2bn = 3a0 + 2b0 = 3. Finalement,

n N, an = 3 2n+1 et bn = 3(2n 1).

Les deux sries proposes sont alors clairement de rayons infini et pour tout rel x, f(x) = 3ex 2e2x et g(x) = 3(e2x ex ).
(On peut avoir dautres ides de rsolution, plus astucieuses, mais au bout du compte moins performantes).
Exercice no 14
1
Pour n > 1, posons an =   . Pour n N ,
2n
n
n

(n + 1)!2
 
 an+1  an+1
= n (2n)! n
 = 2
= ().
 an  an n + 1 (2n + 2)! n! 2(2n + 1)
 
 an+1 
Par suite, 
  1 et daprs la rgle de dAlembert, le rayon de la srie entire considre est R = 4.
an  n+ 4

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

15 http ://www.maths-france.fr
 +
X
Pour x ]4, 4[, posons f(x) = a n xn .
n=1
Les relations () scrivent encore n N , 4(n + 1)an+1 2an+1 = nan .
Soit x ] 4, 4[. On multiplie les deux membres de lgalit prcdente par xn+1 et on somme sur n. On obtient
+
X +
X +
X
4x (n + 1)an+1 xn 2 an+1 xn+1 = x2 nan xn1 ,
n=1 n=1 n=1

ou encore x2 f (x) = 4x(f (x)a1 )2(f(x)a1 x) ou encore x(x 4)f (x)+ 2f(x) = x (E). Soit I =]0, 4[. Sur I, lquation
(E) scrit :
 
1 1 1 1
f (x) + + f(x) = .
2 x x4 x4
  r
1 1 1 1 4x
Une primitive sur I de la fonction a : x 7 + est la fonction A : x 7 (ln(4 x) ln(x)) = ln .
2 x x4 2 x
 
1 1 1 1
f solution de (E) sur I x I, f (x) + + f(x) =
2 x x4 x4
r
A(x) A(x) 1 4x
x I, e f (x) + a(x)e f(x) =
4x x
1
x I, (eA f) (x) = p ().
x(4 x)

1
Dterminons une primitive de la fonction x 7 p sur I.
x(4 x)  
1 1 1 x2
p = p et une primitive de la fonction x 7 p sur I est la fonction x 7 Arcsin .
x(4 x) 4 (x 2)2 x(4 x) 2
Puis

 
A(x) x2
f solution de (E) sur I C R/ x I, e f(x) = Arcsin +C
2
r    
x x2
C R/ x I, f(x) = Arcsin +C .
4x 2
 
x2
f doit tre dfinie, continue et drivable sur ] 4, 4[ et en particulier drivable en 0. Ceci impose lim+ Arcsin +
 x0  2

r
x 2x
C = 0 (car sinon f(x) + C x) et donc C = . Pour x ]0, 4[, on a alors f(x) = Arcsin =
r  0 2 4x 2 2
x 2x
Arccos ce qui reste vrai pour x = 0 par continuit.
4x 2

+
X r  
1 x 2x
x [0, 4[,   xn = Arccos .
2n 4x 2
n=1 n
n

Exercice no 15
1) Soient A et B les sommes des sries entires associes aux suites a et b sur ] 1, 1[. La fonction B est strictement
positive sur ]0, 1[ et en particulier ne sannule pas sur ]0, 1[.
La suite a est positive donc la fonction A est croissante sur [0, 1[ et admet ainsi une limite relle ou infinie quand x tend
+
X N
X
vers 1 par valeurs infrieures. De plus, pour N entier naturel donn et x [0, 1[, on a a n xn > an xn et donc
n=0 n=0

N
X N
X
N N, lim A(x) > lim a n xn = an .
x1, x<1 x1, x<1
n=0 n=0

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

16 http ://www.maths-france.fr
Puisque la srie de terme gnral positif an diverge, quand N tend tend vers +, on obtient lim A(x) > + et donc
x1, x<1
lim A(x) = +. Il en est de mme pour B car la srie de terme gnral bn diverge quelque soit la valeur de k.
x1, x<1

On veut alors montrer que A kB = o(B).

x1

Soit > 0. Par hypothse, an kbn = o(bn ) et donc il existe un entier naturel N tel que pour n > N, |an kbn | 6 bn .
n+ 2
Soit x [0, 1[.
+
X N
X +
X N
X

|A(x) kB(x)| 6 |an kbn |xn 6 |an kbn |xn + bn x n 6 |an kbn | + B(x).
2 2
n=0 n=0 n=N+1 n=0

Maintenant, B(x) tend vers + quand x tend vers 1 par valeurs infrieures. Donc il existe ]0, 1[ tel que pour x [1, 1[,
N
2X
B(x) > |an kbn |. Pour x [1 , 1[, on a alors

n=0

|A(x) kB(x)| 6 B(x) + B(x) = B(x).
2 2
A(x)
On a montr que > 0, ]0, 1[/ x [1 , 1[, |A(x) kB(x)| 6 B(x) et donc lim = k.
x1 B(x)

1 1
2) a) La srie entire propose vrifie les hypothses du 1) et de plus , ln n 1+ + ... + . Donc
n+ 2 n
+ n
! +
! + n
!
X X 1 X X x ln(1 x)
f(x) xn = xn = .
x1 k n x1
n=1 k=1 n=0 n=1

+
X ln(1 x)
(ln n)xn .
x1 x1
n=1

b) Soit p > 2. np1 (n + 1)(n + 2)...(n + p 1). Comme les deux suites (np1 ) et ((n + 1)(n + 2)...(n + p 1))
n+
vrifient les hypothses du 1)

+ + +
!(p1) (p1)
X X X 
1 (p 1)!
p1 n n n
n x (n + p 1)...(n + 1)x = x = = .
x1 1x (1 x)p
n=0 n=0 n=0

Par suite,

+
X
lim(1 x)p np1 xn = (p 1)!.
x1
n=1

Exercice no 16
Supposons quil existe un entier naturel p tel que ap = ap+1 . Le dveloppement limit lordre 1 de f(p) en 0 scrit
f(p) (x) = f(p) (0) + xf(p+1) (0) + o(x) = ap (1 + x) + o(x) et on en dduit
x0

x
|f(p) (x)| > |ap (1 + x)| |o(x)| = 1 + x |o(x)| > 1 + x (sur un voisinage point de 0 droite)
2
x
=1+ > 1 (sur un voisinage point de 0 droite).
2
Donc si deux termes conscutifs sont gaux, f ne vrifie pas les conditions de lnonc ou encore si f vrifie les conditions
de lnonc, alors p N, ap+1 = ap puis ap = (1)p a0 . Mais alors, ncessairement pour tout rel x, f(x) = ex ou
pour tout rel x, f(x) = ex .
Rciproquement, ces deux fonctions sont clairement solutions du problme pos.
Exercice no 17
i h i h
1) La fonction f est de classe C sur , en tant que quotient de fonctions de classe C sur , dont le
i h 2 2 2 2
dnominateur ne sannule pas sur , et de plus f = 1 + f2 .
2 2
c Jean-Louis Rouget, 2015. Tous droits rservs.
17 http ://www.maths-france.fr
 (n)
Montrons par rcurrence
i hque pour tout naturel n, il existe un polynme Pn coefficients entiers naturels tel que f = Pn f
(n)
(ou encore x , , tan (x) = Pn (tan x)).
2 2
Cest vrai pour n = 0 avec P0 = X et pour n = 1 avec P1 = 1 + X2 .
Soit n > 1. Supposons que pour tout k J0, nK, il existe un polynme Pk coefficients entiers naturels tel que f(k) = Pk f.
Daprs la formule de Leibniz,
n   n  
!
X n (k) (nk) X n
(n+1) 2 (n) 2 (n)



f = 1+f = f = f f = Pk Pnk f
k k
k=0 k=0
n 
X 
n
et le polynme Pn+1 = Pk Pnk est un polynme coefficients entiers naturels tel que tan(n+1) = Pn+1 f.
k
k=0

Remarque. On aurait pu aussi driver lgalit f(n) = Pn f pour obtenir f(n+1) = f Pn f = (P1 Pn ) f mais on
a dj dans lide une relation de rcurrence sur les coefficients du dveloppement de tan qui nest pas fournie par cette
dernire galit.
h h
2) Soient x 0, et n N. La formule de Taylor-Laplace lordre n en 0 fournit
2
n Zx
X f(k) (0) k (x t)n (n+1)
f(x) = x + f (t) dt.
k! 0 n!
k=0
h h
Le 1) montre que pour tout rel t de 0, et tout entier naturel k, f(k) (t) = Pk (tan t) > 0.
2
f(k) (0) k
Donc, dune part, pour tout entier naturel k, x > 0 et dautre part,
k!
n Zx
X f(k) (0) k (x t)n (n+1)
x = f(x) f (t) dt 6 f(x).
k! 0 n!
k=0

f(k) (0) k
La suite des sommes partielles de la srie termes positifs, de terme gnral x , k N, est majore et donc la srie
k!
f(k) (0) k
de terme gnral x converge.
k!
h h
Ainsi, la srie de Taylor de f lorigine converge pour tout rel x de 0, . Son rayon de convergence R est donc
2
f(k) (0) k i i
suprieur ou gal (et donc la srie de terme gnral x converge aussi pour x , 0 ). Il ny a par contre
2 k! 2
aucune raison pour le moment pour que sa somme soit f.
+
f(n) (0) i h X
3) Pour n entier naturel donn, posons an = puis pour x dans , , posons g(x) = a n xn .
n! 2 2
n=0
n  
X
n
On a vu que n N , Pn+1 = Pk Pnk . Donc, pour n N ,
k
k=0
n
X n
X
Pn+1 n! Pk Pnk
(n + 1) = Pk Pnk =
(n + 1)! n!k!(n k)! k! (n k)!
k=0 k=0
(k)
f (0) Pk (tan(0)) Pk (0)
puis en prenant la valeur en 0 (= tan 0) et en tenant compte de ak = = = , on obtient
k! k! k!
n
X
n N , (n + 1)an+1 = ak ank et aussi a0 = 0 et a1 = 1.
k=0
i h
Donc, pour x , ,
2 2
+ + n
! + n
! +
!2
X X X X X X
n n n n
g (x) = (n + 1)an+1 x = 1 + ak ank x =1+ ak ank x =1+ an x
n=0 n=1 k=0 n=0 k=0 n=0
= 1 + g2 (x).
De plus, g(0) = a0 = 0.
i h i h i h
Pour x , , posons alors h(x) = Arctan(g(x)). La fonction h est drivable sur , et pour x ,
2 2 2 2 2 2
c Jean-Louis Rouget, 2015. Tous droits rservs.
18 http ://www.maths-france.fr
 g (x)
h (x) = = 1 puis h(x) = h(0) + (x 0) = x.
1 + g2 (x)
i h i h
Ainsi, pour tout x , , g(x) = tan x = f(x). Ceci montre dj que f est dveloppable en srie entire sur , .
2 2 2 2

Mais quand x tend vers par valeurs infrieures, g(x) = f(x) tend vers + et donc R 6 puis R = .
2 2 2
i h i h +
X
En rsum, la fonction tangente est dveloppable en srie entire sur , et pour x , , tan x = a n xn
2 2 2 2
n=0
Xn

o a0 = 0, a1 = 1 et n N , (n + 1)an+1 = ak ank . De plus, n N, a2n = 0 puisque la fonction tangente est
k=0
impaire.
4) a0 = a2 = a4 = a6 = 0 puis a1 = 1.
1
3a3 = a0 a2 + a21 + a2 a0 = 1 et donc a3 = .
3
2 2
5a5 = 2a1 a3 = et donc a5 = .
3 15
2 4 1 17 17
7a7 = 2a1 a5 + a3 = + = et a7 = .
15 9 45 315
i h x3 2x5 17x7
x , , tan x = x + + + + ...
2 2 3 15 315

1 i h
5) Pour tout rel x, th(x) = tan(ix) et donc pour x , ,
i 2 2
+ +
1X 2n+1
X
th(x) = a2n+1 (ix) = (1)n a2n+1 x2n+1 .
i
n=0 n=0

Cette srie entire a aussi pour rayon de convergence .
2
Exercice no 18
2 1
Soit x R. La fonction t 7 et sin(tx) est continue sur [0, +[, ngligeable devant quand t tend vers + et est
t2
donc intgrable sur [0, +[. La fonction F est donc dfinie sur R et impaire.
2
Soit x R. Pour tout rel t, posons f(t) = et sin(tx). Pour t R, on a
+
t2
X x2n+1 2n+1 t2
e sin(tx) = (1)n t e .
(2n + 1)!
n=0

2n+1
x 2
Pour n N et t R, posons fn (t) = (1)n t2n+1 et .
(2n + 1)!
1
Chaque fonction fn , n N, est continue puis intgrable sur [0, +[ car ngligeable devant quand t tend vers +.
t2
La srie de fonctions de terme gnral fn , n N, converge simplement vers la fonction f sur [0, +[ et la fonction f est
continue sur [0, +[.
+ Z + + Z Z +
X X |x|2n+1 + 2n+1 t2 2
Ensuite, |fn (t)| dt = t e dt. Pour n N, posons In = t2n+1 et dt.
(2n + 1)!
n=0 0 n=0 0 0
1 2
Soit n N . Soit A un rel strictement positif. Les deux fonctions t 7 t2n et t 7 et sont de classe C1 sur le segment
2
[0, A]. On peut donc effectuer une intgration par parties et on obtient

ZA ZA  A ZA
2n+1 t2 1 2n t2
t2 2
t e dt = t te 2n
dt = t e +n t2n1 et dt
0 0 2 0 0
ZA
1 2 2
= A2n eA + n t2n1 et dt.
2 0
Z +
2 1 n!
Quand A tend vers +, on obtient In = nIn1 . En tenant compte, de I0 = tet dt = on a donc n N, In =
0 2 2
puis

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

19 http ://www.maths-france.fr
 + Z +
X +
X n!|x|2n+1
|fn (t)| dt = .
2(2n + 1)!
n=0 0 n=0

 (n + 1)!|x|2n+3  (n + 1)!|x|2n+3
 
(n + 1)x2
 
 2(2n + 3)! 
 (2n + 3)!
Soient n N et x R .  2n+1
= et donc lim = 0. Daprs la rgle de
 n!|x|

 (2n + 3)(2n + 2) n+ n!|x|2n+1
2(2n + 1)! (2n + 1)!
 
n!|x|2n+1
dAlembert, la srie numrique de terme gnral converge.
2(2n + 1)!
En rsum, pour tout rel x,
1
Chaque fonction fn , n N, est continue puis intgrable sur [0, +[ car ngligeable devant quand t tend vers +.
t2
La srie de fonctions de terme gnral fn , n N, converge simplement vers la fonction f sur [0, +[ et la fonction f est
continue sur [0, +[.
+ Z +
X
|fn (t)| dt < +.
n=0 0

Daprs un thorme dintgration terme terme, pour tout rel x,

Z + + Z + +
t2
X X n!x2n+1
e sin(tx) dt = fn (t) dt = (1)n .
0 2(2n + 1)!
n=0 0 n=0

Z + +
X
2 n!x2n+1
x R, et sin(tx) dt = (1)n .
0 2(2n + 1)!
n=0

F est drivable sur R et pour tout rel x,

+ +
X n!x2n 1 xX (n 1)!x2n1 1 x
F (x) = (1)n = (1)n1 = F(x).
2(2n)! 2 2 2(2n 1)! 2 2
n=0 n=1

2
2 x 2 ex /4
Par suite, pour tout rel x, ex F (x) + ex /4 F(x) =
/4
et donc
2 2
2 Z 2 Z
ex /4 x t2 /4 ex /4 x t2 /4
F(x) = F(0) + e dt = e dt.
2 0 2 0

Z + 2 Zx
2 ex /4 2
x R, et sin(tx) dt = et /4
dt.
0 2 0

Exercice no 19
On a (I0 = 0,) I1 = 1 et I2 = 2 (lidentit et la transposition 1,2 ). Dterminons alors une relation de rcurrence.
Soit n N . Il y a In+1 involutions de J1, n + 2K vrifiant (n + 2) = n + 2 car la restriction dune telle permutation
J1, n + 1K est une involution de J1, n + 1K et rciproquement.
Sinon, soit une involution de J1, n + 2K telle que (n + 2) 6= n + 2. Donc (n + 2) = k J1, n + 1K. Ncessairement
(k) = n + 2 puis la restriction de J1, n + 2K \ {k, n + 2} est une involution et rciproquement. Il y a In involutions de
J1, n + 2K \ {k, n + 2} et n + 1 choix possibles de k et donc (n + 1)In involutions de J1, n + 2K telles que (n + 2) 6= n + 2.
En rsum,

n N , In+2 = In+1 + (n + 1)In et I1 = 1 et I2 = 2.

 
In In
Le rayon R de la srie entire associe la suite est suprieur ou gal 1 car n N , 6 1. Pour x dans
n! nN n!
+
X In n
] R, R[, posons f(x) = x . f est drivable sur ] R, R[ et pour x ] R, R[
n!
n=1

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

20 http ://www.maths-france.fr
 +
X +
X +
X
In In+2 n+1 In+1 + (n + 1)In n+1
f (x) = xn1 = 1 + 2x + x = 1 + 2x + x
(n 1)! (n + 1)! (n + 1)!
n=1 n=1 n=1
+
X +
X
In n In n
= 1 + 2x + x +x x
n! n!
n=2 n=1
= 1 + 2x + f(x) x + xf(x) = 1 + x + (x + 1)f(x).
x2 x2 x2
Donc, pour x ] R, R[, f (x) (x + 1)f(x) = x + 1 ou encore e 2 x f (x) (x + 1)e 2 x
f(x) = (x + 1)e 2 x
. Par
suite, pour x ] R, R[,
Zx
x2 t2 x2
e 2 x f(x) f(0) = (t + 1)e 2 t dt = 1 e 2 x ,
0

x2
+x
et puisque f(0) = 0, x ] R, R[, f(x) = e 2 1.
x2
Rciproquement, la fonction prcdente est dveloppable en srie entire sur R en vertu de thormes gnraux (= e 2 ex )
In
et les coefficients de ce dveloppement vrifient les relations dfinissant de manire unique. Donc, ces coefficients sont
n!
In
les ce qui montre que R = +.
n!
+
X In n x2
x R, x = e 2 +x 1.
n!
n=1

Exercice no 20
1) Soient n > 2 puis k J1, n 1K. On met une parenthse autour de X1 ...Xk et une autour de Xk+1 ...Xn . Ensuite, pour
chacun des ak parenthsages de X1 ...Xk , il y a ank parenthsages possibles de Xk+1 ...Xn . Finalement, en faisant varier
k de 1 n 1, on a montr que

n1
X
n > 2, an = ak ank .
k=1

2) On suppose momentanment le rayon R de la srie entire associ la suite (an )nN strictement positif. On pose
conventionnellement a0 = 0. Pour x ] R, R[,
+
!2 + n
! + n1
! +
X X X X X X
f2 (x) = a n xn = ak ank xn = ak ank xn = an xn = f(x) x,
n=0 n=0 k=0 n=2 k=1 n=2

et donc

x ] R, R[, f2 (x) = f(x) x.

1 1
3) Ncessairement, pour tout x de ] R, R[, f(x) = (1 + 1 4x) (I) ou f(x) = (1 1 4x) (II). Ainsi, pour chaque
2 2
x ] R, R[, on doit choisir lune de ces deux expressions. Puisque f(0) = 0, il faut choisir lexpression (II) quand x = 0.

   
1 1 1 1 1
Pour x , , posons g(x) = (1 1 4x). g est dveloppable en srie entire sur , en vertu de thormes
4 4 2 4 4
gnraux. Notons (bn )nN la suite des coefficients du dveloppement. Puisque g(0) = 0, on a b0 = 0 = a0 et puisque
  n1
X
1 1
g (0) = 1, on a b1 = 1 = a1 . Enfin, la fonction g vrifie x , , g2 (x) = g(x)x et donc n > 2, bn = bk bnk .
4 4
  k=1
1 1
On en dduit par rcurrence que pour tout entier naturel n, bn = an et donc x , , f(x) = g(x).
4 4

 
1 1 1
x , , f(x) = (1 1 4x).
4 4 2

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

21 http ://www.maths-france.fr
  
1 1
4) Pour connaitre les an , il reste dvelopper la fonction g en srie entire. Pour x , ,
4 4
+
! +
1 1 X X
n n
g(x) = (1 (1 4x) ) = 1/2
1 C1/2 (4x) = (1)n1 Cn
1/2 2
2n1 n
x .
2 2
n=0 n=1

Enfin, pour n N ,

   
1 1 1
1 ... (n 1)
n1 2 2 2 2n1
(1)n1 Cn
1/2 2
2n1
= (1) 22n1 = 1 3 .... (2n 3)
n! n!  
2n 2
2n1 1 2 3 .... (2n 3) (2n 2) (2n 2)! n1
= = = .
n! 2 4 . . . (2n 2) n!(n 1)! n

Donc
 
2n 2
n1
n N , an = .
n

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

22 http ://www.maths-france.fr