Θεώρημα Μέσης Τιμής

Το Θεώρημα Μέσης Τιμής λέει ότι αν μια συνάρτηση είναι συνεχής στο $[a,b]$ και παραγωγίσιμη στο $(a,b)$, τότε κάπου μέσα στο διάστημα η κλίση της εφαπτομένης της είναι ίση με τον μέσο ρυθμό μεταβολής από το $a$ έως το $b$. Με απλά λόγια, μια αρκετά ομαλή καμπύλη πρέπει κάποια στιγμή να κινείται με τη «συνολική μέση ταχύτητά» της.

Για μια συνάρτηση $f$ που είναι συνεχής στο $[a,b]$ και παραγωγίσιμη στο $(a,b)$, το θεώρημα λέει ότι υπάρχει κάποιο $c \in (a,b)$ τέτοιο ώστε

$$f'(c) = \frac{f(b)-f(a)}{b-a}.$$

Οι προϋποθέσεις έχουν σημασία. Αν η συνέχεια ή η παραγωγισιμότητα αποτύχει στο απαιτούμενο διάστημα, το συμπέρασμα δεν είναι υποχρεωτικά αληθές.

Το Θεώρημα Μέσης Τιμής με απλά λόγια

Το κλάσμα

$$\frac{f(b)-f(a)}{b-a}$$

είναι ο μέσος ρυθμός μεταβολής στο διάστημα. Γεωμετρικά, είναι η κλίση της τέμνουσας που περνά από τα άκρα του διαστήματος.

Η παράγωγος $f'(c)$ είναι ο στιγμιαίος ρυθμός μεταβολής σε ένα σημείο. Γεωμετρικά, είναι η κλίση της εφαπτομένης εκεί.

Άρα το θεώρημα λέει το εξής: αν η γραφική παράσταση δεν έχει άλματα, κενά ή γωνίες στο διάστημα, στα σωστά σημεία, τότε τουλάχιστον μία εφαπτομένη μέσα στο διάστημα είναι παράλληλη προς την τέμνουσα που ενώνει τα άκρα.

Γιατί έχουν σημασία η συνέχεια και η παραγωγισιμότητα

Η συνθήκη του κλειστού διαστήματος $[a,b]$ και η συνθήκη του ανοιχτού διαστήματος $(a,b)$ δεν είναι τεχνικές λεπτομέρειες χωρίς λόγο. Είναι ακριβώς αυτό που κάνει το θεώρημα να ισχύει.

Η συνέχεια στο $[a,b]$ αποκλείει άλματα ή κενά σε όλο το διάστημα. Η παραγωγισιμότητα στο $(a,b)$ αποκλείει αιχμηρές γωνίες στο εσωτερικό του διαστήματος. Αν αποτύχει κάποια από τις δύο συνθήκες, δεν μπορείς να συμπεράνεις ότι πρέπει να υπάρχει κάποιο $c$.

Για παράδειγμα, η $f(x) = |x|$ στο $[-1,1]$ είναι συνεχής, αλλά δεν είναι παραγωγίσιμη στο $x=0$. Ο μέσος ρυθμός μεταβολής της στο $[-1,1]$ είναι

$$\frac{f(1)-f(-1)}{1-(-1)} = \frac{1-1}{2} = 0,$$

αλλά δεν υπάρχει σημείο στο $(-1,1)$ όπου η παράγωγος να είναι ίση με $0$. Για $x<0$, η παράγωγος είναι $-1$. Για $x>0$, είναι $1$. Στο $x=0$, η παράγωγος δεν υπάρχει.

Λυμένο παράδειγμα: Βρες το $c$ για $f(x) = x^2$ στο $[1,3]$

Έστω

$$f(x) = x^2$$

στο διάστημα $[1,3]$.

Αυτή η συνάρτηση είναι συνεχής στο $[1,3]$ και παραγωγίσιμη στο $(1,3)$, άρα το θεώρημα εφαρμόζεται.

Πρώτα βρίσκουμε τον μέσο ρυθμό μεταβολής:

$$\frac{f(3)-f(1)}{3-1} = \frac{9-1}{2} = 4.$$

Τώρα παραγωγίζουμε:

$$f'(x) = 2x.$$

Θέτουμε την παράγωγο ίση με την κλίση της τέμνουσας:

$$2c = 4.$$

Άρα

$$c = 2.$$

Εφόσον $2 \in (1,3)$, αυτό είναι το σημείο που εγγυάται το θεώρημα. Στο $x=2$, η κλίση της εφαπτομένης είναι $4$, που ταιριάζει με τη μέση κλίση σε όλο το διάστημα.

Αυτή είναι η τυπική διαδικασία σε ασκήσεις του Θεωρήματος Μέσης Τιμής: έλεγξε τις προϋποθέσεις, υπολόγισε την κλίση της τέμνουσας, βρες την παράγωγο και λύσε ως προς $c$.

Συνηθισμένα λάθη στο Θεώρημα Μέσης Τιμής

1. Παραλείπεις τις προϋποθέσεις. Το θεώρημα δεν είναι απλώς ένας τύπος στον οποίο αντικαθιστάς τιμές.
2. Ξεχνάς τα είδη των διαστημάτων. Χρειάζεσαι συνέχεια στο $[a,b]$ και παραγωγισιμότητα στο $(a,b)$.
3. Υποθέτεις ότι το σημείο $c$ είναι μοναδικό. Το θεώρημα εγγυάται τουλάχιστον ένα σημείο, όχι ακριβώς ένα.
4. Το συγχέεις με το Θεώρημα Μέσης Τιμής Ολοκληρώματος. Το Θεώρημα Μέσης Τιμής εξισώνει κλίσεις, όχι μέσες τιμές της συνάρτησης.

Πότε χρησιμοποιείται το Θεώρημα Μέσης Τιμής

Στον διαφορικό λογισμό, το θεώρημα συχνά στηρίζει μεγαλύτερα αποτελέσματα και όχι μόνο μία άσκηση για το σπίτι.

Για παράδειγμα, βοηθά να αποδειχθεί ότι αν $f'(x) = 0$ παντού σε ένα διάστημα, τότε η συνάρτηση είναι σταθερή εκεί. Επίσης στηρίζει προτάσεις όπως: αν $f'(x) > 0$ σε όλο ένα διάστημα, τότε η συνάρτηση είναι αύξουσα σε αυτό το διάστημα. Πιο γενικά, σου επιτρέπει να ελέγχεις πόσο μπορεί να αλλάξει μια συνάρτηση όταν γνωρίζεις κάτι για την παράγωγό της.

Δοκίμασε ένα παρόμοιο πρόβλημα

Δοκίμασε την ίδια διαδικασία με τη $f(x)=x^3$ στο $[0,2]$. Πρώτα υπολόγισε την κλίση της τέμνουσας και μετά λύσε

$$f'(c) = \frac{f(2)-f(0)}{2-0}.$$

Έπειτα σύγκρινέ το με μια συνάρτηση όπως η $|x|$ στο $[-1,1]$ για να δεις ακριβώς πώς μια γωνία παραβιάζει τις προϋποθέσεις του θεωρήματος.