[http://mp.cpgedupuydelome.

fr] dD

Enoncs

Nombres rels
Rationnels et irrationnels
Exercice 1 [ 02092 ] [correction]
Montrer que la somme dun nombre rationnel et dun nombre irrationnel est un
nombre irrationnel.

Exercice 7 Mines-Ponts MP [ 02647 ] [correction]

a)Montrer lexistence
et lunicit des suites dentiers (an )nN et (bn )nN vrifiant
( 2 + 1)n = an + bn 2.
b) Calculer a2n 2b2n .
?
c)Montrer que pour
tout n N, il existe un unique p N tel que

n
( 2 + 1) = p + p 1.

Nombres rels
Exercice 2
[ 02093 ] [correction]
Montrer que 2 nest pas un nombre rationnel

Exercice 8 [ 02096 ] [correction]

Montrer a, b R, ab 6 21 a2 + b2 .

Exercice 3 [ 02094 ] [correction]

  2
2
. En dduire lexistence dirrationnels a, b > 0 tels que ab soit
2
Calculer
rationnel.

Exercice 9
Montrer

[ 03224 ]

[correction]
u, v > 0, 1 +

Exercice 4 [ 02095 ] [correction]

Soit f : Q Q telle que x, y Q, f (x + y) = f (x) + f (y).
a) On suppose f constante gale C quelle est la valeur de C ?
On revient au cas gnral.
b) Calculer f (0).
c) Montrer que x Q, f (x) = f (x).
d) Etablir que n N, x Q, f (nx) = nf (x) et gnraliser cette proprit
n Z.
e) On pose a = f (1). Montrer que x Q, f (x) = ax.
Exercice 5 Centrale MP
Montrer que

[ 02472 ]

2 41
+
3 81

uv 6

1+u 1+v

Exercice 10 [ 02097 ] [correction]

Montrer a, b, c R, ab + bc + ca 6 a2 + b2 + c2 .

Exercice 11 [ 02098 ] [correction]

p
p

Soit a [1, +[. Simplifier a + 2 a 1 + a 2 a 1.

[correction]

r !1/3
5
+
3

2 41

3 81

r !1/3
5
3

est un rationnel. On conseille deffectuer les calculs par ordinateur.

Exercice 6 Centrale MP

[correction]
n
P
1
Si n est un entier > 2, le rationnel Hn =
k peut-il tre entier ?
[ 02475 ]

k=1

Exercice 12 [ 02099 ] [correction]

Soit
f : R R une2 application telle que :
1) (x, y) R , f (x + y) = f (x) + f (y)
2) (x, y) R2 , f (xy) = f (x)f (y)

3) x R, f (x) 6= 0
a) Calculer f (0), f (1) et f (1).
b) Dterminer f (x) pour x Z puis pour x Q.
c) Dmontrer que x > 0, f (x) > 0. En dduire que f est croissante.
d) Conclure que f = IdR .

[http://mp.cpgedupuydelome.fr] dD

Enoncs

Partie entire

Exercice 21 [ 02109 ] [correction]

Soit A et B deux parties non vides de R telles que (a, b) A B, a 6 b.
Montrer que sup A et inf B existent et que sup A 6 inf B.

Exercice 13 [ 02100 ] [correction]

Montrer que la fonction partie entire est croissante.

Exercice 14 [ 02101 ] [correction]

Montrer que x, y R, E(x) + E(y) 6 E(x + y) 6 E(x) + E(y) + 1.
Exercice 15 [ 02102 ] [correction]
Montrer que, pour x, y R, E(x) + E(x + y) + E(y) 6 E(2x) + E(2y).

Exercice 22 [ 02108 ] [correction]

Soit A et B deux parties non vides et bornes de R telles que A B.
Comparer inf A, sup A, inf B et sup B.
Exercice 23 [ 02110 ] [correction]
Soient A et B deux parties de R non vides et majores.
Montrer que sup A, sup B et sup A B existent et
sup A B = max(sup A, sup B)

Exercice 16

[ 02103 ]

[correction]

Soit n N? et x R. Montrer que E

Exercice 17

E(nx)
n

= E (x).

[correction]
n1


P
Montrer que x R, n N? ,
E x + nk = E(nx)
[ 02104 ]

Exercice 24 [ 02111 ] [correction]

Soient A et B deux parties non vides et majores de R.
On forme
A + B = {a + b/(a, b) A B}
Montrer que A + B est majore et
sup(A + B) = sup A + sup B

k=0

Exercice 18 [ 02105 ] [correction]

Soit a 6 b R. Etablir Card([a, b] Z) = E(b) + E(1 a).
Exercice 19 [ 02106 ] [correction]
Soit n N? .

a) Montrer quil existe (an , bn ) N?2 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.

Borne suprieure, borne infrieure

Exercice 20
Soit

[ 02107 ]

[correction]

A = (1)n +

Exercice 25 [ 02113 ] [correction]

Pour n N, on pose fn (x) = xn (1 x). Dterminer lim

sup fn (x)

n+ x[0,1]

Exercice 26 [ 00225 ] [correction]

Soit A une partie non vide et minore de R. On pose
m = inf A et B = A ], m + 1]
Montrer que inf B = m.
Exercice 27 [ 02347 ] [correction]
Soit f : R2 R. Etablir
sup inf f (x, y) 6 inf sup f (x, y)
xR yR

1
/n N
n+1

Montrer que A est borne, dterminer inf A et sup A.

yR xR


Exercice 28 [n02114 ] [correction]

Dterminer inf (x1 + + xn ) x11 + +

1
xn

o
/x1 , . . . , xn > 0 .

[http://mp.cpgedupuydelome.fr] dD

Enoncs

Equations et systmes
Exercice 29 [ 02115 ] [correction]
Rsoudre les quations suivantes dinconnue x R :
a) x = 2x 1 [1] b) 3x = 2 x [] c) nx = 0 [] (avec n N? ).

Exercice 30 [ 02116
] [correction]
p
p

3
3
Observer que x = 20 + 14 2 + 20 14 2 est solution dune quation de la
forme x3 = x + avec , R. Rsoudre cette dernire et dterminer x.

Exercice 31 [ 02117 ] [correction]

2
Rsoudre
:
( 2 les2systmes(dinconnue (x, y)( R
2
2
2
x + 2y = 1
x =y
x +y =1
a)
b)
c)
2
2xy = 1
x + xy = 0
y2 = x

Exercice 32 [ 02118 ] [correction]

Rsoudre
les systmes suivants
dinconnue

x
+
2y
z =1
x
+
2y

z
=
1

3
(x,
y, z) R :

x+y+z =1
x y + z = 2 b) x y + 2z = 2 c) x y + 3z = 2 .
a)

2x y + z = 3
3x y + z = 3
xyz = 0

Exercice 33

[correction]

x ay + z = 2
Rsoudre le systme x + (a + 1)z = 3 dinconnue (x, y, z) R3 , a dsignant un

x + ay + 3z = 4
paramtre rel.
[ 02119 ]

[http://mp.cpgedupuydelome.fr] dD

Corrections

Corrections
x:=(2/3+41/81*sqrt(5/3))^(1/3)+(2/3-41/81*sqrt(5/3))^(1/3);
Exercice 1 : [nonc]
Soit x un rationnel et y un irrationnel.
Par labsurde : Si z = x + y est rationnel alors y = z x est rationnel par
diffrence de deux nombres rationnels. Or y est irrationnel. Absurde.

Attention dfinir les racines cubiques par des exposants 1/3 avec parenthses.
On peut commencer par estimer la valeur cherche
evalf(x);
Nous allons chercher liminer les racines cubiques. Pour cela on calcule x3

Exercice 2 : [nonc]

Par labsurde supposons 2 Q. On peut alors crire 2 = p/q avec p, q N? et,

quitte simplifier, p et q de parits diffrentes. On a alors 2q 2 = p2 .
p est ncessairement pair car p2 est pair. Cela permet dcrire p = 2k avec k N
puis q 2 = 2k 2 .
Mais alors q est pair. Par suite p et q ont mme parit. Absurde.

expand(x^3);
Dans lexpression obtenue, on peut faire apparatre x par factorisation du terme

1/3 
1/3
2
41
2
41
+

15
15
3 243
3 243
Simplifions ce terme

Exercice 3 : [nonc]


2
=

2 =2

2
Si
2 est rationnel, cest gagn avec a = b = 2. Sinon, on prend a = 2 et
b = 2.

Exercice 4 : [nonc]
a) La relation f (x + y) = f (x) + f (y) avec f constante gale C donne
C = C + C do C = 0.
b) Pour x = y = 0, la relation f (x + y) = f (x) + f (y) implique f (0) = 0.
c) Pour y = x, la relation f (x + y) = f (x) + f (y) donne 0 = f (x) + f (x) do
f (x) = f (x).
d) Par rcurrence : n N, x Q, f (nx) = nf (x).
Pour n Z , n = p avec p N et f (nx) = f (px) = f (px) = pf (x) = nf (x).
e) On peut crire x = p/q avec p Z et q N? .
f (x) = f (p 1q ) = pf ( 1q ) or a = f (1) = f (q 1q ) = qf ( 1q ) donc f ( 1q ) = aq puis
f (x) = ap
q = ax.

simplify((2/3+41/243*sqrt(15))^(1/3)*
(2/3-41/243*sqrt(15))^(1/3),assume=positive);
On obtient

1/3 
1/3
1 
486 + 123 15
486 123 15
81
Dveloppons selon (a b)(a + b) = a2 b2
(486^2-123^2*15)^(1/3);
donne 9261. Enfin
ifactor(9261);
permet de conclure que

1/3 
1/3
2
41
2
41
7
+
15

15
=
3 243
3 243
27
Ainsi x est solution de lquation
x3 =

Exercice 5 : [nonc]
On dfinit le nombre x tudi

En factorisant le polynme sous-jacent

4 7
+ x
3 9

[http://mp.cpgedupuydelome.fr] dD

Corrections

factor(x^3-7/9*x-4/3);
on obtient
(3x 4)(3x2 + 4x + 3) = 0
Puisque 3x2 + 4x + 3 > 0, on peut conclure
x = 4/3
Exercice 6 : [nonc]
On dfinit la suite

Lunicit provient de lirrationalit de 2.

b) Par la formuledu binme

de Newton, (1 2)n = an 2bn ,

a2n 2b2n = (1 + 2)n (1 2)n = (1)n .

c) Lunicit est vidente compte tenu de la stricte croissance de p 7 p + p 1.

2
2
2
Pour p = an ,
Sin est pair alors
an = 1 + 2bn .

( 2 + 1)n = an + 2bn = p + p 1.
2
2
1. Pour p = 2b2n ,
Sin est impair
alors 2bn =an +
n
( 2 + 1) = 2bn + an = p + p 1.

Exercice 8 : [nonc]
(a b)2 > 0 donne 2ab 6 a2 + b2

H:=n->sum(1/k,k=1..n);
puis on regarde les premiers termes de celle-ci

Exercice 9 : [nonc]
Compte tenu de la positivit des membres, le problme revient tablir
1+

seq(H(n),n=2..10);
On peut conjecturer que Hn est le rapport dun entier impair par un entier pair.
Ceci assurera Hn
/ Z.
Dmontrons la proprit conjecture par rcurrence forte.
Pour n = 2, cest immdiat.
Supposons la proprit tablie jusquau rang n 1 > 2.
Cas n impair.
On peut crire n = 2k + 1 et puisque par hypothse de rcurrence Hn1 scrit
(2p + 1)/2q, on obtient Hn = Hn1 + 1/n gale au rapport dun entier impair par
un entier pair.
Cas n est pair.
1
.
On peut crire n = 2k avec k > 2 puis Hn = 12 Hk + 1 + 13 + + 2k1
Par hypothse de rcurrence, Hk est le rapport dun entier impair par un entier
pair, donc 12 Hk aussi.
De plus, comme entrevu dans ltude du cas prcdent, lajout de linverse dun
entier impair conserve la proprit.
Ainsi Hn est le rapport dun entier impair par un entier impair.
Rcurrence tablie.
Exercice 7 : [nonc]
a) Lexistence sobtient
par la formule du binme!de Newton :
!
n
n
P
P
an =
2k et bn =
2k .
2k
2k
+1
062k6n
062k+16n

soit encore

uv

2

6 (1 + u)(1 + v)

2 uv 6 u + v

ce qui dcoule de la proprit

2
v >0

Exercice 10 : [nonc]
Sachant 2xy 6 x2 + y 2 :
ab + bc + ca 6 12 (a2 + b2 ) + 21 (b2 + c2 ) + 12 (c2 + a2 ) = a2 + b2 + c2 .

Exercice 11p: [nonc]

p

Posons x = a +p
2 a 1 + a 2 a p
1.
On a x2 = 2a + 2 a2 4(a 1) = 2a + 2 (a 2)2 .
Si a [1, 2] alors x2 = 2a + 2(2 a) = 4 doncx = 2.
Si a [2, +[ alors x2 = 4(a 1) puis x = 2 a 1.

Exercice 12 : [nonc]
a) f (0) = f (0 + 0) = f (0) + f (0) donc f (0) = 0.
x R, f (x) = f (1.x) = f (1)f (x)

[http://mp.cpgedupuydelome.fr] dD

Corrections

Comme f est non nulle, on a f (1) = 1.

f (1) + f (1) = f (0) = 0 donc f (1) = 1.
b) Par rcurrence sur n N : f (n) = n. De plus
f (n) = f ((1) n) = f (1) f (n) = f (n) = n donc x Z, f (x) = x. Pour
x Q, x = pq avec p Z, q N? , f (x) = f (p 1q ) = f (p) f ( 1q ). Or f (p) = p et
1 = f (1) = f (q 1q ) = f (q) f ( 1q ) = q f ( 1q ) donc f ( 1q ) = 1q . Par suite f (x) = x.

2
c) x > 0, f (x) = f ( x x) = (f ( x)) > 0.
Pour x, y R, si x 6 y alors f (y) = f (x + y x) = f (x) + f (y x) > f (x). Ainsi
f est croissante.
d) Pour x R et n N : E(nx)
6 x < E(nx)+1
n
n
E(nx)
Comme f est croissante : f ( n ) 6 f (x) < f ( E(nx)+1
) puis
n
E(nx)
E(nx)+1
6
f
(x)
<
.
n
n
A la limite, quand n +, on obtient x 6 f (x) 6 x i.e. f (x) = x. Finalement
f = IdR .
Exercice 13 : [nonc]
Soit x 6 y R. E(x) 6 x donc E(x) 6 y or E(x) Z donc E(x) 6 E(y) car E(y)
est le plus grand entier infrieur y.
Exercice 14 : [nonc]
E(x) + E(y) 6 x + y donc E(x) + E(y) 6 E(x + y).
E(x + y) 6 x + y < E(x) + 1 + E(y) + 1 donc E(x + y) 6 E(x) + E(y) + 1.
Exercice 15 : [nonc]
Si E(x) 6 x < E(x) + 1/2 et E(y) 6 y < E(y) + 1/2 alors
E(x + y) = E(x) + E(y), E(2x) = 2E(x) et E(2y) = 2E(y) puis la relation voulue.
Si E(x) + 1/2 6 x < E(x) + 1 et E(y) 6 y < E(y) + 1/2 alors
E(x + y) 6 E(x) + E(y) + 1, E(2x) = 2E(x) + 1 et E(2y) = 2E(y) puis la relation
voulue
Si E(x) 6 x < E(x) + 1/2 et E(y) + 1/2 6 y < E(y) + 1 : idem.
Si E(x) + 1/2 6 x < E(x) + 1 et E(y) + 1/2 6 y < E(y) + 1 alors
E(x + y) = E(x) + E(y) + 1, E(2x) = 2E(x) + 1 et E(2y) = 2E(y) + 1 puis la
relation voulue.
Exercice 16 : [nonc]
E(nx)
On a E(nx)
 6 nx puis n 6 x, or x 7 E(x) est croissante donc

E(nx)
n

6 E (x).

E(x) 6 x donc nE(x) 6 nx puis nE(x) 6 E(nx) car nE(x) Z.

Par suite E(x) 6

E(nx)
n

puis E(x) 6 E( E(nx)

n ) et finalement E(x) = E

E(nx)
n

Exercice 17 : [nonc]
Posons m = E(nx) et ralisons la division euclidienne de m par n : m = nq + r
avec 0 6 r 6 n 1.
On a nq + r 6 nx < nq + r + 1 donc pour tout k {0, . . . , n 1} :
k
k+r+1
q + k+r
n 6x+ n <q+
n



Si k + r < n alors E x + nk = q et si k + r > n alors E x + nk = q + 1.
Par suite
n1
n1

nr1




P
P
P
E x + nk =
E x + nk +
E x + nk = nq + r = m = E(nx).
k=0

k=0

k=nr

Exercice 18 : [nonc]
Si a
/ Z alors [a, b] Z = {E(a) + 1, E(a) + 2, . . . , E(b)} donc
Card([a, b] Z) = E(b) E(a).
Or E(1 a) = 1 + E(a) = E(a) car a
/ Z donc
Card([a, b] Z) = E(b) + E(1 a)
Si a Z alors [a, b] Z = {a, a + 1, . . . , E(b)} donc
Card([a, b] Z) = E(b) a + 1 = E(b) + E(1 a) car 1 a Z.

Exercice 19 : [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)(2 + 3)n = (2 + 3)(an + bn 3) = an+1 + bn+1 3

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 6 bn 3 < an donc 2an 1 6 (2 + 3)n < 2an donc
E((2 + 3)n ) = 2an 1.

Exercice 20 : [nonc]
1
n N, 1 6 (1)n + n+1
6 2 donc A est borne.
A est une partie de R non vide et borne donc inf A et sup A existent.
n
0
1
2
3
...
.
1
(1)n + n+1
2 1 + 12 1 + 13 1 + 14 . . .

[http://mp.cpgedupuydelome.fr] dD

Corrections

2 est plus grand lment de A et donc sup A = max A = 2.

1
1 donc il existe une suite
A est clairement minore par 1 et (1)2p+1 + 2p+2
dlments de A qui converge vers 1 donc inf A = 1.

Pour tout a A et tout b B, a = (a + b) b 6 sup(A + B) b donc A est

majore par sup(A + B) b do
sup A 6 sup(A + B) b
Par suite

Exercice 21 : [nonc]
b B on a a A, a 6 b donc A est majore par b.
A est une partie de R non vide et majore par b donc sup A existe et sup A 6 b.
B est une partie de R non vide et minore par sup A donc inf B existe et
sup A 6 inf B.

b 6 sup(A + B) sup A
et B est donc major par sup(A + B) sup A et par suite
sup B 6 sup(A + B) sup A
Finalement
sup A + sup B 6 sup A + B
puis lgalit.

Exercice 22 : [nonc]
A et B sont des parties non vides et bornes de R donc les bornes sup et inf
considres existent.
a A, on a a B donc a 6 sup B. sup B majore A donc sup A 6 sup B.
a A, on a a B donc inf B 6 a. inf B minore A donc inf B 6 inf A.
Enfin, puisque A 6= , inf A 6 sup A.

Exercice 25 : [nonc]
fn est drivable et fn0 (x) = nxn1 (1 x) xn = nxn1 (n + 1)xn .
0
xn
1
x
n
[0, 1] et
avec xn = n+1
fn (x) 0 % Mn & 0

n
1
1
Mn = sup fn (x) = 1 n+1
n+1 0.
x[0,1]

Exercice 23 : [nonc]
A, B, A B sont des parties de R non vides et majores donc
sup A, sup B, sup A B existent dans R.
Pour tout x A B on a x 6 max(sup A, sup B) donc
sup(A B) 6 max(sup A, sup B)
Puisque A, B A B on a sup A, sup B 6 sup A B donc
max(sup A, sup B) 6 sup A B

Exercice 26 : [nonc]
B A donc inf B > inf A.
Il existe une suite (un ) dlments de A vrifiant un inf A. A partir dun certain
rang un B et donc inf A > inf B.
Exercice 27 : [nonc]
inf f (x, y) 6 f (x, y0 ) donc sup inf f (x, y) 6 sup f (x, y0 ) puis
yR

xR yR

y0 R xR

xR yR

puis lgalit.

xR

sup inf f (x, y) 6 inf sup f (x, y0 )

Exercice 28 : [nonc]
Exercice 24 : [nonc]
A et B sont deux parties non vides et majores de R donc sup A et sup B existent.
Pour tout x A + B, on peut crire x = a + b avec a A et b B.
On a x = a + b 6 sup A + sup B, donc A + B est majore par sup A + sup B
A + B est une partie de R non vide et majore donc sup A + B existe et
sup A + B 6 sup A + sup B

On exploite

xi
xj

(x1 + + xn )

+


xj
xi

1
x1

x2i +x2j
xi xj

> 2 pour obtenir


n
P
xi
2
+ + x1n =
xj > n .
=

i,j=1

Puisque que pour

 x1 = . . . = xn = 1 on obtient
(x1 + + xn ) x11 + + x1n = n2 on peut conclure
n


o
inf (x1 + + xn ) x11 + + x1n /x1 , . . . , xn > 0 = n2

[http://mp.cpgedupuydelome.fr] dD
Exercice 29 : [nonc]
a) x = 2x 1 [1] x = 1 [1] x = 1  [1],
 S = Z.k+2

,S=
/k Z .
b) 3x = 2 x [] 4x = 2 [] x = 21
4
4

 k

c) nx = 0 [] x = 0
n , S =
n /k Z .

Exercice 30 : [nonc]
x3 = 6x + 40. 4 est solution apparente de cette quation.
x3 6x 40 = (x 4)(x2 + 4x + 10)

Les solutions de lquation sont 4, 2 + i 6, 2 i 6. On conclut x = 4.

Exercice 31 : [nonc]
a) Si (x, y) est solution alors (2)
x(x + y) = 0 donc x = 0 ou y = x.
Si x = 0 alors (1) donne y = 1/ 2.

Si y = x alors (1) donne x = 1/ 3.

Inversement : ok 

Finalement : S = (0, 1/ 2), (0, 1/ 2), (1/ 3, 1/ 3), (1/ 3, 1/ 3) .
b) Si (x, y) est solution alors (1) (2) donne (x y)2 = 0 do x = y puis (1)
donne x = y = 12 .


Inversement : ok. Finalement S = (1/ 2, 1/ 2), (1/ 2, 1/ 2) .
c) Si (x, y) est solution alors (1) et (2) donnent x4 = x do x = 0 ou x = 1.
Si x = 0 alors y = 0. Si x = 1 alors y = 1.
Inversement : ok. Finalement S = {(0, 0), (1, 1)}.

Exercice 32 : [nonc]
a) Si (x, y, z) est solution alors (3) donne x = 0, y = 0 ou z = 0.
Si x = 0 alors y = 3, z = 5. Si y = 0 alors x = 32 , z = 21 . Si z = 0 alors
x = 35 , y = 13 .


Inversement : ok. Finalement S = (0, 3, 5), ( 32 , 0, 12 ), ( 53 , 31 , 0) .






b) S = 89 , 94 , 79 . c) S = 54 , 38 , 18 .

Exercice
33 : [nonc]

ay
+
z=2

x ay + z = 2

x ay + z = 2
x + (a + 1)z = 3
ay + az = 1
ay + az = 1

x + ay + 3z = 4
ay + z = 1
(1 a)z = 0
Si a = 1 alors le systme a pour solution les triplets (3 2z, 1 z, z).

Corrections

x ay = 2
ay = 1 .
Si a 6= 1 alors le systme quivaut

z=0
Si a = 0, il ny a pas de solutions.
Si a 6= 0, 1 alors le systme possde pour solution unique le triplet (3, 1/a, 0).