Κριτήριο Παρεμβολής

Το κριτήριο παρεμβολής (γνωστό και ως θεώρημα του σαντουιτς ή squeeze theorem) είναι ένα εξαιρετικά ισχυρό εργαλείο για τον υπολογισμό ορίων όταν οι συνήθεις τεχνικές αποτυγχάνουν. Ιδιαίτερα χρήσιμο για τριγωνομετρικές εκφράσεις. 🎯

Η κεντρική ιδέα 🧭

Αν μια συνάρτηση $f$ βρίσκεται «πιασμένη» ανάμεσα σε δύο άλλες συναρτήσεις $h$ και $g$ , οι οποίες έχουν το ίδιο όριο σε κάποιο σημείο, τότε αναγκαστικά και η $f$ έχει το ίδιο όριο στο ίδιο σημείο. Αυτό ακριβώς περιγράφει το κριτήριο παρεμβολής.

Θεώρημα (Κριτήριο Παρεμβολής) 🎯

Θεώρημα

Δίνονται οι συναρτήσεις $f, g, h$ . Αν σε μια περιοχή $\pi(x_0)$ του $x_0$ ισχύει:

h(x) \leq f(x) \leq g(x), \quad \forall x \in \pi(x_0), \text{ εκτός ίσως του } x_0

και

\lim_{x \to x_0} h(x) = \lim_{x \to x_0} g(x) = \lambda,

τότε:

\lim_{x \to x_0} f(x) = \lambda

Αποδεικτική σκιαγραφία 🎓

Απόδειξη: Έστω $\varepsilon>0$ . Αφού $\lim\limits_{x\to x_0} h(x)=\lambda$ , υπάρχει $\delta_1>0$ ώστε για $0<|x-x_0|<\delta_1$ : $\lambda-\varepsilon < h(x) < \lambda+\varepsilon$ . Παρομοίως, για $g$ , υπάρχει $\delta_2>0$ ώστε $\lambda-\varepsilon < g(x) < \lambda+\varepsilon$ .

Διαλέγουμε $\delta = \min\{\delta_1,\delta_2,\delta_3\}$ , όπου $\delta_3$ είναι τέτοιο ώστε $h(x)\leq f(x)\leq g(x)$ να ισχύει. Τότε για $0<|x-x_0|<\delta$ :

\lambda-\varepsilon < h(x) \leq f(x) \leq g(x) < \lambda+\varepsilon \Rightarrow |f(x)-\lambda|<\varepsilon \checkmark

Διαισθητική εικόνα 📊

Δηλαδή, αν η συνάρτηση $f$ είναι παρεμβεβλημένη μεταξύ δύο συναρτήσεων $h$ και $g$ που «συγκλίνουν» στο ίδιο $\lambda$ στο $x_0$ , η $f$ δεν έχει άλλη επιλογή: πρέπει να συγκλίνει και αυτή στο $\lambda$ . Φαντάσου το σαν δύο χέρια που σφίγγουν ένα μπαλόνι — το μπαλόνι δεν μπορεί να ξεφύγει. 🎈

Δες σχήμα στη σελίδα 47 του Β' Τεύχους. 📊

Επέκταση σε άπειρα όρια 🔭

Γενίκευση

Το κριτήριο παρεμβολής ισχύει και όταν:

$x \to +\infty$ ή $x \to -\infty$ .
Τα πλευρικά όρια $x \to x_0^+$ , $x \to x_0^-$ .
Ακόμα και για $\lambda = \pm\infty$ (με κατάλληλη τροποποίηση: αρκεί μία πλευρά της ανισότητας).

Επέκταση για $+\infty$ : Αν $f(x) \geq h(x)$ και $\lim h(x) = +\infty$ , τότε $\lim f(x) = +\infty$ .

Επέκταση για $-\infty$ : Αν $f(x) \leq g(x)$ και $\lim g(x) = -\infty$ , τότε $\lim f(x) = -\infty$ .

Κλασικές εφαρμογές 📚

Εφαρμογή 1: Τριγωνομετρικά όρια

Αφού $-1 \leq \eta\mu x \leq 1$ για κάθε $x$ :

-|x| \leq x \cdot \eta\mu\left(\frac{1}{x}\right) \leq |x|, \quad x \neq 0

και αφού $\lim\limits_{x\to 0}(-|x|)=\lim\limits_{x\to 0}|x|=0$ , από κριτήριο παρεμβολής:

\lim_{x\to 0} x\cdot\eta\mu\left(\frac{1}{x}\right)=0

Εφαρμογή 2: Όριο στο άπειρο

Αφού $-1\leq\sigma\upsilon\nu x \leq 1$ :

-\frac{1}{x}\leq \frac{\sigma\upsilon\nu x}{x}\leq \frac{1}{x}, \quad x>0

και $\lim\limits_{x\to+\infty}\left(-\dfrac{1}{x}\right)=\lim\limits_{x\to+\infty}\dfrac{1}{x}=0$ , άρα:

\lim_{x\to+\infty}\frac{\sigma\upsilon\nu x}{x}=0

Εφαρμογή 3: Η απόδειξη του $\lim\limits_{x\to 0}\eta\mu x=0$ (θα δούμε στην επόμενη ενότητα)

Βασίζεται στην ανισότητα $0\leq|\eta\mu x|\leq|x|$ για κάθε $x$ στο $\mathbb{R}$ , και στην εφαρμογή του κριτηρίου παρεμβολής.

Παρατήρηση

Το κριτήριο παρεμβολής είναι ιδιαίτερα χρήσιμο στον υπολογισμό ορίων τριγωνομετρικών συναρτήσεων, αφού οι τιμές τους είναι φραγμένες ( $-1 \leq \eta\mu x \leq 1$ , $-1 \leq \sigma\upsilon\nu x \leq 1$ ). Η φραγμένη φύση τους μας επιτρέπει να «πιάσουμε» την έκφραση ανάμεσα σε δύο απλούστερες συναρτήσεις.

Πρακτική στρατηγική 🎯

Πώς εφαρμόζουμε το κριτήριο παρεμβολής

Αναγνώριση: Η συνάρτηση έχει έναν όρο που είναι φραγμένος (π.χ. $\eta\mu$ , $\sigma\upsilon\nu$ , $(-1)^n$ ).
Κατασκευή φραγμάτων: Χρησιμοποιώ τη φραγμένη φύση για να βρω κάτω και άνω φράγμα $h$ και $g$ .
Έλεγχος ορίων φραγμάτων: Υπολογίζω $\lim h$ και $\lim g$ . Αν είναι ίσα, εφαρμόζω το κριτήριο.
Συμπέρασμα: Το όριο της αρχικής συνάρτησης ισούται με το κοινό όριο.