Accueil > Publications > Relation différentielle et dérivée.
Relation différentielle et dérivée.
Dans le cadre d’une preuve du théorème des accroissements finis.
mardi 16 août 2016, par
Dans beaucoup de démonstrations, ce passage n’est pas explicité. Pourtant, il est loin d’être évident ! De quoi s’agit-il ?
Soit .
Soit avec et .
Soit , on a bien .
Il s’agit d’établir que .
Rappel : où . C’est justement ce que je savais, d’où mon étonnement de ne pas voir dans l’expression . Dans la démonstration que j’avais, ce résultat était donné comme évident ! Aurais-je loupé une partie du cours de calcul différentiel ? En fait, non. Il suffit de détailler quelques étapes.
D’abord puisque F est une fonction composée, nous pouvons expliciter sa différentielle dans le second membre de l’égalité. On obtient :
Or avec et .
D’où
D’autre part, est une application linéaire donc nous pouvons appliquer cette linéarité au second membre de l’expression précédente :
.
Pour finir, puisque , nous pouvons simplifier par ou prendre pour obtenir le résultat attendu :
.
La difficulté de cette démonstration, c’est de se rappeler à quels ensembles appartiennent les valeurs utilisées.
Attention, tout ceci n’est possible que parce que est un réel et c’est utilisant la linéarité de la différentielle que l’on peut le sortir et procéder à la simplification. Si n’était pas un réel, nous serions bloqués.
Sans doute devrais-je toujours garder à l’esprit que pour une fonction , signifie que c’est à dire