Teorema creșterilor finite

Teorema creșterilor finite (cunoscută și sub numele de prima teoremă a mediei) se referă la o proprietate remarcabilă a funcțiilor reale derivabile definite pe un interval.

Teorema îi este atribuită matematicianului francez Joseph-Louis Lagrange (1736-1813).

Enunț

Fie $I\subset \mathbb {R}$ un interval, funcția $f:I\rightarrow \mathbb {R}$ și $a,b\in I$ cu $a<b$. Dacă:

• $f$ este continuă pe intervalul închis [a,b],
• $f$ este derivabilă pe intervalul deschis (a,b),

atunci există $c\in (a,b)$ astfel încât: $f(b)-f(a)=f'(c)(b-a)$ (formula lui Lagrange sau formula creșterilor finite)

Demonstrație

Aplicând teorema lui Cauchy (a doua teoremă a mediei) pentru $g(t)=t$ rezultă:

$(f(b)-f(a))g'(c)=(g(b)-g(a))f'(c)$

Dar $g'(t)=1$, deci:

$f(b)-f(a)=f'(c)(b-a)$.

Interpretare geometrică

Interpretare geometrică: pentru orice funcție f(x) continuă pe [a, b] și derivabilă pe (a, b) există un număr real c din intervalul (a, b) astfel încât secanta ce unește capetele intervalului [a, b] să fie paralelă cu tangenta în c la graficul funcției f.

O interpretare geometrică a teoremei creșterilor finite poate fi dată cu ajutorul graficului unei funcții f(x) continue pe intervalul [a, b] și derivabile pe (a, b). Conform acestei teoreme, există un număr real c din intervalul (a, b) astfel încât secanta ce unește capetele intervalului [a, b] să fie paralelă cu tangenta în c la graficul funcției f (a se vedea figura alăturată).

Consecințe ale teoremei creșterilor finite

Consecința 1

Fie $I\subset \mathbb {R}$ un interval. O funcție $f:I\rightarrow \mathbb {R}$ este constantă pe $I$ dacă și numai dacă are derivata nulă pe $I$.

Demonstrație

Necesitatea este evidentă.

Suficiența: Dacă $f$ are derivata nulă pe $I$ și $t_{1},t_{2}\in I$ cu $t_{1}<t_{2}$ atunci din teorema lui Lagrange există $c\in (t_{1},t_{2})$ cu $f(t_{2})-f(t_{1})=f'(c)(t_{2}-t_{1})=0$ și deci $f(t_{2})=f(t_{1})$, adică $f$ este constantă pe $I$.

Consecința 2

Fie $I\subset \mathbb {R}$ un interval și $f,g:I\rightarrow \mathbb {R}$ derivabile pe $I$. Funcțiile $f$ și $g$ au aceași derivată pe $I$ dacă și numai dacă există $C\in \mathbb {R}$ cu $g(t)=f(t)+C$ pentru orice $t\in I$ (adică $f$ și $g$ diferă printr-o constantă).

Demonstrație

Funcțiile $f$ și $g$ au aceeași derivată pe $I$ dacă și numai dacă funcția derivabilă $h=g-f$ are derivată nulă pe $I$. Din Consecința 1 acest fapt are loc dacă și numai dacă $h$ este constantă, ceea ce implică afirmația din enunț.

Consecința 3

Fie $I\subset \mathbb {R}$ un interval $a,b\in \mathbb {R}$ cu $a<b$ și $f:I\rightarrow \mathbb {R}$ continuă pe $[a,b]$ și derivabilă pe $(a,b)$. Atunci

i) $f$ este crescătoare pe $[a,b]$ dacă și numai dacă$f'(t)\geq 0$, pentru orice $t\in (a,b)$;

ii) $f$ este descrescătoare pe $[a,b]$ dacă și numai dacă$f'(t)\leq 0$, pentru orice $t\in (a,b)$;

iii) $f$ este strict crescătoare pe $[a,b]$ dacă și numai dacă:

• $f'(t)\geq 0$, pentru orice $t\in (a,b)$;

• mulțimea $\lbrace t\in (a,b):f'(t)>0\rbrace$ este densă în $(a,b)$;

iv) $f$ este strict descrescătoare pe $[a,b]$ dacă și numai dacă:

• $f'(t)\leq 0$, pentru orice $t\in (a,b)$;

• mulțimea $\lbrace t\in (a,b):f'(t)<0\rbrace$ este densă în $(a,b)$.

Demonstrație

i)Necesitatea

Dacă $f$ este crescătoare pe $[a,b]$ atunci pentru orice $t\in (a,b)$:

$f'(t_{0})=\lim _{t\to t_{0}}{\frac {f(t)-f(t_{0})}{t-t_{0}}}\geq 0$;

Suficiența

Dacă $f'(t)\geq 0$ atunci pentru orice $t_{1}$ și $t_{2}\in [a,b]$ cu $t_{1}<t_{2}$ avem (din teorema lui Lagrange) că există $c\in (t_{1},t_{2})cuf(t_{2})-f(t_{1})=f'(c)(t_{2}-t_{1})\geq 0$ și deci $f(t_{2})\geq f(t_{1})$, adică $f$ este crescătoare pe $[a,b]$.

ii) rezultă din (i) aplicat pentru funcția descrescătoare $-f$.

iii) Necesitatea

Dacă $f$ este strict crescătoare pe $[a,b]$, atunci din (i) rezultă ca $f'\geq 0$ pe are $(a,b)$.Dacă pe un anumit interval deschis $(a_{0},b_{0})\subset (a,b)$ am avea $f'(t)=0$ pentru orice $t\in (a_{0},b_{0})$ atunci restricția funcției $f$ la $(a_{0},b_{0})$ ar fi constantă, ceea ce contrazice faptul că $f$ este strict crescătoare pe $[a,b]$.

Suficiența

Dacă sunt îndeplinite ambele condiții de la (iii) atunci $f$ este crescătoare pe $[a,b]$. Dacă $f$ nu ar fi strict crescătoare pe $[a,b]$, ar rezulta că există un interval $(a_{0},b_{0})\subset (a,b)$ astfel ca restricția funcției $f$ la $(a_{0},b_{0})$ este constantă, adică $f'(t)=0$ pentru orice $t\in (a_{0},b_{0})$, ceea ce contrazice ipoteza a doua de la (iii).

iv) rezultă din (iii) aplicat pentru funcția $-f$.

Bibliografie

• Mihail Megan, Calcul diferențial și integral pe dreapta reală, Timișoara, 2010.
• Miron Nicolescu, Nicolae Dinculeanu, Solomon Marcus, Analiza matematică, Ed. Didactică și Pedagogică, București, 1971.