Rédigé par un élève de Terminale S à l'aide de ses livres de maths (Indice, Bordas), ses cours, toute sa peine, et son stress pour le bac ! J. FAIVRE


Démonstrations de cours exigibles au bac S en mathématiques

Enseignement obligatoire


Suites croissantes non majorées

Théorème


□ Une suite croissante non majorée diverge vers ∞ .


Démonstration


■ Soit une suite U n non majorée et croissante, et A un réel arbitraire.

Comme la suite est non majorée, il existe au moins un terme U p de la suite tel que U p  A .

Or, la suite étant croissante, si l'on prend n  p , on aura U n  U p , donc U n  A .

On a donc, à partir du terme U p , tous les termes de la suite qui sont supérieurs à A.

La suite U n étant supérieure à tout réel A pour tout rang n  p ,

on a lim U n = ∞ .
n ∞




Méthode


► On montre qu'il existe un rang p tel que U p  A .


► On en déduit que U n  U p  A pour tout n  p , c'est-à-dire qu'à partir du terme U p ,

tous les termes de la suite sont supérieurs à A.


► Cette propriété de U n d'être supérieure à tout réel A à partir d'un rang n suffisamment grand

est la définition même de lim U n = ∞ , et c'est ce qu'il faut démontrer.
n ∞
Théorèmes des gendarmes

Théorèmes


□ Si pour tout x appartenant à un intervalle [ ; ∞ [ , on a f  x  ≤ g  x  ≤ h x 

et que lim f  x  = lim h  x  = L ,
x ∞ x ∞


alors lim g  x  = L .
x∞




□ De même, si pour tout x appartenant à un intervalle ]−∞ ;  ] , on a f  x  ≤ g  x  ≤ h x 

et que lim f  x  = lim h  x  = L ,
x −∞ x −∞


alors lim g  x  = L .
x−∞




Démonstrations


■ Soit J un intervalle ouvert quelconque contenant le réel L.

lim f  x  = L , il existe un réel A tel que x  A entraîne f  x  ∈ J .
Puisque x ∞


De même, puisque lim h  x = L , il existe un réel B tel que x  B entraîne h  x  ∈ J .
x∞


Si on choisit un réel C tel que C  A et C  B , alors si x  C , on a f  x  ∈ J et h  x  ∈ J .

Or f  x  ≤ g  x  ≤ h x  , donc on a aussi g  x ∈ J , ce qui démontre lim g  x  = L .
x∞




■ La démonstration est analogue pour la seconde partie du théorème.


Méthode

► Il faut retenir qu'on veut prouver que tout intervalle ouvert contenant L contient toutes les

valeurs de f  x  pour x suffisamment grand. On pose donc un intervalle ouvert J quelconque

contenant L.


► Connaissant la limite commune L de f et de h en ∞ , et sachant que L ∈ J , on montre qu'il

existe un réel A tel que x  A entraîne f  x  ∈ J et qu'il existe un réel B tel que x  B
entraîne h  x  ∈ J .


► En posant x  C avec C  A et C  B , on montre que g  x ∈ J , et c'est ce qu'il

faut démontrer.




Théorème de la bijection

Théorème


□ Si la fonction f est continue et strictement monotone sur l'intervalle [ a ; b ] ,

alors pour tout réel k compris entre f a  et f b l'équationa une solution unique

sur [ a ; b ] .

On dit que f est une bijection de [ a ; b ] sur [ f a ; f b ] ou [ f b ; f a  ] selon que f est

croissante ou décroissante.


Démonstration


■ Soit f une fonction continue et strictement croissante sur l'intervalle [ a ; b ] et un réel k

tel que f a   k  f b .

La fonction g telle que g  x = f  x  − k est continue et strictement croissante sur l'intervalle

considéré, d'après les théorèmes vus en Première.

On a g  a = f a  − k  k − k ⇒ g a  0

et g  b = f b − k  k − k ⇒ g b  0 .

D'après le théorème des valeurs intermédiaires, on peut trouver un réel c de cet intervalle

tel que g  c = 0 , c'est-à-dire tel que f c  = k .

L'équation f  x  = k admet donc au moins une solution sur [ a ; b ] .

Cette solution est unique : en effet, si on avait deux réels distincts c et c' tels que c  c '

et f c  = f  c '  = k , il y aurait une contradiction avec le fait que f est strictement croissante

sur [ a ; b ] . La solution est donc unique.
■ Pour une fonction strictement décroissante, le raisonnement est le même en

remplaçant f a   k  f b par f b  k  f a  .




Méthode


► On pose f a   k  f b , puis g  x = f  x  − k .


► On montre que g  a  0 et g  b  0 .


► On montre en utilisant le théorème des valeurs intermédiaires et la relation entre f et g

qu'il existe un réel c tel que f c  = k .


► En raisonnant par l'absurde, on montre que cette solution est unique puisque,

dans le cas contraire, on aboutirait à une contradiction (une fonction strictement croissante ne peut

pas avoir une même image à partir de deux antécédants différents c et c').


► On note que la démonstration est analogue avec une fonction strictement décroissante.




Dérivée de la composée de deux fonctions

Théorème

□ Si u est une fonction dérivable sur un intervalle I et v une fonction dérivable en u  x  pour

tout x appartenant à I, alors la fonction composée v ° u est dérivable sur I, et pour tout x de I,

on a v ° u '  x  = u '  x  ⋅ v ' u  x  .




Démonstration

■ Soit a appartenant à I ; Par hypothèse u est dérivable en a, donc :

u a  h = u a  h u ' a   h h , avec lim  h = 0 .
h 0


On peut alors écrire v  u a  h = v u a   k  , avec k = h u ' a   h h .
Or, lorsque h tend vers 0, h u ' a   h h tend vers 0, et puisque v est dérivable en u a  ,

on peut écrire :

v  u a  k  = v  u a  k v ' u a  k k  , avec lim  k  = 0 ,
k 0


v u a  k  = v u a  k v ' u a   k  k   [un terme tendant vers0 quand h tend vers 0]
⇒ v u a  h = v u a   h u ' u a v ' u a   [ un terme tendant vers0 quand h tend vers 0]

v u a  h − v u a 
Donc on a : lim = u ' a  v ' u a  .
h 0 h




Unicité de la fonction f telle que f’ = f et f(0) = 1

Théorème

□ Il existe une, et une seule fonction f dérivable sur ℝ telle que f ' = f et f 0 = 1 .


Démonstration

■ L'existence d'une telle fonction est admise, nous devons juste en démontrer l'unicité.

Soit g une autre fonction dérivable sur ℝ telle que g ' = g et g  0 = 1 .

g
La fonction ne s'annule pas sur ℝ , donc est dérivable sur ℝ .
f



'
g g' f − g f ' g
De plus, = = 0 . La fonction est donc constante.
f f 2 f

D'où :

g=C f
⇒ g 0 = C × f 0
⇒ 1=C ×1

On a ainsi C = 1 et g = f .

La fonction f est donc unique.
Limites de la fonction exponentielle et du logarithme népérien

Théorèmes

x
e
□ lim = ∞
x∞ x

x
lim x e = 0
□ x−∞

ln x
□ lim =0
x ∞ x


Démonstrations

2
x
■ Soit f la fonction définie sur ] 0 ; ∞ [ par f  x  = e −
x
.
2

f et f ' sont dérivables sur ℝ . On a f '  x = e x − x et f ' '  x = e x −1 .

Or, on sait que pour tout x  0 , e x  1 donc f ' '  x  0 et f ' est croissante sur ] 0 ; ∞ [ .

De plus f ' 0 = 1 .

Par suite, sur ] 0 ; ∞ [ , f '  x  0 donc f est croissante.

Or, f 0 = 1 .

x x2
On en déduit que f  x   f 0 , soit f  x   1  0 . Autrement dit : e  .
2
x
e x
D'où, comme x  0 , 
x 2
x
x e
De plus lim = ∞ , donc lim = ∞ .
x ∞ 2 x∞ x


X
■ On pose X = −x . Alors x e x s'écrit − X .
e
eX
Or, lim X = ∞ et lim = ∞
X −∞ X ∞ X
X −1
donc lim x e x = lim − X = lim =0 .
 
X
x−∞ X  ∞ e X  ∞ e
X

■ On pose t = ln x .

On a lim ln x = ∞ donc lim t = ∞ .
x ∞ x∞


ln x t t
et ln x
= t est l'inverse de e . Or, lim = ∞ , donc la limite de l'inverse est 0.
x e t t ∞ t x
Primitives d'une fonction

Théorème

□ Soit f une fonction continue sur I contenant a.
x

Quel que soit x de I, la fonction F : x  ∫ f t  d t est dérivable sur I et sa dérivée est f.
a
Autrement dit, une primitive de f sur I est F.


Démonstration

■ On considère d'abord la fonction f strictement croissante et positive sur [ a ; b ] .

Soient  et   h deux réels de cet intervalle avec h  0 . On a :


F  = ∫ f t  d t
a
h

et, F   h = ∫ f t d t
a


On s'intéresse maintenant à l'aire du domaine compris entre la courbe de f et l'axe des abscisses

sur [ ;   h] .

On a h × f  ≤ F   h − F  ≤ h × f   h , puisque f est croissante sur I.

Selon que h  0 ou h  0 , on a :

F   h − F  F   h − F 
f  ≤ ≤ f   h ou f   h ≤ ≤ f  .
h h

Or, f est continue sur I, donc lim f   h = f  , et d'après le théorème des gendarmes,
h 0


F   h − F 
il en résulte lim = f  .
h0 h

Donc F est dérivable en  et F '  = f  .


Méthode

► Le but de la démonstration est de montrer que F est dérivable en vérifiant
F   h − F 
que lim est égal à un réel et que ce réel est f  .
h0 h
Ici on raisonne à partir de la relation entre F et l'aire du domaine compris entre la courbe de f

et l'axe des abscisses sur [ ;   h] .
Equation différentielle y' = ay + b

Théorème

b
□ Les solutions de l'équation (E) : y ' = a y  b sont les fonction de la forme f −
a
où f est une solution de l'équation y ' = a y .

Toutes les solutions de (E) s'obtiennent en ajoutant à une solution quelconque de y ' = a y ,

la constante de solution particulière de (E).


Démonstration

b
■ Une fonction g de la forme f − avec f une solution de l'équation y ' = a y est une solution de
a
(E) puisque :


   
'
b b
g '  x  = f  x − = f '  x  = a f  x  = a g  x  = a gx  b .
a a

Réciproquement, soit g une solution de (E),


 
'
b
alors f '  x = g  x  = a g  x   b = a f  x − b  b = a f  x .
a


Méthode

► Il suffit de vérifier par le calcul que g '  x  = a g  x  b et que f '  x = a f  x  .




Forme trigonométrique

Théorème

□ Soit f la fonction définie par f  x  = cos x  i sin x .

On a, pour tout réels x et y, f  x  y = f  x  f  y  .


Démonstration

■ On sait d'après le programme de Première les propriétés suivantes :

cos a  b = cos a cos b − sin a sin b
sin a  b = sin a cos b  sin b cos a
On a donc : f  x  y = cos  x  y  i sin x  y 
= cos x cos y − sin x sin y  i sin x cos y  i sin y cos x

et : f  x  f  y  =  cos x  i sin x  ×  cos y  i sin y 
= cos x cos y − sin x sin y  i sin x cos y  i sin y cos x
= f  x  y


Méthode

► Il faut se rappeler des formules de trigonométrie de Première, et alors la démonstration

se fait tout simplement par le calcul.




Combinaisons

Théorèmes


□  np = n−n p
□  n−1
p−1  p   p 
 n−1 = n



Démonstrations

■ Si une partie A de F possède p éléments, la partie complémentaire de A, c'est-à-dire la partie

contenant les éléments de F non élélements de A, en possède n − p : il y a donc autant de parties

à p éléments que de parties à n − p , d'où la formule :


 np = n−n p .
■ F est un ensemble de n éléments, a est l'un d'eux ; F contient donc n − 1 éléments autres que a.

Soit A une partie de F ayant p éléments. Deux cas peuvent se produire :

Soit a ∈ A , soit a ∉ A .

Si a ∈ A , les p − 1 autres éléments de A sont choisis parmi n − 1 éléments de F.

Si a ∉ A , les p éléments de A sont choisis parmi n − 1 éléments de F, d'où la formule :


 n−1
p−1   p   p
 n−1 = n .
Méthode

► La première formule est logique. Chaque possibilité d'élément composant une partie est
une possibilité d'élément ne composant pas la partie contraire.

► Ici aussi, c'est de la logique. On peut aussi démontrer la relation par le calcul,
même si ce n'est pas forcément la méthode recommandée.




Enseignement de spécialité


Infinité des nombres premiers

Théorème


□ Il y a une infinité de nombres premiers.


Démonstration

■ On suppose qu'il existe une quantité finie de nombres premiers.

Soit p le plus grand d'entre eux et soit N le produit de tous ces nombres premiers :

2 × 3 × 5 × 7 × ... × p .

Soit à présent l'entier N ' = N  1 . Le reste de la division euclidienne de N'

par 2, 3, 5, ... ou p est 1, donc N' n'est divisible par aucun des entiers 2, 3, 5, ... , p .


■ Si N' est premier, il est supérieur à p, ce qui est absurde.


■ Si N' n'est pas premier, il a au moins un diviseur qui est supérieur à p, ce qui est absurde.

La seule possibilité est donc qu'il y ait une infinité de nombres premiers.
Similitude ayant deux points fixes distincts

Théorème

□ Une similitude ayant deux points fixes distincts est l'identité ou une symétrie axiale.


Démonstration

■ Soit s une similitude ayant deux points fixes distincts M 1 et M 2 d'affixes

respectives z 1 et z 2  z1 ≠ z2  .


■ Si s est une similitude directe, alors son écriture complexe est de la forme :

z  az  b .

M 1 et M 2 sont des points fixes, donc :

z 1 = a z 1  b et z2 = a z2  b .

Par différence, on a z 2 − z 1 = a  z 2 − z 1  . Comme z 1 ≠ z 2 , on a a = 1 .

Par suite z 1 = z 1  b et ainsi b = 0 . L'écriture complexe de s est donc : z  z .

s est ici l'identité.

■ Si s est une similitude indirecte, alors c'est la composée de la symétrie  d'axe  M 1 M 2  et

d'une similitude directe s' : s = s ' ˚  , d'où s ˚  =  s ' ˚  ˚  = s ' ˚  ˚  = s ' .

On a alors :

s '  M 1 = s ˚   M 1 = s M 1  = M 1
s '  M 2  = s   M 2 = s M 2  = M 2
˚

Par suite, s' est une similitude directe et a deux points fixes distincts.

D'après ce qui a été montré précédemment, s' est l'identité du plan. Ainsi s =  .

s est donc ici une symétrie axiale.
Similitude transformant deux points en deux autres points

Théorème

□ Etant donnés quatre points A, B, A' et B' tels que A ≠ B et A ' ≠ B ' , il existe une

unique similitude directe transformant A en A' et B en B'.


Démonstration

■ Si la similitude s existe, on la détermine par son écriture complexe z ' = a z  b .

On note  ,  ' ,  et  ' les affixes respectives des points A, B, A' et B'.

On a donc  ≠ ' et  ≠  ' . Il s'agit donc de démontrer l'existence d'un unique couple a ; b

tel que A ' = s A et B ' = s  B .


a ; b est solution du système : { ' = a   b
' = a   b


Ce système est équivalent au système {
 − a =  ' − '
' = a   b

Comme  −  ≠ 0 , la première équation admet une unique solution pour a.

En reportant dans la deuxième équation on obtient une unique valeur pour b.

' −  '  ' −  ' 
On a : a = et b = .
− −


Donc ∣a∣ = ∣' − '
−
=
AB ∣
A' B '
et arg a =  B ' A'  = 
BA ,  A ' B'    × 2  ∈ ℤ .
AB , 




Rédigé par un élève de Terminale S à l'aide de ses livres de maths (Indice, Bordas), ses cours, toute sa peine, et son stress pour le bac ! J. FAIVRE