Θεώρημα Ενδιάμεσων Τιμών

Το θεώρημα Ενδιάμεσων Τιμών (ΘΕΤ) είναι η φυσική γενίκευση του θεωρήματος Bolzano. Ενώ ο Bolzano μας εξασφαλίζει ότι μια συνεχής συνάρτηση παίρνει την τιμή $0$ (όταν έχει αλλαγή προσήμου), το ΘΕΤ λέει ότι κάθε ενδιάμεση τιμή λαμβάνεται. 🏛️

Θεώρημα Ενδιάμεσων Τιμών 🏛️

Θεώρημα Ενδιάμεσων Τιμών

Αν η συνάρτηση $f$ είναι:

Συνεχής στο κλειστό διάστημα $[a, \beta]$ ,
$f(a) \neq f(\beta)$ ,

τότε για κάθε αριθμό $\kappa$ μεταξύ των $f(a)$ και $f(\beta)$ (δηλ. $f(a)<\kappa<f(\beta)$ ή $f(\beta)<\kappa<f(a)$ ), υπάρχει τουλάχιστον ένα $\xi \in (a, \beta)$ τέτοιο ώστε:

f(\xi) = \kappa

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

Δηλαδή, μια συνεχής συνάρτηση σε ένα κλειστό διάστημα παίρνει όλες τις ενδιάμεσες τιμές μεταξύ $f(a)$ και $f(\beta)$ . Η γραφική παράσταση μιας συνεχούς συνάρτησης σε κλειστό διάστημα τέμνει κάθε οριζόντια ευθεία $y = \kappa$ (όπου $\kappa$ ενδιάμεση τιμή) σε τουλάχιστον ένα σημείο.

Διαισθητική ερμηνεία

Αν περπατάς από ύψος $100\text{ m}$ σε ύψος $200\text{ m}$ ομαλά (χωρίς τηλεμεταφορά), τότε αναγκαστικά περνάς από κάθε ύψος ανάμεσα στα δύο — συμπεριλαμβανομένων των $150\text{ m}$ , $175\text{ m}$ , κλπ. 🏔️ Αυτή είναι η ουσία του ΘΕΤ.

Απόδειξη (μέσω Bolzano) 🎓

Ιδέα: Ορίζουμε τη βοηθητική συνάρτηση $g(x) = f(x) - \kappa$ . Αυτή είναι συνεχής στο $[a,\beta]$ (ως διαφορά συνεχών).

Έστω $f(a)<\kappa<f(\beta)$ (η άλλη περίπτωση είναι συμμετρική). Τότε:

$g(a) = f(a) - \kappa < 0$ .
$g(\beta) = f(\beta) - \kappa > 0$ .
$g(a) \cdot g(\beta) < 0$ .

Από Bolzano, υπάρχει $\xi \in (a,\beta)$ με $g(\xi)=0$ , δηλ. $f(\xi)=\kappa$ . ✅

Σύνδεση με Bolzano

Το θεώρημα Bolzano είναι ειδική περίπτωση του θεωρήματος ενδιάμεσων τιμών, για $\kappa = 0$ . Δηλαδή, αν $f(a)$ και $f(\beta)$ έχουν αντίθετα πρόσημα, τότε η $f$ παίρνει και την τιμή $0$ κάπου στο $(a, \beta)$ .

Σημαντικές παρατηρήσεις 📝

Παρατηρήσεις

Το $\xi$ δεν είναι μοναδικό εν γένει. Μπορεί να υπάρχουν πολλά σημεία στα οποία η $f$ παίρνει την τιμή $\kappa$ .
Οι προϋποθέσεις συνέχειας και κλειστού διαστήματος είναι ουσιώδεις.
Το θεώρημα λέει ότι η εικόνα ενός κλειστού διαστήματος μέσω συνεχούς συνάρτησης περιέχει όλο το διάστημα μεταξύ $f(a)$ και $f(\beta)$ .

Συνέπεια: Η εικόνα διαστήματος είναι διάστημα 📐

Πόρισμα

Αν η $f$ είναι συνεχής σε κλειστό διάστημα $[a,\beta]$ και οριοθετεί τα $m=\min f$ , $M=\max f$ , τότε:

f([a,\beta]) = [m, M]

Δηλαδή η εικόνα είναι ένα κλειστό διάστημα που περιέχει όλες τις ενδιάμεσες τιμές.

Εφαρμογές 📚

Εφαρμογή 1: Ύπαρξη λύσης εξίσωσης $f(x)=\kappa$

Παράδειγμα: Έστω $f(x)=x^2$ , $x\in[0,3]$ . Είναι συνεχής, $f(0)=0$ , $f(3)=9$ . Άρα για κάθε $\kappa\in(0,9)$ υπάρχει $\xi\in(0,3)$ με $f(\xi)=\kappa$ . Π.χ. για $\kappa=5$ , $\xi=\sqrt{5}$ .

Εφαρμογή 2: Απόδειξη ύπαρξης σημείου με συγκεκριμένη ιδιότητα

Παράδειγμα: Σε ένα ταξίδι από το σπίτι στο σχολείο (απόσταση 10 km), υπάρχει σημείο όπου έχεις διανύσει ακριβώς 6.2 km. Αυτό εγγυάται το ΘΕΤ, αφού η θέση (συνεχής συνάρτηση του χρόνου) παίρνει όλες τις τιμές μεταξύ 0 και 10.

Εφαρμογή 3: Δείξε ότι η $f(x)=x^3-4x+1$ παίρνει την τιμή $3$ στο $[1,3]$

Η $f$ είναι συνεχής (πολυώνυμο) στο $[1,3]$ . ✅
$f(1)=1-4+1=-2$ , $f(3)=27-12+1=16$ .
Είναι $-2<3<16$ , άρα υπάρχει $\xi\in(1,3)$ με $f(\xi)=3$ . ✅

Γενική στρατηγική εφαρμογής 🎯

Βήματα εφαρμογής του ΘΕΤ

Για να αποδείξουμε ότι η $f(x)=\kappa$ έχει λύση στο $(a,\beta)$ :

Επιβεβαιώνουμε ότι η $f$ είναι συνεχής στο $[a,\beta]$ .
Υπολογίζουμε $f(a)$ και $f(\beta)$ .
Ελέγχουμε αν το $\kappa$ βρίσκεται ανάμεσα στα $f(a)$ και $f(\beta)$ .
Εφαρμόζουμε το ΘΕΤ.

Εναλλακτικά, ορίζουμε $g(x)=f(x)-\kappa$ και εφαρμόζουμε Bolzano στη $g$ (αν $g(a)g(\beta)<0$ ).

Σημαντική σύνδεση με την «πληρότητα» του $\mathbb{R}$ 🧠

Βαθύτερη θεωρία

Το ΘΕΤ (και ο Bolzano) ισχύουν χάρη στην ιδιότητα της πληρότητας του $\mathbb{R}$ : δεν υπάρχουν «τρύπες» στον πραγματικό άξονα. Σε άλλα σύνολα (π.χ. στο $\mathbb{Q}$ ) το θεώρημα αποτυγχάνει: π.χ. η $f(x)=x^2-2$ ορισμένη σε $\mathbb{Q}$ είναι συνεχής, $f(0)=-2$ , $f(2)=2$ , αλλά δεν υπάρχει ρητός $x$ με $f(x)=0$ (η μοναδική ρίζα είναι $\sqrt{2}\notin\mathbb{Q}$ ).

Θεώρημα Ενδιάμεσων Τιμών