Θεώρημα
Έστω $f$ παραγωγίσιμη σε διάστημα $Δ$, με εξαίρεση ίσως ένα σημείο $x_0$, όπου η $f$ είναι συνεχής.
i) Αν $f'(x)>0$ στο $(α,x_0)$ και $f'(x)<0$ στο $(x_0,β)$, τότε το $f(x_0)$ είναι τοπικό μέγιστο.
ii) Αν $f'(x)<0$ στο $(α,x_0)$ και $f'(x)>0$ στο $(x_0,β)$, τότε το $f(x_0)$ είναι τοπικό ελάχιστο.
iii) Αν η $f'$ διατηρεί πρόσημο εκατέρωθεν, δεν έχουμε ακρότατο (η $f$ γνησίως μονότονη).
Απόδειξη (i):
Στο $(α,x_0)$ έχουμε $f'(x)>0$ και συνεχή στο $x_0$, άρα $f$ γνησίως αύξουσα στο $(α,x_0]$, οπότε $f(x)\le f(x_0)$ για $x
Στο $(x_0,β)$ έχουμε $f'(x)<0$, άρα $f$ γνησίως φθίνουσα στο $[x_0,β)$, οπότε $f(x)\le f(x_0)$ για $x>x_0$.
Επομένως $f(x)\le f(x_0)$ για κάθε $x$ κοντά στο $x_0$, δηλαδή τοπικό μέγιστο.

35α: μέγιστο

35β: ελάχιστο

35γ: μονότονη