Preuves ROC Cours VP
Preuves ROC Cours VP
Preuves ROC Cours VP
I SUITES RÉCURRENTES
Ce do
ument a pour but de vous permettre de vous péparer aux exer
i
es du ba
alauréat S impliquant
des R.O.C. (Restitution Organisée 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 à
onnaître, soit des démonstrations qui impliquent des raisonnements
que l'on doit savoir faire dans des
ontextes légèrement diérents, ou dans des
as parti
uliers. Je pense
en parti
ulier aux
hapitres
ommme Équations diérentielles 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
omplètes, parfois je ne donne que
l'idée essentielle, par exemple pour les ré
urren
es, je ne donne parfois que la phase d'hérédité. Le jour
de l'épreuve du ba
, il faut bien sûr tout é
rire.
Bonne le
ture, et bon
ourage. Vin
ent PANTALONI.
I Suites ré
urrentes
Cette se
tion parle des suites (un ) dénies par un premier terme et une relation de ré
urren
e de la
forme un+1 = f (un ) où f est une fon
tion dénie 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 propriété suivante à savoir
montrer.
Propriété 1. On a deux
as si f est monotone :
① Si f est
roissante alors (un ) monotone. Le sens de var est donné par le signe de u1 − u0
② Si f est dé
roissante alors (u2n ) et (u2n+1 ) sont monotones de monotonies
ontraires
Démonstration. Supposons u1 > u0 .
1. Par ré
urren
e. P(n) : un+1 > un . Je fais l'hérédité : 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
R♥C
Un
ritère donnant le sens de variation de (un ). Une ré
urren
e fa
ile à savoir refaire au
as par
as :
Propriété 2. Si un appartient à l'intervalle I pour tout n, alors :
① Si ∀x ∈ I, f (x) > x alors (un ) est
roissante.
② Si ∀x ∈ I, f (x) 6 x alors (un ) est dé
roissante.
Démonstration. Je ne montre que la ①. On suppose que I est stable par f et que u0 ∈ I :
Soit P(n) la propriété dépendant de n (pour n ∈ N) :
P(n) : un+1 > un
MathZani 1
Opération R.O.C. III EXPONENTIELLE
R♥C
Le théorème suivant ne doit pas être appliqué mais vous devez savoir montrer le résultat pour
une fon
tion f donnée, dont on sait qu'elle est
ontinue et si on sait déjà que (un ) ( dénie par
un+1 = f (un ) ) est
onvergente.
Théorème 1. Si f est
ontinue sur un intervalle fermé I et que (un )
onverge vers un réel ℓ, alors
la limite est né
essairement un point xe de f , i.e. f (ℓ) = ℓ.
Démonstration. On sait que (un )
onverge vers ℓ. Don
n→+∞
lim un = lim un+1 = ℓ. De plus f est
n→+∞
ontinue sur I , don
en ℓ,
e qui implique que lim f (x) = f (ℓ). En
omposant les limites, on en déduit
x→ℓ
que : lim f (un ) = f (ℓ). Par uni
ité de la limite de (un ) on a don
f (ℓ) = ℓ
R♥C
n→+∞
II Limites et
ontinuité
Propriété 3. Une fon
tion dérivable sur un intervalle est
ontinue sur
et intervalle.
Démonstration. Soit a un réel de l'ensemble de dénition de f . On é
rit l'approximation ane de f
en a. Il existe une fon
tion ǫ telle que : lim ǫ(x) = 0 et :
x→a
Alors quand x tend vers a, ǫ(x) et (x − a) tendent vers zéro, et don f (x) tend vers f (a).
R♥C
III Exponentielle
Théorème 2. Il existe une unique fon
tion f dénie et dérivable sur R telle que : f ′ = f et f (0) = 1.
Existen
e admise, on va prouver l'uni
ité.
Lemme 1. Si il existe une fon
tion f dénie et dérivable sur R telle que f ′ = et f (0) = 1 alors elle
vérie : ∀x ∈ R f (−x)f (x) = 1 et par
onséquent f ne s'annule pas.
Démonstration. On pose la fon
tion φ dénie par : ∀x ∈ R φ(x) = f (−x)f (x). On dérive, φ′ = 0 et
φ(0) = 1
On prouve maintenant l'uni
ité :
Démonstration. Supposons qu'il existe deux fon
tions f et g qui dénies et dérivables sur R telle que :
f ′ = f , g ′ = g et f (0) = g(0) = 1. D'après le lemme,
es fon
tions ne s'annulent pas, et don
on peut
onsidérer la fon
tion ψ dénie et dérivable sur R par : ψ = fg . On dérive, ψ ′ = 0 et ψ(0) = 1. Don
ψ est
onstante, égale à 1, ainsi f = g .
R♥C
MathZani 2
Opération R.O.C. IV NOMBRES COMPLEXES, GÉNÉRALITÉS
On dérive, χ′ = 0 et χ(0) = exp(b). Don
pour tout réel x, exp(x + b) = exp(x) exp(b). Ce
i pour tout
réel b. D'où (2)
Preuve de (4) : Soit a un réel. 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. . .
R♥C
Propriété 5. Cexp est au dessus de sa tangente en zéro. i.e.
∀x ∈ R, ex > x + 1
Démonstration. On pose φ la fon
tion dénie par : φ(x) = ex −x − 1 et on veut prouver que
ette
fon
tion est positive sur R pour
elà, on l'étudie. φ est dérivable sur R et on a : φ′ (x) = ex −1. Or :
ex −1 > 0 ⇐⇒ ex > e0 ⇐⇒ x > 0
D'où les variations de φ qui admet ainsi un minimum en zéro qui vaut : φ(0) = 0. Don φ est positive
R♥C
sur R.
MathZani 3
Opération R.O.C. V NOMBRES COMPLEXES, FORME EXPONENTIELLE. . .
1
utilise (8) et les formules usuelles sur les puissan
es. Soit n ∈ N∗ . z −n = . Don
:
zn
n
1
z −n = 1/z n = 1/z n = 1/z n = = (z −1 )n = z −n
z
R♥C
Propriété 7 (Propriétés algébriques du module d'un nombre
omplexe). Pour tous z et z ′ dans C :
|z̄| = |z| (11)
|zz ′ | = |z| × |z ′ | (12)
|1/z ′ | = 1/|z ′ | pour z ′ 6= 0 (13)
|z/z ′ | = |z|/|z ′ | pour z ′ 6= 0 (14)
n
|z | = |z| n
pour n ∈ Z∗ (15)
(16)
Démonstration. Ces propriétés se démontrent à l'aide de
elles sur les
onjugués. Par exemple
pour (12) :
p p p √ p
|zz ′ | = zz ′ × zz ′ = zz ′ × zz ′ = zz × z ′ z ′ = zz × z ′ z ′ = |z| × |z ′ |
R♥C
V Nombres Complexes, forme exponentielle. . .
Prérequis : Pour tous réels a et b, on a :
cos(a + b) = cos a cos b − sin a sin b (17)
sin(a + b) = sin a cos b + sin b cos a (18)
Propriété 8. Pour tous
omplexes non nuls z et z ′ , on a :
① arg zz = arg z + arg z ′ [2π]
′
MathZani 4
Opération R.O.C. VII ÉQUATIONS DIFFÉRENTIELLES
R♥C
Propriété 9. Pour A et B deux points distin
ts du plan, d'axes respe
tives zA et zB , (de même
pour C et D) on a :
−
−→
① Argument de l'axe d'un ve
teur : arg(z−
−→ ) = arg (zB − zA ) = (~
AB
u ; AB)
zB − zA −−→ −−
→
② arg = (CD; AB)
zD − zC
R♥C
VI Produit s
alaire dans l'espa
e.
Distan
e d'un point à un plan. La distan
e d'un point A(xA ; yA ; zA ) au plan P d'équation
artésienne ax + by + cz + d = 0 est notée d(A; P). Elle vaut :
MathZani 5
Opération R.O.C. VIII LOGARITHME NÉPÉRIEN
g
② Si il existe une solution g à y ′ = ay alors elle est de la forme fk . Pour
elà on pose ϕ = (où
f1
f1 (x) = eax ). On dérive ϕ, on trouve ϕ′ = 0, don
ϕ = constante, et don
toute solution de
y ′ = ay s'é
rit
omme une
onstante multipliée par f1 .
R♥C
Dans
ette partie, a et b désignent deux réels, a non nul. On
onsidère l'équation diérentielle :
y ′ = ay + b (19)
La propriété suivante est à savoir redémontrer dans un
as parti
ulier,
omme y ′ = ay − 1 ou y ′ =
−2y + 3. . .
Propriété 10. Soit f0 une solution parti
ulière de (19). f est une solutions de (19), ssi la diéren
e
(f − f0 ) est solution de l'équation sans se
ond membre asso
iée : y′ = ay.
Démonstration. Il y a deux sens à prouver.
① Si f est solution de (19), alors f ′ = af + b. Comme f0 est aussi solution de (19), on a aussi
f0′ = af0 + b. On soustrait
es deux égalité et on obtient :
R♥C
solution parti
ulière de (19).
Puissan e
1. Par ré
urren
e on peut montrer que pour tout entier naturel n on a don
:
ln(an ) =
Inverse et quotients
1
1. En
al
ulant ln(a × a1 ) de deux manières,
ompléter la formule : ln( ) =
a
a
2. En déduire la formule : ln( ) =
b
MathZani 6
Opération R.O.C. IX INTÉGRATION.
R♥C
Limites à base de ln
R♥C
pré
édent.
IX Intégration.
Relation de Chasles. Cette formule est en
ore vraie si f n'est plus supposée positive ou si c n'est
pas entre a et b :
Propriété 11 (Relation de Chasles). Soit c un réel
ompris entre a et b. On a :
Z b Z c Z b
f (x)dx = f (x)dx + f (x)dx
a a c
R♥C
Propriété 12 (Intégrer une inégalité). Si f et g sont deux fon
tions
ontinues sur [a ; b], telles que :
∀x ∈ [a ; b] , f (x) > g(x) alors : Z b Z b
f (x) dx > g(x) dx
a a
Démonstration. Par hypothèse, la fon
tion f − g est positive, don
son intégrale (vue
omme une aire
par exemple) est positive, puis par linéarité de l'intégrale, on a le résultat.
R♥C
Propriété 14 (I.P.P.). Si u et v sont deux fon
tions dérivables de dérivées
ontinues sur un intervalle
[a ; b], alors la fon
tion u′ v est intégrable sur [a ; b] et on a la formule :
Z b
u′ (x)v(x) dx =
a
MathZani 7
Opération R.O.C. X LOIS DE PROBABILITÉS
R♥C
X Lois de probabilités
Propriété 15 (Relation de Pas
al).
n n n+1
+ =
p p+1 p+1
R♥C
La belle formule suivante est à
onnaître. La preuve, si ça vous amuse.
Propriété 16 (Formule du binme). Pour tous nombres
omplexes a et b non nuls, et n dans N on a :
n
X n
(a + b)n = an−p bp
p=0
p
Démonstration. 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'hérédité :
n n
n+1
X n n+1−p p X n n−p p+1
(a + b) = a b + a b
p=0
p p=0
p
n n
X n n+1−p p X n n+1−(p+1) p+1
= a b + a b
p=0
p p=0
p
n n−1
!
X n n+1−p p X n n n+1
n+1−(p+1) p+1
= a b + a b + b
p=0
p p=0
p n
n
! n !
X n n+1−p p n+1
X n n+1−p p
= a b +a a b + bn+1
p=1
p p=1
p − 1
n !
X n n n+1−p p n + 1 n+1 n + 1 n+1
= + a b + a + b
p=1
p p−1 0 n+1
n !
X n + 1 n+1−p p n + 1 n+1 n + 1 n+1
= a b + a + b
p=1
p 0 n+1
n+1
X
n + 1 n+1−p p
= a b
p=0
p
R♥C
L'intégrale
Rt
0
λ e−λx dx se
al
ule et vaut : [− e−λx ]t0 = 1 − e−λt .
MathZani 8
Opération R.O.C. X LOIS DE PROBABILITÉS
Démonstration. Il faut savoir refaire
e
al
ul. Soit A ∈ R+ , on
al
ule l'intégrale suivante par parties :
A
xλ e−λx dx. On pose u(x) = x et v ′ (x) = λ e−λx , don
u′ (x) = 1 et v(x) = − e−λx . D'où :
R
0
Z A Z A
xλ e−λx dx = [−x e−λx ]A
0 − − e−λx dx
0 0
1
= −A e−λA −[ e−λx ]A
0
λ
−λA e−λA − e−λA +1
=
λ
Comme λ est stri
tement positif, quand A tend vers +∞, λA aussi et don
lim e−λA = 0. En posant
A→+∞
B = −λA qui tend vers −∞ quand A tend vers +∞, on obtient :
R♥C
MathZani 9