In matematica, la derivata è una funzione che rappresenta il tasso di cambiamento di una data funzione rispetto a una certa variabile, vale a dire la misura di quanto il valore di una funzione cambi al variare del suo argomento. Più informalmente, la derivata misura la crescita (o decrescita) che avrebbe una funzione in uno specifico punto spostandosi di pochissimo dal punto considerato.

La derivata ${\displaystyle f'(x)}$ di una funzione ${\displaystyle f(x)}$ in un punto ${\displaystyle x_{0}}$, nel caso di funzioni a una variabile nel campo reale, corrisponde alla pendenza della retta tangente al grafico della funzione ${\displaystyle f(x)}$ nel punto ${\displaystyle x_{0}}$ e ne rappresenta la migliore approssimazione lineare. Nel caso in cui la derivata esista (cioè la funzione sia derivabile) in ogni punto del dominio, la si può vedere a sua volta come una funzione che associa a ogni punto proprio la derivata in quel punto.

Il concetto di derivata è, insieme a quello di integrale, uno dei cardini dell'analisi matematica e del calcolo infinitesimale. Il significato pratico di derivata è il tasso di variazione di una certa grandezza presa in considerazione. Un esempio molto noto di derivata è la variazione della posizione di un oggetto rispetto al tempo, chiamata velocità istantanea.

La derivata di una funzione ${\displaystyle f}$ in un punto ${\displaystyle x_{0}}$ è il valore del coefficiente angolare della retta tangente alla curva nel punto, cioè la tangente trigonometrica dell'angolo formato dalla tangente in un punto della curva di equazione ${\displaystyle y=f(x)}$ e l'asse delle ascisse. Se la derivata di una funzione ${\displaystyle f}$ in un punto ${\displaystyle x_{0}}$ è ${\displaystyle f'(x)=0}$, la retta tangente al grafico della funzione ${\displaystyle f(x)}$ è parallela all'asse delle ascisse, mentre se il limite mediante cui si calcola la derivata in un punto ${\displaystyle x_{0}}$ è infinito la retta tangente al grafico della funzione ${\displaystyle f(x)}$ è parallela all'asse delle ordinate. La funzione derivata si ricava con una serie di operazioni algebriche note come regole di derivazione, applicabili universalmente a tutte le funzioni derivabili.

Nel caso di funzioni di più variabili la tangente in un punto alla curva della funzione non è unica, ma varia a seconda della direzione scelta. Non si può più quindi definire una sola funzione delle stesse variabili indipendenti che renda conto della pendenza del grafico della funzione in un punto: si ricorre allora alle derivate parziali della funzione, cioè ai coefficienti angolari di tangenti considerate lungo direzioni parallele agli assi che rappresentano le variabili indipendenti.

Le derivate parziali sono tante quante il numero delle variabili stesse, e una loro notevole proprietà è che se la funzione è sufficientemente "regolare" (cioè differenziabile) è possibile calcolarne la tangente lungo una direzione qualunque con una combinazione lineare delle derivate parziali stesse. Questo è possibile perché l'operatore di derivazione è un operatore lineare, e quindi la derivata di una combinazione lineare di funzioni derivabili è la combinazione lineare delle derivate delle singole funzioni, e la derivata del prodotto di uno scalare per una funzione è il prodotto dello scalare per la derivata della funzione.

La nozione di derivata si introduce, nel caso di funzione a una variabile indipendente nel campo reale, considerando una funzione reale ${\displaystyle f(x)}$ di variabile reale ${\displaystyle x}$ e un punto ${\displaystyle x_{0}}$ del suo dominio. La derivata di ${\displaystyle f(x)}$ in ${\displaystyle x_{0}}$ è definita come il numero ${\displaystyle f'(x_{0})}$ uguale al limite del rapporto incrementale al tendere a 0 dell'incremento, sotto l'ipotesi che tale limite esista e sia finito. In modo esplicito, detto ${\displaystyle h}$ l'incremento, una funzione ${\displaystyle f}$ definita in un intorno di ${\displaystyle x_{0}}$ si dice derivabile nel punto ${\displaystyle x_{0}}$ se esiste ed è finito il limite:

${\displaystyle f'(x_{0})=\lim _{h\to 0}{\frac {f(x_{0}+h)-f(x_{0})}{h}}}$

e il valore di questo limite è la derivata della funzione nel punto ${\displaystyle x_{0}}$. Se la funzione ${\displaystyle f(x)}$ è derivabile in ogni punto di un dato intervallo ${\displaystyle (a,b)}$, allora si dice che essa è derivabile in ${\displaystyle (a,b)}$ e la funzione ${\displaystyle f'\colon x\in (a,b)\to f'(x)}$ che associa a ogni punto ${\displaystyle x}$ la derivata ${\displaystyle f'(x)}$ di ${\displaystyle f(x)}$ è la funzione derivata di ${\displaystyle f}$.

Nonostante il caso più semplice sia quello delle funzioni reali, la definizione di derivata trova la sua collocazione più naturale nell'ambito dell'analisi complessa, dove, applicata alle funzioni di variabile complessa, prende il nome di derivata complessa.^[1] Detto ${\displaystyle U}$ un sottoinsieme aperto del piano complesso, una funzione complessa ${\displaystyle f\colon U\to \mathbb {C} }$ è differenziabile in senso complesso in un punto ${\displaystyle z_{0}\in U}$ se esiste il limite:^[2]

${\displaystyle f'(z_{0})=\lim _{z\to z_{0}}{\frac {f(z)-f(z_{0})}{z-z_{0}}}.}$

Tale limite va inteso in relazione alla topologia del piano. In altre parole, per ogni successione di numeri complessi che converge a ${\displaystyle z_{0}}$, il rapporto incrementale deve tendere a un medesimo numero, indicato con ${\displaystyle f'(z_{0}).}$ Se ${\displaystyle f}$ è differenziabile in senso complesso in ogni punto ${\displaystyle z_{0}\in U}$, si dice che è una funzione olomorfa su ${\displaystyle U}$.

La relazione tra la differenziabilità di funzioni reali e funzioni complesse è data dal fatto che se una funzione complessa:

${\displaystyle f(z)\equiv f(x+iy)=u(x,y)+iv(x,y)}$

è olomorfa allora ${\displaystyle u}$ e ${\displaystyle v}$ possiedono derivata parziale prima rispetto a ${\displaystyle x}$ e ${\displaystyle y}$ e soddisfano le equazioni di Cauchy-Riemann:^[3]

${\displaystyle {\frac {\partial u}{\partial x}}={\frac {\partial v}{\partial y}},\qquad {\frac {\partial u}{\partial y}}=-{\frac {\partial v}{\partial x}}.}$

In modo equivalente, la derivata di Wirtinger ${\displaystyle \partial f/\partial {\overline {z}}}$ di ${\displaystyle f}$ rispetto al complesso coniugato ${\displaystyle {\overline {z}}}$ di ${\displaystyle z}$ è nulla.

La derivata destra di ${\displaystyle f}$ in ${\displaystyle x_{0}}$ è il numero:

${\displaystyle f'_{+}(x_{0})=\lim _{h\to 0^{+}}{\frac {f(x_{0}+h)-f(x_{0})}{h}}.}$

Analogamente, la derivata sinistra di ${\displaystyle f}$ in ${\displaystyle x_{0}}$ è il numero:

${\displaystyle f'_{-}(x_{0})=\lim _{h\to 0^{-}}{\frac {f(x_{0}+h)-f(x_{0})}{h}}.}$

Una funzione è derivabile in ${\displaystyle x_{0}}$ se e solo se esistono finite e uguali le derivate destra e sinistra. Queste permettono inoltre di definire la derivabilità su un intervallo non aperto: se ${\displaystyle f}$ è definita ad esempio nell'intervallo chiuso ${\displaystyle [a,b]}$, si dice che ${\displaystyle f}$ è derivabile in ${\displaystyle [a,b]}$ se è derivabile in ogni punto interno ${\displaystyle x\in (a,b)}$ e se esistono le derivate destra e sinistra rispettivamente negli estremi ${\displaystyle x=a}$ e ${\displaystyle x=b}$.

Le derivate destre e sinistre sono un caso particolare in ${\displaystyle \mathbb {R} }$ della derivata direzionale di Dini nelle direzioni parallele e versi concordi a ${\displaystyle 1}$ e ${\displaystyle -1}$ (per rispettivamente derivata destra e sinistra). Infatti in ${\displaystyle \mathbb {R} }$ tutti i punti, visti come vettori in uno spazio vettoriale di dimensione ${\displaystyle 1}$, sono paralleli e possono essere solo di verso concorde o discorde.

La prima notazione di derivata nel punto ${\displaystyle x_{0}}$ che compare storicamente è:

${\displaystyle \left({\frac {\mathrm {d} f}{\mathrm {d} x}}\right)_{(x_{0})}}$

ancora oggi usata in fisica. In alternativa, secondo la notazione di Lagrange viene indicata con:

${\displaystyle f^{\prime }(x_{0}),}$

secondo la notazione di Cauchy-Eulero con:

${\displaystyle \operatorname {D} \left[{f}({x_{0}})\right]}$

o più recentemente, per sottolineare che la derivata ha come argomento una funzione e non un punto, con

${\displaystyle \operatorname {D} \left(f\right)(x_{0}),}$

secondo la notazione di Leibniz con:

${\displaystyle {\frac {\mathrm {d} f(x_{0})}{\mathrm {d} x}}}$

e secondo la notazione di Newton con:

${\displaystyle {\dot {f}}(x_{0}).}$

Nel caso di una funzione di più variabili, l'incremento della funzione rispetto a una sola variabile è la derivata parziale della funzione rispetto a tale variabile. Data una funzione vettoriale di più variabili ${\displaystyle \mathbf {F} :E\subset \mathbb {R} ^{n}\rightarrow \mathbb {R} ^{m}}$ definita su un insieme aperto dello spazio euclideo ${\displaystyle \mathbb {R} ^{n}}$, dette ${\displaystyle \{\mathbf {e} _{i}\}_{1\leq i\leq n}}$ e ${\displaystyle \{\mathbf {u} _{i}\}_{1\leq i\leq m}}$ le basi canoniche di ${\displaystyle \mathbb {R} ^{n}}$ e ${\displaystyle \mathbb {R} ^{m}}$ rispettivamente, la funzione può essere scritta nel seguente modo:

${\displaystyle \mathbf {F} (\mathbf {x} )=\sum _{i}^{m}F_{i}(\mathbf {x} )\mathbf {u} _{i},\quad \mathbf {x} =(x_{1},x_{2},\dots ,x_{n})\in E.}$

La componente ${\displaystyle i}$-esima della funzione è allora:

${\displaystyle F_{i}(\mathbf {x} )=\mathbf {F} (\mathbf {x} )\cdot \mathbf {u} _{i},\quad 1\leq i\leq m.}$

Si definisce derivata parziale di ${\displaystyle F_{i}}$ rispetto alla variabile ${\displaystyle x_{j}}$ il limite:^[4]

${\displaystyle {\frac {\partial F_{i}(\mathbf {x} )}{\partial x_{j}}}=\lim _{t\to 0}{\frac {F_{i}(\mathbf {x} +t\mathbf {e} _{j})-F_{i}(\mathbf {x} )}{t}}=\lim _{t\to 0}{\frac {F_{i}(x_{1},x_{2},\ldots x_{j}+t,\ldots ,x_{n})-F_{i}(x_{1},x_{2},\ldots ,x_{n})}{t}}.}$

Tale limite è a volte chiamato limite del rapporto incrementale di ${\displaystyle f}$ nel punto ${\displaystyle \mathbf {x} }$, e viene denotato anche con ${\displaystyle D_{j}F_{i}}$. La derivata parziale di una funzione, o nel caso di funzione vettoriale di una sua componente, si effettua quindi considerando le variabili diverse da quella rispetto a cui si vuole derivare come costanti e calcolandone il rapporto incrementale.

La derivata direzionale di una funzione scalare ${\displaystyle f(\mathbf {x} )=f(x_{1},x_{2},\ldots ,x_{n})}$ lungo un vettore unitario ${\displaystyle \mathbf {u} =(u_{1},\ldots ,u_{n})}$ è la funzione definita dal limite:

${\displaystyle \operatorname {D} _{\mathbf {u} }{f}(\mathbf {x} )=\lim _{h\rightarrow 0^{+}}{\frac {f(\mathbf {x} +h\mathbf {u} )-f(\mathbf {x} )}{h}}.}$

Se la funzione ${\displaystyle f}$ è differenziabile in ${\displaystyle \mathbf {x} }$, allora la derivata direzionale esiste lungo ogni vettore unitario ${\displaystyle \mathbf {u} ,}$ e si ha:^[5]

${\displaystyle \operatorname {D} _{\mathbf {u} }{f}(\mathbf {x} )=\nabla f(\mathbf {x} )\cdot \mathbf {u} ,}$

dove ${\displaystyle \nabla f}$ al secondo membro rappresenta il gradiente di ${\displaystyle f}$ e ${\displaystyle \cdot }$ il prodotto scalare euclideo. In ${\displaystyle \mathbf {x} }$ la derivata direzionale di ${\displaystyle f}$ rappresenta la variazione di ${\displaystyle f}$ lungo ${\displaystyle \mathbf {u} }$.

Una funzione differenziabile in un punto è una funzione che può essere approssimata da una trasformazione lineare nel punto. Affinché ciò si verifichi è necessario che tutte le derivate parziali calcolate nel punto esistano, ovvero esistono finiti i limiti dei rapporti incrementali direzionali (dunque, se una funzione è differenziabile in un punto allora è derivabile nel punto). La proprietà di differenziabilità di una funzione consente di generalizzare il concetto di funzione derivabile a funzioni vettoriali di variabile vettoriale, e permette di individuare per ogni punto del suo grafico un iperpiano tangente.

Una funzione ${\displaystyle \mathbf {F} \colon U\rightarrow \mathbb {R} ^{m}}$ definita su un insieme aperto dello spazio euclideo ${\displaystyle \mathbb {R} ^{n}}$ è detta differenziabile in un punto ${\displaystyle \mathbf {x} _{0}}$ del dominio se esiste una applicazione lineare ${\displaystyle \mathbf {L} :\mathbb {R} ^{n}\rightarrow \mathbb {R} ^{m}}$ tale che valga l'approssimazione:

${\displaystyle \mathbf {F} (\mathbf {x} _{0}+\mathbf {h} )-\mathbf {F} (\mathbf {x} _{0})=\mathbf {L} (\mathbf {x} _{0})\mathbf {h} +\mathbf {r} (\mathbf {h} ),}$

dove ${\displaystyle \mathbf {r} (\mathbf {h} )}$ si annulla all'annullarsi dell'incremento ${\displaystyle \mathbf {h} }$. Tale condizione si può scrivere in modo equivalente:

${\displaystyle \lim _{\mathbf {h} \to \mathbf {0} }{\frac {\mathbf {F} (\mathbf {x} _{0}+\mathbf {h} )-\mathbf {F} (\mathbf {x} _{0})-\mathbf {L} (\mathbf {x} _{0})\mathbf {h} }{\|\mathbf {h} \|}}=\mathbf {0} .}$

Se la funzione ${\displaystyle \mathbf {F} }$ è differenziabile in ${\displaystyle \mathbf {x} _{0}}$, l'applicazione ${\displaystyle \mathbf {L} }$ è rappresentata dalla matrice jacobiana ${\displaystyle J_{F}}$.

Il vettore:

${\displaystyle \mathbf {L} (\mathbf {x} _{0})\mathbf {h} =\mathrm {d} \mathbf {F} (\mathbf {x} _{0})=J_{F}\mathbf {h} }$

si chiama differenziale di ${\displaystyle \mathbf {F} }$ in ${\displaystyle \mathbf {x} _{0}}$ e ${\displaystyle \mathbf {L} (\mathbf {x_{0}} )}$ è la derivata totale della funzione ${\displaystyle \mathbf {F} }$.

La funzione ${\displaystyle \mathbf {F} }$ è infine differenziabile se lo è in ogni punto del dominio.^[6] In particolare, il teorema del differenziale totale afferma che una funzione è differenziabile in un punto se tutte le derivate parziali esistono in un intorno del punto per ogni componente della funzione e se sono inoltre funzioni continue. Se inoltre l'applicazione che associa ${\displaystyle \mathbf {x} }$ a ${\displaystyle \mathbf {L} (\mathbf {x} )}$ è continua, la funzione si dice differenziabile con continuità.^[7]

Il teorema di continuità asserisce che se ${\displaystyle f(x)}$ è derivabile in ${\displaystyle x_{0}}$ allora ${\displaystyle f(x)}$ è anche continua in ${\displaystyle x_{0}}$.

Non vale il teorema che si ottiene invertendo le ipotesi con le tesi: ad esempio, la funzione ${\displaystyle f(x)=|x|}$ è continua su tutto il dominio, ma non è derivabile nel punto ${\displaystyle x_{0}=0}$, perché limite destro e limite sinistro del rapporto incrementale non coincidono. La continuità di una funzione è quindi condizione necessaria, ma non sufficiente, per determinarne la derivabilità. Una funzione può inoltre essere derivabile (e quindi continua) in un punto ${\displaystyle p}$, ma essere discontinua in ogni punto intorno a ${\displaystyle p}$. Questo accade per funzioni come:

${\displaystyle f(x)={\begin{cases}0,&{\text{ se }}x\in \mathbb {Q} ,\\x^{2},&{\text{ se }}x\in \mathbb {R} \setminus \mathbb {Q} .\end{cases}}}$

essendo ${\displaystyle \mathbb {Q} }$ l'insieme dei numeri razionali e ${\displaystyle \mathbb {R} }$ l'insieme dei numeri reali, mentre il simbolo "\" denota la differenza tra insiemi. La funzione in esame ammette derivata in ${\displaystyle 0}$ (vale ${\displaystyle 0}$ il limite del rapporto incrementale) ma non è continua in nessun punto eccetto lo ${\displaystyle 0}$. Notiamo che se invece una funzione è due volte derivabile in un punto, allora è continua in un intorno di quel punto.

Per mostrare che se ${\displaystyle f(x)}$ è derivabile in ${\displaystyle x_{0},}$ allora è continua in ${\displaystyle x_{0}}$, si considera l'uguaglianza precedente:

${\displaystyle f(x)=f(x_{0})+f^{\prime }(x_{0})(x-x_{0})+o(x-x_{0}),}$

da cui:

${\displaystyle \lim _{x\to x_{0}}f(x)=\lim _{x\to x_{0}}f(x_{0})+f^{\prime }(x_{0})(x-x_{0})+o(x-x_{0})=f(x_{0}).}$

Quindi la funzione è continua in ${\displaystyle x_{0}}$. La stima lineare della funzione attorno a ${\displaystyle x_{0}}$ costituisce una migliore approssimazione rispetto a:

${\displaystyle f(x)=f(x_{0})+o(1)}$

garantita dalla sola continuità (qui ${\displaystyle o(1){\underset {x\to x_{0}}{\longrightarrow }}0}$). Se la funzione è derivabile in ${\displaystyle x_{0}}$ si può "scomporre" l'infinitesimo ${\displaystyle o(1)}$ in un termine lineare e un infinitesimo di ordine superiore. Il teorema di Lagrange fornisce una diversa approssimazione (sempre lineare) nell'ipotesi che la funzione sia derivabile in un intorno di ${\displaystyle x_{0}}$:

${\displaystyle f(x)=f(x_{0})+f^{\prime }(\xi )(x-x_{0})}$

per tutti gli ${\displaystyle x}$ in tale intorno, e con ${\displaystyle \xi }$ un dato punto in ${\displaystyle (x_{0},x)}$ (o ${\displaystyle (x,x_{0})}$, se è un intorno sinistro). Benché ora l'approssimazione sia "esatta" (non ci sono termini infinitesimi che vengono trascurati), il teorema non è in grado di mostrare per quale ${\displaystyle \xi }$ sia vera l'uguaglianza.

Una funzione continua può essere non derivabile. Ad esempio, una funzione continua può non essere derivabile in un punto isolato del dominio, in presenza di un punto angoloso, una cuspide o un flesso a tangente verticale. Esistono anche funzioni continue che presentano forme più complesse di non derivabilità, come ad esempio la funzione di Cantor. La funzione di Weierstrass è una funzione reale di variabile reale che ha la proprietà di essere continua in ogni punto ma di non essere derivabile in nessuno.

Vengono enunciati di seguito alcuni teoremi e risultati significativi.

Siano ${\displaystyle f(x)}$ e ${\displaystyle g(x)}$ funzioni reali di variabile reale ${\displaystyle x}$ derivabili, e sia ${\displaystyle \mathrm {D} }$ l'operazione di derivazione rispetto a ${\displaystyle x}$:

${\displaystyle \mathrm {D} [f(x)]=f'(x),\qquad \mathrm {D} [g(x)]=g'(x).}$

• Regola della somma (linearità):

${\displaystyle \mathrm {D} [\alpha f(x)+\beta g(x)]=\alpha f'(x)+\beta g'(x),\qquad \alpha ,\beta \in \mathbb {R} .}$

• Regola del prodotto (o di Leibniz):

${\displaystyle \mathrm {D} [{f(x)\cdot g(x)}]=f'(x)\cdot g(x)+f(x)\cdot g'(x).}$

• Regola del quoziente:

${\displaystyle \mathrm {D} \!\left[{f(x) \over g(x)}\right]={f'(x)\cdot g(x)-f(x)\cdot g'(x) \over g(x)^{2}}.}$

• Regola della funzione reciproca:

${\displaystyle \mathrm {D} \!\left[{1 \over f(x)}\right]=-{f'(x) \over f(x)^{2}}.}$

• Regola della funzione inversa:

${\displaystyle \mathrm {D} [f^{-1}(y)]={1 \over f'(x)},}$

con:

${\displaystyle y={f(x)},\qquad x={f^{-1}(y)}.}$

• Regola della catena:

${\displaystyle \mathrm {D} \left[f\left(g(x)\right)\right]=f'\left(g(x)\right)\cdot g'(x).}$

Sia ${\displaystyle f(x)}$ una funzione derivabile, e quindi continua, in un punto ${\displaystyle x_{0}}$ interno al dominio. Se ${\displaystyle x_{0}}$ è un punto di massimo o di minimo per la funzione ${\displaystyle f,}$ allora la derivata della funzione in ${\displaystyle x_{0}}$ è nulla, cioè ${\displaystyle f'(x_{0})=0}$.

Non è indispensabile che ${\displaystyle x_{0}}$ sia interno al dominio, essendo sufficiente che si tratti di un punto di accumulazione da destra e da sinistra per il dominio, mentre è essenziale porre che la funzione sia derivabile nel punto ${\displaystyle x_{0}}$ in quanto non è possibile dedurne la derivabilità dalle altre ipotesi del teorema. Ogni punto in cui ${\displaystyle f'(x)}$ si annulla (cioè è uguale a zero) è chiamato punto stazionario. I massimi e minimi relativi sono chiamati punti stazionari di ${\displaystyle f'(x)}$.

Questo teorema è molto usato nello studio di funzione, in quanto definisce la possibilità di avere un punto di massimo o di minimo dove la funzione derivata si annulla.

Sia ${\displaystyle f(x)}$ una funzione continua nell'intervallo chiuso ${\displaystyle [a,b]}$ e derivabile nell'intervallo aperto ${\displaystyle (a,b)}$. Se ${\displaystyle f(a)=f(b),}$ allora esiste almeno un punto ${\displaystyle x_{0}\in (a,b)}$ in cui la derivata prima ${\displaystyle f'(x)}$ si annulla.

Sia ${\displaystyle f(x)}$ una funzione continua in ${\displaystyle [a,b]}$ e derivabile nell'intervallo aperto ${\displaystyle (a,b)}$. Allora esiste almeno un punto ${\displaystyle x_{0}\in (a,b)}$ tale per cui:

${\displaystyle f'(x_{0})={{f(b)-f(a)} \over {b-a}}.}$

Il teorema afferma che esiste almeno un punto ${\displaystyle (x_{0},f(x_{0}))}$ del grafico della funzione in cui la retta tangente ha coefficiente angolare uguale a quello della corda della retta passante per i punti ${\displaystyle (a,f(a))}$ e ${\displaystyle (b,f(b))}$. Si tratta di una generalizzazione del teorema di Rolle che analizza il caso in cui ${\displaystyle f(a)}$ è diverso da ${\displaystyle f(b)}$.

Siano ${\displaystyle f(x)}$ e ${\displaystyle g(x)}$ funzioni continue in ${\displaystyle [a,b]}$ e derivabili in ${\displaystyle (a,b)}$ con ${\displaystyle g'(x)}$ diversa da 0 per ogni punto dell'intervallo. Allora esiste almeno un punto ${\displaystyle x_{0}\in (a,b)}$ tale per cui:

${\displaystyle {f'(x_{0}) \over g'(x_{0})}={{f(b)-f(a)} \over {g(b)-g(a)}}.}$

Considerando in particolare la funzione ${\displaystyle g(t)=t}$, si ottiene l'affermazione del teorema di Lagrange.

Con il teorema di Cauchy è inoltre possibile dimostrare la regola di de l'Hôpital.

Sia ${\displaystyle f(x)}$ continua in ${\displaystyle [a,b]}$ e derivabile in ${\displaystyle (a,b)}$. Allora:

• Per ogni ${\displaystyle x\in (a,b)}$ si ha ${\displaystyle f'(x)\geqslant 0}$ se e solo se la funzione è crescente in ${\displaystyle (a,b)}$.
• Per ogni ${\displaystyle x\in (a,b)}$ si ha ${\displaystyle f'(x)\leqslant 0}$ se e solo se la funzione è decrescente in ${\displaystyle (a,b)}$.

La funzione può non essere strettamente crescente (o decrescente), e il teorema è direttamente ricavabile dall'enunciato di Lagrange.

Analogamente, valgono anche i fatti seguenti:

• Se per ogni ${\displaystyle x\in (a,b)}$ si ha ${\displaystyle f'(x)>0,}$ allora la funzione è strettamente crescente in ${\displaystyle (a,b)}$.
• Se per ogni ${\displaystyle x\in (a,b)}$ si ha ${\displaystyle f'(x)<0,}$ allora la funzione è strettamente decrescente in ${\displaystyle (a,b)}$.

Una funzione strettamente crescente non ha necessariamente derivata ovunque positiva. Ad esempio, ${\displaystyle f(x)=x^{3}}$ è strettamente crescente, ma ha derivata nulla nell'origine, dove c'è un punto di flesso.

Il teorema della funzione costante afferma che una funzione è costante in un intervallo ${\displaystyle [a,b]}$ se e solo se è derivabile e la derivata è ovunque nulla nell'intervallo. Mentre la condizione necessaria è conseguenza della definizione di derivata (la derivata di una costante è uguale a zero), la sufficienza segue dal teorema di Lagrange.

La derivata ${\displaystyle n}$-esima ${\displaystyle f^{(n)}}$ di una funzione ${\displaystyle f}$ è la funzione che si ottiene derivando successivamente ${\displaystyle n}$ volte la funzione ${\displaystyle f}$. Si definiscono così la derivata seconda, terza, e così via; e si usa generalmente una delle seguenti notazioni:

${\displaystyle {\begin{aligned}f''=f^{(2)}&={\frac {\mathrm {d} ^{2}f}{\mathrm {d} x^{2}}}\\f'''=f^{(3)}&={\frac {\mathrm {d} ^{3}f}{\mathrm {d} x^{3}}}\\&\vdots \\f^{(n)}&={\frac {\mathrm {d} ^{n}f}{\mathrm {d} x^{n}}}.\end{aligned}}}$

Una funzione derivabile non è necessariamente derivabile ${\displaystyle n}$ volte. Ad esempio, la funzione ${\displaystyle f(x)=x|x|}$ ha una derivata prima, ma non una seconda: infatti, la derivata di ${\displaystyle f}$ è ${\displaystyle f'(x)=2|x|}$, che non è a sua volta derivabile nell'origine.

La classe delle funzioni derivabili ${\displaystyle n}$ volte e la cui derivata ${\displaystyle n}$-esima è continua si indica con ${\displaystyle C^{n}}$.

Sia ${\displaystyle f\colon [a,b]\to \mathbb {R} }$ derivabile. Allora ${\displaystyle f(x)}$ è convessa se e solo se ${\displaystyle f'(x)}$ è crescente in ${\displaystyle [a,b]}$. Se ${\displaystyle f}$ possiede derivata seconda, allora la convessità della funzione è data dalla disequazione:

${\displaystyle f''(x)\geq 0.}$

Il cambiamento di segno della derivata seconda determina quindi un cambiamento di convessità della funzione e un relativo punto di flesso.

Il valore della derivata di ${\displaystyle f(x)}$ calcolata in ${\displaystyle x_{0}}$ ha un significato geometrico: è il coefficiente angolare della retta tangente alla curva rappresentata dal grafico di ${\displaystyle f(x)}$ nel punto di coordinate ${\displaystyle (x_{0},f(x_{0}))}$. In altre parole, la derivata è il valore della tangente trigonometrica dell'angolo (convesso) che la retta tangente in ${\displaystyle x_{0}}$ al grafico della funzione forma con l'asse delle ascisse (a patto che tale angolo non sia retto).

L'equazione della retta tangente in ${\displaystyle x_{0}}$ risulta:

${\displaystyle y=f(x_{0})+f'(x_{0})(x-x_{0}).}$

Più precisamente, se ${\displaystyle f(x)}$ è derivabile nel punto ${\displaystyle x_{0}}$, allora esiste una funzione ${\displaystyle o(x-x_{0})}$ definita in un intorno di ${\displaystyle x_{0}}$ tale che:

${\displaystyle f(x)=f(x_{0})+f'(x_{0})(x-x_{0})+o(x-x_{0}),}$

con:

${\displaystyle \lim _{x\to x_{0}}{{o(x-x_{0})} \over {x-x_{0}}}=0}$

e tale formula è l'espansione di Taylor di ${\displaystyle f(x)}$ troncata al termine di primo grado. Si dice che ${\displaystyle o(x-x_{0})}$ è un infinitesimo di ordine superiore alla funzione ${\displaystyle (x-x_{0})}$, e con questo si vuole esprimere l'idea che il termine ${\displaystyle o(x-x_{0})}$ fornisce un contributo che diventa trascurabile rispetto agli altri termini quando ci si avvicina a ${\displaystyle x_{0}}$. Si può anche dire che una funzione derivabile in ${\displaystyle x_{0}}$ è approssimabile linearmente intorno a ${\displaystyle x_{0}}$ con la sua retta tangente in tale punto.

Se si definisce infatti ${\displaystyle o(x-x_{0})}$, avente lo stesso dominio di ${\displaystyle f}$, come:

${\displaystyle o(x-x_{0})=f(x)-f(x_{0})-f^{\prime }(x_{0})(x-x_{0}),}$

si verifica che:

${\displaystyle \lim _{x\to x_{0}}{{o(x-x_{0})} \over {x-x_{0}}}=\lim _{x\to x_{0}}\left({\frac {f(x)-f(x_{0})}{x-x_{0}}}-f^{\prime }(x_{0})\right).}$

Ricordando che per ${\displaystyle x\to x_{0}}$ allora ${\displaystyle x-x_{0}\to 0}$, e quindi ${\displaystyle h=x-x_{0}}$. Sostituendo questa ultima uguaglianza con la precedente equazione si ha:

${\displaystyle \lim _{h\to 0}{\frac {f(x_{0}+h)-f(x_{0})}{h}}-f^{\prime }(x_{0})=0.}$

Una funzione espressa come serie di potenze ${\displaystyle \sum _{n=0}^{\infty }a_{n}X^{n}}$ con raggio di convergenza ${\displaystyle r}$ è continua e derivabile su tutto l'intervallo ${\displaystyle (-r,r)}$. La derivata può essere calcolata derivando termine a termine la serie nel modo seguente:

${\displaystyle f'(x)=\sum _{n=1}^{\infty }na_{n}x^{n-1}.}$

Tuttavia, in una serie di potenze si preferisce che ${\displaystyle n}$ sia l'indice della potenza, quindi utilizzando uno shift diventa:

${\displaystyle f'(x)=\sum _{n=0}^{\infty }{(n+1)}a_{n+1}x^{n}.}$

Questo tipo di derivata è importante per lo sviluppo di Taylor e Maclaurin.

• Paolo Marcellini, Carlo Sbordone: Analisi Matematica Uno, Liguori Editore, 1998, ISBN 9788820728199
• Nicola Fusco, Paolo Marcellini, Carlo Sbordone: Lezioni di Analisi Matematica Due, Zanichelli, 2020, ISBN 9788808520203
• Walter Rudin, Principi di Analisi Matematica, Milano, McGraw-Hill, 1991, ISBN 88-386-0647-1.
• (EN) Abramowitz, M. and Stegun, I. A. (Eds.). Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables, 9th printing. New York: Dover, p. 11, 1972.
• (EN) Amend, B. Camp FoxTrot. Kansas City, MO: Andrews McMeel, p. 19, 1998.
• (EN) Anton, Howard, Calculus: A New Horizon, 6th ed., New York, Wiley, 1999, ISBN 978-04-71153-06-1.
• (EN) Beyer, W. H. Derivatives. CRC Standard Mathematical Tables, 28th ed. Boca Raton, FL: CRC Press, pp. 229–232, 19

• Wikibooks contiene testi o manuali sulla derivata
• Wikizionario contiene il lemma di dizionario «derivata»
• Wikiversità contiene risorse sulla derivata

• derivata, su Treccani.it – Enciclopedie on line, Istituto dell'Enciclopedia Italiana.
• derivata, su sapere.it, De Agostini.
• (EN) derivative, su Enciclopedia Britannica, Encyclopædia Britannica, Inc.
• (EN) Eric W. Weisstein, Derivata, su MathWorld, Wolfram Research.
• (EN) Derivata, su Encyclopaedia of Mathematics, Springer e European Mathematical Society.
• WIMS Function Calculator calcolo delle derivate online; questo sito permette anche di fare esercizi interattivi
• Differenziazione calcolatrice, su easycalculation.com.
• (EN) Online Derivatives Calculator.
• Limite, derivate, integrali Directory con varie risorse sulle derivate

V · D · M Analisi matematica
Calcolo infinitesimale	Numero reale · Infinitesimo · O-grande · Successione (di funzioni) · Successione di Cauchy · Teorema di Bolzano-Weierstrass · Stima asintotica · Limite (di una funzione · di una successione · Forma indeterminata) · Teorema dei due carabinieri · Limite notevole · Punto di accumulazione · Punto isolato · Intorno · Serie (di funzioni) · Criteri di convergenza · Limite di funzioni a più variabili
Studio della continuità	Funzione continua · Punto di discontinuità · Continuità uniforme · Funzione lipschitziana · Teorema di Bolzano · Teorema di Weierstrass · Teorema dei valori intermedi · Teorema di Heine-Cantor · Modulo di continuità · Funzione semicontinua · Continuità separata · Teorema di approssimazione di Weierstrass
Calcolo differenziale	Derivata · Differenziale · Regole di derivazione · Teorema di Fermat · Teorema di Rolle · Teorema di Lagrange · Teorema di Cauchy · Teorema di Darboux · Teorema di Taylor · Serie di Taylor · Funzione differenziabile · Gradiente · Jacobiana · Hessiana · Forma differenziale · Generalizzazioni della derivata · Derivata parziale · Derivata mista
Integrale	Primitiva · Integrale di Riemann · Integrale improprio · Integrale di Lebesgue · Teorema fondamentale · Metodi di integrazione · Tavole · Integrale multiplo, di linea (1ª specie · 2ª specie) e di superficie (di volume)
Studio di funzione	Funzione · Variabile · Dominio e codominio · Funzioni pari e dispari · Funzione periodica · Funzione monotona · Funzione convessa · Massimo e minimo di una funzione · Punto angoloso · Cuspide · Punto di flesso · Asintoto · Grafico di una funzione · Funzione iniettiva
Disuguaglianze	Disuguaglianza triangolare · Disuguaglianza di Cauchy-Schwarz · Bernoulli · Jensen · Hölder · Young · Minkowski
Altro	Approssimazione di Stirling · Prodotto di Wallis · Funzione Gamma · Teorema delle funzioni implicite · Teorema della funzione inversa · Funzione hölderiana · Spazio metrico · Spazio normato · Intervallo · Insieme trascurabile · Insieme chiuso · Insieme aperto · Palla · Omeomorfismo · Omeomorfismo locale · Diffeomorfismo · Diffeomorfismo locale · Classe C di una funzione · Equazione differenziale · Problema di Cauchy

Controllo di autorità	Thesaurus BNCF 32594 · LCCN (EN) sh2011005437 · GND (DE) 4233840-2 · J9U (EN, HE) 987007574837105171 · NDL (EN, JA) 00560650