Nombres Réels

[http://mp.cpgedupuydelome.
fr] dit le 9 janvier 2014 Enoncs 1

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

2 nest pas un nombre rationnel
Calculer
_
2
_
2
. En dduire lexistence dirrationnels a, b > 0 tels que a
b
soit
rationnel.
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 [ 02472 ] [correction]
Montrer que
_
2
3
+
41
81
_
5
3
_
1/3
+
_
2
3

41
81
_
5
3
_
1/3
est un rationnel. On conseille deectuer les calculs par ordinateur.
Exercice 6 Centrale MP [ 02475 ] [correction]
Si n est un entier 2, le rationnel H
n
=
n
k=1
1
k
peut-il tre entier ?
Exercice 7 Mines-Ponts MP [ 02647 ] [correction]
a) Montrer lexistence et lunicit des suites dentiers (a
n
)
nN
et (b
n
)
nN
vriant
_
1 +
2
_
n
= a
n
+ b
n
2
b) Calculer a
2
n
2b
2
n
.
c) Montrer que pour tout n N, il existe un unique p N
tel que
_
1 +
2
_
n
=

p +
_
p 1
[Irrationalit de ]
a) Pour a, b N
, montrer que la fonction polynomiale

P
n
(x) =
1
n!
x
n
(bx a)
n
et ses drives successives prennent en x = 0 des valeurs entires.
b) Etablir la mme proprit en x = a/b
c) Pour n N
, on pose
I
n
=
_

0
P
n
(t) sin t dt
Montrer que I
n
0.
d) En supposant = a/b, montrer que I
n
Z. Conclure.
[Irrationalit de e
r
pour r Q
]
a) Pour a, b N
, montrer que la fonction polynomiale

P
n
(x) =
1
n!
x
n
(bx a)
n
et ses drives successives prennent en x = 0 des valeurs entires.
b) Etablir la mme proprit en x = a/b
c) On pose r = a/b et pour n N
I
n
=
_
r
0
P
n
(t)e
t
dt
Montrer que I
n
0.
d) En supposant e
r
= p/q avec p, q N
, montrer que qI
n
Z. Conclure.
Diusion autorise titre entirement gratuit uniquement - dD
[http://mp.cpgedupuydelome.fr] dit le 9 janvier 2014 Enoncs 2
Nombres rels
Soit a [1, +[. Simplier
_
a + 2
a 1 +
_
a 2
a 1
Soit f : R R une application telle que :
_
_
_
1) (x, y) R
2
, f(x + y) = f(x) + f(y)
2) (x, y) R
2
, f(xy) = f(x)f(y)
3) x R, f(x) ,= 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 = Id
R
.
Soient n N
et x
1
, . . . , x
n
R. On suppose
n
k=1
x
k
=
n
k=1
x
2
k
= n
Montrer que pour tout k 1, . . . , n, x
k
= 1.
Ingalits
Soient x, y [0, 1]. Montrer
x
2
+ y
2
xy 1
Montrer
a, b R, ab
1
2
_
a
2
+ b
2
_
Montrer
a, b, c R, ab + bc + ca a
2
+ b
2
+ c
2
Montrer
u, v 0, 1 +
uv
1 + u
1 + v
Soient n N
, a
1
. . . a
n
et b
1
. . . b
n
des rels.
Etablir
_
1
n
n
k=1
a
k
__
1
n
n
k=1
b
k
_
1
n
n
k=1
a
k
b
k
Partie entire
Montrer que la fonction partie entire est croissante.
Montrer
x, y R, x| +y| x + y| x| +y| + 1
Montrer
x, y R, E(x) + E(x + y) + E(y) E(2x) + E(2y)
Soient n N
et x R. Montrer
_
nx|
n
_
= x|
Montrer que
x R, n N
,
n1
k=0
E
_
x +
k
n
_
= E(nx)
Soit a b R. Etablir
Card([a, b] Z) = E(b) + E(1 a)
Soit n N
.
a) Montrer quil existe (a
n
, b
n
) N
2
tel que
(2 +
3)
n
= a
n
+ b
n
3 et 3b
2
n
= a
2
n
1
b) Montrer que la partie entire de (2 +
3)
n
est un entier impair.
Dmontrer
n N
,
_
n +
n + 1
=
_
4n + 2
en notant [x] la partie entire dun rel x.

Borne suprieure, borne infrieure
Soit
A =
_
(1)
n
+
1
n + 1
/n N
_
Montrer que A est borne, dterminer inf A et supA.
Soient A et B deux parties non vides de R telles que
(a, b) AB, a b
Montrer que supA et inf B existent et que supA inf B.
Soient A et B deux parties non vides et bornes de R telles que A B.
Comparer inf A, supA, inf B et supB.
Soient A et B deux parties de R non vides et majores.
Montrer que supA, supB et sup(A B) existent et
sup(A B) = max(supA, supB)
Soient A et B deux parties non vides et majores de R.
On forme
A + B = a + b/(a, b) AB
Montrer que A + B est majore et
sup(A + B) = supA + supB
Pour n N, on pose f
n
(x) = x
n
(1 x). Dterminer lim
n+
sup
x[0,1]
f
n
(x)
Soit A une partie non vide et minore de R. On pose
m = inf A et B = A ], m + 1]
Dterminer la borne infrieure de B.
Soit f : R
2
R. Etablir
sup
xR
inf
yR
f(x, y) inf
yR
sup
xR
f(x, y)
Dterminer
inf
_
(x
1
+ + x
n
)
_
1
x
1
+ +
1
x
n
_
/x
1
, . . . , x
n
> 0
_
Equations et systmes
Rsoudre les quations suivantes dinconnue x R :
a) x = 2x 1 [1] b) 3x = 2 x [] c) nx = 0 [] (avec n N
)
Observer que x =
3
_
20 + 14
2 +
3
_
20 14
2 est solution dune quation de la

forme x
3
= x + avec , R. Rsoudre cette dernire et dterminer x.
Rsoudre les systmes dinconnue (x, y) R
2
:
a)
_
x
2
+ 2y
2
= 1
x
2
+ xy = 0
b)
_
x
2
+ y
2
= 1
2xy = 1
c)
_
x
2
= y
y
2
= x
Rsoudre les systmes suivants dinconnue (x, y, z) R
3
:
a)
_
_
x + 2y z = 1
x y + z = 2
xyz = 0
b)
_
_
x + 2y z = 1
x y + 2z = 2
3x y + z = 3
c)
_
_
x + y + z = 1
x y + 3z = 2
2x y + z = 3
Rsoudre le systme
_
_
x ay + z = 2
x + (a + 1)z = 3
x + ay + 3z = 4
dinconnue (x, y, z) R
3
, a dsignant un paramtre rel.
[http://mp.cpgedupuydelome.fr] dit le 9 janvier 2014 Corrections 5
Corrections
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
dirence de deux nombres rationnels. Or y est irrationnel. Absurde.
Exercice 2 : [nonc]
Par labsurde supposons

2 Q.
On peut alors crire

2 = p/q avec p, q N
et, quitte simplier, p et q non

tous les deux pairs.
On a alors 2q
2
= p
2
.
p est alors ncessairement pair car p
2
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 sont tous les deux pairs.
Absurde.
Exercice 3 : [nonc]
_
2
_
2
=

2
2
= 2
Si

2
2
est rationnel, cest gagn avec a = b =

2. Sinon, on prend a =

2
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
1
q
) = pf(
1
q
)
or
a = f(1) = f(q
1
q
) = qf(
1
q
)
donc
f(
1
q
) =
a
q
puis
f(x) =
ap
q
= ax
Exercice 5 : [nonc]
On dnit le nombre x tudi
x:=(2/3+41/81*sqrt(5/3))(1/3)+(2/3-41/81*sqrt(5/3))(1/3);
Attention dnir 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 x
3
expand(x3);
Dans lexpression obtenue, on peut faire apparatre x par factorisation du terme
_
2
3
+
41
243
15
_
1/3
_
2
3

41
243
15
_
1/3
Simplions ce terme
simplify((2/3+41/243*sqrt(15))(1/3)*
(2/3-41/243*sqrt(15))(1/3), assume=positive);
On obtient
1
81
_
486 + 123
15
_
1/3
_
486 123
15
_
1/3
Dveloppons selon (a b)(a + b) = a
2
b
2
(4862-1232*15)(1/3);
donne 9261. Enn
ifactor(9261);
permet de conclure que
_
2
3
+
41
243
15
_
1/3
_
2
3

41
243
15
_
1/3
=
7
27
Ainsi x est solution de lquation
x
3
=
4
3
+
7
9
x
En factorisant le polynme sous-jacent
factor(x3-7/9*x-4/3);
on obtient
(3x 4)(3x
2
+ 4x + 3) = 0
Puisque 3x
2
+ 4x + 3 > 0, on peut conclure
x = 4/3
Exercice 6 : [nonc]
On dnit la suite
H:=n->sum(1/k, k=1..n);
puis on regarde les premiers termes de celle-ci
seq(H(n), n=2..10);
On peut conjecturer que H
n
est le rapport dun entier impair par un entier pair.
Ceci assurera H
n
/ 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 H
n1
scrit
(2p + 1)/2q, on obtient H
n
= H
n1
+ 1/n gale au rapport dun entier impair par
un entier pair.
Cas n est pair.
On peut crire n = 2k avec k 2 puis
H
n
=
1
2
H
k
+ 1 +
1
3
+ +
1
2k 1
Par hypothse de rcurrence, H
k
est le rapport dun entier impair par un entier
pair, donc
1
2
H
k
aussi.
De plus, comme entrevu dans ltude du cas prcdent, lajout de linverse dun
entier impair conserve la proprit.
Ainsi H
n
est le rapport dun entier impair par un entier pair.
Rcurrence tablie.
Exercice 7 : [nonc]
a) Par la formule du binme de Newton
_
1 +
2
_
n
=
n
k=0
_
n
k
_
2
k
En sparant les termes dindices pairs de ceux dindices impaires
_
1 +
2
_
n
= a
n
+ b
n
2
avec les entiers
a
n
=

02pn
_
n
2p
_
2
p
et b
n
=

02p+1n
_
n
2p + 1
_
2
p
On peut aussi raisonner par rcurrence en mettant jour une expression de a
n+1
et b
n+1
en fonction de a
n
et b
n
_
a
n+1
= a
n
+ 2b
n
b
n+1
= a
n
+ b
n
Lunicit provient de lirrationalit de

2. En eet si
_
1 +
2
_
n
= a + b
2 = a
+ b
2
avec a, b, a
, b
entiers, on obtient
(b
b)
2 = a a
Si b ,= b
alors on peut exprimer

2 comme gal un nombre rationnel. Cest
absurde et il reste b = b
et donc a = a
.
b) Par la formule du binme de Newton, on obtient de mme
_
1
2
_
n
= a
n

2b
n
et alors
a
2
n
2b
2
n
= (1 +
2)
n
(1
2)
n
= (1)
n
On peut aussi raisonner par rcurrence en exploitant lexpression de (a
n+1
, b
n+1
)
en fonction de (a
n
, b
n
).
c) Lunicit est vidente compte tenu de la stricte croissance de la fonction
p

p +
p 1.
Si n est pair alors a
2
n
= 1 + 2b
2
n
. Pour p = a
2
n
,
(
2 + 1)
n
= a
n
+
2b
n
=

p +
_
p 1
Si n est impair alors 2b
2
n
= a
2
n
+ 1. Pour p = 2b
2
n
,
(
2 + 1)
n
=

2b
n
+ a
n
=

p +
_
p 1
Exercice 8 : [nonc]
a) 0 est racine de multiplicit n de P
n
donc
m < n, P
(m)
n
(0) = 0
Le polynme P
n
est de degr 2n donc P
(m)
n = 0 pour tout m > 2n et ainsi
m > 2n, P
(m)
n
(0) = 0
Reste traiter le cas n m 2n.
En dveloppant par la formule du binme
P
n
(x) =
n
k=0
1
n!
_
n
k
_
(a)
nk
b
k
x
n+k
Puisque P
(m)
n (0) est donn par la drivation du terme x
m
, on obtient
P
(m)
n
(0) =
1
n!
_
n
mn
_
(a)
2nm
b
mn
(n + m)! Z
b) On remarque
x R, P
n
(a/b x) = P
n
(x)
donc
m N, P
(m)
n
(a/b) = (1)
m
P
(m)
n
(0) Z
c) On a
[I
n
0[ =
1
n!
_

0
t
n
(bt a)
n
sin tdt
1
n!
n+1
([b[ +[a[)
n
n+
0
d) Par labsurde, supposons = a/b.
Par intgration par parties successives
I
n
=
_
m
k=1
(1)
k1
sin(t + k/2)P
(k1)
n
(t)
_
0
+ (1)
m
_

0
sin(t + m/2)P
(m)
n
(t)dt
Donc
I
n
=
_
2n+2
k=1
(1)
k1
sin(t + k/2)P
(k1)
n
(t)
_
0
=
2n+2
k=1
(1)
k
sin(k/2)(P
(k1)
n
()+P
(k1)
n
(0)) Z
Comme I
n
Z et I
n
0, la suite (I
n
) est stationnaire gale 0.
Or sur [0, ] la fonction t P
n
(t) sin(t) est continue, positive sans tre nulle et
0 < donc I
n
> 0. Absurde.
Exercice 9 : [nonc]
a) 0 est racine de multiplicit n de P
n
donc
m < n, P
(m)
n
(0) = 0
Le polynme P
n
est de degr 2n donc P
(m)
n = 0 pour tout m > 2n et ainsi
m > 2n, P
(m)
n
(0) = 0
Reste traiter le cas n m 2n. En dveloppant par la formule du binme
P
n
(x) =
n
k=0
1
n!
_
n
k
_
(a)
nk
b
k
x
n+k
Puisque P
(m)
n (0) est donn par la drivation du terme x
m
, on obtient
P
(m)
n
(0) =
1
n!
_
n
mn
_
(a)
2nm
b
mn
(n + m)! Z
b) On remarque
x R, P
n
(a/b x) = P
n
(x)
donc
m N, P
(m)
n
(a/b) = (1)
m
P
(m)
n
(0) Z
c) On a
[I
n
0[ =
1
n!
_
r
0
t
n
(bt a)
n
e
t
dt
1
n!
r
n+1
(br + a)
n
n+
0
d) Par intgration par parties
I
n
=
_
P
n
(t)e
t
r
0

_
r
0
P
n
(t)e
t
dt
et en rptant lopration
I
n
=
_
2n
m=0
(1)
m
P
(m)
n
(t)e
t
_
r
0
On en dduit
qI
n
=
2n
m=0
(1)
m
_
P
(m)
n
(r)p P
m
n
(0)q
_
Z
Or sur [0, r] la fonction t P
n
(t)e
t
est continue, positive sans tre nulle et 0 < r
donc I
n
> 0.
Ainsi qI
n
0, qI
n
> 0 et qI
n
Z : cest absurde.
Notons quon en dduit immdiatement lirrationalit de ln r pour r Q
+
1.
Exercice 10 : [nonc]
Posons
x =
_
a + 2
a 1 +
_
a 2
a 1
On a
x
2
= 2a + 2
_
a
2
4(a 1) = 2a + 2
_
(a 2)
2
Si a [1, 2] alors x
2
= 2a + 2(2 a) = 4 donc x = 2.
Si a [2, +[ alors x
2
= 4(a 1) puis x = 2
a 1.
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)
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 =
p
q
avec p Z, q N
,
f(x) = f(p
1
q
) = f(p) f(
1
q
)
Or f(p) = p et
1 = f(1) = f(q
1
q
) = f(q) f(
1
q
) = q f(
1
q
)
donc f(
1
q
) =
1
q
. Par suite f(x) = x.
c)
x 0, f(x) = f(
x) =
_
f(
x)
_
2
0
Pour x, y R, si x 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)
n
x <
E(nx) + 1
n
Comme f est croissante :
f(
E(nx)
n
) f(x) < f(
E(nx) + 1
n
)
puis
E(nx)
n
f(x) <
E(nx) + 1
n
A la limite, quand n +, on obtient x f(x) x i.e. f(x) = x. Finalement
f = Id
R
.
On a
n
k=1
(x
k
1)
2
=
n
k=1
x
2
k
2
n
k=1
x
k
+
n
k=1
1 = 0
et puisquune somme de quantits positives nest nulle que si chaque quantit est
nulle, on obtient
1 k n, x
k
= 1
Sachant x
2
x et y
2
y, on a
x
2
+ y
2
xy 1 x + y xy 1 = (x 1)(1 y) 0
(a b)
2
0 donne 2ab a
2
+ b
2
Sachant
2xy x
2
+ y
2
on obtient
ab + bc + ca
1
2
(a
2
+ b
2
) +
1
2
(b
2
+ c
2
) +
1
2
(c
2
+ a
2
) = a
2
+ b
2
+ c
2
Compte tenu de la positivit des membres, le problme revient tablir
_
1 +
uv
_
2
(1 + u)(1 + v)
soit encore
2
uv u + v
ce qui dcoule de la proprit
_
u
v
_
2
0
Par somme de quantits positives, on a
1k,n
(a
k
a
)(b
k
b
) =

1k,n
(a
k
b
k
a
b
k
a
k
b
+ a
) 0
En sparant la somme en quatre, on obtient
n
n
k=1
a
k
b
k
2
n
k=1
a
k
n
=1
b
+ n
n
=1
a
0
et on en dduit
n
n
k=1
a
k
b
k

n
k=1
a
k
n
k=1
b
k
ce qui donne lingalit demande.
Soit x y R. E(x) x donc E(x) y or E(x) Z donc E(x) E(y) car E(y)
est le plus grand entier infrieur y.
Puisque x| x et y| y, on a
x| +y| x + y
Par dnition, x + y| est le plus grand entier infrieur x + y, on a donc dj
x| +y| x + y|
Dautre part x < x| + 1 et y < y| + 1 donc
x + y < x| +y| + 2
puis
x + y| < x| +y| + 2
Puisque cette ingalit concerne des entiers, on peut transformer cette ingalit
stricte en lingalit large suivante
x + y| x| +y| + 1
Si E(x) x < E(x) + 1/2 et E(y) 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 x < E(x) + 1 et E(y) y < E(y) + 1/2 alors
E(x +y) E(x) +E(y) + 1, E(2x) = 2E(x) + 1 et E(2y) = 2E(y) puis la relation
voulue
Si E(x) x < E(x) + 1/2 et E(y) + 1/2 y < E(y) + 1 : idem.
Si E(x) + 1/2 x < E(x) + 1 et E(y) + 1/2 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.
On a nx| nx puis
nx
n
x, or x x| est croissante donc
_
nx|
n
_
x|
x| x donc nx| nx puis nx| nx| car nx| Z.
Par suite
x|
nx|
n
puis
x|
_
nx|
n
_
et nalement
x| =
_
nx|
n
_
Posons m = E(nx) 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 :
q +
k + r
n
x +
k
n
< q +
k + r + 1
n
Si k + r < n alors E
_
x +
k
n
_
= q et si k + r n alors E
_
x +
k
n
_
= q + 1.
Par suite
n1
k=0
E
_
x +
k
n
_
=
nr1
k=0
E
_
x +
k
n
_
+
n1
k=nr
E
_
x +
k
n
_
= nq + r = m = E(nx)
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.
a) Par rcurrence sur n N
.
Pour n = 1, a
1
= 2 et b
1
= 1 conviennent.
Supposons la proprit tablie au rang n 1.
(2 +
3)
n+1
= (2 +
3)(a
n
+ b
n
3) = a
n+1
+ b
n+1
3
avec a
n+1
= 2a
n
+ 3b
n
et b
n+1
= a
n
+ 2b
n
de sorte que
3b
2
n+1
a
2
n+1
= a
2
n
+ 3b
2
n
= 1
Rcurrence tablie.
b) a
n
1 b
n
3 < a
n
donc 2a
n
1 (2 +
3)
n
< 2a
n
donc
E((2 +
3)
n
) = 2a
n
1
Soit p un entier strictement suprieur

n +
n + 1. On a
2n + 1 + 2
_
n
2
+ n < p
2
donc
4(n
2
+ n) <
_
p
2
(2n + 1)
_
2
Puisque les nombres compars sont des entiers, on a aussi
4(n
2
+ n) + 1
_
p
2
(2n + 1)
_
2
cest--dire
(2n + 1)
2
_
p
2
(2n + 1)
_
2
et on en dduit
4n + 2 p
2
Or le carr dun entier ne peut qutre congru 0 ou 1 modulo 4. On en dduit
4n + 2 < p
2
et donc
4n + 2 < p
Ainsi, il nexiste pas dentiers compris entre

n +
n + 1 et

4n + 2 donc
_
n +
n + 1
=
_
4n + 2
n N, 1 (1)
n
+
1
n+1
2 donc A est borne.
A est une partie de R non vide et borne donc inf A et supA existent.
n 0 1 2 3 . . .
(1)
n
+
1
n+1
2 1 +
1
2
1 +
1
3
1 +
1
4
. . .
.
2 est plus grand lment de A et donc supA = max A = 2.
A est clairement minore par 1 et (1)
2p+1
+
1
2p+2
1 donc il existe une suite
dlments de A qui converge vers 1 donc inf A = 1.
Soit b B. Puisque
a A, a b
la partie A est majore par b.
A est une partie de R non vide et majore par b donc supA existe et supA b.
B est une partie de R non vide et minore par supA donc inf B existe et
supA inf B.
A et B sont des parties non vides et bornes de R donc les bornes sup et inf
considres existent.
Pour tout a A, on a a B donc a supB. supB majore A donc supA supB.
Pour tout a A, on a a B donc inf B a. inf B minore A donc inf B inf A.
Enn, puisque A ,= , inf A supA.
A, B, A B sont des parties de R non vides et majores donc
supA, supB, sup(A B) existent dans R.
Pour tout x A B on a x max(supA, supB) donc
sup(A B) max(supA, supB)
Puisque A, B A B on a supA, supB sup(A B) donc
max(supA, supB) sup(A B)
puis lgalit.
A et B sont deux parties non vides et majores de R donc supA et supB existent.
Pour tout x A + B, on peut crire x = a + b avec a A et b B.
On a x = a + b supA + supB, donc A + B est majore par supA + supB
A + B est une partie de R non vide et majore donc supA + B existe et
supA + B supA + supB
Pour tout a A et tout b B, a = (a + b) b sup(A + B) b donc A est
majore par sup(A + B) b do
supA sup(A + B) b
Par suite
b sup(A + B) supA
et B est donc major par sup(A + B) supA et par suite
supB sup(A + B) supA
Finalement
supA + supB supA + B
puis lgalit.
f
n
est drivable et f
n
(x) = nx
n1
(1 x) x
n
= nx
n1
(n + 1)x
n
.
x 0 x
n
1
f
n
(x) 0 M
n
0
avec x
n
=
n
n+1
[0, 1] et
M
n
= sup
x[0,1]
f
n
(x) =
_
1
1
n+1
_
n
1
n+1
0.
Puisque m + 1 ne minore pas A, la partie B est non vide.
De plus B A donc la borne infrieure de B existe et
inf A inf B
Soit x A, si x m + 1 alors x B et donc x inf B.
Si x > m + 1 alors nouveau x inf B.
Ainsi inf B minore A et donc
inf A inf B
Finalement
inf A = inf B
Soit y
0
R. On a pour tout x R
inf
yR
f(x, y) f(x, y
0
)
donc
sup
xR
inf
yR
f(x, y) sup
xR
f(x, y
0
)
puis
sup
xR
inf
yR
f(x, y) inf
y0R
sup
xR
f(x, y
0
)
On exploite
x
i
x
j
+
x
j
x
i
=
x
2
i
+ x
2
j
x
i
x
j
2
pour obtenir
(x
1
+ + x
n
)
_
1
x
1
+ +
1
x
n
_
=
n
i,j=1
x
i
x
j
n
2
Puisque que pour x
1
= . . . = x
n
= 1 on obtient
(x
1
+ + x
n
)
_
1
x
1
+ +
1
x
n
_
= n
2
on peut conclure
inf
_
(x
1
+ + x
n
)
_
1
x
1
+ +
1
x
n
_
/x
1
, . . . , x
n
> 0
_
= n
2
a) x = 2x 1 [1] x = 1 [1] x = 1 [1], o = Z.
b) 3x = 2 x [] 4x = 2 [] x =
1
2
_
, o =
_
k+2
4
/k Z
_
.
c) nx = 0 [] x = 0
_
, o =
_
k
n
/k Z
_
.
x
3
= 6x + 40. 4 est solution apparente de cette quation.
x
3
6x 40 = (x 4)(x
2
+ 4x + 10)
Les solutions de lquation sont 4, 2 + i
6, 2 i
6. On conclut x = 4.
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 : o =
_
(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 =
1
2
.
Inversement : ok. Finalement o =
_
(1/
2, 1/
2), (1/
2, 1/
2)
_
.
c) Si (x, y) est solution alors (1) et (2) donnent x
4
= x do x = 0 ou x = 1.
Si x = 0 alors y = 0. Si x = 1 alors y = 1.
Inversement : ok. Finalement o = (0, 0), (1, 1).
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 =
3
2
, z =
1
2
. Si z = 0 alors
x =
5
3
, y =
1
3
.
Inversement : ok. Finalement o =
_
(0, 3, 5), (
3
2
, 0,
1
2
), (
5
3
,
1
3
, 0)
_
.
b) o =
__
8
9
,
4
9
,
7
9
__
. c) o =
__
5
4
,
3
8
,
1
8
__
.
On a _
_
x ay + z = 2
x + (a + 1)z = 3
x + ay + 3z = 4
_
x ay + z = 2
ay + az = 1
ay + z = 1
_
x ay + z = 2
ay + az = 1
(1 a)z = 0
Si a = 1 alors le systme a pour solution les triplets
(3 2z, 1 z, z) avec z R
Si a ,= 1 alors le systme quivaut
_
_
x ay = 2
ay = 1
z = 0
Si a = 0, il ny a pas de solutions.
Si a ,= 0, 1 alors le systme possde pour solution lunique le triplet
(3, 1/a, 0)

Nombres Réels

Transféré par

Informations du document

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Nombres Réels

Transféré par

Droits d'auteur :

Formats disponibles

[http://mp.cpgedupuydelome.

fr] dit le 9 janvier 2014 Enoncs 1

, montrer que la fonction polynomiale

, montrer que la fonction polynomiale

en notant [x] la partie entire dun rel x.

2 est solution dune quation de la

et, quitte simplier, p et q non

alors on peut exprimer

Vous aimerez peut-être aussi