Professional Documents
Culture Documents
SUITES RCURRENTES
Ce do
ument a pour but de vous permettre de vous pparer aux exer
i
es du ba
alaurat S impliquant
des R.O.C. (Restitution Organise des Connaissan
es). Les preuves dans
e do
ument ont t extraites1
de mon
ours de TS que vous pouvez trouver sur mon site (
f lien
liquable en bas de page) ou dans votre
ahier. Ce sont soit des preuves
onnatre, soit des dmonstrations qui impliquent des raisonnements
que l'on doit savoir faire dans des
ontextes lgrement dirents, ou dans des
as parti
uliers. Je pense
en parti
ulier aux
hapitres
ommme quations direntielles ou
elui ave
lequel on
ommen
e :
Suites r
urrentes. . Lisez bien les pr-requis dans les questions R.O.C. on peut vous demander une
autre preuve que
elle vue en
ours ! Toutes les preuves ne sont pas
ompltes, parfois je ne donne que
l'ide essentielle, par exemple pour les r
urren
es, je ne donne parfois que la phase d'hrdit. Le jour
de l'preuve du ba
, il faut bien sr tout
rire.
Bonne le
ture, et bon
ourage.
Vin
ent PANTALONI.
I Suites r
urrentes
Cette se
tion parle des suites (un ) dnies par un premier terme et une relation de r
urren
e de la
forme un+1 = f (un ) o f est une fon
tion dnie sur un intervalle I . Vous aurez refaire
ertaines de
es preuves ave
des exemples
on
rets de suite dans les exer
i
es.
Il est faux de dire que f
roissante donne (un )
roissante, on a en fait la proprit suivante savoir
montrer.
Proprit 1.
Par r
urren
e. P(n) : un+1 > un . Je fais l'hrdit : Si P(k) est vraie, uk+1 > uk . Or f
est
roissante, don
:
uk+1 > uk = f (uk+1 ) > f (uk ) = uk+2 > uk+1
2.
et
in+1 = f f (in )
RC
Un ritre donnant le sens de variation de (un ). Une r urren e fa ile savoir refaire au as par as :
Proprit 2.
un+1 > un
Hypothse de r urren e.
MathZani
III
EXPONENTIELLE
Le thorme suivant ne doit pas tre appliqu mais vous devez savoir montrer le rsultat pour
une fon
tion f donne, dont on sait qu'elle est
ontinue et si on sait dj que (un ) ( dnie par
un+1 = f (un ) ) est
onvergente.
RC
Opration R.O.C.
Thorme 1. Si f est
ontinue sur un intervalle ferm I et que (un )
onverge vers un rel , alors
la limite est n
essairement un point xe de f , i.e. f () = .
ontinue sur I , don
en ,
e qui implique que lim f (x) = f (). En
omposant les limites, on en dduit
x
que : lim f (un ) = f (). Par uni
it de la limite de (un ) on a don
f () =
n+
RC
II Limites et
ontinuit
Proprit 3.
Une fon tion drivable sur un intervalle est ontinue sur et intervalle.
Alors quand x tend vers a, (x) et (x a) tendent vers zro, et don f (x) tend vers f (a).
III Exponentielle
Thorme 2.
Il existe une unique fon tion f dnie et drivable sur R telle que : f = f et f (0) = 1.
Si il existe une fon
tion f dnie et drivable sur R telle que f = et f (0) = 1 alors elle
vrie : x R f (x)f (x) = 1 et par
onsquent f ne s'annule pas.
Lemme 1.
Dmonstration. On pose la fon tion dnie par : x R (x) = f (x)f (x). On drive, = 0 et
(0) = 1
Dmonstration. Supposons qu'il existe deux fon
tions f et g qui dnies et drivables sur R telle que :
f = f , g = g et f (0) = g(0) = 1. D'aprs le lemme,
es fon
tions ne s'annulent pas, et don
on peut
onsidrer la fon
tion dnie et drivable sur R par : = fg . On drive, = 0 et (0) = 1. Don
est
onstante, gale 1, ainsi f = g .
Proprit 4.
(1)
(2)
exp(a)
exp(b)
(3)
exp(a n) = (exp(a))n
(4)
exp(a) =
exp(a b) =
MathZani
RC
Opration R.O.C.
IV
Dmonstration. (1) d
oule du Lemme 1. (3) d
oule de (2) et (1). (4) se prouve partir de (2) par
r
urren
e sur n. L'essentiel est de prouver (2) :
Soit b R. On
onsidre la fon
tion de x o b est un paramtre dnie par :
exp(x + b)
.
exp(x)
On drive, = 0 et (0) = exp(b). Don
pour tout rel x, exp(x + b) = exp(x) exp(b). Ce
i pour tout
rel b. D'o (2)
Preuve de (4) : Soit a un rel. Soit P(n) : exp(a n) = (exp(a))n Prouvons par r
urren
e sur
n que P(n) est vraie pour tout n N. Ini : Comme exp(a) 6= 0, exp(a)0 = 1 = exp(0) ok. . .
Proprit 5.
Cexp
RC
(x) =
x R,
Dmonstration. On pose la fon
tion dnie par : (x) = ex x 1 et on veut prouver que
ette
fon
tion est positive sur R pour
el, on l'tudie. est drivable sur R et on a : (x) = ex 1. Or :
D'o les variations de qui admet ainsi un minimum en zro qui vaut : (0) = 0. Don
est positive
sur R.
z=z
z + z = z + z
zz = z z
1
1
= pour z 6= 0
z
z
z
z
= pour z 6= 0
z
z
n
z n = (
z)
pour n Z, z C
(8)
(9)
(10)
z
zz
zz
1
z
1
zz
z =
1
zz
z =
1
zz
z =
1
z
RC
utilise (8) et les formules usuelles sur les puissan
es. Soit n N . z n =
z n = 1/z n = 1/z n = 1/z n =
1
. Don
:
zn
n
1
= (z 1 )n = z n
z
RC
Opration R.O.C.
Proprit 7
|
z | = |z|
|zz | = |z| |z |
|1/z | = 1/|z |
pour z 6= 0
|z/z | = |z|/|z |
pour z 6= 0
n
n
|z | = |z|
pour n Z
(11)
(12)
(13)
(14)
(15)
(16)
Dmonstration. Ces proprits se dmontrent l'aide de elles sur les onjugus. Par exemple
pour (12) :
p
p
p
p
zz zz = zz zz = zz z z = zz z z = |z| |z |
RC
|zz | =
Proprit 8.
(17)
(18)
Or deux nombres
omplexes sont gaux ssi ils ont mme module et mme argument modulo 2
don
:
|zz | = |z| |z | et arg zz = + = arg z + arg z [2]
C'est vident. Pensez le gomtriquement, par symtrie d'axe (Ox) : Si M est d'axe z , et M
d'axe z alors M et M sont symtriques par rapport l'axe des rels. Don
:
MathZani
VII
QUATIONS DIFFRENTIELLES
Proprit 9. Pour A et B deux points distin
ts du plan, d'axes respe
tives zA et zB , (de mme
pour C et D) on a :
) = arg (zB zA ) = (~
Argument de l'axe d'un ve
teur : arg(z
u ; AB)
AB
arg
zB zA
zD zC
RC
Opration R.O.C.
= (CD; AB)
RC
) arg(z
)
= arg(z
AB
CD
= (CD; AB)
Par la relation de Chasles sur les angles
d(A; P) =
a2 + b2 + c2
fk (x) = k eax
MathZani
RC
|AB ~n |
AH =
k~n k
Opration R.O.C.
VIII
LOGARITHME NPRIEN
g
(o
f1
RC
Dans
ette partie, a et b dsignent deux rels, a non nul. On
onsidre l'quation direntielle :
(19)
y = ay + b
Soit f0 une solution parti
ulire de (19). f est une solutions de (19), ssi la diren
e
est solution de l'quation sans se
ond membre asso
ie : y = ay.
Proprit 10.
(f f0 )
(f f0 ) = a(f f0 )
On en dduit que toute solution de (19) est de la forme : la solution gnrale de y = ay plus une
solution parti
ulire de (19).
1.
2.
3.
L'exponentielle transforme les sommes en produits. Que fait sa fon tion r iproque ?
Puissan
e
1.
Par r
urren
e on peut montrer que pour tout entier naturel n on a don
:
ln(an ) =
2.
3.
Inverse et quotients
1
a
1.
2.
MathZani
a
b
RC
solution de (19).
L'quivalen
e est ainsi montre.
Opration R.O.C.
INTGRATION.
RC
IX
Limites base de ln
En +. lim ln(x) = +.
x+
RC
x0+
IX Intgration.
Relation de Chasles.
pas entre a et b :
f (x)dx =
f (x)dx +
f (x)dx
Proprit 12
(Intgrer une ingalit). Si f et g sont deux fon tions ontinues sur [a ; b], telles que :
alors :
f (x) dx >
a
g(x) dx
a
Dmonstration. Par hypothse, la fon
tion f g est positive, don
son intgrale (vue
omme une aire
par exemple) est positive, puis par linarit de l'intgrale, on a le rsultat.
Proprit 13
RC
RC
Proprit 11
Cette formule est en ore vraie si f n'est plus suppose positive ou si c n'est
m(b a) 6
f (x) dx 6 M (b a)
Proprit 14
[a ; b],
u (x)v(x) dx =
MathZani
RC
Opration R.O.C.
LOIS DE PROBABILITS
l'intgrale.
X Lois de probabilits
(Relation de Pas
al).
Proprit 15
n
n
n+1
+
=
p
p+1
p+1
RC
n
X
n
p=0
anp bp
Dmonstration. Par r
urren
e partir de (a+b)n+1 = a(a+b)n +b(a+b)n et la Relation de Pas
al 15.
Je ne fais que l'hrdit :
(a + b)
n+1
n
n
X
n n+1p p X n np p+1
a
b
a
b +
=
p
p
p=0
p=0
n
n
X
n n+1p p X n n+1(p+1) p+1
a
b
a
b +
=
p
p
p=0
p=0
!
n1
n
X n
X
n n+1
n n+1p p
n+1(p+1) p+1
+
b
a
b
a
b +
=
n
p
p
p=0
p=0
!
!
n
n
X
X
n
n n+1p p
n+1p p
n+1
a
b + bn+1
=
a
b +a
p
1
p
p=1
p=1
!
n
X
n + 1 n+1
n + 1 n+1
n
n
n+1p p
=
a
+
b
+
a
b +
0
n+1
p
p1
p=1
!
n
X
n + 1 n+1
n + 1 n+1p p
n + 1 n+1
=
a
+
a
b +
b
0
p
n+1
p=1
=
n+1
X
RC
p=0
n + 1 n+1p p
a
b
p
P (X [0; t]) = P (X 6 t) =
L'intgrale
MathZani
Rt
0
ex dx
et P (X > t) = 1
ex dx
RC
Proprit 17.
Opration R.O.C.
Proprit 18
LOIS DE PROBABILITS
x ex dx = lim
A+
x ex dx =
Dmonstration.
Il faut savoir refaire
e
al
ul. Soit A R+ , on
al
ule l'intgrale suivante par parties :
R
A
0
x ex dx = [x ex ]A
0
ex dx
1
= A eA [ ex ]A
0
A eA eA +1
=
Comme est stri
tement positif, quand A tend vers +, A aussi et don
lim eA = 0. En posant
A+
B = A qui tend vers quand A tend vers +, on obtient :
lim A eA =
A+
lim B eB = 0
00+1
1
A eA eA +1
=
=
A+
MathZani
RC