PCSI1Dร‰RIVATION - rรฉsumรฉ de cours 2016-2017
Remarque : dans tout ce chapitre, ๐ผdรฉsigne un intervalle de โ„non vide, non rรฉduit ร  un point,
et ๐‘“une fonction dรฉ๏ฌnie sur ๐ผet ร  valeurs dans โ„(๐‘“:๐ผโ†’โ„), sauf dans le dernier paragraphe.
I : FONCTION Dร‰RIVABLE ET FONCTION Dร‰RIVร‰E
1หš) Dรฉ๏ฌnition
Dรฉ๏ฌnition : soit ๐‘Žโˆˆ๐ผ.
On dit que ๐‘“est dรฉrivable en ๐‘Žsi la limite lim
๐‘ฅโ†’๐‘Ž
๐‘“(๐‘ฅ)โˆ’๐‘“(๐‘Ž)
๐‘ฅโˆ’๐‘Žexiste et est ๏ฌnie.
On note alors cette limite ๐‘“โ€ฒ(๐‘Ž) := lim
๐‘ฅโ†’๐‘Ž
๐‘“(๐‘ฅ)โˆ’๐‘“(๐‘Ž)
๐‘ฅโˆ’๐‘Ž, appelรฉe nombre dรฉrivรฉ de ๐‘“au point ๐‘Ž.
Remarque 1 : on a รฉgalement ๐‘“โ€ฒ(๐‘Ž) := lim
โ„Žโ†’0
๐‘“(๐‘Ž+โ„Ž)โˆ’๐‘“(๐‘Ž)
โ„Ž.
Remarque 2 : on pose ๐‘‡๐‘Ž(๐‘ฅ) := ๐‘“(๐‘ฅ)โˆ’๐‘“(๐‘Ž)
๐‘ฅโˆ’๐‘Ž(taux dโ€™accroissement de la fonction ๐‘“entre ๐‘Žet ๐‘ฅ).
La dรฉ๏ฌnition devient : ยซ la fonction ๐‘“est dรฉrivable en ๐‘Žsi la fonction ๐‘‡๐‘Žpossรจde une limite ๏ฌnie en
๐‘Ž, et on pose alors ๐‘“โ€ฒ(๐‘Ž) := lim
๐‘ฅโ†’๐‘Ž๐‘‡๐‘Ž(๐‘ฅ)ยป.
Dรฉ๏ฌnition : si la fonction ๐‘“est dรฉrivable en tout point ๐‘Žde ๐ผ, alors on dit que ๐‘“est dรฉrivable sur ๐ผ.
On peut, dans ce cas, dรฉ๏ฌnir la fonction ๐‘“โ€ฒ:
๐ผโˆ’โ†’ โ„
๐‘Ž7โˆ’โ†’ ๐‘“โ€ฒ(๐‘Ž) := lim
๐‘ฅโ†’๐‘Ž
๐‘“(๐‘ฅ)โˆ’๐‘“(๐‘Ž)
๐‘ฅโˆ’๐‘Ž= lim
โ„Žโ†’0
๐‘“(๐‘Ž+โ„Ž)โˆ’๐‘“(๐‘Ž)
โ„Ž
.
Autre notation : ๐‘“โ€ฒ=๐‘“(1) =๐ท๐‘“ =d๐‘“
d๐‘ฅ.
Dรฉ๏ฌnition : on dit que ๐‘“est dรฉrivable ร 
โ€“ gauche en ๐‘Žsi lim
๐‘ฅโ†’๐‘Žโˆ’๐‘‡๐‘Ž(๐‘ฅ)existe et est ๏ฌnie, notรฉe ๐‘“โ€ฒ
๐‘”(๐‘Ž) = lim
๐‘ฅโ†’๐‘Žโˆ’๐‘‡๐‘Ž(๐‘ฅ)(dรฉrivรฉe ร  gauche en ๐‘Ž).
โ€“ droite en ๐‘Žsi lim
๐‘ฅโ†’๐‘Ž+๐‘‡๐‘Ž(๐‘ฅ)existe et est ๏ฌnie, notรฉe ๐‘“โ€ฒ
๐‘‘(๐‘Ž) = lim
๐‘ฅโ†’๐‘Ž+๐‘‡๐‘Ž(๐‘ฅ)(dรฉrivรฉe ร  droite en ๐‘Ž).
Consรฉquence :
๐‘“est dรฉrivable en ๐‘Žsi, et seulement si ๐‘“est dรฉrivable ร  droite et ร  gauche en ๐‘Žavec ๐‘“โ€ฒ
๐‘”(๐‘Ž) = ๐‘“โ€ฒ
๐‘‘(๐‘Ž).
Quelques exemples :
โˆ™Si ๐‘“est constante, alors (pour tout ๐‘Ž) : โˆ€๐‘ฅโˆˆโ„,๐‘‡๐‘Ž(๐‘ฅ) = 0, donc ๐‘“โ€ฒ(๐‘Ž) = lim
๐‘ฅโ†’๐‘Ž๐‘‡๐‘Ž(๐‘ฅ) = 0.
โˆ™Si ๐‘“=Idโ„, alors (pour tout ๐‘Ž) : โˆ€๐‘ฅโˆˆโ„,๐‘‡๐‘Ž(๐‘ฅ) = ๐‘ฅโˆ’๐‘Ž
๐‘ฅโˆ’๐‘Ž= 1, donc ๐‘“โ€ฒ(๐‘Ž) = lim
๐‘ฅโ†’๐‘Ž๐‘‡๐‘Ž(๐‘ฅ)=1.
โˆ™Si ๐‘“(๐‘ฅ) = ๐‘ฅ๐‘›, avec ๐‘›โฉพ2, alors (pour tout ๐‘Ž) : โˆ€๐‘ฅโˆˆโ„,๐‘ฅ๐‘›โˆ’๐‘Ž๐‘›= (๐‘ฅโˆ’๐‘Ž).๎€ ๐‘›โˆ’1
๎˜
๐‘˜=0
๐‘ฅ๐‘˜๐‘Ž๐‘›โˆ’1โˆ’๐‘˜๎€ก,
donc ๐‘‡๐‘Ž(๐‘ฅ) = ๐‘ฅ๐‘›โˆ’๐‘Ž๐‘›
๐‘ฅโˆ’๐‘Ž=
๐‘›โˆ’1
๎˜
๐‘˜=0
๐‘ฅ๐‘˜๐‘Ž๐‘›โˆ’1โˆ’๐‘˜โˆ’โ†’
๐‘ฅโ†’๐‘Ž
๐‘›โˆ’1
๎˜
๐‘˜=0
๐‘Ž๐‘˜๐‘Ž๐‘›โˆ’1โˆ’๐‘˜=
๐‘›โˆ’1
๎˜
๐‘˜=0
๐‘Ž๐‘›โˆ’1=๐‘›๐‘Ž๐‘›โˆ’1.
Donc ๐‘“est dรฉrivable sur โ„et ๐‘“โ€ฒ(๐‘Ž) = ๐‘›๐‘Ž๐‘›โˆ’1(formule valable pour ๐‘›โˆˆโ„•, avec ๐‘Ž0= 1).
โˆ™Si ๐‘“(๐‘ฅ) = 1
๐‘ฅ, alors pour ๐‘Žโˆ•= 0 et ๐‘ฅโˆ•= 0, on a :
๐‘‡๐‘Ž(๐‘ฅ) =
1
๐‘ฅโˆ’1
๐‘Ž
๐‘ฅโˆ’๐‘Ž=๐‘Žโˆ’๐‘ฅ
๐‘ฅ๐‘Ž(๐‘ฅโˆ’๐‘Ž)=โˆ’1
๐‘ฅ๐‘Ž , dโ€™oรน ๐‘“โ€ฒ(๐‘Ž) = lim
๐‘ฅโ†’๐‘Ž๐‘‡๐‘Ž(๐‘ฅ) = โˆ’1
๐‘Ž2.
โ€“1/10โ€“ Lycรฉe Faidherbe, Lille
PCSI1Dร‰RIVATION - rรฉsumรฉ de cours 2016-2017
โˆ™Si ๐‘“(๐‘ฅ) = โˆš๐‘ฅ, alors, pour tout ๐‘Ž > 0:๐‘‡๐‘Ž(๐‘ฅ) = โˆš๐‘ฅโˆ’โˆš๐‘Ž
๐‘ฅโˆ’๐‘Ž=1
โˆš๐‘ฅ+โˆš๐‘Žโˆ’โ†’
๐‘ฅโ†’๐‘Ž
1
2โˆš๐‘Ž.
๐‘“=โˆšest donc une fonction dรฉrivable sur ]0,+โˆž[et : โˆ€๐‘Ž > 0,๐‘“โ€ฒ(๐‘Ž) = 1
2โˆš๐‘Ž.
Remarque : ๐‘‡0(๐‘ฅ) = โˆš๐‘ฅ
๐‘ฅ=1
โˆš๐‘ฅโˆ’โ†’
๐‘ฅโ†’0++โˆž, donc ๐‘“nโ€™est pas dรฉrivable en 0.
โˆ™Si ๐‘“(๐‘ฅ) = โˆฃ๐‘ฅโˆฃ, alors ๐‘‡0(๐‘ฅ) = โˆฃ๐‘ฅโˆฃโˆ’โˆฃ0โˆฃ
๐‘ฅโˆ’0=โˆฃ๐‘ฅโˆฃ
๐‘ฅโˆ’โ†’๎€š+1 si ๐‘ฅโ†’0+
โˆ’1si ๐‘ฅโ†’0โˆ’.
Par consรฉquent, ๐‘“est dรฉrivable ร  droite et ร  gauche en 0, avec ๐‘“โ€ฒ
๐‘”(0) = โˆ’1,๐‘“โ€ฒ
๐‘‘(0) = +1, mais
๐‘“nโ€™est pas dรฉrivable en 0 car ๐‘“โ€ฒ
๐‘”(0) โˆ•=๐‘“โ€ฒ
๐‘‘(0).
ATTENTION : ยซ(๐‘“continue ร  droite et ร  gauche en ๐‘Ž)โ‡’(๐‘“continue en ๐‘Ž)ยป,
MAIS ยซ(๐‘“dรฉrivable ร  droite et ร  gauche en ๐‘Ž)โ‡(๐‘“dรฉrivable en ๐‘Ž)ยป
2หš) Interprรฉtation gรฉomรฉtrique
Soit ๐‘“, une fonction dรฉrivable en ๐‘Ž: notons ๐‘€0et ๐‘€les points de coordonnรฉes respectives
(๐‘Ž, ๐‘“(๐‘Ž)) et (๐‘ฅ, ๐‘“(๐‘ฅ)), points situรฉs sur ฮ“, courbe reprรฉsentative de ๐‘“dans un repรจre orthonormรฉ.
Alors ๐‘‡๐‘Ž(๐‘ฅ) := ๐‘“(๐‘ฅ)โˆ’๐‘“(๐‘Ž)
๐‘ฅโˆ’๐‘Žreprรฉsente la pente de la sรฉcante (๐‘€0๐‘€):๐‘“โ€ฒ(๐‘Ž) = lim
๐‘ฅโ†’๐‘Ž๐‘‡๐‘Ž(๐‘ฅ)est donc la
pente de la ยซsรฉcante limiteยป lorsque ๐‘€โ†’๐‘€0, autrement dit la pente de la tangente ร ฮ“en ๐‘€0.
A retenir : ยซ ๐‘Œ=๐‘“โ€ฒ(๐‘Ž)(๐‘‹โˆ’๐‘Ž) + ๐‘“(๐‘Ž)ยป est une รฉquation de la tangente ร  ฮ“au point ๐‘€0(๐‘Ž, ๐‘“(๐‘Ž)).
3หš) Lien avec les dรฉveloppements limitรฉs
Propriรฉtรฉ : si ๐‘“est dรฉrivable en ๐‘Ž, alors ๐‘“est continue en ๐‘Ž.
Consรฉquence : si ๐‘“est dรฉrivable sur ๐ผ, alors ๐‘“est continue sur ๐ผ.
Mais la rรฉciproque est fausse !
Par exemple : la fonction valeur absolue est continue mais pas dรฉrivable en 0.
Dรฉmonstration : si ๐‘“est dรฉrivable en ๐‘Ž, alors, ๐‘“โ€ฒ(๐‘Ž)existe, et en posant pour tout ๐‘ฅโˆ•=๐‘Ž,
๐‘“(๐‘ฅ) = ๐‘“(๐‘Ž) + (๐‘ฅโˆ’๐‘Ž)๎€’๐‘“(๐‘ฅ)โˆ’๐‘“(๐‘Ž)
๐‘ฅโˆ’๐‘Ž๎€“โˆ’โ†’
๐‘ฅโ†’๐‘Ž๐‘“(๐‘Ž) + 0.๐‘“โ€ฒ(๐‘Ž) = ๐‘“(๐‘Ž)(i.e) lim
๐‘Ž๐‘“=๐‘“(๐‘Ž), donc ๐‘“est
continue en ๐‘Ž.
Propriรฉtรฉ : on a lโ€™รฉquivalence
(๐‘“est dรฉrivable en ๐‘Ž)โ‡”(๐‘“possรจde, en ๐‘Ž, un dรฉveloppement limitรฉ dโ€™ordre 1 ( DL1(๐‘Ž)) ).
Mieux dit :
(๐‘“dรฉrivable en ๐‘Žet ๐‘“โ€ฒ(๐‘Ž) = ๐›ผ)โ‡”(๐‘“a un DL1(๐‘Ž)de la forme ๐‘“(๐‘ฅ) = ๐‘“(๐‘Ž) + ๐›ผร—(๐‘ฅโˆ’๐‘Ž) + โˆ˜(๐‘ฅโˆ’๐‘Ž)) .
Ou encore :
(๐‘“dรฉrivable en ๐‘Ž)โ‡”(on a ๐‘“(๐‘ฅ) = ๐‘“(๐‘Ž) + ๐›ผร—(๐‘ฅโˆ’๐‘Ž)+(๐‘ฅโˆ’๐‘Ž)๐œ€(๐‘ฅ),๐›ผconstante, lim
๐‘Ž๐œ€= 0 ) .
Ou encore :
(๐‘“dรฉrivable en ๐‘Ž)โ‡”(on a ๐‘“(๐‘Ž+โ„Ž) = ๐‘“(๐‘Ž) + ๐›ผโ„Ž +โ„Ž๐œ€(โ„Ž),๐›ผconstante, lim
0๐œ€= 0 ) .
Preuve :
1. Si ๐‘“est dรฉrivable en ๐‘Ž: alors on peut รฉcrire ๐‘“(๐‘ฅ) = ๐‘“(๐‘Ž) + ๐‘“โ€ฒ(๐‘Ž).(๐‘ฅโˆ’๐‘Ž) + (๐‘ฅโˆ’๐‘Ž).๐œ€๐‘Ž(๐‘ฅ), oรน
๐œ€๐‘Ž(๐‘ฅ) = ๎จ๐‘“(๐‘ฅ)โˆ’๐‘“(๐‘Ž)
๐‘ฅโˆ’๐‘Žโˆ’๐‘“โ€ฒ(๐‘Ž)๎ฉโˆ’โ†’
๐‘ฅโ†’๐‘Ž0, donc ๐‘“(๐‘ฅ) = ๐‘“(๐‘Ž) + ๐‘“โ€ฒ(๐‘Ž).(๐‘ฅโˆ’๐‘Ž) + o(๐‘ฅโˆ’๐‘Ž), (i.e) ๐‘“possรจde
un DL1(๐‘Ž).
โ€“2/10โ€“ Lycรฉe Faidherbe, Lille
PCSI1Dร‰RIVATION - rรฉsumรฉ de cours 2016-2017
2. Si ๐‘“possรจde un DL1(๐‘Ž)de la forme ๐‘“(๐‘ฅ) = ๐‘“(๐‘Ž) + ๐›ผ(๐‘ฅโˆ’๐‘Ž) + โˆ˜(๐‘ฅโˆ’๐‘Ž): au voisinage de ๐‘Ž, on
a๐‘“(๐‘ฅ) = ๐‘“(๐‘Ž) + ๐›ผ(๐‘ฅโˆ’๐‘Ž) + ๐œ€(๐‘ฅ).(๐‘ฅโˆ’๐‘Ž), oรน lim
๐‘ฅโ†’๐‘Ž๐œ€(๐‘ฅ)=0. On en dรฉduit lim
๐‘ฅโ†’๐‘Ž๐‘“(๐‘ฅ) = ๐‘“(๐‘Ž),
donc nรฉcessairement ๐‘“est continue en ๐‘Ž. Puis, on en tire ๐‘“(๐‘ฅ)โˆ’๐‘“(๐‘Ž)
๐‘ฅโˆ’๐‘Ž=๐›ผ+๐œ€(๐‘ฅ). Donc
lim
๐‘ฅโ†’๐‘Ž
๐‘“(๐‘ฅ)โˆ’๐‘“(๐‘Ž)
๐‘ฅโˆ’๐‘Žexiste, est ๏ฌnie, et vaut ๐›ผ. Ceci prouve que ๐‘“est dรฉrivable en ๐‘Žet que ๐‘“โ€ฒ(๐‘Ž) = ๐›ผ.
Attention : on a donc les รฉquivalences
(๐‘“est continue en ๐‘Ž)โ‡”(๐‘“possรจde, en ๐‘Ž, un DL0(๐‘Ž))
(๐‘“est dรฉrivable en ๐‘Ž)โ‡”(๐‘“possรจde, en ๐‘Ž, un DL1(๐‘Ž))
MAIS on ne peut pas gรฉnรฉraliser ! Autrement dit, pour ๐‘›โฉพ2, il nโ€™y a PAS , en gรฉnรฉral, dโ€™รฉquivalence
entre (๐‘“est dรฉrivable ๐‘›fois en ๐‘Ž) et (๐‘“possรจde, en ๐‘Ž, un DL๐‘›(๐‘Ž)).
Par exemple : on pose ๐‘“(0) = 0 et ๐‘“(๐‘ฅ) = ๐‘ฅ5
2sin(1
๐‘ฅ)si ๐‘ฅ > 0. Alors ๐‘“(๐‘ฅ) = 0+ 0.๐‘ฅ +0.๐‘ฅ2+๐‘ฅ2.๐œ€(๐‘ฅ), oรน
๐œ€(๐‘ฅ) = โˆš๐‘ฅsin(1
๐‘ฅ)โˆ’โ†’
๐‘ฅโ†’00(car sin(1
๐‘ฅ)est bornรฉe et โˆš๐‘ฅโ†’0) : ceci dit que ๐‘“possรจde donc un DL2(0) !
MAIS ๐‘“nโ€™est pas deux fois dรฉrivable en 0.
En e๏ฌ€et : ๐‘“est dรฉrivable sur ]0,+โˆž[et โˆ€๐‘ฅ > 0,๐‘“โ€ฒ(๐‘ฅ) = 5
2๐‘ฅ3
2sin(1
๐‘ฅ)โˆ’โˆš๐‘ฅ. cos(1
๐‘ฅ).
De plus, ๐‘‡0(๐‘ฅ) = ๐‘“(๐‘ฅ)โˆ’๐‘“(0)
๐‘ฅโˆ’0=๐‘ฅ5
2sin( 1
๐‘ฅ)
๐‘ฅ=๐‘ฅ3
2sin(1
๐‘ฅ)โˆ’โ†’
๐‘ฅโ†’00.
Donc ๐‘“est aussi dรฉrivable en 0 avec ๐‘“โ€ฒ(0) = 0.
MAIS ๐‘“โ€ฒ(๐‘ฅ)โˆ’๐‘“โ€ฒ(0)
๐‘ฅโˆ’0=
5
2๐‘ฅ3
2sin( 1
๐‘ฅ)โˆ’โˆš๐‘ฅ. cos( 1
๐‘ฅ)
๐‘ฅ=3
2๐‘ฅ3
2sin(1
๐‘ฅ)โˆ’1
โˆš๐‘ฅ.cos(1
๐‘ฅ)nโ€™a pas de limite en 0car
โˆ™dโ€™une part : 3
2๐‘ฅ3
2sin(1
๐‘ฅ)โˆ’โ†’
๐‘ฅโ†’00
โˆ™dโ€™autre part : ๐‘”(๐‘ฅ) = 1
โˆš๐‘ฅ.cos(1
๐‘ฅ)nโ€™a pas de limite en zรฉro car en posant ๐‘ข๐‘›=1
2๐‘›๐œ‹ et ๐‘ฃ๐‘›=1
2๐‘›๐œ‹+๐œ‹/2,
on a lim
๐‘›โ†’+โˆž
๐‘ข๐‘›= lim
๐‘›โ†’+โˆž
๐‘ฃ๐‘›= 0, mais lim
๐‘›โ†’+โˆž
๐‘”(๐‘ข๐‘›) = lim
๐‘›โ†’+โˆž
โˆš2๐‘›๐œ‹ = +โˆž โˆ•= lim
๐‘›โ†’+โˆž
๐‘”(๐‘ฃ๐‘›) = lim
๐‘›โ†’+โˆž0 = 0.
Par consรฉquent, ๐‘“nโ€™est pas deux fois dรฉrivable en 0 (et possรจde nรฉanmoins un DL2(0)) !
4หš) Dรฉrivรฉes successives
On note ๐‘“(0) := ๐‘“. Si ๐‘“est dรฉrivable sur ๐ผ, on note ๐‘“(1) =๐‘“โ€ฒ.
Si ๐‘“(1) est elle-mรชme dรฉrivable sur ๐ผ, on note ๐‘“(2) := (๐‘“(1))โ€ฒ.
Plus gรฉnรฉralement, si ๐‘“(๐‘›)est dรฉrivable sur ๐ผ(avec ๐‘›โˆˆโ„•), on note ๐‘“(๐‘›+1) = (๐‘“(๐‘›))โ€ฒ.
Dรฉ๏ฌnition : si elle existe, ๐‘“(๐‘›)sโ€™appelle la dรฉrivรฉe ๐‘›iรจme de ๐‘“sur ๐ผ.
Dรฉ๏ฌnition : si ๐‘“(๐‘›)existe et si ๐‘“(๐‘›)est continue sur ๐ผ, on dit que ๐‘“est de classe ๐ถ๐‘›sur ๐ผ.
Dรฉ๏ฌnition : on dit que ๐‘“est de classe ๐ถโˆžsur ๐ผsi, pour tout ๐‘˜โˆˆโ„•,๐‘“(๐‘˜)existe, autrement dit
si ๐‘“est in(dรฉ)๏ฌniment dรฉrivable sur ๐ผ.
Notation : on notera, entre nous ๐‘“โˆˆ๐ถ(๐ผ),๐‘“โˆˆ๐ท(๐ผ),๐‘“โˆˆ๐ท๐‘›(๐ผ),๐‘“โˆˆ๐ถ๐‘›(๐ผ),๐‘“โˆˆ๐ถโˆž(๐ผ)lorsque
๐‘“sera une fonction continue, dรฉrivable, dรฉrivable ๐‘›fois, de classe ๐ถ๐‘›, de classe ๐ถโˆžsur lโ€™intervalle ๐ผ.
Exemples : les polynรดmes, exp,cos,sin, ch, sh sont des fonctions de classe ๐ถโˆžsur โ„.
Les fonctions ln,[๐‘ฅ7โ†’ 1
๐‘ฅ],tan, th =sh
ch , les fractions rationnelles ๐น=๐‘ƒ
๐‘„(oรน ๐‘ƒet ๐‘„sont deux
polynรดmes, ๐‘„โˆ•=หœ
0), sont des fonctions de classe ๐ถโˆžsur leurs ensembles de dรฉ๏ฌnition respectifs.
Notation :๐ท๐‘›(๐ผ)est lโ€™ensemble des fonctions ๐‘›fois dรฉrivables (au moins) sur ๐ผ.
๐ถ๐‘›(๐ผ)est lโ€™ensemble des fonctions de classe ๐ถ๐‘›(au moins) sur ๐ผ. On a les inclusions
๐ถโˆž(๐ผ)โŠ‚. . . โŠ‚๐ถ๐‘›+1(๐ผ)โŠ‚๐ท๐‘›+1(๐ผ)โŠ‚๐ถ๐‘›(๐ผ)โŠ‚๐ท๐‘›(๐ผ)โŠ‚. . . โŠ‚๐ถ1(๐ผ)โŠ‚๐ท1(๐ผ)โŠ‚๐ถ0(๐ผ)โŠ‚โ„๐ผ.
Attention : ยซ๐‘“dรฉrivableยป nโ€™entraรฎne pas forcรฉment ยซ๐‘“โ€ฒcontinueยป.
Par exemple, en posant ๐‘“(0) = 0 et ๐‘“(๐‘ฅ) = ๐‘ฅ2sin( 1
๐‘ฅ), on a ๐‘“dรฉrivable sur โ„
โ€“3/10โ€“ Lycรฉe Faidherbe, Lille
PCSI1Dร‰RIVATION - rรฉsumรฉ de cours 2016-2017
(sur โ„โˆ—avec ๐‘“โ€ฒ(๐‘ฅ) = 2๐‘ฅsin(1
๐‘ฅ)โˆ’cos(1
๐‘ฅ), et lim
๐‘ฅโ†’0
๐‘“(๐‘ฅ)โˆ’๐‘“(0)
๐‘ฅโˆ’0= lim
๐‘ฅโ†’0๐‘ฅ. sin(1
๐‘ฅ)=0donc ๐‘“โ€ฒ(0) = 0).
MAIS ๐‘“โ€ฒnโ€™est pas continue en 0car lim
๐‘ฅโ†’0๐‘“โ€ฒ(๐‘ฅ)nโ€™existe pas (car lim
๐‘ฅโ†’0cos(1
๐‘ฅ)nโ€™existe pas).
5หš) Opรฉrations sur les dรฉrivรฉes
Proposition - somme/produit/quotient : si ๐‘“et ๐‘”sont deux fonctions dรฉrivables sur ๐ผalors :
โˆ™pour tout (๐œ†, ๐œ‡)โˆˆโ„2(constantes rรฉelles), ๐œ†๐‘“ +๐œ‡๐‘” est dรฉrivable sur ๐ผet (๐œ†๐‘“ +๐œ‡๐‘”)โ€ฒ=๐œ†๐‘“โ€ฒ+๐œ‡๐‘”โ€ฒ.
Par consรฉquent : ๐ท(๐ผ) = ๐ท1(๐ผ)est un sous-espace vectoriel de ๐’œ(๐ผ, โ„) = โ„๐ผ.
De mรชme, pour tout ๐‘›โˆˆโ„•,๐ท๐‘›(๐ผ),๐ถ๐‘›(๐ผ)et ๐ถโˆž(๐ผ)sont des sous-espaces vectoriels de (โ„๐ผ,+, .)
(et par consรฉquent eux-mรชmes des โ„-espaces vectoriels).
โˆ™๐‘“ร—๐‘”est dรฉrivable sur ๐ผet (๐‘“ร—๐‘”)โ€ฒ=๐‘“โ€ฒร—๐‘”+๐‘“ร—๐‘”โ€ฒ.
Par consรฉquent : la loi multiplicative ยซร—ยป est une loi de composition interne sur ๐ท(๐ผ) = ๐ท1(๐ผ).
โˆ™si ๐‘”ne sโ€™annule pas sur ๐ผ, alors ๎€’1
๐‘”๎€“est dรฉrivable sur ๐ผet ๎€’1
๐‘”๎€“โ€ฒ=โˆ’๐‘”โ€ฒ
๐‘”2.
Puis ๎€’๐‘“
๐‘”๎€“est dรฉrivable sur ๐ผet ๎€’๐‘“
๐‘”๎€“โ€ฒ=๐‘“โ€ฒ๐‘”โˆ’๐‘“๐‘”โ€ฒ
๐‘”2.
Preuves : ร  faire.
Proposition : si ๐‘“et ๐‘”sont deux fonctions ๐‘›fois dรฉrivables sur ๐ผ(๐‘›โฉพ0), alors la somme
๐‘“+๐‘”est aussi une fonction ๐‘›fois dรฉrivable sur ๐ผ, et (๐‘“+๐‘”)(๐‘›)=๐‘“(๐‘›)+๐‘”(๐‘›).
Proposition (formule de Leibniz) : si ๐‘“et ๐‘”sont deux fonctions ๐‘›fois dรฉrivables sur ๐ผ(๐‘›โฉพ0),
alors le produit ๐‘“ร—๐‘”est aussi une fonction ๐‘›fois dรฉrivable sur ๐ผ, et on a la formule
(๐‘“ร—๐‘”)(๐‘›)=
๐‘›
๎˜
๐‘˜=0 ๎€’๐‘›
๐‘˜๎€“๐‘“(๐‘˜)ร—๐‘”(๐‘›โˆ’๐‘˜).
Remarque : la proposition reste donc vraie en remplaรงant ยซ๐‘›fois dรฉrivablesยป par ยซde classe ๐ถ๐‘›ยป. En
e๏ฌ€et, la formule prรฉcรฉdente donne, dans ce cas, (๐‘“ร—๐‘”)(๐‘›)sous forme dโ€™une combinaison linรฉaire de
fonctions continues, donc (๐‘“ร—๐‘”)(๐‘›)est elle-mรชme continue.
Preuve : ร  faire.
Exemples : (๐‘“ร—๐‘”)(1) =๐‘“ร—๐‘”(1) +๐‘“(1) ร—๐‘”,(๐‘“ร—๐‘”)(2) =๐‘“ร—๐‘”(2) + 2๐‘“(1) ร—๐‘”(1) +๐‘“(2) ร—๐‘”,
(๐‘“ร—๐‘”)(3) =๐‘“ร—๐‘”(3) + 3๐‘“(1) ร—๐‘”(2) + 3๐‘“(2) ร—๐‘”(1) +๐‘“(3) ร—๐‘”, etc...
Ecrit autrement : (๐‘“๐‘”)โ€ฒ=๐‘“โ€ฒ๐‘”+๐‘“๐‘”โ€ฒ,(๐‘“ ๐‘”)โ€ฒโ€ฒ =๐‘“โ€ฒโ€ฒ๐‘”+ 2๐‘“โ€ฒ๐‘”โ€ฒ+๐‘“๐‘”โ€ฒโ€ฒ,(๐‘“ ๐‘”)โ€ฒโ€ฒโ€ฒ =๐‘“โ€ฒโ€ฒโ€ฒ๐‘”+ 3๐‘“โ€ฒโ€ฒ๐‘”โ€ฒ+ 3๐‘“โ€ฒ๐‘”โ€ฒโ€ฒ +๐‘“๐‘”โ€ฒโ€ฒโ€ฒ...
Consรฉquence : la loi ยซร—ยป est une loi de composition interne sur ๐ท๐‘›(๐ผ),๐ถ๐‘›(๐ผ)et ๐ถโˆž(๐ผ).
Proposition - composition :si ๐‘“est dรฉrivable en ๐‘Žet si ๐‘”est dรฉrivable en ๐‘“(๐‘Ž),
alors ๐‘”โˆ˜๐‘“est dรฉrivable en ๐‘Žet on a la formule : (๐‘”โˆ˜๐‘“)โ€ฒ(๐‘Ž) = ๐‘“โ€ฒ(๐‘Ž)ร—๐‘”โ€ฒ(๐‘“(๐‘Ž)).
Par extension, si ๐‘“est dรฉrivable sur ๐ผet ๐‘”dรฉrivable sur lโ€™ensemble image ๐‘“(๐ผ), alors ๐‘”โˆ˜๐‘“est dรฉrivable
sur ๐ผet (๐‘”โˆ˜๐‘“)โ€ฒ=๐‘“โ€ฒร—(๐‘”โ€ฒโˆ˜๐‘“).
Preuve : si ๐‘“est dรฉrivable en ๐‘Ž, alors ๐‘“a un DL1(๐‘Ž)du type
๐‘“(๐‘ฅ) = ๐‘“(๐‘Ž)+(๐‘ฅโˆ’๐‘Ž).๐‘“โ€ฒ(๐‘Ž)+(๐‘ฅโˆ’๐‘Ž)๐œ€1(๐‘ฅ)oรน lim
๐‘ฅโ†’๐‘Ž๐œ€1(๐‘ฅ) = 0.
Si ๐‘”est dรฉrivable en ๐‘“(๐‘Ž), alors ๐‘”a un DL1(๐‘“(๐‘Ž)) du type
๐‘”(๐‘ฆ) = ๐‘”(๐‘“(๐‘Ž)) + (๐‘ฆโˆ’๐‘“(๐‘Ž)) .๐‘”โ€ฒ(๐‘“(๐‘Ž)) + (๐‘ฆโˆ’๐‘“(๐‘Ž)) .๐œ€2(๐‘ฆ)oรน lim
๐‘ฆโ†’๐‘“(๐‘Ž)๐œ€2(๐‘ฆ) = 0.
On reporte le premier DL dans le second, avec ๐‘ฆ=๐‘“(๐‘ฅ). On a donc
โ€“4/10โ€“ Lycรฉe Faidherbe, Lille
PCSI1Dร‰RIVATION - rรฉsumรฉ de cours 2016-2017
๐‘”(๐‘“(๐‘ฅ)) = ๐‘”(๐‘“(๐‘Ž)) + (๐‘“(๐‘ฅ)โˆ’๐‘“(๐‘Ž)) .๐‘”โ€ฒ(๐‘“(๐‘Ž)) + (๐‘“(๐‘ฅ)โˆ’๐‘“(๐‘Ž)) .๐œ€2(๐‘“(๐‘ฅ)), puis avec le 1er DL
๐‘”(๐‘“(๐‘ฅ)) = ๐‘”(๐‘“(๐‘Ž)) + {(๐‘ฅโˆ’๐‘Ž).๐‘“โ€ฒ(๐‘Ž)+(๐‘ฅโˆ’๐‘Ž)๐œ€1(๐‘ฅ)}.๐‘”โ€ฒ(๐‘“(๐‘Ž)) + {(๐‘ฅโˆ’๐‘Ž).๐‘“ โ€ฒ(๐‘Ž)+(๐‘ฅโˆ’๐‘Ž)๐œ€1(๐‘ฅ)}.๐œ€2(๐‘“(๐‘ฅ))
dโ€™oรน, en refactorisant :
๐‘”(๐‘“(๐‘ฅ)) = ๐‘”(๐‘“(๐‘Ž)) + (๐‘ฅโˆ’๐‘Ž).๐‘“โ€ฒ(๐‘Ž).๐‘”โ€ฒ(๐‘“(๐‘Ž)) + (๐‘ฅโˆ’๐‘Ž){๐œ€1(๐‘ฅ).๐‘”โ€ฒ(๐‘“(๐‘Ž)) + ๐‘“โ€ฒ(๐‘Ž) + ๐œ€1(๐‘ฅ)}.๐œ€2(๐‘“(๐‘ฅ))
que lโ€™on peut rรฉ-รฉcrire, en posant ๐œ€3(๐‘ฅ) = {๐œ€1(๐‘ฅ).๐‘”โ€ฒ(๐‘“(๐‘Ž)) + ๐‘“โ€ฒ(๐‘Ž) + ๐œ€1(๐‘ฅ)}.๐œ€2(๐‘“(๐‘ฅ))
๐‘”(๐‘“(๐‘ฅ)) = ๐‘”(๐‘“(๐‘Ž)) + (๐‘ฅโˆ’๐‘Ž).๐‘“โ€ฒ(๐‘Ž).๐‘”โ€ฒ(๐‘“(๐‘Ž)) + (๐‘ฅโˆ’๐‘Ž)๐œ€3(๐‘ฅ)
oรน il est facile de voir que lim
๐‘ฅโ†’๐‘Ž๐œ€3(๐‘ฅ) = 0, car lim
๐‘ฅโ†’๐‘Ž๐œ€1(๐‘ฅ) = 0, puis lim
๐‘ฆโ†’๐‘“(๐‘Ž)๐œ€2(๐‘ฆ) = 0 et lim
๐‘ฅโ†’๐‘Ž๐‘“(๐‘ฅ) = ๐‘“(๐‘Ž)
(en e๏ฌ€et, ๐‘“est dรฉrivable, donc continue en ๐‘Ž! ! !), dโ€™oรน par composition de limites lim
๐‘ฅโ†’๐‘Ž๐œ€2(๐‘“(๐‘ฅ)) = 0.
Ceci prouve que ๐‘”โˆ˜๐‘“a un DL1(๐‘Ž), donc est dรฉrivable en ๐‘Ž, et on lit la valeur de (๐‘”โˆ˜๐‘“)โ€ฒ(๐‘Ž)dans de
dรฉveloppement limitรฉ : ๐‘“โ€ฒ(๐‘Ž)ร—๐‘”โ€ฒ(๐‘“(๐‘Ž)) !
Quelques applications :
โˆ™Si ๐‘“est une fonction dรฉrivable et ne sโ€™annulant pas sur ๐ผ(donc ๐‘“est continue sur ๐ผet y a donc
un signe constant), alors ln(โˆฃ๐‘“โˆฃ)est dรฉrivable sur ๐ผet (ln(โˆฃ๐‘“โˆฃ))โ€ฒ=๐‘“โ€ฒ
๐‘“.
โˆ™Si ๐‘“est une fonction dรฉrivable sur ๐ผ, alors sin(๐‘“),cos(๐‘“),exp(๐‘“)sont dรฉrivable sur ๐ผet
(sin(๐‘“))โ€ฒ=๐‘“โ€ฒcos(๐‘“),(cos(๐‘“))โ€ฒ=โˆ’๐‘“โ€ฒsin(๐‘“),(exp(๐‘“))โ€ฒ=๐‘“โ€ฒexp(๐‘“).
โˆ™Si ๐‘“est une fonction dรฉrivable et strictement positive sur ๐ผet si ๐›ผest une CONSTANTE rรฉelle
(๏ฌxรฉe !), alors ๐‘“๐›ผ=๐‘’๐›ผ. ln ๐‘“est dรฉrivable sur ๐ผet (๐‘“๐›ผ)โ€ฒ=๐›ผ๐‘“ ๐›ผโˆ’1.
Par exemple (๐›ผ=1
2) : ๎€€โˆš๐‘“๎€โ€ฒ=๐‘“โ€ฒ
2โˆš๐‘“.
โˆ™ATTENTION : la proposition donne une condition su๏ฌƒsante de dรฉrivabilitรฉ de la composรฉe,
mais pas nรฉcessaire a priori. Par exemple, en posant ๐‘“(๐‘ฅ) = cos(โˆš๐‘ฅ):๐‘“est continue sur
โ„+(comme composรฉe de...), mais, comme โˆšnโ€™est dรฉrivable que sur ]0,+โˆž[, on peut juste
a๏ฌƒrmer que ๐‘“est dรฉrivable sur ]0,+โˆž[. Ce qui nโ€™empรชche pas ๐‘“dโ€™รชtre dรฉrivable en 0! ! ! En
e๏ฌ€et ๐‘“(๐‘ฅ)โˆ’๐‘“(0)
๐‘ฅโˆ’0=cos(โˆš๐‘ฅ)โˆ’1
๐‘ฅโˆผ
๐‘ฅโ†’0โˆ’(โˆš๐‘ฅ)2
2๐‘ฅ=โˆ’1
2, dโ€™oรน lim
๐‘ฅโ†’0
๐‘“(๐‘ฅ)โˆ’๐‘“(0)
๐‘ฅโˆ’0=โˆ’1
2, donc ๐‘“est dรฉrivable en 0
et ๐‘“โ€ฒ(0) = โˆ’1
2.
Proposition - dรฉrivรฉe dโ€™une bijection rรฉciproque : si ๐‘“est dรฉrivable sur un intervalle ๐ผet
si ๐‘“โ€ฒa un signe constant strict sur ๐ผ(๐‘“โ€ฒ>0sur ๐ผou ๐‘“โ€ฒ<0sur ๐ผ: par consรฉquent ๐‘“โ€ฒne sโ€™annule
pas sur ๐ผ), alors ๐‘“รฉtablit une bijection de ๐ผvers lโ€™intervalle ๐ฝ=๐‘“(๐ผ). La bijection rรฉciproque ๐‘“โˆ’1
est dรฉrivable en tout point ๐‘de ๐ฝ=๐‘“(๐ผ)et on a la formule ๎€€๐‘“โˆ’1๎€โ€ฒ(๐‘) = 1
๐‘“โ€ฒ(๐‘“โˆ’1(๐‘)) .
Autrement dit, en posant ๐‘=๐‘“(๐‘Ž):๎€€๐‘“โˆ’1๎€โ€ฒ(๐‘“(๐‘Ž)) = 1
๐‘“โ€ฒ(๐‘Ž).
Preuve : ร  faire.
Proposition - composรฉe de fonctions de classe ๐ถ๐‘›: si ๐‘“est de classe ๐ถ๐‘›sur ๐ผ, si ๐‘”est de
classe ๐ถ๐‘›sur ๐‘“(๐ผ), alors ๐‘”โˆ˜๐‘“est de classe ๐ถ๐‘›sur ๐ผ.
Preuve : par rรฉcurrence sur ๐‘›(ร  faire).
Attention : les formules pour les dรฉrivรฉes ๐‘›iรจmes de la composรฉe ๐‘”โˆ˜๐‘“ne sont pas simples ! Par exemple :
(๐‘”โˆ˜๐‘“)โ€ฒ=๐‘“โ€ฒร—๐‘”โ€ฒ(๐‘“),(๐‘”โˆ˜๐‘“)โ€ฒโ€ฒ =๐‘“โ€ฒโ€ฒ ร—๐‘”โ€ฒ(๐‘“)+(๐‘“โ€ฒ)2ร—๐‘”โ€ฒโ€ฒ(๐‘“), etc... (ร  vous de jouer, si รงa vous amuse).
โ€“5/10โ€“ Lycรฉe Faidherbe, Lille
1 / 10 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 !