\( %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% Mes commandes %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \newcommand{\multirows}[3]{\multirow{#1}{#2}{$#3$}}%pour rester en mode math \renewcommand{\arraystretch}{1.3}%pour augmenter la taille des case \newcommand{\point}[1]{\marginnote{\small\vspace*{-1em} #1}}%pour indiquer les points ou le temps \newcommand{\dpl}[1]{\displaystyle{#1}}%megamode \newcommand{\A}{\mathscr{A}} \newcommand{\LN}{\mathscr{N}} \newcommand{\LL}{\mathscr{L}} \newcommand{\K}{\mathbb{K}} \newcommand{\N}{\mathbb{N}} \newcommand{\Z}{\mathbb{Z}} \newcommand{\Q}{\mathbb{Q}} \newcommand{\R}{\mathbb{R}} \newcommand{\C}{\mathbb{C}} \newcommand{\M}{\mathcal{M}} \newcommand{\D}{\mathbb{D}} \newcommand{\E}{\mathcal{E}} \renewcommand{\P}{\mathcal{P}} \newcommand{\G}{\mathcal{G}} \newcommand{\Kk}{\mathcal{K}} \newcommand{\Cc}{\mathcal{C}} \newcommand{\Zz}{\mathcal{Z}} \newcommand{\Ss}{\mathcal{S}} \newcommand{\B}{\mathbb{B}} \newcommand{\inde}{\bot\!\!\!\bot} \newcommand{\Proba}{\mathbb{P}} \newcommand{\Esp}[1]{\dpl{\mathbb{E}\left(#1\right)}} \newcommand{\Var}[1]{\dpl{\mathbb{V}\left(#1\right)}} \newcommand{\Cov}[1]{\dpl{Cov\left(#1\right)}} \newcommand{\base}{\mathcal{B}} \newcommand{\Som}{\textbf{Som}} \newcommand{\Chain}{\textbf{Chain}} \newcommand{\Ar}{\textbf{Ar}} \newcommand{\Arc}{\textbf{Arc}} \newcommand{\Min}{\text{Min}} \newcommand{\Max}{\text{Max}} \newcommand{\Ker}{\text{Ker}} \renewcommand{\Im}{\text{Im}} \newcommand{\Sup}{\text{Sup}} \newcommand{\Inf}{\text{Inf}} \renewcommand{\det}{\texttt{det}} \newcommand{\GL}{\text{GL}} \newcommand{\crossmark}{\text{\ding{55}}} \renewcommand{\checkmark}{\text{\ding{51}}} \newcommand{\Card}{\sharp} \newcommand{\Surligne}[2]{\text{\colorbox{#1}{ #2 }}} \newcommand{\SurligneMM}[2]{\text{\colorbox{#1}{ #2 }}} \newcommand{\norm}[1]{\left\lVert#1\right\rVert} \renewcommand{\lim}[1]{\underset{#1}{lim}\,} \newcommand{\nonor}[1]{\left|#1\right|} \newcommand{\Un}{1\!\!1} \newcommand{\sepon}{\setlength{\columnseprule}{0.5pt}} \newcommand{\sepoff}{\setlength{\columnseprule}{0pt}} \newcommand{\flux}{Flux} \newcommand{\Cpp}{\texttt{C++\ }} \newcommand{\Python}{\texttt{Python\ }} %\newcommand{\comb}[2]{\begin{pmatrix} #1\\ #2\end{pmatrix}} \newcommand{\comb}[2]{C_{#1}^{#2}} \newcommand{\arrang}[2]{A_{#1}^{#2}} \newcommand{\supp}[1]{Supp\left(#1\right)} \newcommand{\BB}{\mathcal{B}} \newcommand{\arc}[1]{\overset{\rotatebox{90}{)}}{#1}} \newcommand{\modpi}{\equiv_{2\pi}} \renewcommand{\Re}{Re} \renewcommand{\Im}{Im} \renewcommand{\bar}[1]{\overline{#1}} \newcommand{\mat}{\mathcal{M}} \newcommand{\und}[1]{{\mathbf{\color{red}\underline{#1}}}} \newcommand{\rdots}{\text{\reflectbox{$\ddots$}}} \newcommand{\Compa}{Compa} \newcommand{\dint}{\dpl{\int}} \newcommand{\intEFF}[2]{\left[\!\left[#1 ; #2\right]\!\right]} \newcommand{\intEFO}[2]{\left[\!\left[#1 ; #2\right[\!\right[} \newcommand{\intEOF}[2]{\left]\!\left]#1 ; #2\right]\!\right]} \newcommand{\intEOO}[2]{\left]\!\left]#1 ; #2\right[\!\right[} \newcommand{\ou}{\vee} \newcommand{\et}{\wedge} \newcommand{\non}{\neg} \newcommand{\implique}{\Rightarrow} \newcommand{\equivalent}{\Leftrightarrow} \newcommand{\Ab}{\overline{A}} \newcommand{\Bb}{\overline{B}} \newcommand{\Cb}{\overline{C}} \newcommand{\Cl}{\texttt{Cl}} \newcommand{\ab}{\overline{a}} \newcommand{\bb}{\overline{b}} \newcommand{\cb}{\overline{c}} \newcommand{\Rel}{\mathcal{R}} \newcommand{\superepsilon}{\varepsilon\!\!\varepsilon} \newcommand{\supere}{e\!\!e} \makeatletter \newenvironment{console}{\noindent\color{white}\begin{lrbox}{\@tempboxa}\begin{minipage}{\columnwidth} \ttfamily \bfseries\vspace*{0.5cm}} {\vspace*{0.5cm}\end{minipage}\end{lrbox}\colorbox{black}{\usebox{\@tempboxa}} } \makeatother \def\ie{\textit{i.e. }} \def\cf{\textit{c.f. }} \def\vide{ { $ {\text{ }} $ } } %Commande pour les vecteurs \newcommand{\grad}{\overrightarrow{Grad}} \newcommand{\Vv}{\overrightarrow{v}} \newcommand{\Vu}{\overrightarrow{u}} \newcommand{\Vw}{\overrightarrow{w}} \newcommand{\Vup}{\overrightarrow{u'}} \newcommand{\Zero}{\overrightarrow{0}} \newcommand{\Vx}{\overrightarrow{x}} \newcommand{\Vy}{\overrightarrow{y}} \newcommand{\Vz}{\overrightarrow{z}} \newcommand{\Vt}{\overrightarrow{t}} \newcommand{\Va}{\overrightarrow{a}} \newcommand{\Vb}{\overrightarrow{b}} \newcommand{\Vc}{\overrightarrow{c}} \newcommand{\Vd}{\overrightarrow{d}} \newcommand{\Ve}[1]{\overrightarrow{e_{#1}}} \newcommand{\Vf}[1]{\overrightarrow{f_{#1}}} \newcommand{\Vn}{\overrightarrow{0}} \newcommand{\Mat}{Mat} \newcommand{\Pass}{Pass} \newcommand{\mkF}{\mathfrak{F}} \renewcommand{\sp}{Sp} \newcommand{\Co}{Co} \newcommand{\vect}[1]{\texttt{Vect}\dpl{\left( #1\right)}} \newcommand{\prodscal}[2]{\dpl{\left\langle #1\left|\vphantom{#1 #2}\right. #2\right\rangle}} \newcommand{\trans}[1]{{\vphantom{#1}}^{t}{#1}} \newcommand{\ortho}[1]{{#1}^{\bot}} \newcommand{\oplusbot}{\overset{\bot}{\oplus}} \SelectTips{cm}{12}%Change le bout des flèches dans un xymatrix \newcommand{\pourDES}[8]{ \begin{itemize} \item Pour la ligne : le premier et dernier caractère forment $#1#2$ soit $#4$ en base 10. \item Pour la colonne : les autres caractères du bloc forment $#3$ soit $#5$ en base 10. \item A l'intersection de la ligne $#4+1$ et de la colonne $#5+1$ de $S_{#8}$ se trouve l'entier $#6$ qui, codé sur $4$ bits, est \textbf{\texttt{$#7$}}. \end{itemize} } \)

Dérivés

A quoi ça sert les math ?

Cette question est tout à fait légitime et trouve de nombreuses réponses qui dépendent du champ des mathématiques dont on parle, de la personne qui pose la question ou de la personne qui répond. Une des réponses les plus élégante serait de commencer à dire que les mathématiques, avant d'être une science à part, étaient considérées comme un outil pour les autres sciences. Nombreux scientifiques de l'époque étaient physiciens ou chimistes en même temps qu'ils étaient mathématiciens. Par exemple, Gauss dont nous avons parler dans le chapitre sur la résolution des systèmes était astronome de métier. Il n'en est pas moins appeler le prince des mathématiques aujourd'hui. Pour parler de ce nouveau chapitre nous allons nous immerger très légèrement dans le monde de la physique et essayer ensemble de faire comme nos ancêtres et réinventer la dérivation. Nous allons parler de vitesse. La vitesse mesure la distance parcouru en un laps de temps donnée. Sur le graphique ci dessous, il vous est représenté le parcours de votre serviteur depuis chez lui jusqu'au marché de la ville. En abscisse le temps mesuré en minute, en ordonnée la distance parcouru mesurée en kilomètre. La petite histoire de ce graphique est la suivante :
  1. Je part de chez moi.
  2. Je me rend à pied jusqu'à l'arrêt de bus.
  3. Je me rend compte que j'ai oublié de prendre un ticket de bus je rentre chez moi le prendre.
  4. Je repart immédiatement de chez moi vers l'arrêt de bus en courant pour ne pas le rater.
  5. J'ai raté le bus et je dois donc en attendre un autre.
  6. Le bus arrive, je monte dedans et me laisse transporter jusqu'à la station "Mairie".
  7. Une fois arriver je marche tranquillement vers la place du marché (pour me rendre compte que nous sommes vendredi et qu'il n'y a pas marché #vecu).
Malgré le périple, il m'a fallut 24 minutes pour parcourir les 3 kilomètres qui me sépare du marché. La vitesse est la distance par rapport au temps. Ici \( \dfrac{3km}{24min}\) . Multiplions par \( 2,5\) au numérateur et dénominateur pour obtenir \( \dfrac{7,5km}{60min}\) soit \( 7,5\) km/h. Cette information est quelques peu trompeuse. En tant que marcheur \( 7,5\) km/h est une marche très sportive, mais pour le bus \( 7,5\) km/h est très mauvais. Poser une question de raffinement sur ces information cinétique équivaut à se poser une question du genre : quelle était ma vitesse \( 20\) minutes après mon départ ? Pour comprendre cela isolons les dernières minutes de mon trajet (parties 6 et 7):
La vitesse moyenne uniquement sur cette portion correspond toujours à la distance, ici \( 2,5\) km par rapport au temps, ici \( 8\) minutes. Cela correspond à une vitesse de \( 18,75\) km/h. Rapprochons-nous un peu plus du \( 20\) pour déterminer la vitesse à la \( 20\) ième minutes. Pour généraliser un peu plus imaginons que le graphe soit le dessin de la courbe représentative d'une fonction \( f\) .
Dans ce cas, comme toujours d'ailleurs, la vitesse est la distance parcouru sur le temps de parcours soit \( \dfrac{f(22)-f(18)}{22-18}\) . Et comme c'est le but ici on souhaite se rapprocher de 20. Nous avons vu dans le précédent chapitre que "se rapprocher de" se traduisait mathématiquement par la notion de limite. On définie donc la vitesse instantanée, qui s'oppose à la vitesse moyenne, comme la vitesse moyenne infiniment proche de la valeur cherchée. Si cette limite existe (dans le sens ou la limite inférieur et supérieur sont les même et sont finies) on dira que la fonction est dérivable.

Définition


Soit \( f\) une fonction définie en \( a\in \mathbb{R}\) de son domaine de définition. Si \[\lim{x\rightarrow a^+}\dfrac{f(x)-f(a)}{x-a}= \lim{x\rightarrow a^-}\dfrac{f(x)-f(a)}{x-a} \] et que ces deux limites sont finies, alors on appellera la valeur de ces limites la dérivé de la fonction \( f\) en \( a\) que l'on notera \( f'(a)\) . Précisément : \[ f'(a)=\lim{x\rightarrow a}\dfrac{f(x)-f(a)}{x-a} \]
Quelque soit la fonction que nous traitons, cette limite est toujours une forme indéterminée (de la forme \( 0/0\) ). Ca serait beaucoup moins intéressant sinon ^_^. Par exemple dérivons en \( a=3\) la fonction \( f(x)=x^2\) . Revenons à la définition et essayons de simplifier la limite, qui est malheureusement par construction, toujours une forme indéterminée. Ici l'idée est d'utiliser une identité remarquable. \begin{eqnarray*} f'(3)&=&\lim{x\rightarrow 3} \dfrac{x^2-3^2}{x-3}\\ &=& \lim{x\rightarrow 3} \dfrac{(x-3)(x+3)}{x-3}\\ &=& \lim{x\rightarrow 3}(x+3)\\ &=& 6 \end{eqnarray*} Conclusion \( f'(3)=6\) . Nous venons de voir la définition qui en tant que tel n'est pas évidente de prime abord. Et nous espérons que vous l'aurez compris, ça sert à calculer la vitesse instantanée. Mais tout ce travail pour calculer une vitesse serait un peu trop de gâchis de concept mathématiques. Puis surtout, en pratique comme procède t-on au calcul ? Les réponses arrivent !

Tangente

Continuons sur notre lancée théorique avant de passer à la pratique et observons un peu plus en détail ce nouveau jouet qu'est la définition de la dérivé.
Sur ce graphique, on observe que plus \( x\) se rapproche de \( a\) plus les droites (en noire - on les appelle savamment des cordes) vont se retrouver collées à la courbe. A la limite, de tel droite collée à la courbe, sont appelée des tangente. Quelle est l'équation de la droite qui passe par les points de coordonnée \( (a,f(a))\) et \( (x, f(x))\) sachant que \( x\) se destine à se rapprocher de \( a\) ? D'après les précédents chapitres nous avons vus que cette droite a pour équation \[Y=\dfrac{f(x)-f(a)}{x-a}(X-a)+f(a)\] Les variables \( X\) et \( Y\) permettent de donner l'équation de la droite tandis que \( x\) désigne un réel de l'axe des abscisses. Il suffit de passer à la limite lorsque \( x\rightarrow a\) pour déterminer l'équation de la tangente.

Définition


L'équation de la tangente à la courbe représentative d'une fonction \( f\) définie en un réel \( a\) est donnée par \[ T_a\quad : \quad Y=f'(a)(X-a)+f(a) \]
Par exemple la tangente de la fonction carré en \( a=3\) est \( T_3:\ y=6(x-3)+3^2=6x-9\)

Dérivées usuelles et fonctions dérivées

Dans le calcul que nous avions fait dans les paragraphes précédents pour calculer la dérivée de la fonction carré en \( 3\) , que l'on ai mis un \( 3\) ou un \( 42\) ça ne change pas le travail : \begin{eqnarray*} f'(a)&=&\lim{x\rightarrow a} \dfrac{x^2-a^2}{x-a}\\ &=& \lim{x\rightarrow a} \dfrac{(x-a)(x+a)}{x-a}\\ &=& \lim{x\rightarrow a}(x+a)\\ &=& 2a \end{eqnarray*} Le cas de la fonction carré est réglé ! C'est l'occasion de parler de fonction dérivée.

Définition


La fonction dérivée d'une fonction \( f\) est la fonction notée \( f'\) tel que la valeur de \( f'\) en \( a\) est le nombre dérivé de la fonction \( f\) en \( a\) .
Nous avons par exemple montré que la fonction dérivée de la fonction carré est \( f'(x)=2x\) . Qu'en est-il de la fonction cube \( g(x)=x^3\) . Abracadabra ! Voici une formule sorti de nul part : \( x^3-y^3=(x-y)(x^2+xy+y^2)\) . Attaquons à présent le calcul de la limite : \begin{eqnarray*} g'(a)&=&\lim{x\rightarrow a} \dfrac{x^3-a^3}{x-a}\\ &=& \lim{x\rightarrow a} \dfrac{(x-a)(x^2+ax+a^2)}{x-a}\\ &=& \lim{x\rightarrow a} (x^2+ax+a^2)\\ &=& 3a^2 \end{eqnarray*} En conclusion \( g'(x)=3x^2\) . Commençons par faire peur : OUI ! Pour calculer des dérivées (en tant que fonction ou valeur numérique) il n'y a pas d'autre solution que de passer par la définition de limite ! Mais pas d'inquiétude. Beaucoup de mathématiciens ont établis un formulaire recensant les dérivées des fonctions usuelles (et oui, il faut les apprendre et les connaitre par cœur) :

Proposition


Soit \( n\) un entier strictement positif et \( k\) un nombre réel alors \[f(x)=k\qquad \Rightarrow \qquad f'(x)=0\] \[f(x)=x^n\qquad \Rightarrow \qquad f'(x)=nx^{n-1}\] \[f(x)=\dfrac{1}{x^n}\qquad \Rightarrow \qquad f'(x)=-\dfrac{n}{x^{n+1}}\] \[f(x)=\sqrt{x}\qquad \Rightarrow \qquad f'(x)=\dfrac{1}{2\sqrt{x}}\]
On retrouve par exemple les formules que nous avons trouvé à l'aide du calcul de limite sur les fonctions carré et cube.

Opérations sur les dérivées

Et si nous souhaitions dériver la fonction \( x+1\) ? Nous savons dérivé \( x=x^1\) qui admet \( 1x^0=1\) comme dérivé et la dérivé du nombre réel \( 1\) est \( 0\) . Qu'en est-il de la somme ?

Proposition


\[(f+g)'=f'+g'\]

Démonstration

En passant à la limite dans cette formule on prouve le résultat. \[\dfrac{[f(x)+g(x)]-[f(a)+g(a)]}{x-a}=\dfrac{f(x)-f(a)}{x-a}+\dfrac{f(x)-f(a)}{x-a}\]
Ainsi la fonction dérivée de \( x^2+x+1\) est \( 2x+1\) . Qu'en est-il de la fonction dérivée de la \( x^2-3x+\dfrac{1}{x}\) . Les précédents résultats nous donnent \[\left(x^2-3x+\dfrac{1}{x}\right)'= \left(x^2\right)'-\left(3x\right)'+\left(\dfrac{1}{x}\right)'= 2x-\left(3x\right)'-\dfrac{1}{x^2} \] Réglons le problème de \( \left(3x\right)'\) à coup de théorème !

Proposition


\[(\lambda f)'=\lambda f'\]

Démonstration

En passant à la limite dans cette formule on prouve le résultat. \[ \dfrac{\lambda f(x)-\lambda f(a)}{x-a}=\lambda\dfrac{f(x)-f(a)}{x-a} \]
En d'autre terme la dérivé de \( 3x\) c'est \( 3\) fois la dérivée de \( x\) (qui est \( 1\) ). Au final \[\left(x^2-3x+\dfrac{1}{x}\right)'= 2x-3-\dfrac{1}{x^2} \] Et qu'en est-il de la fonction dérivée de \( (\sqrt{x}+1)\times \dfrac{1}{x}\) . Bon soyons claire : ca va commencer a devenir n'importe quoi, mais ça marche !

Proposition


\[(fg)'=f'g+g'f\]

Démonstration

En passant à la limite dans cette égalité on prouve le résultat : \begin{eqnarray*} \dfrac{f(x)g(x)-f(a)g(a)}{x-a}&=&\dfrac{f(x)g(x)-f(x)g(a)+f(x)g(a)-f(a)g(a)}{x-a}\\ &=&\dfrac{f(x)g(x)-f(x)g(a)}{x-a}+\dfrac{f(x)g(a)-f(a)g(a)}{x-a}\\ &=&f(x)\dfrac{g(x)-g(a)}{x-a}+g(a)\dfrac{f(x)-f(a)}{x-a} \end{eqnarray*}
Ainsi \begin{eqnarray*} \left((\sqrt{x}+1)\dfrac{1}{x}\right)'&=& (\sqrt{x}+1)'\dfrac{1}{x}+(\sqrt{x}+1)\left(\dfrac{1}{x}\right)'\\ &=&\dfrac{1}{2\sqrt{x}}\dfrac{1}{x}+(\sqrt{x}+1)\left(-\dfrac{1}{x^2}\right) \end{eqnarray*} En conclusion \( \left((\sqrt{x}+1)\dfrac{1}{x}\right)'=\dfrac{1}{2x\sqrt{x}}-\dfrac{\sqrt{x}+1}{x^2}\) (les plus savant pour chercher à simplifier davantage cette dérivée et montrer que \( \left((\sqrt{x}+1)\dfrac{1}{x}\right)'=-\dfrac{\sqrt{x}+2}{2x^2}\) en utilisant le fait que \( \sqrt{x}^2=x\) ). Et qu'en est-il de la fonction dérivée de la fonction \( \dfrac{x}{x+1}\) ?

Proposition


\[\left(\dfrac{f}{g}\right)'=\dfrac{f'g-g'f}{g^2}\]

Démonstration

En passant à la limite dans cette égalité on prouve le résultat : \begin{eqnarray*} \dfrac{\dfrac{f(x)}{g(x)}-\dfrac{f(a)}{g(a)}}{x-a}&=& \dfrac{\dfrac{f(x)g(a)}{g(x)g(a)}-\dfrac{g(x)f(a)}{g(x)g(a)}}{x-a}\\ &=& \dfrac{\dfrac{f(x)g(a)-g(x)f(a)}{g(x)g(a)}}{x-a}\\ &=& \dfrac{f(x)g(a)-g(x)f(a)}{g(x)g(a)(x-a)}\\ &=& \dfrac{f(x)g(a)-f(a)g(a)+f(a)g(a)-g(x)f(a)}{g(x)g(a)(x-a)}\\ &=& \dfrac{f(x)g(a)-f(a)g(a)}{g(x)g(a)(x-a)}+\dfrac{f(a)g(a)-g(x)f(a)}{g(x)g(a)(x-a)}\\ &=& \dfrac{f(x)g(a)-f(a)g(a)}{g(x)g(a)(x-a)}-\dfrac{f(a)g(x)-g(a)f(a)}{g(x)g(a)(x-a)}\\ &=& g(a)\dfrac{f(x)-f(a)}{g(x)g(a)(x-a)}-f(a)\dfrac{g(x)-g(a)}{g(x)g(a)(x-a)}\\ &=&\dfrac{g(a)\dfrac{f(x)-f(a)}{x-a}-f(a)\dfrac{g(x)-g(a)}{x-a}}{g(x)g(a)} \end{eqnarray*}
Sur notre exemple \begin{eqnarray*} \left(\dfrac{x}{x+1}\right)'&=& \dfrac{(x)'(x+1)-(x+1)'(x)}{(x+1)^2}\\ &=&\dfrac{1(x+1)-1(x)}{(x+1)^2}\\ &=&\dfrac{1}{(x+1)^2} \end{eqnarray*} Et qu'en est-il de la fonction dérivé de \( \sqrt{x^2+x}\) ?

Proposition


\[(f(g))'=f'(g)\times g'\]

Démonstration

On a \[\dfrac{f(g(x))-f(g(a))}{x-a}=\dfrac{f(g(x))-f(g(a))}{g(x)-g(a)}\times \dfrac{g(x)-g(a)}{x-a}\] D'un coté \( \lim{x\rightarrow a} \dfrac{g(x)-g(a)}{x-a}=g'(a)\) de l'autre coté en effectuant le changement de variable \( y=g(x)\) on a, par définition du nombre dérivée \( \lim{x\rightarrow a} \dfrac{f(g(x))-f(g(a))}{g(x)-g(a)}=\lim{y\rightarrow g(a)} \dfrac{f(y)-f(g(a))}{y-g(a)}=f'(g(a))\) .
Ainsi \( (\sqrt{x^2+x})'=\dfrac{1}{2\sqrt{x^2+x}}\times (x^2+x)'=\dfrac{1}{2\sqrt{x^2+x}}\times (2x+1)= \dfrac{2x+1}{2\sqrt{x^2+x}}\) En particulier ce dernier résultat permet d'obtenir un petit peu plus de formule de dérivation (il n'y en avait pas assez comme ça !)

Corollaire


Soient \( n\) un entier strictement positif \( u\) une fonction \[f(x)=u(x)^n\qquad \Rightarrow \qquad f'(x)=nu(x)^{n-1}\times u'(x)\] \[f(x)=\dfrac{1}{u(x)^n}\qquad \Rightarrow \qquad f'(x)=-\dfrac{n}{u(x)^{n+1}}\times u'(x)\] \[f(x)=\sqrt{u(x)}\qquad \Rightarrow \qquad f'(x)=\dfrac{1}{2\sqrt{u(x)}}\times u'(x)\]
Par exemple déterminons l'équation de la tangente à la courbe représentative de la fonction \( f\) définie sur \( \mathbb{R}\) par \( f(x)=\dfrac{1}{2}x^2-x+1\) en \( a=0\) . D'après les paragraphes précédents \( T_0:\ y=f'(0)(x-0)+f(0)\) . D'une part \( f'(x)=x-1\) d'où \( f'(0)=-1\) et d'autre part \( f(0)=1\) . En conclusion l'équation de la tangente est \( y=-x+1\) .

Variations et dérivations

Lorsque l'on se donne une fonction, on souhaite l'étudier. Ce que nous avons déja explorer avec l'étude du domaine de définition ou des translations de fonction de références. D'autre informations son a extraire de la fonction. L'une d'elle est ce que l'on appelle les variations de la fonction ce qui se traduit vulgairement par : quand est-ce que la fonction monte et quand-est-ce qu'elle descend.

Définition


\( \bullet\)
On dira qu'une fonction \( f\) est strictement croissante sur un intervalle \( I\) si pour tout réels \( \alpha\) et \( \beta\) de \( I\) tel que \( \alpha {<} \beta\) alors \( f(\alpha){<}f(\beta)\) .

\( \bullet\)
On dira qu'une fonction \( f\) est croissante sur un intervalle \( I\) si pour tout réels \( \alpha\) et \( \beta\) de \( I\) tel que \( \alpha {<} \beta\) alors \( f(\alpha)\leqslant f(\beta)\) .

\( \bullet\)
On dira qu'une fonction \( f\) est strictement décroissante sur un intervalle \( I\) si pour tout réels \( \alpha\) et \( \beta\) de \( I\) tel que \( \alpha {<} \beta\) alors \( f(\alpha){>}f(\beta)\) .

\( \bullet\)
On dira qu'une fonction \( f\) est décroissante sur un intervalle \( I\) si pour tout réels \( \alpha\) et \( \beta\) de \( I\) tel que \( \alpha {<} \beta\) alors \( f(\alpha)\geqslant f(\beta)\) .
Plaçons nous par exemple sur l'intervalle \( ]0 ; +\infty[\) et étudions les variations de la fonction \( f(x)=x^2\) . Soit \( 0{<}\alpha{<}\beta\) alors \[f(\alpha)-f(\beta)=\alpha^2-\beta^2=(\alpha-\beta)(\alpha+\beta)\] Puisque \( \alpha\) et \( \beta\) sont tout deux positifs alors \( \alpha+\beta{>}0\) et puisque \( \alpha {<} \beta\) alors \( \alpha-\beta{<}0\) . La règle des signes nous donne donc que \( \alpha^2-\beta^2\) est négatif soit encore \( f(\alpha){<}f(\beta)\) et donc que la fonction carré est strictement croissante sur \( ]0; +\infty[\) On montrerai de même que la fonction carré est strictement décroissante sur \( ]-\infty; 0[\) . Pour compiler ces informations de variation on réalise un tableau de variation qui comporte deux lignes : une ligne pour spécifier les valeurs de \( x\) classer dans l'ordre croissant, comme pour les tableaux de signe et une seconde ligne représentant les variations par des flèches qui montent pour signaler la croissance ou qui descende pour signaler la décroissance. Le tableau de variation de la fonction carré est donc le suivant :
On complète souvent le tableau de variation en mettant les valeurs des limites au bout des flèches :
Cet exemple était assez facile. Les droites, c'est à dire les fonctions affines ont aussi des variations faciles à étudier.

Proposition


Soit \( f\) une fonction affine de coefficient directeur \( a\) .
\( \bullet\)
Si \( a{>}0\) la droite est strictement croissante.

\( \bullet\)
Si \( a{<}0\) la droite est strictement décroissante.

\( \bullet\)
Si \( a=0\) la droite est constante.
où \( f(x)=k\)
En se servant des variations des droites ainsi que du lien entre tangente et dérivation, nous pouvons obtenir les variations d'une fonction. Reprenons le graphique qui nous a mené à la notion de tangente
Les droites successives, qui tendent vers la tangente, sont toutes croissante car le coefficient directeur est \( \dfrac{f(x)-f(a)}{x-a}\) est positif puisque \( a{<}x\) et que la fonction \( f\) est croissante. A la limite ce caractère sera conservé. Cela permet d'en déduire le théorème suivant.

Théorème


\( \bullet\)
Si \( f'\) existe et est positive sur un intervalle \( I\) alors la fonction \( f\) est croissante sur \( I\) .

\( \bullet\)
Si \( f'\) existe et est négative sur un intervalle \( I\) alors la fonction \( f\) est décroissante sur \( I\) .
Autrement dis : étudier les variations d'une fonction reviens à étudier le signe de sa dérivé. La dérivé de la fonction \( f(x)=x^2\) est \( f'(x)=2x\) . Naturellement \( 2x\) est positif lorsque \( x\) est positif donc la fonction \( f\) sera croissante sur cet intervalle ce que nous avions déjà déterminer.

Exemple

Étudions la fonction \( f(x)=x+\dfrac{x}{x^2-1}\) . Nous voyons une fraction, il faut donc que le dénominateur, \( x^2-1\) , ne s'annule pas. En utilisant une identité remarquable ou une les formules de calculs des racines pour les polynômes de degrés 2, nous pouvons rapidement conclure que le domaine de définition de cette fonction est \( \mathbb{R}-\{-1 ; 1\}\) . Le but étant de déterminer le signe de la dérivé, c'est à dire de résoudre une inéquation de la forme \( f'(x){>}0\) , nous allons calculer la dérivée et la factoriser au maximum. \begin{eqnarray*} f'(x)&=& 1+\dfrac{(x)'(x^2-1)-(x^2-1)x}{(x^2-1)^2}\\ &=& \dfrac{(x^2-1)^2+1(x^2-1)-2xx}{(x^2-1)^2}\\ &=& \dfrac{(x^2-1)^2+x^2-1-2x^2}{(x^2-1)^2}\\ &=& \dfrac{x^4-2x^2+1+x^2-1-2x^2}{(x^2-1)^2}\\ &=& \dfrac{x^4-3x^2}{(x^2-1)^2}\\ &=& \dfrac{x^2(x^2-3)}{(x^2-1)^2} \end{eqnarray*} Nous allons a présent dresser le tableau de signe et par la même le tableau de variation. Dans le tableau de variation comme dans les tableaux de signe on signale les valeurs interdites par une double barre.
Une étude de limite permet alors de finaliser le tableau :
Le tableau de variation suffit en générale pour donner l'allure de la courbe représentative de la fonction \( f\) . D'une part les valeurs finie de la fonction donne des point de passage. Dans notre exemple nous savons que la courbe passera par les points \( \left(-\sqrt{3}, -\dfrac{3\sqrt{3}}{2}\right)\) , \( \left(0, 0\right)\) et \( \left(\sqrt{3}, \dfrac{3\sqrt{3}}{2}\right)\) .
De plus, par construction, le coefficient directeur d'une tangente est le nombre dérivé. Lorsque la dérivée s'annule, on en déduit que la tangente est horizontale. Cela donnera une information sur le comportement autour de la tangente puisque par définition de tangente, cette droite "frôle" la courbe. Ainsi la courbe sera horizontale autour des tangente horizontale ! On trace donc des morceaux de droite horizontale lorsque la dérivée s'annule :
Pour obtenir finalement