Démonstration (dérivabilité)
dans Analyse
Bonjour,
Cette démonstration vous semble t-elle correcte ?
Théorème : Théorème de bijection et condition de dérivabilité en b = f(a) de la fonction réciproque
Soit f une fonction continue, strictement monotone de I vers J. Soit a $\in$ I tel que f'(a) $\neq$ 0. Si $f^{-1}$ est dérivable en $b = f(a)$ on a, $(f^{-1})'(b)=\frac{1}{f'(a)} = \frac{1}{f'(f^{-1}(b))}$ car en effet $a = f^{-1}(b)$
Démonstration :
Montrons que : $lim_{x\longrightarrow b}\frac{(f(x)-f(b)}{x-b} = f'(b)$ (condition de dérivabilité)
$\frac{f^{-1}(x) - f^{-1}(b)}{x-b} = \Bigg(\frac{f (f^{-1}(x)) - f (f^{-1}(b))}{f^{-1}(x) - f^{-1}(b)}\Bigg)^{-1}$
or $lim_{x\longrightarrow b} f^{-1}(x) = f^{-1}(b) = a$
On en déduit :
$lim_{x\longrightarrow b} \Bigg(\frac{f (f^{-1}(x)) - f (f^{-1}(b))}{f^{-1}(x) - f^{-1}(b)}\Bigg)^{-1} = (f'(b))^{-1}$
Merci d'avance.
Cette démonstration vous semble t-elle correcte ?
Théorème : Théorème de bijection et condition de dérivabilité en b = f(a) de la fonction réciproque
Soit f une fonction continue, strictement monotone de I vers J. Soit a $\in$ I tel que f'(a) $\neq$ 0. Si $f^{-1}$ est dérivable en $b = f(a)$ on a, $(f^{-1})'(b)=\frac{1}{f'(a)} = \frac{1}{f'(f^{-1}(b))}$ car en effet $a = f^{-1}(b)$
Démonstration :
Montrons que : $lim_{x\longrightarrow b}\frac{(f(x)-f(b)}{x-b} = f'(b)$ (condition de dérivabilité)
$\frac{f^{-1}(x) - f^{-1}(b)}{x-b} = \Bigg(\frac{f (f^{-1}(x)) - f (f^{-1}(b))}{f^{-1}(x) - f^{-1}(b)}\Bigg)^{-1}$
or $lim_{x\longrightarrow b} f^{-1}(x) = f^{-1}(b) = a$
On en déduit :
$lim_{x\longrightarrow b} \Bigg(\frac{f (f^{-1}(x)) - f (f^{-1}(b))}{f^{-1}(x) - f^{-1}(b)}\Bigg)^{-1} = (f'(b))^{-1}$
Merci d'avance.
Connectez-vous ou Inscrivez-vous pour répondre.
Réponses
En suivant tes conseils ...
Théorème : Théorème de bijection et condition de dérivabilité en b = f(a) de la fonction réciproque
Soit f une fonction continue, strictement monotone de I vers J. Soit $b \in I$ tel que $ f'(b) \neq 0$. etc
Démonstration :
$\frac{f^{-1}(x) - f^{-1}(b)}{x-b} = \Bigg(\frac{f (f^{-1}(x)) - f (f^{-1}(b))}{f^{-1}(x) - f^{-1}(b)}\Bigg)^{-1}$
$lim_{x\longrightarrow b} \Bigg(\frac{f (f^{-1}(x)) - f (f^{-1}(b))}{f^{-1}(x) - f^{-1}(b)}\Bigg)^{-1} = \frac{1}{f'(a)} = (f^{-1})'(b)$ (ça c'est bien la définition du nombre dérivé de f-1 en b ?)
Donc, $f^{-1}$ est dérivable en b (c'est ce que l'on cherche à démontrer en fait)
Peut tu m'éclairer le début de la démonstration ?
\lim_{x \to b}
\frac{f^{-1}(x) - f^{-1}(b)}{x-b}
$$ On passe à l'inverse pour réécrire : $$
\frac{x-b}{f^{-1}(x) - f^{-1}(b)}
= \frac{f(f^{-1}(x)) - f (f^{-1}(b))}{f^{-1}(x) - f^{-1}(b)}
$$ On reconnaît le taux d'accroissement de $f$ entre les points $y=f^{-1}(x)$ et $a = f^{-1}(b)$.
Il vient (détails techniques) $$
\lim_{x \to b} \frac{x-b}{f^{-1}(x) - f^{-1}(b)} =
\lim_{y \to a} \frac{f(y)-f(a)}{y-a} = f'(a).
$$ Ainsi $$
(f^{-1})'(b) =
\lim_{x \to b}
\frac{f^{-1}(x) - f^{-1}(b)}{x-b} = \frac{1}{f'(a)}$$
C'est tout de suite infiniment plus clair, merci beaucoup ;-)