Chapitre III Dérivabilité d`une bijection réciproque Table des mati`eres

L.E.G.T.A. Le Chesnoy TB2 2011-2012
D. Blotti`ere Math´ematiques
Chapitre III
D´erivabilit´e d’une bijection r´eciproque
Table des mati`eres
1 Rappels sur le th´eor`eme de la bijection 2
2 D´erivabilit´e et d´eriv´ee d’une bijection r´eciproque 6
3 La fonction arcsinus 7
4 La fonction arccosinus 8
5 La fonction arctangente 10
1
1 Rappels sur le th´eor`eme de la bijection
Notation : On note Rl’ensemble R∪ {−∞,+∞}.
Th´eor`eme 1 (crit`ere d’existence de limites aux bornes d’un intervalle de d´efinition) : Soit a, b R.
1. Soit f: [a, b[Rune fonction monotone. Alors f(x) tend vers une limite finie ou infinie quand xtend
vers b.
2. Soit f: ]a, b]Rune fonction monotone. Alors f(x) tend vers une limite finie ou infinie quand xtend
vers a+.
Exercice 1 Soit fla fonction d´efinie par :
f: [1,+[R;A7→ ZA
1
ex2
2dx
et soit gla fonction d´efinie par :
g: [1,+[R;A7→ ZA
1
ex
2dx.
1. ´
Etudier le comportement asymptotique de gen +.
2. Montrer que fest croissante sur [1,+[. Que peut-on en eduire quant au comportement asymptotique
de fen +?
3. Montrer que pour tout x[1,+[ :
ex2
2ex
2.
4. En d´eduire que f(A) tend vers une limite finie quand Atend vers +.
Th´eor`eme 2 (th´eor`eme des valeurs interm´ediaires)
1. 1`ere version : Soit Iun intervalle et soit f:IRune fonction continue sur I. Alors f(I) est un
intervalle.
2. 2`eme version : Soit Iun intervalle et soit f:IRune fonction continue sur I. Pour tout a, b I,
pour tout yentre f(a) et f(b), il existe xentre aet btel que f(x) = y.
Exemple 1
1. La fonction f, repr´esenee graphiquement ci-dessous, est efinie sur l’intervalle [1,3] et n’est pas continue
sur [1,3] (elle n’est pas continue en 2). Son image, qui est [0,2] [3,5], n’est pas un intervalle. L’hypoth`ese
de continuit´e dans le th´eor`eme des valeurs interm´ediaires est donc importante.
1
2
3
4
5
1
1 2 3 41
[
2. La fonction f, repr´esent´ee graphiquement ci-dessous, est efinie et continue sur l’ensemble [1,3] [4,6]
qui n’est pas un intervalle. Son image, qui est {1} ∪ [2,4], n’est pas un intervalle. L’hypoth`ese Iest un
intervalle dans le th´eor`eme des valeurs interm´ediaires est donc importante.
2
1
2
3
4
5
1
1234561
3. La fonction f, repr´esent´ee graphiquement ci-dessous, est d´efinie et continue sur l’intervalle [1,9]. Elle
erifie donc les hypoth`eses du th´eor`eme des valeurs interm´ediaires.
1`ere version : Son image est donc un intervalle. On trouve graphiquement f([1,9]) = [3,11].
2`eme version : De plus pour tout a, b [1,9], pour tout yentre f(a) et f(b), il existe xentre aet btel
que f(x) = y. Ci-dessous, on illustre cette propri´et´e pour a= 3, b= 8, y= 8.6. On a bien ycompris
entre f(a) et f(b), car f(a)<7 et f(b)>10. On voit alors qu’il existe xcompris entre aet b(i.e. dans
[3,8]) tel que f(x) = y. En fait, il existe 3 tels x:x1,x2et x3d´etermin´es graphiquement. On notera en
particulier que le th´eor`eme des valeurs interm´ediaires donne un r´esultat d’existence, mais pas d’unicit´e.
1
2
3
4
5
6
7
8
9
10
11
1
1 2 3 4 5 6 7 8 9 10 11 121ab
f(b)
f(a)
x1x2x3
y
Exercice 2
1. Soit P=X3+ 5X4. Montrer que Pposs`ede au moins une racine r´eelle.
2. Soit P=X3+a2X2+a1X+a0un polynˆome `a coefficients a0, a1, a2eels de degr´e 3. Montrer que P
poss`ede au moins une racine r´eelle.
3. Comment peut-on en´eraliser le pr´ec´edent esultat ?
3
D´efinition (ensemble image d’une application) : Soit f:EFune application. Alors l’image de f,
not´ee f(E), est l’ensemble des ´el´ements de fqui poss`edent au moins un ant´ec´edent par f, i.e. :
f(E) = {yF:xE f (x) = y}.
Exemple 2
1. Repr´esentation d’une application f:EF`a l’aide de diagrammes de Venn, puis son image f(E).
2. D´etermination graphique, puis analytique, de l’image de la fonction f: [0,1] R;x7→ 2x1.
Corollaire (image continue strictement monotone d’un intervalle) : Soit fune fonction continue et
strictement monotone sur un intervalle I. Alors f(I) est un intervalle. Le tableau suivant donne la forme de
f(I) en fonction de la forme de Iet du sens de variation de f.
fstrictement croissante sur I f strictement d´ecroissante sur I
I= [a, b]f(I) = [f(a), f (b)] f(I) = [f(b), f(a)]
I=]a, b]f(I) = ilim
xaf(x), f(b)if(I) = hf(b),lim
xaf(x)h
I= [a, b[f(I) = f(a),lim
xbf(x)f(I) = lim
xbf(x), f(a)
I=]a, b[f(I) = lim
xaf(x),lim
xbf(x)f(I) = lim
xbf(x),lim
xaf(x)
D´efinitions (application injective, application surjective, application bijective) : Soit f:EFune
application.
On dit que fest injective si pour tout yFl’´equation :
f(x) = y
d’inconnue xEadmet 0 ou 1 solution.
On dit que fest surjective si pour tout yFl’´equation :
f(x) = y
d’inconnue xEadmet au moins une solution.
On dit que fest bijective si fest injective et surjective, i.e. si pour tout yFl’´equation :
f(x) = y
d’inconnue xEadmet une et une seule solution.
Exemple 3 : Repr´esentation d’une application finjective (resp. non injective, resp. surjective, resp. non
surjective, resp. bijective) `a l’aide de diagrammes de Venn.
D´efinition (bijection eciproque) : Si fest bijective, on efinit sa bijection r´eciproque :
f1:FE
comme ´etant la fonction qui `a tout yFassocie l’unique solution de l’´equation f(x) = ydans E. On a donc :
yF f1(y) = x
f(x) = y
et
xE
.
4
De plus :
xE f1f(x) = xet yF f f1(y) = y.
Exemple 4
1. Repr´esentation d’une application fbijective, puis de f1`a l’aide de diagrammes de Venn.
2. D´emonstration de la bijectivit´e de f: [1,4] [3,9] ; x7→ 2x+ 1, calcul de f1(y) pour tout y[3,9],
explication des repr´esentations graphiques de fet f1ci-dessous.
1
2
3
4
5
6
7
8
9
10
1
12345678910
y=x
Cf
Cf1
Remarque importante : Si fest une application bijective, de repr´esentation graphique Cfdans un rep`ere
Rdu plan, alors la repr´esentation graphique de f1dans Rest le sym´etrique de Cfpar rapport `a la premi`ere
bissectrice (i.e. par rapport `a la droite d’´equation y=x).
Th´eor`eme 3 (th´eor`eme de la bijection) : Soit fune fonction, de domaine de d´efinition I. Si :
Iest un intervalle ;
fest continue sur I;
fest strictement monotone sur I
alors finduit une bijection f1de f(I) sur I. De plus f1est continue sur f(I) et de eme monotonie que la
fonction f.
Exemple 5
1. En appliquant le th´eor`eme de la bijection `a la fonction
sin|[π
2,π
2]:hπ
2,π
2i[1,1] ; x7→ sin(x)
on montre que sin|[π
2,π
2]est bijective. Sa bijection r´eciproque est appel´ee fonction arcsinus et not´ee arcsin :
arcsin: [1,1] hπ
2,π
2i.
On a :
y[1,1] arcsin(y) = x
sin(x) = y
et
xhπ
2,π
2i.
5
1 / 11 100%
La catégorie de ce document est-elle correcte?
Merci pour votre participation!

Faire une suggestion

Avez-vous trouvé des erreurs dans linterface ou les textes ? Ou savez-vous comment améliorer linterface utilisateur de StudyLib ? Nhésitez pas à envoyer vos suggestions. Cest très important pour nous !