Definicija tacke lokalnog maksimuma i strogog lokalnog maksimuma.

Postoji e>0 tako da vazi ono na (c-e,c+e)

ORTAK BROJ 1: FERMAOVA TEOREMA.
Neka je f(x) definisana u nekoj okolini tacke c i neka je diferencijabilna u
c.
Ako je c lokalni ekstremum onda je izvod f'(c) = 0.
Dokaz:
Neka je c maksimum.
Posmatra se levi i desni limes od f(x)-f(c) / x-c. Levi je sigurno >= 0, desn
i
je sigurno <= 0, a posto su jednaki onda mora biti 0.
ORTAK BROJ 2: ROLOVA TEOREMA.
Neka je f:[a,b]->R neprekidna, diferencijabilna na (a,b) i ima f(a)=f(b). Ond
a postoji
c takva da je f'(c) = 0.
Dokaz:
Kako je f:[a,b] neprekidna onda ona dostize i svoju minimalnu i svoju maksima
lnu
vrednost. Neka je f(x) = m i f(X) = M. Ako je m=M funkcija je konstanta. U su
protnom,
nije moguce da se i minimum i maksimum dostizu bas u {a,b}, te je bar jedna t
acka od
{x,X} unutar (a,b), a na osnovu fermaove teoreme onda je u toj tacki izvod 0.

ORTAK BROJ 3: LAGRANZOVA TEOREMA.

Neka je f:[a,b]->R neprekidna i diferencijabilna na (a,b). Tada postoji c tak
vo da je
f'(c) = f(b)-f(a) / b-a
Dokaz:
Uzmemo g(x) = f(x) - (f(b)-f(a))x/(b-a)
Za ovu funkciju vazi g(a) = g(b) pa za nju vazi rolova teorema. Posto smo uze
li razliku
dve diferencijabilne funkcije onda je u istoj toj tacki koju nam daje rolova
teorema
izvod f(x) upravo (f(b)-f(a))/(b-a).
ORTAK BROJ 4: KOSIJEVA TEOREMA.
f,g : [a,b] -> R neprekidne i diferencijabilne na (a,b) i g'(x) nenula svuda.
Tada postoji tacka c takva da je:
f(b) - f(a) / g(b) - g(a) = f'(c) / g'(c).
Dokaz:
Uocimo pomocnu funkciju h(x) = f(x) - (f(b)-f(a) / g(b)-g(a))g(x) pa se svede
na rolovu.