Matematica per le superiori/Derivate: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
completati alcuni capitoli |
Completata la pagina |
||
Riga 176:
Qui di seguito viene dimostrato il valore di alcune derivate che, d' ora in poi, vengono dati per scontati.
:<math>f'(x) = \lim_{\Delta x \rightarrow 0}{\frac{f(x + \Delta x) - f(x)}{\Delta x}} = \lim_{\Delta x \rightarrow 0}{\frac{cost - cost}{\Delta x}} = \lim_{\Delta x \rightarrow 0}{\frac{0}{\Delta x}} = 0 \Rightarrow y' = 0</math>
:<math>\lim_{\Delta x \rightarrow 0}{\frac{\sin (x + \Delta x) - \sin x}{\Delta x}} = \lim_{\Delta x \rightarrow 0}{\frac{2 \cdot \sin \left( \frac{x + \Delta x - x}{2} \right) \cdot \cos \left( \frac{x + \Delta x + x}{2} \right)}{\frac{\Delta x}{2}}} = </math> :<math>\lim_{\Delta x \rightarrow 0}{\frac{\sin (x + \Delta x) - \sin x}{\Delta x}} = \lim_{\Delta x \rightarrow 0}{\frac{-2 \cdot \sin \left( \frac{x + \Delta x - x}{2} \right) \cdot \sin \left( \frac{x + \Delta x + x}{2} \right)}{\frac{\Delta x}{2}}} = </math> Line 260 ⟶ 262:
==Teoremi sulle funzioni derivabili==
===Teorema di Rolle===
Questo teorema afferma che: considerata una funzione <math>y = f(x)</math> definita e continua in un intervallo chiuso e limitato <math>[a; b]</math> e derivabile nei suoi punti interni, cioè nell' intervallo <math>(a; b)</math>, e tale per cui <math>f(a) = f(b)</math>, allora: <math>\exist c \in (a; b) : f'(c) = 0</math>.
Fornisce una condizione sufficiente ma non necessaria.
[[Categoria:Matematica per le superiori|Derivate]]▼
''Dimostrazione''
Per assurdo: <math>\not\exist c \in (a; b) : f'(c) = 0</math>.
Per il teorema di Weierstrass, poichè <math>y = f(x)</math> è continua (nell' intervallo considerato), allora esisterà un punto di minimo e uno di massimo (nell' intervallo considerato). Essi sono punti stazionari, quindi: <math>\exist x_1, x_2 : f(x_1) = M, f(x_2) = m \Rightarrow f'(x_1) = f'(x_2) = 0</math>.
Per l' assurdo iniziale, essi non possono appartenere ad <math>(a; b)</math> ma devono appartenere ad <math>[a; b]</math>, perciò devono essere gli estremi dell' intervallo.
Per ipotesi, la funzione agli estremi ha lo stesso valore, cioè: <math>f(a) = f(b)</math>, quindi <math>f(x_1) = f(x_2) \Rightarrow M = m</math>.
L' unica funzione per cui il valore massimo che essa assume è uguale a quello minimo, è la funzione costante, cioè <math>y = cost</math>. Ma se la funzione è costante, allora le derivata in ogni suo punto vale 0, contro l' ipotesi iniziale. Deve quindi essere falso l' assurdo iniziale, e perciò vera la tesi. c.v.d.
===Teorema di Lagrange===
Il teorema afferma che: considerata una funzione <math>y = f(x)</math> definita e continua in un intervallo chiuso e limitato <math>[a; b]</math> e derivabile nei suoi punti interni, cioè nell' intervallo <math>(a; b)</math>, allora: <math>\exist c \in (a; b) : f'(c) = \frac{f(b) - f(a)}{b - a}</math>.
Questo teorema mette in relazione il tasso di variazione medio di <math>f(x)</math> nell' intervallo <math>[a; b]</math>, cioè <math>\frac{f(b) - f(a)}{b - a}</math>, con il suo tasso di variazione istantaneo, cioè <math>f'(c)</math>.
Si tratta di una generalizzazione del teorema di Rolle, che può essere ricavato da questo ponendo <math>f(a) \cdot f(b)</math>.
''Interpretazione geometrica''
La quantità <math>\frac{f(b) - f(a)}{b - a}</math> rappresenta il coefficiente angolare della retta passante per i limiti dell' intervallo, cioè i punti <math>x = a</math> e <math>x = b</math>, mentre <math>f'(c)</math> è il coefficiente angolare della retta tangente alla curva nel punto c. Quindi il teorema garantisce l' esistenza di almeno (ma non necessariamente solo) un punto in cui la tangente alla curva è parallela alla retta passante per <math>x = a</math> e <math>x = b</math>.
===Teorema di Cauchy===
Detto anche teorema degli accrescimenti finiti.
Il teorema afferma che: considerate due funzioni <math>y = f(x)</math> e <math>y = g(x)</math> definite e continue in un intervallo chiuso e limitato <math>[a; b]</math> e derivabili nei suoi punti interni, cioè nell' intervallo <math>(a; b)</math> e tali che <math>\forall x \in (a; b) \Rightarrow g(x)\ne 0</math> e <math>g'(x) \ne 0</math> allora: <math>\exist c \in (a; b) : \frac{f'(c)}{g'(c)} = \frac{f(b) - f(a)}{g(b) - g(a)}</math>.
Mette in relazione gli incrementi medi delle due funzioni nel' intervallo con i loro incrementi istantanei in un punto.
Questo teorema è una generazione del teorema di Lagrange, che può essere ottenuto da questo ponendo <math>g(x) = x</math>.
===Teorema di De L' Hopital===
Il teorema afferma che: considerate due funzioni <math>y = f(x)</math> e <math>y = g(x)</math> definite e continue in un intorno <math>I_C</math> del punto c, escluso al più il punto c stesso, e derivabili nei suoi punti interni e tali che <math>\forall x \in I_C \Rightarrow g(x)\ne 0</math> e <math>g'(x) \ne 0</math>, che <math>\lim_{x \rightarrow c}{\frac{f(x)}{g(x)}} = \frac{0}{0}</math> oppure <math>\lim_{x \rightarrow c}{\frac{f(x)}{g(x)}} = \frac{\infty}{infty}</math> e che esista <math>\lim_{x \rightarrow c}{\frac{f'(x)}{g'(x)}}</math> allora: <math>\lim_{x \rightarrow c}{\frac{f(x)}{g(x)}} = \lim_{x \rightarrow c}{\frac{f'(x)}{g'(x)}}</math>
Il teorema fornisce una condizione sufficiente ma non necessria, cioè può non esistere il limite del rapporto delle derivate pur esistendo il limite del rapporto fra le funzioni.
Può essere utilizzato anche per funzioni del tipo: <math>y = f(x) \cdot g(x)</math>, scrivendole come: <math> y = \frac{f(x)}{\frac{1}{g(x)}}</math>.
===Teorema sulla monotonia===
Ricordando che: <math>\forall x_1<x_2</math>
<math>\Rightarrow</math> se: <math>f(x_1) < f(x_2) \rightarrow</math> funzione crescente
::::::::se: <math>f(x_1) \le f(x_2) \rightarrow</math> funzione debolmente crescente
::::::::se: <math>f(x_1) > f(x_2) \rightarrow</math> funzione decrescente
::::::::se: <math>f(x_1) \ge f(x_2) \rightarrow</math> funzione debolmente decrescente
Vale che: <math>\forall x_1 < x_2</math>, allora <math>f'(x) = \lim_{x_2 \rightarrow x_1}{\frac{f(x_2) - f(x_1)}{x_2 - x_1}}</math>.
Tenendo conto che <math>x_2 - x_1</math> è una quantità sempre positiva per ipotesi:
se <math>f'(x) > 0 \Rightarrow f(x_2) - f(x_1) > 0 \Rightarrow</math> la funzione è crescente
se <math>f'(x) < 0 \Rightarrow f(x_2) - f(x_1) < 0 \Rightarrow</math> la funzione è decrescente
Il teorema non è direttamente invertibile, ma vale:
se la funzione è crescente <math>\Rightarrow f'(x) \ge 0</math>
se la funzione è decrescente <math>\Rightarrow f'(x) \le 0</math>
▲[[Categoria:Matematica per le superiori|Derivate]]
{{Avanzamento|
| |||