Résumé
Cette leçon définit la dérivée d’une fonction en un point comme une limite : celle des pentes des sécantes, qui est la pente de la tangente, et celle des vitesses moyennes, qui est la vitesse instantanée. Elle précise en quels points la définition a un sens, introduit les dérivées à gauche et à droite, la tangente et la normale, la fonction dérivée et la notation de Leibniz, et démontre que la dérivée admet trois formulations équivalentes : la limite du taux d’accroissement, l’approximation par une droite avec une erreur négligeable et la factorisation de Carathéodory. De cette dernière il découle que toute fonction dérivable est continue ; la valeur absolue et la racine cubique montrent que l’implication dans l’autre sens est fausse.
Objectifs d’apprentissage
- Définir la dérivée d’une fonction en un point comme la limite du taux d’accroissement, et l’interpréter comme la pente de la tangente et comme une vitesse instantanée.
- Calculer des dérivées à gauche et à droite et décider grâce à elles si une fonction est dérivable en un point.
- Démontrer l’équivalence entre le taux d’accroissement, l’approximation affine et la caractérisation de Carathéodory.
- Démontrer que toute fonction dérivable en un point est continue en ce point, et reconnaître des fonctions continues qui ne sont pas dérivables.
La tangente et la vitesse
Dans la leçon sur les paraboles, une droite est tangente à la courbe en un point lorsqu’elle ne la touche qu’en ce point sans la traverser. Cette idée suffit pour les coniques, mais non pour une courbe quelconque. À l’origine, la courbe se trouve sous l’axe horizontal à gauche et au-dessus à droite : toute droite passant par l’origine la traverse, et les droites avec ne la touchent qu’en ce point, car exige ou . Aucune droite ne remplit la condition, et pourtant l’axe horizontal est, à vue d’œil, la droite qui accompagne le mieux la courbe près de l’origine. Il faut donc une autre définition, qui ne dépende pas de la forme globale de la courbe, mais seulement de ce qui se passe près du point.
L’idée est ancienne : la tangente est la position limite des sécantes. Considérons une fonction et un point de sa courbe. Pour , la sécante qui passe par et par a pour pente
Lorsque s’approche de , le second point s’approche du premier, et si les pentes ont une limite, la droite qui passe par avec cette pente est la candidate au titre de tangente.
Soient et . Nous calculons les pentes de quelques sécantes passant par le point , puis leur limite. La figure montre chaque sécante et, à la fin, la tangente.
Démonstration
Avec , la sécante passe par et .
Avec , le second point est et la pente diminue.
En général, pour tout , positif ou négatif, la pente se simplifie ; avec elle vaut .
Lorsque tend vers , la pente tend vers . La droite qui passe par avec la pente est la tangente ; c’est celle que donnait le lemme de la tangente de la leçon sur les paraboles, avec .
La même limite apparaît dans l’étude d’un mouvement. Si est la position, à l’instant , d’un point qui se déplace sur une droite, le quotient est sa vitesse moyenne entre les instants et : le déplacement divisé par la durée écoulée. La vitesse à l’instant , celle qu’afficherait un compteur de vitesse, est la limite des vitesses moyennes lorsque tend vers . Par exemple, si , la vitesse moyenne entre et est , qui tend vers : à l’instant , le point se déplace vers la gauche à raison de deux unités de longueur par unité de temps. Les deux questions, celle de la tangente et celle de la vitesse, conduisent à la même limite, et c’est cette limite que l’on définit maintenant.
La dérivée en un point
Comme dans la leçon sur la limite d’une fonction, il faut d’abord préciser où la limite a un sens. Le quotient a besoin de la valeur , de sorte que doit appartenir à l’ensemble de définition ; et la limite lorsque tend vers exige que soit un point d’accumulation de l’ensemble de définition.
Soient une fonction réelle définie sur un ensemble de nombres réels, et un élément de qui est point d’accumulation de . Le taux d’accroissement de en est la fonction , définie pour les de distincts de . On dit que est dérivable en si le taux d’accroissement a une limite réelle lorsque tend vers ; ce nombre est la dérivée de en , et on le note :
Le quotient est défini sur , et est point d’accumulation de cet ensemble, car la définition de point d’accumulation ne regarde que les éléments distincts de . Par l’unicité de la limite, la dérivée, si elle existe, est unique. En un point isolé de l’ensemble de définition, la dérivée n’est pas définie, bien que toute fonction y soit continue. Et si le quotient tend vers ou vers , la fonction n’est pas dérivable en : la dérivée est un nombre réel. On écrit souvent la définition avec l’accroissement au lieu du point , comme dans l’exemple.
Sous les hypothèses de la définition, et en ne considérant que là où elle est définie :
C’est le changement de variable , que la proposition de translation et symétrie de la leçon sur les limites à gauche et à droite a fait pour un côté, maintenant pour les deux à la fois.
Démonstration
Soit le taux d’accroissement. La fonction , pour les tels que soit dans , tend vers , ne prend pas la valeur , et ses valeurs sont dans l’ensemble de définition de . Par le théorème de la composée de la leçon consacrée aux opérations sur les limites, si tend vers en , alors tend aussi vers en .
Réciproquement, la fonction , pour les de distincts de , tend vers et ne prend pas la valeur ; composée avec , elle donne le quotient , qui tend vers la même limite.
Les premières dérivées se calculent directement. Si , le taux d’accroissement vaut pour tout , et sa limite est : la dérivée d’une fonction affine est sa pente en tout point, et sa tangente est la droite elle-même. En particulier, la dérivée d’une constante est et celle de l’identité est . Pour , le calcul de l’exemple, avec au lieu de , donne , et la dérivée est .
Dérivées à gauche et à droite
Aux extrémités d’un intervalle, ou en un point où la fonction change de formule, il convient d’examiner le taux d’accroissement de chaque côté séparément.
Soit un élément de qui est point d’accumulation de . On dit que est dérivable à droite en si le taux d’accroissement a une limite réelle à droite en ; cette limite est la dérivée à droite, :
De même, si est point d’accumulation de , la dérivée à gauche, , est la limite à gauche du taux d’accroissement, avec la condition .
Soit un élément de .
- Si est point d’accumulation de et de , alors est dérivable en si et seulement si les dérivées à gauche et à droite existent et sont égales ; dans ce cas, .
- Si est point d’accumulation des points de d’un seul côté, alors est dérivable en si et seulement si elle est dérivable de ce côté, et la dérivée est la dérivée de ce côté.
Aucun argument nouveau n’est nécessaire : les dérivées à gauche et à droite sont les limites à gauche et à droite du taux d’accroissement, et la leçon sur les limites à gauche et à droite les a déjà reliées à la limite.
Démonstration
Dans le premier cas, le théorème de la limite, de la limite à gauche et de la limite à droite, appliqué au taux d’accroissement, donne l’équivalence.
Dans le second, la même leçon a observé que, lorsque est point d’accumulation des points de l’ensemble de définition d’un seul côté, la limite et la limite de ce côté coïncident : il existe un tel que tous les de avec soient de ce côté.
Par exemple, la valeur absolue a en le taux d’accroissement , qui vaut si et si : ses dérivées à droite et à gauche sont et , distinctes, et n’est pas dérivable en . En revanche, si une fonction est définie sur , sa dérivée en est sa dérivée à droite, et en , sa dérivée à gauche : la définition traite déjà les extrémités de l’ensemble de définition comme des côtés uniques. Par exemple, restreinte à est dérivable en , avec .
Tangente et normale
Avec la dérivée, la tangente cesse d’être une figure que l’on reconnaît à vue d’œil et devient une droite que l’on calcule.
Soit dérivable en . La tangente à la courbe de au point est la droite qui passe par ce point avec la pente :
La normale au même point est la perpendiculaire à la tangente qui passe par ce point : si , c’est la droite , et si , c’est la droite verticale .
La pente de la normale découle du théorème des droites perpendiculaires de la leçon sur l’équation de la droite : deux droites non verticales sont perpendiculaires si et seulement si le produit de leurs pentes vaut . Pour revenir à la courbe , son taux d’accroissement en est , qui tend vers : la tangente à l’origine est l’axe horizontal, bien qu’elle traverse la courbe. Lorsque est continue en et que le taux d’accroissement tend vers ou vers , les sécantes se rapprochent de la verticale ; on dit alors que la courbe a en une tangente verticale, la droite , bien que ne soit pas dérivable en .
De même, si est la position d’un point qui se déplace sur une droite, sa vitesse à l’instant est , si elle existe. Son signe indique le sens du mouvement, et sa valeur absolue, la norme de la vitesse. La leçon sur les taux de variation développera cette lecture.
La fonction dérivée et la notation de Leibniz
Chaque point où est dérivable fournit un nombre, sa dérivée en ce point. Avec tous ces nombres, on forme une nouvelle fonction.
Soit une fonction définie sur . La fonction dérivée de est la fonction qui associe à chaque point de où est dérivable le nombre ; son ensemble de définition est l’ensemble de ces points. Si est dérivable en tous les points d’un ensemble contenu dans , on dit qu’elle est dérivable sur ; et si elle l’est sur tout son ensemble de définition, on dit simplement qu’elle est dérivable.
Par exemple, la dérivée de est la fonction , définie sur tout ; celle de la valeur absolue vaut sur et sur , et son ensemble de définition ne contient pas . La notation , avec le prime, est due à Lagrange. L’autre notation usuelle est due à Leibniz : si , la dérivée s’écrit , ou , et l’opération de dériver par rapport à s’écrit devant l’expression que l’on dérive :
La notation rappelle d’où vient la dérivée. Si est l’accroissement de la variable et l’accroissement correspondant de la fonction, le taux d’accroissement est , et la dérivée est sa limite :
Il faut insister sur le fait que, pour l’instant, est un seul symbole et non un quotient : et n’ont pas encore de sens séparément ; ils en auront un dans la leçon sur les dérivées successives et la différentielle. La notation rend explicite la variable par rapport à laquelle on dérive : si la position dépend du temps, la vitesse s’écrit ou .
Trois caractérisations de la dérivée
La définition dit que le taux d’accroissement tend vers . Il y a deux autres façons de dire la même chose, chacune utile à une fin différente : la deuxième compare la fonction à sa tangente ; la troisième évite de diviser.
Soient une fonction définie sur , un élément de qui est point d’accumulation de , et un nombre réel. Les trois affirmations ci-dessous sont équivalentes :
- Taux d’accroissement. est dérivable en et .
- Approximation affine. lorsque tend vers ; autrement dit, le reste vérifie .
- Carathéodory. Il existe une fonction , continue en , avec , telle que pour tout de .
Le petit est celui de la leçon sur les infiniment petits et infiniment grands équivalents, avec considérée seulement là où elle est définie. La fonction est la pente de la sécante, complétée en par la dérivée. La figure montre, avec et , le reste entre la courbe et la tangente, une sécante et, à la fin, la courbe de , qui est ici la droite .
Démonstration
Première et deuxième : le quotient du reste par est le taux d’accroissement moins . Par le lemme de la limite comme distance qui tend vers zéro, de la leçon consacrée aux opérations sur les limites, il tend vers si et seulement si le taux d’accroissement tend vers , et par la forme incrémentale, cela équivaut à .
De la première à la troisième : on définit comme le taux d’accroissement hors de et comme en . L’égalité est vraie en tout par la définition, et en parce que ses deux membres valent . Comme est point d’accumulation de et que la limite de en est , la proposition sur la continuité et la limite de la leçon sur la limite et la continuité donne la continuité de en .
De la troisième à la première : si , on divise par , et le taux d’accroissement est la restriction de à . Comme est continue en , par la même proposition elle tend vers , et par le lemme de la restriction, de la leçon consacrée aux opérations sur les limites, le quotient aussi.
La fonction de la troisième caractérisation, lorsqu’elle existe, est unique : hors de , c’est le taux d’accroissement, et en sa valeur est la limite de ce quotient. La deuxième caractérisation explique en quel sens la tangente est la droite qui accompagne le mieux la courbe. Si l’on remplace par , avec une pente distincte de , l’erreur est , dont le quotient par tend vers : elle est du même ordre que . Ce n’est qu’avec la pente que l’erreur est négligeable devant . La troisième caractérisation a un avantage technique : c’est une égalité entre produits, sans divisions. Les leçons sur les règles de dérivation et sur la règle de dérivation en chaîne l’utiliseront pour ne pas diviser par des quantités qui peuvent s’annuler. La première conséquence est immédiate.
Si est dérivable en , alors est continue en . La factorisation de Carathéodory écrit au moyen d’opérations entre fonctions continues en .
Démonstration
Par le théorème des caractérisations, il existe , continue en , telle que pour tout de .
La constante et le polynôme sont continus en , et aussi. Par le théorème des opérations sur les fonctions continues, de la leçon sur la limite et la continuité, la somme de la constante et du produit est continue en .
L’implication dans l’autre sens est fausse. La continuité demande que tende vers ; la dérivabilité demande davantage : que son quotient par ait une limite, c’est-à-dire qu’il tende vers au moins aussi vite que et sans osciller entre des pentes différentes.
La valeur absolue et la racine cubique sont continues en et ne sont pas dérivables en : la première a des dérivées à gauche et à droite distinctes, et le taux d’accroissement de la seconde tend vers , de sorte que sa courbe a à l’origine une tangente verticale. Les deux sont continues par le corollaire des fonctions continues usuelles, de la leçon sur la limite et la continuité. La figure montre, pour la valeur absolue, les deux pentes à gauche et à droite et, pour la racine cubique, des sécantes de plus en plus raides.
Démonstration
Le taux d’accroissement de la valeur absolue en vaut à droite et à gauche. Les dérivées à droite et à gauche sont distinctes et, par la proposition sur la dérivée, la dérivée à gauche et la dérivée à droite, n’est pas dérivable en .
Le taux d’accroissement de la racine cubique en est l’inverse de , qui est strictement positif si et tend vers par la continuité de la racine. Par le lemme de l’inverse, de la leçon sur les limites infinies, le quotient tend vers , et il n’a pas de limite réelle.
Les deux fonctions sont en défaut en un seul point, mais il existe des fonctions continues sur toute la droite qui ne sont dérivables en aucun point ; Weierstrass a présenté en 1872 l’exemple le plus célèbre, dont la construction dépasse ce cours.
Problèmes résolus
Les problèmes sont de difficulté croissante : le premier calcule une dérivée qui cesse d’exister au bord de l’ensemble de définition ; le deuxième utilise la tangente pour découvrir une propriété de l’hyperbole ; le troisième montre que les dérivées à gauche et à droite peuvent ne pas exister ; le quatrième, qu’une fonction peut être dérivable en un seul point ; et le dernier combine la factorisation de Carathéodory avec les dérivées à gauche et à droite.
Étudier la dérivabilité de , définie sur , et trouver la tangente au point d’abscisse .
Solution
Si , le taux d’accroissement est de la forme ; on multiplie et on divise par l’expression conjuguée.
Par la continuité de la racine, le dénominateur tend vers , et par le théorème de la limite de l’inverse, de la leçon consacrée aux opérations sur les limites, le quotient tend vers . En , la dérivée est et la tangente passe par .
En , il n’y a de points de l’ensemble de définition qu’à droite, et par la proposition sur la dérivée, la dérivée à gauche et la dérivée à droite, la dérivée est la dérivée à droite. Le quotient est , et comme est strictement positif et tend vers , le lemme de l’inverse donne .
Par conséquent, est dérivable sur et ne l’est pas en , où elle est continue et où sa courbe a la tangente verticale . La fonction dérivée a un ensemble de définition plus petit que celui de la fonction.
Démontrer que la tangente à en un point , avec , forme avec les axes un triangle d’aire , quel que soit , et que le point de contact est le milieu du segment que les axes découpent sur elle.
Solution
Le taux d’accroissement se simplifie en soustrayant les fractions ; par le théorème de la limite de l’inverse, sa limite est .
La tangente passe par avec cette pente.
Avec on obtient l’intersection avec l’axe horizontal, et avec , l’intersection avec l’axe vertical. Le milieu de ces deux points est le point de contact.
Le triangle a pour côtés de l’angle droit et , portés par les axes. Son aire ne dépend pas de : la figure montre deux de ces triangles, de formes différentes et de même aire.
Soient et pour , et . Démontrer que est continue en et n’a en ni dérivée, ni dérivée à gauche, ni dérivée à droite, et que est dérivable en , avec .
Solution
Par le problème résolu 3 de la leçon sur la limite et la continuité, est continue en . Son taux d’accroissement en est .
Le problème proposé 3 de la leçon sur la limite a démontré que n’a pas de limite en au moyen de deux familles de points strictement positifs, où elle vaut et . Le même argument exclut la limite à droite ; avec les points opposés, où elle vaut et , on exclut celle à gauche.
En revanche, le taux d’accroissement de est , produit d’une fonction bornée par une autre qui tend vers ; par le théorème de la leçon sur le théorème des gendarmes, il tend vers .
Les deux fonctions oscillent une infinité de fois près de . L’oscillation de est majorée en valeur absolue par , qui est du même ordre que le dénominateur , et le quotient continue d’osciller ; celle de est majorée en valeur absolue par , qui est négligeable devant , et le quotient s’éteint.
Soit la fonction qui vaut si est rationnel et si est irrationnel. Démontrer que est dérivable en , avec , et qu’elle n’est dérivable en aucun autre point.
Solution
Soit la fonction du problème résolu 5 de la leçon sur la limite et la continuité, qui vaut sur les rationnels et sur les irrationnels. Alors pour tout , dans les deux cas.
En , le taux d’accroissement est , qui tend vers parce que ce problème a démontré que est continue en .
Soit . Si était continue en , le serait aussi, par la règle du quotient des opérations sur les fonctions continues, avec un dénominateur non nul en ; mais le même problème a démontré que est discontinue en . Par conséquent, est discontinue en , et par le théorème selon lequel dérivable implique continue, elle n’est pas dérivable en .
Soit une fonction définie sur un intervalle ouvert contenant , dérivable en et telle que . Démontrer que a en des dérivées à droite et à gauche égales à et , de sorte qu’elle est dérivable en si et seulement si . L’appliquer à et à en .
Solution
Par la caractérisation de Carathéodory, , avec continue en et . En passant aux valeurs absolues, le facteur vaut à droite et à gauche.
La fonction est continue en , par la composée de fonctions continues, et tend vers . Par la proposition sur la dérivée, la dérivée à gauche et la dérivée à droite, est dérivable en si et seulement si ses dérivées à droite et à gauche coïncident, c’est-à-dire si .
Le sinus vérifie , et son taux d’accroissement en est , qui tend vers par la limite trigonométrique fondamentale : a en les dérivées à droite et à gauche et , et n’est pas dérivable. Le cube a en le quotient , qui tend vers : est dérivable en , de dérivée .
Problèmes proposés
Les problèmes sont de difficulté croissante : le premier lit une dérivée dans la géométrie du disque et de la boule ; le deuxième cherche des normales passant par un point donné ; le troisième montre qu’une dérivée à droite peut exister là où la fonction fait un saut ; le quatrième compare la tangente de la dérivée avec celle du cercle ; et le dernier étudie un quotient qui ressemble à la dérivée sans l’être. Chacun a une indication, qu’il vaut mieux n’ouvrir qu’après avoir cherché le problème.
Soient l’aire du disque de rayon et le volume de la boule de rayon . Calculer, à l’aide de la définition, et , et reconnaître chaque résultat.
Indice
Développez et et simplifiez le taux d’accroissement avant de passer à la limite. L’accroissement de l’aire est l’aire d’une couronne de largeur .
Réponse
Ce sont le périmètre du cercle et l’aire de la sphère.
Trouver tous les points de la parabole dont la normale passe par le point , et écrire ces normales.
Indice
La normale en a pour pente si ; imposez qu’elle passe par . N’oubliez pas le cas , où la dérivée s’annule et où la normale est verticale.
Réponse
Trois points : , de normale , et , de normales .
Démontrer que la partie entière, , est dérivable en tout réel non entier, de dérivée , et qu’en chaque entier elle a une dérivée à droite, , mais pas de dérivée à gauche. Cela contredit-il le théorème selon lequel dérivable implique continue ?
Indice
En un entier , la fonction vaut à droite , et à gauche, : le taux d’accroissement vaut à droite et à gauche. Pour la dernière question, comparez l’hypothèse du théorème avec ce qui se passe en .
Réponse
Il n’y a pas de contradiction : la fonction n’est pas dérivable en ; la dérivée à droite ne donne que la continuité à droite (le théorème, appliqué à la restriction de à ), qui est vérifiée.
Soit , le demi-cercle supérieur de centre et de rayon . Calculer pour , démontrer que la tangente est perpendiculaire au rayon qui joint l’origine à , comme dans la leçon sur le cercle, et étudier ce qui se passe en .
Indice
Multipliez et divisez le taux d’accroissement par . Si , le rayon a pour pente ; si , il est vertical. En , il n’y a de points de l’ensemble de définition qu’à gauche.
Réponse
En , la tangente est horizontale et le rayon vertical. En le quotient tend vers , et en , vers : n’est pas dérivable en , et sa courbe y a des tangentes verticales.
Soit définie sur un intervalle ouvert contenant . Démontrer que, si est dérivable en , alors . Démontrer avec en que cette limite peut exister sans que soit dérivable.
Indice
Écrivez l’approximation affine pour et pour et soustrayez-les : les restes donnent . Pour la valeur absolue, le numérateur est .
Réponse
La valeur absolue a un taux d’accroissement symétrique égal à en , et n’y est pas dérivable.
Solution détaillée
Solution
Par l’approximation affine, avec , le reste vérifie . En changeant en , par le théorème de la composée, on a aussi .
On soustrait les deux égalités et on divise par ; par le théorème de la limite d’une combinaison linéaire, les deux quotients des restes donnent .
Pour la valeur absolue en , le numérateur est nul pour tout , et le taux d’accroissement symétrique tend vers ; pourtant, les dérivées à droite et à gauche sont et . Le taux d’accroissement symétrique fait la moyenne des deux pentes à gauche et à droite et masque le point anguleux.