Ποια είναι η σχέση του Θεωρήματος Μέσης Τιμής με το Θεώρημα του Rolle;

Το Θεώρημα του Rolle είναι μια ειδική περίπτωση του Θεωρήματος Μέσης Τιμής. Αν μια συνάρτηση f(x) ικανοποιεί τις προϋποθέσεις του ΘΜΤ και επιπλέον ισχύει f(α) = f(β), τότε το ΘΜΤ εγγυάται ότι υπάρχει ένα c στο (α, β) τέτοιο ώστε f'(c) = 0. Αυτό είναι ακριβώς το συμπέρασμα του Θεωρήματος του Rolle.

Τι συμβαίνει αν δεν πληρούνται οι προϋποθέσεις του ΘΜΤ;

Αν μία ή και οι δύο προϋποθέσεις (συνέχεια στο κλειστό διάστημα και παραγωγισιμότητα στο ανοιχτό) δεν πληρούνται, τότε το Θεώρημα Μέσης Τιμής δεν μπορεί να εγγυηθεί την ύπαρξη ενός τέτοιου σημείου c. Μπορεί να υπάρχει, αλλά το θεώρημα δεν το διασφαλίζει. Για παράδειγμα, η f(x) = |x| στο [-1, 1] δεν είναι παραγωγίσιμη στο 0, και δεν υπάρχει c τέτοιο ώστε f'(c) = (f(1)-f(-1))/(1-(-1)) = (1-1)/2 = 0.

Εφαρμογή του Θεωρήματος Μέσης Τιμής (ΘΜΤ) στον Διαφορικό Λογισμό

Q: Γιατί είναι σημαντικό το Θεώρημα Μέσης Τιμής στην πράξη;

Το ΘΜΤ είναι θεμελιώδες για την απόδειξη πολλών άλλων σημαντικών θεωρημάτων στον λογισμό, όπως το Θεμελιώδες Θεώρημα του Απειροστικού Λογισμού και η σχέση μεταξύ του προσήμου της παραγώγου και της μονοτονίας μιας συνάρτησης. Επίσης, έχει εφαρμογές σε φυσικές επιστήμες και μηχανική, όπου ο μέσος ρυθμός μεταβολής συχνά συνδέεται με έναν στιγμιαίο ρυθμό σε κάποιο σημείο.

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

Τι είναι το Θεώρημα Μέσης Τιμής (ΘΜΤ);

Το Θεώρημα Μέσης Τιμής, γνωστό και ως Θεώρημα του Lagrange, είναι ένα από τα θεμελιώδη θεωρήματα του διαφορικού λογισμού. Μας παρέχει μια κρίσιμη σύνδεση μεταξύ του μέσου ρυθμού μεταβολής μιας συνάρτησης σε ένα διάστημα και του στιγμιαίου ρυθμού μεταβολής της σε ένα συγκεκριμένο σημείο εντός αυτού του διαστήματος. Ουσιαστικά, αν μια συνάρτηση ικανοποιεί κάποιες βασικές προϋποθέσεις, το ΘΜΤ εγγυάται την ύπαρξη τουλάχιστον ενός τέτοιου σημείου.

Γεωμετρική Ερμηνεία

Από γεωμετρική άποψη, το ΘΜΤ δηλώνει ότι, αν το γράφημα μιας συνάρτησης είναι ομαλό (χωρίς διακοπές ή απότομες γωνίες) σε ένα διάστημα [α, β], τότε υπάρχει τουλάχιστον ένα σημείο c στο ανοιχτό διάστημα (α, β) στο οποίο η εφαπτομένη της καμπύλης είναι παράλληλη προς τη χορδή που ενώνει τα σημεία (α, f(α)) και (β, f(β)). Η κλίση της χορδής αντιπροσωπεύει τον μέσο ρυθμό μεταβολής της συνάρτησης στο διάστημα, ενώ η κλίση της εφαπτομένης στο σημείο c αντιπροσωπεύει τον στιγμιαίο ρυθμό μεταβολής της συνάρτησης σε αυτό το σημείο.

Προϋποθέσεις Εφαρμογής του ΘΜΤ

Για να είναι εφαρμόσιμο το Θεώρημα Μέσης Τιμής σε μια συνάρτηση f(x) σε ένα διάστημα [α, β], πρέπει να πληρούνται αυστηρά δύο βασικές προϋποθέσεις:

Συνέχεια στο κλειστό διάστημα [α, β]: Η συνάρτηση f(x) πρέπει να είναι συνεχής σε όλο το κλειστό διάστημα [α, β]. Αυτό σημαίνει ότι το γράφημά της μπορεί να σχεδιαστεί χωρίς να σηκώσουμε το μολύβι από το χαρτί, δηλαδή δεν παρουσιάζει ασυνέχειες όπως άλματα, κενά ή κατακόρυφες ασύμπτωτες εντός ή στα άκρα του διαστήματος.
Παραγωγισιμότητα στο ανοιχτό διάστημα (α, β): Η συνάρτηση f(x) πρέπει να είναι παραγωγίσιμη σε όλο το ανοιχτό διάστημα (α, β). Αυτό σημαίνει ότι μπορούμε να υπολογίσουμε την παράγωγό της σε κάθε σημείο του διαστήματος, χωρίς να υπάρχουν «γωνίες» ή «αιχμές» (όπως στην απόλυτη τιμή) στο γράφημα, ούτε κατακόρυφες εφαπτομένες. Στα άκρα α και β, η παραγωγισιμότητα δεν απαιτείται.

Είναι κρίσιμο να ελέγχονται αυτές οι προϋποθέσεις πριν επιχειρήσουμε να εφαρμόσουμε το ΘΜΤ, καθώς αν μία από αυτές δεν ισχύει, το θεώρημα δεν μπορεί να εγγυηθεί την ύπαρξη του σημείου c.

Ο Τύπος του Θεωρήματος Μέσης Τιμής

Εάν οι παραπάνω προϋποθέσεις πληρούνται, τότε το Θεώρημα Μέσης Τιμής δηλώνει ότι υπάρχει τουλάχιστον ένα σημείο c, το οποίο ανήκει στο ανοιχτό διάστημα (α, β), τέτοιο ώστε:

$$f'(c) = \frac{f(\beta) - f(\alpha)}{\beta - \alpha}$$

Όπου:

f'(c) είναι η παράγωγος της συνάρτησης f στο σημείο c, που αντιπροσωπεύει την κλίση της εφαπτομένης στο σημείο (c, f(c)).
$\frac{f(\beta) - f(\alpha)}{\beta - \alpha}$ είναι ο μέσος ρυθμός μεταβολής της συνάρτησης στο διάστημα [α, β], που αντιπροσωπεύει την κλίση της τέμνουσας που ενώνει τα σημεία (α, f(α)) και (β, f(β)).

Βήμα-Προς-Βήμα Εφαρμογή του ΘΜΤ

Για να εφαρμόσετε το Θεώρημα Μέσης Τιμής σε μια συνάρτηση f(x) σε ένα διάστημα [α, β], ακολουθήστε τα εξής βήματα:

Έλεγχος Προϋποθέσεων:
- Ελέγξτε αν η συνάρτηση f(x) είναι συνεχής στο κλειστό διάστημα [α, β].
- Ελέγξτε αν η συνάρτηση f(x) είναι παραγωγίσιμη στο ανοιχτό διάστημα (α, β).
- Αν και οι δύο προϋποθέσεις πληρούνται, συνεχίστε. Αν όχι, το ΘΜΤ δεν εφαρμόζεται.
Υπολογισμός των Τιμών στα Άκρα:
- Υπολογίστε την τιμή της συνάρτησης στο αριστερό άκρο: f(α).
- Υπολογίστε την τιμή της συνάρτησης στο δεξιό άκρο: f(β).
Υπολογισμός του Μέσου Ρυθμού Μεταβολής:
- Υπολογίστε τον μέσο ρυθμό μεταβολής χρησιμοποιώντας τον τύπο: $M = \frac{f(\beta) - f(\alpha)}{\beta - \alpha}$.
Υπολογισμός της Παραγώγου:
- Βρείτε την πρώτη παράγωγο της συνάρτησης f'(x).
Επίλυση της Εξίσωσης:
- Θέστε την παράγωγο ίση με τον μέσο ρυθμό μεταβολής: f'(c) = M.
- Λύστε αυτή την εξίσωση ως προς c.
Έλεγχος του c:
- Ελέγξτε αν η τιμή (ή οι τιμές) του c που βρήκατε ανήκει στο ανοιχτό διάστημα (α, β). Μόνο οι τιμές του c που βρίσκονται εντός αυτού του διαστήματος είναι αποδεκτές σύμφωνα με το θεώρημα.

Παραδείγματα Εφαρμογής

Παράδειγμα 1: Πολυωνυμική Συνάρτηση

Έστω η συνάρτηση f(x) = x² στο διάστημα [0, 2].

Έλεγχος Προϋποθέσεων:
- Η f(x) = x² είναι πολυωνυμική, άρα είναι συνεχής σε όλο το R (και επομένως στο [0, 2]).
- Η f(x) = x² είναι παραγωγίσιμη σε όλο το R (και επομένως στο (0, 2)).
- Οι προϋποθέσεις πληρούνται.
Υπολογισμός Τιμών στα Άκρα:
- f(0) = 0² = 0
- f(2) = 2² = 4
Υπολογισμός Μέσου Ρυθμού Μεταβολής:
- $M = \frac{f(2) - f(0)}{2 - 0} = \frac{4 - 0}{2} = \frac{4}{2} = 2$
Υπολογισμός Παραγώγου:
- f'(x) = 2x
Επίλυση Εξίσωσης:
- Θέτουμε f'(c) = M $\Rightarrow$ 2c = 2
- c = 1
Έλεγχος του c:
- Το c = 1 ανήκει στο διάστημα (0, 2). Άρα, το ΘΜΤ εφαρμόζεται και το σημείο c = 1 ικανοποιεί τη συνθήκη.

Παράδειγμα 2: Τριγωνομετρική Συνάρτηση

Έστω η συνάρτηση f(x) = sin(x) στο διάστημα [0, π/2].

Έλεγχος Προϋποθέσεων:
- Η f(x) = sin(x) είναι συνεχής σε όλο το R (και επομένως στο [0, π/2]).
- Η f(x) = sin(x) είναι παραγωγίσιμη σε όλο το R (και επομένως στο (0, π/2)).
- Οι προϋποθέσεις πληρούνται.
Υπολογισμός Τιμών στα Άκρα:
- f(0) = sin(0) = 0
- f(π/2) = sin(π/2) = 1
Υπολογισμός Μέσου Ρυθμού Μεταβολής:
- $M = \frac{f(\pi/2) - f(0)}{\pi/2 - 0} = \frac{1 - 0}{\pi/2} = \frac{1}{\pi/2} = \frac{2}{\pi}$
Υπολογισμός Παραγώγου:
- f'(x) = cos(x)
Επίλυση Εξίσωσης:
- Θέτουμε f'(c) = M $\Rightarrow$ cos(c) = $\frac{2}{\pi}$
- c = arccos($\frac{2}{\pi}$)
Έλεγχος του c:
- Γνωρίζουμε ότι $\pi \approx 3.14$, οπότε $\frac{2}{\pi} \approx \frac{2}{3.14} \approx 0.636$. Επειδή $0 < 0.636 < 1$, υπάρχει γωνία c στο διάστημα (0, π/2) της οποίας το συνημίτονο είναι 0.636. Συγκεκριμένα, arccos($\frac{2}{\pi}$) $\approx 0.88$ rad, το οποίο ανήκει στο διάστημα (0, π/2) $\approx$ (0, 1.57) rad. Άρα, το ΘΜΤ εφαρμόζεται.

Παράδειγμα 3: Κυβική Συνάρτηση

Έστω η συνάρτηση f(x) = x³ - x στο διάστημα [-1, 2].

Έλεγχος Προϋποθέσεων:
- Η f(x) = x³ - x είναι πολυωνυμική, άρα είναι συνεχής σε όλο το R (και επομένως στο [-1, 2]).
- Η f(x) = x³ - x είναι παραγωγίσιμη σε όλο το R (και επομένως στο (-1, 2)).
- Οι προϋποθέσεις πληρούνται.
Υπολογισμός Τιμών στα Άκρα:
- f(-1) = (-1)³ - (-1) = -1 + 1 = 0
- f(2) = 2³ - 2 = 8 - 2 = 6
Υπολογισμός Μέσου Ρυθμού Μεταβολής:
- $M = \frac{f(2) - f(-1)}{2 - (-1)} = \frac{6 - 0}{2 + 1} = \frac{6}{3} = 2$
Υπολογισμός Παραγώγου:
- f'(x) = 3x² - 1
Επίλυση Εξίσωσης:
- Θέτουμε f'(c) = M $\Rightarrow$ 3c² - 1 = 2
- 3c² = 3
- c² = 1
- c = ±1
Έλεγχος του c:
- Το διάστημα είναι (-1, 2). Από τις δύο τιμές, το c = 1 ανήκει στο διάστημα (-1, 2). Το c = -1 δεν ανήκει στο ανοιχτό διάστημα (-1, 2) (είναι άκρο). Άρα, το σημείο c = 1 ικανοποιεί τη συνθήκη του ΘΜΤ.

Το Θεώρημα Μέσης Τιμής είναι ένα ισχυρό εργαλείο που χρησιμοποιείται όχι μόνο για την εύρεση συγκεκριμένων σημείων, αλλά και ως βάση για την απόδειξη άλλων σημαντικών θεωρημάτων και ιδιοτήτων στον διαφορικό λογισμό, όπως το Θεώρημα του Rolle και η σχέση μεταξύ του προσήμου της παραγώγου και της μονοτονίας μιας συνάρτησης.