Vous êtes sur la page 1sur 8

Dmonstrations de Mathmatiques de Premire Anne lINSA de Lyon

Robin Ricard Etudiant en premire anne, Dpartement Premier Cycle, INSA de Lyon robin.ricard@insa-lyon.fr 5 janvier 2012
Merci de me signaler toute erreur ou complment ventuel apporter ce document. Ce document est librement utilisable selon la license Creative Commons CC-BY-NC3.0 (vous ne pouvez pas en faire un usage commercial et vous devez citer son auteur si vous lutilisez).

1
1.1

Nombres Complexes
Existence et forme des racines n-imes dun nombre complexe non nul

Soit Z un nombre complexe non nul, dnissons z tel que zn = Z. Vrions son existence. Sachant que Z est de la forme : Z = ei( +2k ) z existe alors et est de la forme : z=

ei

+2k n

1.2

La somme des racines n-imes dun nombre complexe non nul est nulle
Soit zk une racine n-ime de Z. On a daprs (1.1) : zk =

ei

+2k n

On peut dire :
n 1 k =0

n 1

zk =

k =0

ei n ei

2k n

= n

ei n

n 1 k =0

( ei
2 n

2 n

)k =

ei n

1 ( ei

2 n

)n

1 ei

2 n

ei n

11 1 ei

=0

On a aussi un autre moyen de le montrer : zk n = Z zk n Z = 0 zk n + 0zk n1 Z = 0 On a fait apparatre que la somme des racines de ce polynme (qui nest autre que la sommes des racines du nombre complexe) est nulle. (par lutilisation des relations coefcients/racines dun polynme)

2
2.1

Polynmes
Unicit du couple Quotient/Reste dans la division euclidienne

Admettons (par labsurde) que ( Q , R ) soit un autre couple de solution lquation A = BQ + R o ( Q, R) est un couple solution. On a : 0 = B( Q Q ) + ( R R ) B( Q Q ) = R R deg( R R) = deg( B) + deg( Q Q ) Or, deg( R R) est infrieur max(deg( R ), deg( R)) donc strictement infrieur deg( B). Obligatoirement, on a Q = Q (pour avoir le rsultat de la soustraction au degr 0) et donc R = R. Le couple solution est bien unique lorsque lon effectue la division euclidienne de deux polynmes.

3
3.1

Suites Numriques
Toute suite croissante et majore est convergente
On a :

N |n

N, Un+1 M

Un

M|n, |Un |

Soit Z = {Un , n N} non vide (U0 Z) et major donc Z admet la borne suprieure B dnie par : n, Un B 2

> 0, N | B < UN < B


A partir dun certain rang, max( N , N ), on a : B > Un+1 > Un B < UN < B

, N , n > N |Un B| < (Un ) converge vers B

3.2

Deux suites adjacentes sont convergentes et ont la mme limite

Supposons (par labsurde) que N |UN < VN Soit (Wn ) = (Un Vn ). Par hypothse, on a : (Un ) dcroissante et (Vn ) croissante, (Wn ) tend vers 0. De plus (Wn ) dcrot. Mais on voit aussi que N |Wn < 0. Ce qui est contradictoire. Donc N |UN > VN et donc (Un ) est minore par V0 . (Un ) est minore et dcrot donc converge. De la mme manire (Vn ) converge. Comme (Un Vn) tend tre nul, les deux suites ont la mme limite.

3.3

Si la fonction f est croissante, une suite dnie par la relation Un+1 = f (Un ) est monotone
f est croissante donc on a : x < y f (x) f (y)

U0 est x, on connat donc U1 . Par disjonction des cas, on a : U0 > U1 f (U0 ) f (U1 ) U1 U2 car f croissante Par rcurrence on montre que : n N|Un+1 Un (Un ) dcrot et est monotone U0 < U1 f (U0 ) f (U1 ) U1 U2 car f croissante Par rcurrence on montre que : n N|Un+1 Un (Un ) crot et est monotone U0 = U1 On a alors n N|Un = U0 (Un ) constante et est monotone (Un ) est monotone

4
4.1
4.1.1

Fonctions Usuelles
Drivabilit et expression de la drive des fonctions arcsin, arccos, arctan, argsh, argch, argth
arcsin On utilise la formule :

( f 1 ) ( y 0 ) =
On rapelle aussi que :

1 f ( f 1 (y0 ))

cos2 x + sin2 x = 1 Soit x0 [0; ] et y0 = sin x0 arcsin (y0 ) = 4.1.2 arccos 1 1 = = cos(arcsin y0 ) cos x0 1 1 sin x0
2

1 1 y0 2

Soit x0 [0; ] et y0 = cos x0 arccos (y0 ) = 4.1.3 arctan tan x = 1 + tan2 x Donc, avec la formule : arctan x = 4.1.4 argsh ch2 x sh2 x = 1 Soit x0 [0; ] et y0 = shx0 argsh (y0 ) = 1 1 = = ch(argshy0 ) chx0 1 sh2 x0 + 1 1 1 + tan2 (arctan x ) 1 1 = = sin(arccos y0 ) sin x0 1 1 cos2 x0

1 1 y0 2

On rapelle que :

1 1 + x2

On rapelle que :

1 y0 2 + 1

4.1.5

argch

Soit x0 [0; ] et y0 = chx0 argch (y0 ) = 1 1 = = sh(argchy0 ) shx0 1 ch2 x0 1

1 y0 2 1

4.1.6

argth th x = 1 th2 x

On rapelle que : Donc, avec la formule : argth x = 1 1 th (argthx )


2

1 1 x2

Comparaison de Fonctions

Ceci nest quinterprtation de ce que lon peut nous demander. Lnonc tant ambig...

5.1

Logarithme et quivalence (compatibilit avec le logarithme)


Soient f et g dnies et positives en a telles que f g
a

5.1.1

si lim f = 1
xa

g g ln g = ln( f ) = ln + ln f f f Et :
xa

lim ln

g =0 f
g

On a :

ln f ln g = +1 ln f ln f Logiquement :
xa

lim

ln g = 1 ln f ln g a ln f

5.1.2

si lim f = 1
xa

On sait que : ln x x 1
1

A laide de la compatibilit des quivalences avec la composition droite, on a: ln( g( x )) g( x ) 1


a

De plus, par hypothse :


xa

lim f = lim g = 1
xa

Donc : ln( f ( x )) f ( x ) 1
a

5.2

Compatibilit avec les puissances (non requise)


Soient f et g dnies et positives en a telles que f g
a

5.2.1

R
lim g =1 f

On a :
xa

Et :

g g = ( ) f f lim g = 1 f g a f

Si et seulement si :
xa

5.2.2

> 0
k

Avec

0
f = o ( g) f = g 1 ( x ) f = g 2 ( x ) f = o ( g )
a a a a

5.2.3

< 0
k

Avec

0 et =
a a

f = o ( g) f = g 1 ( x ) f = g 2 ( x )
a

1 1 = a g f

2 (x)

g = f 2 ( x ) g = o ( f )
a a

5.3

Compatibilit avec exponentielle


Soit f g
a xa

lim f ( x ) g( x ) = 0
xa

lim e f (x) g(x) = 1 lim e f (x) (e g(x) )1 = 1


xa

lim

xa

e f (x) =1 e g( x )
a

e f ( x ) e g( x )

6
6.1

Drivation
Thorme de Rolle

On a : f continue sur [ a, b] f drivable sur ] a, b[ f ( a) = f (b) Puisque f est continue, alors limage de [ a, b] par f est un intervalle ferm [m, M] m=M alors f est constante sur [ a, b] donc f est nulle sur ] a, b[

c ] a, b[| f (c) = 0
m<M

c M [ a, b]| f (c M ) = M
On a :

x [ a, b], f ( x )

f (c M )

Or, f (c M ) existe ( f est bien drivable dans cet intervalle), donc :


x c M x >c M

lim

f ( x ) f (c M ) = f (c M ) x cM 0 et x c M 0, donc : 0

Soit x < c M , f ( x ) f (c M )
x c M x >c M

lim

f ( x ) f (c M ) = f (c M ) x cM

De mme x > c M implique que : f (c M ) 7 0

Comme on peut avoir nimporte quelle valeur de x, on doit forcment prendre : f (c M ) = 0

6.2

Thorme des accroissements nis

On a : f continue sur [ a, b] f drivable sur ] a, b[ Soit : g : x f (x)

f (b) f ( a) ( x a) ba

g est continue et drivable comme f De plus g(b) = f ( a) et g( a) = f ( a). On peut dire que : g(b) = g( a) On applique alors le thorme de Rolle g sur [ a, b].

c ] a, b[| g (c) = 0
Or : g (c) = f (c) Do : f (b) f ( a) = f (c)(b a) f (b) f ( a) =0 ba