[http://mp.cpgedupuydelome.

fr] dit le 24 septembre 2016

Enoncs

Partie entire
Exercice 1 [ 02100 ] [Correction]
Montrer que la fonction partie entire est croissante.
Exercice 2
Montrer

[ 02101 ]

[Correction]
x, y R, bxc + byc bx + yc bxc + byc + 1

Exercice 3
Montrer

[ 02102 ]

[Correction]
x, y R, bxc + bx + yc + byc b2xc + b2yc

Exercice 4 [ 02103 ] [Correction]

Soient n N et x R. Montrer

%
bnxc
= bxc
n

Exercice 5 [ 02104 ] [Correction]

Montrer que
x R, n N ,

n1 $
X
k=0

%
k
= bnxc
x+
n

Exercice 6 [ 02105 ] [Correction]

Soit a b R. tablir
Card([a ; b] Z) = bbc + b1 ac
Exercice 7 [ 02106 ] [Correction]
Soit n N .
(a) Montrer quil existe (an , bn ) N2 tel que

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

(b) Montrer que la partie entire de (2 + 3)n est un entier impair.

Exercice 8
Dmontrer

[ 03416 ]

[Correction]
n N ,

j
k j
k

n+ n+1 =
4n + 2

en notant bxc la partie entire dun rel x.

Diffusion autorise titre entirement gratuit uniquement - dD

[http://mp.cpgedupuydelome.fr] dit le 24 septembre 2016

Corrections

Corrections
Exercice 1 : [nonc]
Soit x y R. bxc x donc bxc y or bxc Z donc bxc byc car byc est le plus grand
entier infrieur y.

Exercice 2 : [nonc]
Puisque bxc x et byc y, on a
bxc + byc x + y
Par dfinition, bx + yc est le plus grand entier infrieur x + y, on a donc dj
bxc + byc bx + yc

Exercice 4 : [nonc]
On a bnxc nx puis bnxc
n x, or x 7 bxc est croissante donc
$
%
bnxc
bxc
n
bxc x donc n bxc nx puis n bxc bnxc car n bxc Z.
Par suite
bnxc
bxc
n
puis
$
%
bnxc
bxc
n
et finalement

Dautre part x < bxc + 1 et y < byc + 1 donc

bxc =

bnxc
n

x + y < bxc + byc + 2

puis
bx + yc < bxc + byc + 2
Puisque cette ingalit concerne des entiers, on peut transformer cette ingalit stricte en
lingalit large suivante
bx + yc bxc + byc + 1

Exercice 3 : [nonc]
Si bxc x < bxc + 1/2 et byc y < byc + 1/2 alors
bx + yc = bxc + byc , b2xc = 2 bxc et b2yc = 2 byc
puis relation voulue.
Si bxc + 1/2 x < bxc + 1 et byc y < byc + 1/2 alors
bx + yc bxc + byc + 1, b2xc = 2 bxc + 1 et b2yc = 2 byc
puis la relation voulue
Si bxc x < bxc + 1/2 et byc + 1/2 y < byc + 1 : analogue
Si bxc + 1/2 x < bxc + 1 et byc + 1/2 y < byc + 1 alors
bx + yc = bxc + byc + 2, b2xc = 2 bxc + 1 et b2yc = 2 byc + 1
puis la relation voulue.
Dans tous les cas la relation propose est vrifie.

Exercice 5 : [nonc]
Posons m = bnxc et ralisons la division euclidienne de m par n : m = nq + r avec
0 r n 1.
On a nq + r nx < nq + r + 1 donc pour tout k {0, . . . , n 1} :
k+r
k
k+r+1
x+ <q+
n
n
n
j
k
j
k
Si k + r < n alors x + nk = q et si k + r n alors x + nk = q + 1.
Par suite
% nr1
% X
%
n1 $
n1 $
X $
X
k
k
k
x+
=
x+
+
x+
= nq + r = m = bnxc
n
n
n
k=0
k=nr
k=0
q+

Exercice 6 : [nonc]
Si a < Z alors [a ; b] Z = {bac + 1, bac + 2, . . . , bbc} donc
Card([a ; b] Z) = bbc bac
Or
b1 ac = 1 + bac = bac
car a < Z donc

Card([a ; b] Z) = bbc + b1 ac
Diffusion autorise titre entirement gratuit uniquement - dD

[http://mp.cpgedupuydelome.fr] dit le 24 septembre 2016

Si a Z alors [a ; b] Z = {a, a + 1, . . . , bbc} donc

Corrections

Or le carr dun entier ne peut qutre congru 0 ou 1 modulo 4. On en dduit

4n + 2 < p2

Card([a ; b] Z) = bbc a + 1 = bbc + b1 ac

et donc

car 1 a Z.

Exercice 7 : [nonc]
(a) Par rcurrence sur n N .
Pour n = 1, a1 = 2 et b1 = 1 conviennent.
Supposons la proprit tablie au rang n 1.

(2 + 3)n+1 = (2 + 3)(an + bn 3) = an+1 + bn+1 3

4n + 2 < p

Ainsi, il nexiste pas dentiers compris entre n + n + 1 et 4n + 2 donc

j
k j
k

n+ n+1 =
4n + 2

avec an+1 = 2an + 3bn et bn+1 = an + 2bn de sorte que

3b2n+1 a2n+1 = a2n + 3b2n = 1
Rcurrence tablie.

(b) an 1 bn 3 < an donc 2an 1 (2 + 3)n < 2an donc

j
k
(2 + 3)n = 2an 1
Cest un entier impair.

Exercice 8 : [nonc]

Soit p un entier strictement suprieur n + n + 1. On a

2n + 1 + 2 n2 + n < p2
donc


2
4(n2 + n) < p2 (2n + 1)

Puisque les nombres compars sont des entiers, on a aussi


2
4(n2 + n) + 1 p2 (2n + 1)
cest--dire


2
(2n + 1)2 p2 (2n + 1)

et on en dduit
4n + 2 p2
Diffusion autorise titre entirement gratuit uniquement - dD