Θεώρημα 20. Έστω μια συνάρτηση παραγωγίσιμη σ’ ένα διάστημα
με εξαίρεση ίσως ένα σημείο του
στο οποίο όμως η
είναι συνεχής.
Aν η διατηρεί πρόσημο στο
τότε να αποδείξετε ότι το
δεν είναι τοπικό ακρότατο και η
είναι γνησίως μονότονη στο
(ΗΜ. 2017, ΗΜ. 2021)
Έστω μια συνάρτηση παραγωγίσιμη σ’ ένα διάστημα
με εξαίρεση ίσως ένα σημείο του
στο οποίο όμως η
είναι συνεχής, η οποία διατηρεί πρόσημο στο
.
Έστω ότι
για κάθε
.
Επειδή η είναι συνεχής στο
θα είναι γνησίως αύξουσα σε κάθε ένα από τα διαστήματα
και
Επομένως, για ισχύει
Άρα το δεν είναι τοπικό ακρότατο της
Θα δείξουμε, τώρα, ότι η είναι γνησίως αύξουσα στο
Πράγματι, έστω με
- Αν
επειδή η
είναι γνησίως αύξουσα στο
θα ισχύει
.
- Αν
επειδή η
είναι γνησίως αύξουσα στο
θα ισχύει
- Τέλος, αν
τότε όπως είδαμε
Επομένως, σε όλες τις περιπτώσεις ισχύει οπότε η f είναι γνησίως αύξουσα στο