Exo7

Valeurs absolues. Partie entire. Ingalits

Exercices de Jean-Louis Rouget. Retrouver aussi cette fiche sur www.maths-france.fr
* trs facile

** facile *** difficult moyenne **** difficile ***** trs difficile

I : Incontournable T : pour travailler et mmoriser le cours

Exercice 1 **I Moyennes arithmtique, gomtrique et harmonique

Soient x et y deux rels tels que 0 < x 6 y. On pose m = x+y
2 (moyenne arithmtique), g =
gomtrique) et 1h = 12 ( 1x + 1y ) (moyenne harmonique). Montrer que x 6 h 6 g 6 m 6 y.
Correction H

xy (moyenne
[005146]

Exercice 2 *I Ingalit de B ERNOULLI

Montrer que, pour a rel positif et n entier naturel donns, (1 + a)n > 1 + na.
Correction H

[005147]

Exercice 3 ***
On veut montrer de manire lmentaire (cest--dire en se passant du logarithme nprien et en ne travaillant
quavec les deux oprations + et ) que pour n N , (1 + 1n )n < 3.
k

Pour cela dvelopper, puis majorer uk = Cnkn en commenant par majorer vk =

uk+1
uk

par 12 .

Correction H

[005148]

Exercice 4 ***I
Soient n N et a1 , a2 ,..., an , n rels strictement positifs.
Montrer que (a1 + a2 + ... + an )( a11 + ... + a1n ) > n2 (dvelopper et penser f (x) = x + 1x ).
Correction H

[005149]

Exercice 5 ***I Ingalit de C AUCHY-S CHWARZ

Soient n N et a1 , a2 ,..., an , b1 , b2 ,..., bn , 2n rels. Montrer que
s
n

| ak bk | 6
k=1

|ak |.|bk | 6 a2k b2k .

k=1

k=1

k=1

nk=1 (ak + bk x)2 ,

(Indication. Considrer le polynme f (x) =

dvelopper puis ordonner suivant les puissances
dcroissantes puis utiliser, dans le cas gnral, les connaissances sur le second degr). Retrouver alors le rsultat
de lexercice 4.
Correction H

[005150]

Exercice 6 ***
Soient a, b et c trois rels positifs. Montrer que lun au moins des trois rels a(1 b), b(1 c), c(1 a) est
infrieur ou gal 14 .
Correction H

[005151]

Exercice 7 **I
1

1. Montrer que : x R, E(x + 1) = E(x) + 1.

2. Montrer que : (x, y) R2 , E(x) + E(y) 6 E(x + y).
3. Montrer que : (x, y) R2 , E(x) + E(y) + E(x + y) 6 E(2x) + E(2y).
Correction H

[005152]

Exercice 8 **I
Tout entier naturel non nul n scrit de manire unique sous la forme
n = a0 + 10a1 + ... + 10 p a p ,
o p est un entier naturel et les ai sont des entiers lments de {0, ..., 9}, a p tant non nul. Dterminer p en
fonction de n.
Correction H

[005153]

Exercice 9 **I
.
Soient x un rel. Dterminer limn+ E(x)+E(2x)+...+E(nx)
n2
Correction H

[005154]

Exercice 10 **I
Soient n un entier naturel et x un rel positif.
1. Combien y a-t-il dentiers naturels entre 1 et n ? entre 1 et x ?
2. Combien y a-t-il dentiers naturels entre 0 et n ? entre 0 et x ?
3. Combien y a-t-il dentiers naturels pairs entre 0 et x ? Combien y a-t-il dentiers naturels impairs entre 0
et x ?
4. Combien y a-t-il de multiples de 3 entre 0 et x ?
5. Combien lquation x + 2y = n, n entier naturel donn et x et y entiers naturels inconnus, a-t-elle de
couples solutions ?
6. De combien de faons peut-on payer 10 euros avec des pices de 10 et 20 centimes deuros ?
7. (***) Combien lquation 2x + 3y = n, n entier naturel donn et x et y entiers naturels inconnus, a-t-elle
de couples solutions ?
Correction H

[005155]

Exercice 11 ****
k
Montrer que : n N , x R, n1
k=0 E(x + n ) = E(nx) (poser la division euclidienne de E(nx) par n).
Correction H

[005156]

Exercice 12 ****
n
Montrer que pour n N, E( 13 (n + 2 E( 25
))) = E( 8n+24
25 ).
Correction H

[005157]

Exercice 13 ****I
Soit n N .

1. Montrer quil existe (an , bn ) (N )2 tel que (2 + 3)n = an + bn 3, puis que 3b2n = a2n 1.

2. Montrer que E((2 + 3)n ) est un entier impair (penser (2 3)n )).

Correction H

[005158]

Exercice 14 **
2

Montrer que n N , x R, E( E(nx)

n ) = E(x).
Correction H

[005159]

Exercice 15 ***
Soit n N et (x1 , x2 , ..., xn ) [1, 1]n tels que x1 + x2 + ... + xn = 0.
2
Montrer que |x1 + 2x2 + ... + nxn | 6 E( n4 ).
Correction H

[005160]

Exercice 16 ***I

Montrer que n N, (n > 3 n < n n!).

(commencer par vrifier que pour k = 2, 3, ..., n, on a : (n k + 1)k > n).
Correction H

Exercice 17 ***
Montrer que n N , nk=1 | cos k| >

[005161]

n
4

(remarquer que si x [0; 1], x2 6 x).

Correction H

[005162]

Exercice 18 **I
Montrer que n N, x R, | sin(nx)| 6 n| sin x|.
Correction H

[005163]

Retrouver cette fiche et dautres

exercices de maths sur
exo7.emath.fr
3

Correction de lexercice 1 N
Soient x et y deux rels tels que 0 < x 6 y.
x6m6y
x+y
y+y
1. On a dj x = x+x
6
=
m
6
=
y
et
donc
.
2
2
2
yx
(on peut aussi crire : m x = x+y

x
=
>
0).
2
2
2. On a ensuite x =
3. m g =

x+y
2

x6g6y

x.x 6 xy = g 6 y.y = y et donc

.

x6g6m6y

xy = 21 (( x)2 2 xy + ( y)2 ) = 12 ( y x)2 > 0 et donc,

.

4. Daprs 1), la moyenne arithmtique de

encore

x6h6y

1
x

et

1
y

est comprise entre

1
x

et 1y , ce qui fournit

1
y

1
h

6 1x , ou

5. Daprs 3), la moyenne gomtrique des deux rels 1x et 1y est infrieure ou gale leur moyenne arithq
mtique. Ceci fournit 1x . 1y 6 12 ( 1x + 1y ) ou encore 1g 6 h1 et finalement
x 6 h 6 g 6 m 6 y o

1
h

1
2

1
x

+ 1y , g = xy et m =

x+y
2 .

2xy
Remarque 1. On a h = x+y
, mais cette expression ne permet pas de comprendre que h1 est la moyenne arithmtique de 1x et 1y .
Remarque 2. On peut visualiser lingalit entre moyenne arithmtique et gomtrique.
Si (ABC) est un triangle rectangle en A et A0 est le pied de la hauteur issue de A, on sait que AA02 = A0 B.A0C.
On se sert de cette remarque pour construire g et la comparer graphiquement m.
On accolle deux segments de longueurs respectives x et y. On construit alors un triangle rectangle dhypothnuse
ce segment (de longueur x + y) not [BC], tel que le troisime sommet A ait une projection orthogonale A0 sur
(BC) vrifiant BA0 = x et CA0 = y.

x
A

x+y

La moyenne arithmtique de x et y est m = x+y

2 , le rayon du cercle, et la moyenne gomtrique de x et y est

0
0
0
g = xy = A B.A C = AA , la hauteur issue de A du triangle (ABC).
Correction de lexercice 2 N
(1 + a)n = (1 + a) . . . (1 + a) = 1 + na + ... > 1 + na.
Correction de lexercice 3 N
k

Pour n N , (1 + 1n )n = nk=0 Cnkn . Pour k {0, ..., n}, posons uk = Cnkn puis vk =
a alors

uk+1
uk .

Pour k {1, ..., n 1}, on

Cnk+1 .nk 1
n!k!(n k)!
nk
(n + 1) (k + 1)
1
n+1
= .
=
=
= +
Cnk .nk+1 n n!(k + 1)!(n k 1)! n(k + 1)
n(k + 1)
n n(k + 1)
1 n+1
(car k > 1)
6 +
n
2n
1
1
1
<
=
2 2n 2

vk =

Ainsi, pour k {1, ..., n 1}, uk+1 6 21 uk et donc, immdiatement par rcurrence,
uk 6

u1
2k1

1 n
1
= k1 .
n 2

2k1

En tenant compte de u0 = 1, on a alors pour n N ,

n
n
1 21n
1
1
1
1
(1 + )n = uk 6 1 + k1 = 1 +
= 1 + 2(1 n ) = 3 n1 < 3.
1
n
2
2
1 2
k=0
k=1 2

Correction de lexercice 4 N
Soient n N et a1 , a2 ,..., an , n rels strictement positifs.
n

ai

i=1

1
aj
j=1

!
=

n
ai
ai
ai a j
ai a j
=
a j ai + ( a j + ai ) = n + ( a j + ai )
i=1
16i< j6n
16i< j6n
16i, j6n

Pour x > 0, posons alors f (x) = x + 1x . f est drivable sur ]0, +[ et pour x > 0, f 0 (x) = 1 x12 = (x1)(x+1)
. f
x2
est donc strictement dcroissante sur ]0, 1] et strictement croissante sur [1, +[. f admet ainsi un minimum en
1. Par suite,
1
= 2.
1
(Remarque. Lingalit entre moyenne gomtrique et arithmtique permet aussi dobtenir le rsultat :
r
1
1
1
(x + ) > x. = 1.)
2
x
x
x > 0, f (x) > f (1) = 1 +

On en dduit alors que

n

ai a j > n +

i=1

j=1

2 = n+2

16i< j6n

n2 n
= n2 .
2

Correction de lexercice 5 N
Pour x rel, posons f (x) = nk=1 (ak + bk x)2 . On remarque que pour tout rel x, f (x) > 0. En dveloppant les n
carrs, on obtient,
n

f (x) =

(b2k x2 + 2ak bk x + a2k ) = ( b2k )x2 + 2( ak bk )x + ( a2k ).

k=1

k=1

k=1

k=1

1er cas. Si nk=1 b2k 6= 0, f est un trinme du second degr de signe constant sur R. Son discriminant rduit est
alors ngatif ou nul. Ceci fournit
n

k=1

k=1

k=1

0 > 0 = ( ak bk )2 ( b2k )( a2k ),

et donc

 s
s
 n

n
n


 ak bk  6 a2k b2k .
k=1

k=1
k=1
2me cas. Si nk=1 b2k = 0, alors tous les bk sont nuls et lingalit est immdiate.
Finalement, dans tous les cas,
q
q
|nk=1 ak bk | 6 nk=1 a2k nk=1 b2k .
Cette ingalit est encore valable en remplaant les ak et les bk par leurs valeurs absolues, ce qui fournit les
ingalits intermdiaires.
Retrouvons alors lingalit de lexercice 4. Puisque les ak sont strictement positifs, on peut crire :
n

ai

i=1

1
ai
i=1

ai 2

i=1

i=1

1
ai

>

ai

i=1

r !2
1
= n2 .
ai

Correction de lexercice 6 N
Si lun des rels a, b ou c est strictement plus grand que 1, alors lun au moins des trois rels a(1 b), b(1 c),
c(1 a) est ngatif (puisque a, b et c sont positifs) et donc infrieur ou gal 14 .
Sinon, les trois rels a, b et c sont dans [0, 1]. Le produit des trois rels a(1 b), b(1 c) et c(1 a) vaut
a(1 a)b(1 b)c(1 c).
Mais, pour x [0, 1], x(1 x) est positif et dautre part, x(1 x) = (x 12 )2 + 14 6 41 . Par suite,
a(1 a)b(1 b)c(1 c) 6

1
.
43

Il est alors impossible que les trois rels a(1 b), b(1 c) et c(1 a) soient strictement plus grand que 41 , leur
produit tant dans ce cas strictement plus grand que 413 .
On a montr dans tous les cas que lun au moins des trois rels a(1 b), b(1 c) et c(1 a) est infrieur ou
gal 14 .
Correction de lexercice 7 N
1. Soit x R. Alors, E(x) 6 x < E(x) + 1 puis E(x) + 1 6 x + 1 < (E(x) + 1) + 1. Comme E(x) + 1 Z, on
a bien E(x + 1) = E(x) + 1.
2. Soient (x, y) R2 . On a E(x) + E(y) 6 x + y. Ainsi, E(x) + E(y) est un entier relatif infrieur ou gal
x + y. Comme E(x + y) est le plus grand entier relatif infrieur ou gal x + y, on a donc E(x) + E(y) 6
E(x + y).
Amliorons. E(x) 6 x < E(x) + 1 et E(y) 6 y < E(y) + 1 fournit E(x) + E(y) 6 x + y < E(x) + E(y) + 2
et donc E(x + y) vaut, suivant le cas, E(x) + E(y) ou E(x) + E(y) + 1 (et est dans tous les cas suprieur
ou gal E(x) + E(y)).
3. Soit (x, y) R2 . Posons k = E(x) et l = E(y).
1er cas. Si x [k, k + 12 [ et y [l, l + 12 [, alors x + y [k + l, k + l + 1[ et donc E(x + y) = k + l, puis
E(x) + E(y) + E(x + y) = k + l + k + l = 2k + 2l. Dautre part, 2x [2k, 2k + 1[ et 2y [2l, 2l + 1[. Par
suite, E(2x) + E(2y) = 2k + 2l. Dans ce cas, E(x) + E(y) + E(x + y) = E(2x) + E(2y).
2me cas. Si x [k + 21 , k + 1[ et y [l, l + 21 [, alors x + y [k + l + 12 , k + l + 32 [ et donc E(x + y) = k + l
ou k + l + 1,puis E(x) + E(y) + E(x + y) = 2k + 2l ou 2k + 2l + 1. Dautre part, 2x [2k + 1, 2k + 2[
et 2y [2l, 2l + 1[. Par suite, E(2x) + E(2y) = 2k + 2l + 1. Dans ce cas, E(x) + E(y) + E(x + y) 6
E(2x) + E(2y).
3me cas. Si x [k, k + 12 [ et y [l + 21 , l + 1[, on a de mme E(x) + E(y) + E(x + y) 6 E(2x) + E(2y).

4me cas. Si x [k + 12 , k + 1[ et y [l + 12 , l + 1[, on a E(x) + E(y) + E(x + y) = 2k + 2l + 2 = E(2x) +

E(2y).
Finalement, on a dans tous les cas E(x) + E(y) + E(x + y) 6 E(2x) + E(2y).

Correction de lexercice 8 N
p est dtermin par lencadrement : 10 p 6 n < 10 p+1 qui scrit encore p 6

ln n
ln 10

< p + 1. Par suite,

p = E(log10 (n)).
Le nombre de chiffres dun entier n en base 10 est donc E(log10 (n)) + 1.

Correction de lexercice 9 N
Soient x R et n N . Pour 1 6 k 6 n, on a
kx 1 < E(kx) 6 kx.
En sommant ces ingalits, on obtient
E(x) + E(2x) + ... + E(nx) x + 2x + ... + nx n(n + 1)x (n + 1)x
6
=
=
,
n2
n2
2n2
2n
et aussi,
E(x) + E(2x) + ... + E(nx) (x 1) + (2x 1) + ... + (nx 1) n(n + 1)x/2 n (n + 1)x 1
>
=
=
.
n2
n2
n2
2n
n
Finalement, pour tout naturel non nul,
(n + 1)x 1 E(x) + E(2x) + ... + E(nx) (n + 1)x
6
<
.
2n
n
n2
2n
Les deux membres extrmes de cet encadrement tendent vers 2x quand n tend vers +. Daprs le thorme des
gendarmes, on peut affirmer que
x R, limn+ E(x)+E(2x)+...+E(nx)
= 2x .
n2

Correction de lexercice 10 N
1. Par dfinition dun entier, il y a n entiers entre 1 et n. Ensuite, pour tout entier naturel k, on a
1 6 k 6 x 1 6 k 6 E(x).
Il y a donc E(x) entiers entre 1 et x.
2. Il y a n + 1 entiers entre 0 et n et E(x) + 1 entiers entre 0 et x.
3. Les entiers naturels pairs sont les entiers de la forme 2k, k N. Or,
x
0 6 2k 6 x 0 6 k 6 .
2
Le nombre des entiers pairs compris entre 0 et x est encore le nombre des entiers k compris au sens large
entre 0 et 2x . Daprs 2), il y a E( 2x ) + 1 entiers pairs entre 0 et x. De mme, il y a E( 3x ) + 1 multiples de
3 entre 0 et x.
De mme,
7

1
x1
x1
0 6 2k + 1 6 x 6 k 6
0 6 k 6 E(
).
2
2
2
x+1
Il y a donc E( x1
2 ) + 1 = E( 2 ) entiers impairs entre 0 et x.
4. Il y a E( 3x ) + 1 multiples de 3 entre 0 et x.
5. Soient n N et (x, y) N2 . On a

x + 2y = n x = n 2y.
Donc, (x, y) est solution si et seulement si y N et n 2y N ou encore si et seulement si 0 6 2y 6 n. Il
y a donc E( 2n ) + 1 couples solutions.
6. Si x et y sont respectivement le nombre de pices de 10 centimes deuros et le nombre de pices de 20
centimes deuros, le nombre cherch est le nombre de couples dentiers naturels solutions de lquation
10x + 20y = 1000 qui scrit encore x + 2y = 100. Daprs 5), il y a E( 100
2 ) + 1 = 51 faons de payer 10
euros avec des pices de 10 et 20 centimes deuros.
7. Soient n N et (x, y) N2 . On a
2x + 3y = n x =

n 3y
.
2

Donc,
n 3y
et y N et n 3y 2N.
2
Maintenant, comme n 3y = (n y) 2y et que 2y est un entier pair, n 3y est pair si et seulement si
n y est pair ce qui revient dire que y a la parit de n. Ainsi,
(x, y) solution x =

n 3y
n
et y N et 0 6 y 6 et y a la parit de n.
2
3
1er cas. Si n est pair, le nombre de couples solutions est encore le nombre dentiers pairs y compris au
sens large entre 0 et n3 . Il y a E( n6 )) + 1 = E( n+6
6 ) tels entiers.
2me cas. Si n est impair, le nombre de couples solutions est encore le nombre dentiers impairs y
n
1
compris au sens large entre 0 et n3 . Il y a E( 3 2 )) + 1 = E( n+3
6 ) tels entiers.
n+6
n+3
Finalement, le nombre cherch est E( 6 ) si n est pair et E( 6 ) si n est impair.
(x, y) solution x =

Correction de lexercice 11 N
1. Par dfinition dun entier, il y a n entiers entre 1 et n. Ensuite, pour tout entier naturel k, on a
1 6 k 6 x 1 6 k 6 E(x).
Il y a donc E(x) entiers entre 1 et x.
2. Il y a n + 1 entiers entre 0 et n et E(x) + 1 entiers entre 0 et x.
3. Les entiers naturels pairs sont les entiers de la forme 2k, k N. Or,
x
0 6 2k 6 x 0 6 k 6 .
2
Le nombre des entiers pairs compris entre 0 et x est encore le nombre des entiers k compris au sens large
entre 0 et 2x . Daprs 2), il y a E( 2x ) + 1 entiers pairs entre 0 et x. De mme, il y a E( 3x ) + 1 multiples de
3 entre 0 et x.
De mme,
1
x1
x1
0 6 2k + 1 6 x 6 k 6
0 6 k 6 E(
).
2
2
2
x+1
Il y a donc E( x1
2 ) + 1 = E( 2 ) entiers impairs entre 0 et x.

4. Il y a E( 3x ) + 1 multiples de 3 entre 0 et x.
5. Soient n N et (x, y) N2 . On a
x + 2y = n x = n 2y.
Donc, (x, y) est solution si et seulement si y N et n 2y N ou encore si et seulement si 0 6 2y 6 n. Il
y a donc E( 2n ) + 1 couples solutions.
6. Si x et y sont respectivement le nombre de pices de 10 centimes deuros et le nombre de pices de 20
centimes deuros, le nombre cherch est le nombre de couples dentiers naturels solutions de lquation
10x + 20y = 1000 qui scrit encore x + 2y = 100. Daprs 5), il y a E( 100
2 ) + 1 = 51 faons de payer 10
euros avec des pices de 10 et 20 centimes deuros.
7. Soient n N et (x, y) N2 . On a
2x + 3y = n x =

n 3y
.
2

Donc,
(x, y) solution x =

n 3y
et y N et n 3y 2N.
2

Maintenant, comme n 3y = (n y) 2y et que 2y est un entier pair, n 3y est pair si et seulement si

n y est pair ce qui revient dire que y a la parit de n. Ainsi,
n 3y
n
et y N et 0 6 y 6 et y a la parit de n.
2
3
1er cas. Si n est pair, le nombre de couples solutions est encore le nombre dentiers pairs y compris au
sens large entre 0 et n3 . Il y a E( n6 )) + 1 = E( n+6
6 ) tels entiers.
2me cas. Si n est impair, le nombre de couples solutions est encore le nombre dentiers impairs y
n
1
compris au sens large entre 0 et n3 . Il y a E( 3 2 )) + 1 = E( n+3
6 ) tels entiers.
(x, y) solution x =

n+3
Finalement, le nombre cherch est E( n+6
6 ) si n est pair et E( 6 ) si n est impair.

Correction de lexercice 12 N
Soit n N. La division euclidienne de n par 25 fournit un quotient entier q et et un reste r lment de
{0, 1, ..., 24} tels que n = 25q + r.
On a alors
1
n
25q + r + 2 q
r+2
r+2
E( (n + 2 E( ))) = E(
) = E(8q +
) = 8q + E(
),
3
25
3
3
3
et
E(

8n + 24
8(25q + r) + 24
8r + 24
) = E(
) = 8q + E(
).
25
25
25

8r+24
Pour montrer lgalit de lnonc, il reste donc vrifier les 25 galits E( r+2
3 ) = E( 25 ), 0 6 r 6 24, (),
ce qui peut dj se vrifier la main .
Diminuons encore le nombre de vrifications. La division euclidienne de r par 3 scrit r = 3k +l avec 0 6 l 6 2.
Mais alors,

E(

l +2
8r + 24
25k k + 8l + 24
k + 8l + 24
r+2
) = k + E(
) et E(
) = E(
) = k + E(
).
3
3
25
25
25

Si l = 0, k varie de 0 8 et dans ce cas, 0 6

E(

k+24
25

k+8l+24
25

24
25

< 1. Par suite,

k + 8l + 24
2
l +2
) = 0 = E( ) = E(
).
25
3
3
9

On a ainsi vrifi () quand r {0, 3, 6, 9, 12, 15, 18, 21, 24}.

Si l = 1 ou l = 2, E( l+2
3 ) = 1 et dautre part, k varie de 0 7. Dans ce cas,
1=

7 + 8 + 24 k + 8l + 24 16 + 24
6
6
<2
25
25
25

et donc
k + 8l + 24
l +2
) = 1 = E(
).
25
3
On a ainsi vrifi () pour les autres valeurs de r. Finalement, on a montr que
E(

n
n N, E( 13 (n + 2 E( 25
))) = E( 8n+24
25 ).

Correction de lexercice 13 N
Soit n N .
1. La formule du binme de N EWTON permet dcrire
 
 


2k+1 n2k1
n k nk E(n/2) n 2k n2k E((n1)/2)
n
3
2
k 3 2 = 2k 3 2 +
2k + 1
k=0
k=0
k=0


E(n/2)  
n k n2k E((n1)/2)
n
=
32
+ 3
3k 2n2k1 .
2k
2k
+
1
k=0
k=0

(2 + 3)n =

k n2k1
E(n/2) n
k n2k
E((n1)/2)
n
Ainsi, en posant an = k=0
32
et bn = k=0
32
, an et bn sont des entiers
2k
2k+1

n
tels que (2 + 3) = an + bn 3. En remplaant 3 par 3, on a aussi (2 3)n = an bn 3. Mais
alors,

a2n 3b2n = (an + bn 3)(an bn 3) = (2 + 3)n (2 3)n = (4 3)n = 1.

2. On note que (2 + 3)n + (2 3)n = (an + bn 3) + (an bn 3) = 2an . Mais,

0 < (2 3)n < 1.

Par suite,

(2 + 3)n < (2 + 3)n + (2 3)n = 2an < (2 + 3)n + 1,

ou encore

2an 1 < (2 + 3)n < 2an .

On en dduit que E((2 + 3)n ) = 2an 1 et donc queE((2 + 3)n ) est un entier impair.
Correction de lexercice 14 N
Soient n N et x R.

E(x) 6 x < E(x) + 1 nE(x) 6 nx < nE(x) + n nE(x) 6 E(nx) < nE(x) + n E(x) 6
E(

E(nx)
) = E(x).
n

10

E(nx)
< E(x) + 1
n

Correction de lexercice 15 N
Soient n N et (x1 , x2 , ..., xn ) [1, 1]n tels que x1 + x2 + ... + xn = 0.
On crit

(x1 + 2x2 + ... + nxn ) = (x1 + x2 + ... + xn ) + (x2 + x3 + .... + xn ) + (x3 + ... + xn ) + ... + (xn1 + xn ) + xn ,
avec x1 + ... + xn = 0 et donc x2 + ... + xn = x1 ...
2
2
1er cas. Si n = 2p est pair, alors n4 = p2 et donc, E( n4 ) = p2 =

n2
4.

Dans ce cas, on peut crire

|x1 + 2x2 + ... + nxn | 6 |x1 + x2 + ... + x2p | + |x2 + .... + x2p | + ... + |x p + ... + x2p |
+ |x p+1 + ... + x2p |... + |x2p1 + x2p | + |x2p |
= 0 + | x1 | + | x1 x2 | + ... + | x1 + ... x p1 |
+ |x p+1 + ... + x2p |... + |x2p1 + x2p | + |x2p |
6 0 + 1 + 2 + ... + (p 1) + p + (p 1) + ... + 1 = 2
2me cas. Si n = 2p + 1 est impair, alors
crire

n2
4

p(p 1)
n2
+ p = p2 = E( )
2
4

= p2 + p + 41 et donc, E( n4 ) = p2 + p =

n2 1
4 .

Dans ce cas, on peut

|x1 + 2x2 + ... + nxn | 6 |x1 + x2 + ... + x2p+1 | + ... + |x p+1 + ... + x2p+1 |
+ |x p+2 + ... + x2p+1 |... + |x2p+1 |
= 0 + | x1 | + | x1 x2 | + ... + | x1 + ... x p |
+ |x p+2 + ... + x2p+1 |... + |x2p+1 |
6 0 + 1 + 2 + ... + (p 1) + p + p + (p 1) + ... + 1 = 2

p(p + 1)
n2
= p2 + p = E( )
2
4

Dans tous les cas, on a montr que

2

n N , |x1 + 2x2 + ... + nxn | 6 E( n4 ).

Correction de lexercice 16 N
Soit n N \ {0, 1, 2}.
n

n!2 = (n + 1 k) k = k(n + 1 k).

k=1

k=1

k=1

Maintenant, la fonction x 7 x(n + 1 x) est strictement croissante sur [0, n+1

2 ] et strictement dcroissante sur
n+1
[ 2 , n + 1]. Puisque f (1) = f (n) = n, on en dduit que pour x [2, n 1], f (x) > n. Puisque n > 3, on a
n 1 > 2 et on peut crire
n1

n2

n!2 = n2 k(n + 1 k) > n2 n = nn ,

k=2

k=2

et donc,

n
n! = (n!2 )1/(2n) > (nn )1/2n = n.

11

Correction de lexercice 17 N
Soit n N . Puisque, pour tout entier k, | cos k | [0, 1], on a alors
n

| cos k | >

cos2 k =

k=1

k=1

=
Maintenant,

1
2 sin 1

n
n 1
1 e2in
1
n 1
)
(1
+
cos(2k))
=
+
Re(
e2ik ) = + Re(e2i
2

2 2
2 2
1 e2i
k=1
k=1

n 1
sin n
n cos(n + 1) sin n n
1
+ Re(ei(n1+2)
)= +
>
.
2 2
sin 1
2
2 sin 1
2 2 sin 1

= 0, 594.... Par suite, pour n > 3,

1
2 sin 1

6 0, 75 =

3
4

6 n4 , et donc

n
1
n n n

> = .
2 2 sin 1 2 4 4
Enfin, si n = 1, | cos 1| = 0.5... > 0.25 =

1
4

et si n = 2, | cos 1| + | cos 2| = 0.9... > 0.5 = 24 . Finalement,

n N , nk=1 | cos k| > 4n .

Correction de lexercice 18 N
Soit x R. Montrons par rcurrence que : n N, | sin(nx)| 6 n| sin x|.
- Cest clair pour n = 0.
- Soit n > 0. Supposons que | sin(nx)| 6 n| sin x|. Alors,
| sin(n + 1)x| = | sin nx cos x + cos nx sin x| 6 | sin nx|.| cos x| + | cos nx|.| sin x|
6 | sin nx| + | sin x|
6 n| sin x| + | sin x| (par hypothse de rcurrence)
= (n + 1)| sin x|

On a montr par rcurrence que

n N, x R, | sin(nx)| 6 n| sin x|

12