📐 Πλάγια Ασύμπτωτη και Παράγωγος - Το Κόλπο που (Δεν) Δουλεύει Πάντα

📐 Το Ερώτημα που Ξεκίνησε τη Συζήτηση

Όλα ξεκίνησαν με ένα απλό ερώτημα ενός μαθητή:

«Κύριε, αν μια συνάρτηση έχει πλάγια ασύμπτωτη, τότε η παράγωγός της έχει οριζόντια ασύμπτωτη ίση με την κλίση της πλάγιας. Κάνω κάποιο λάθος;»

Η ερώτηση έχει απόλυτο νόημα. Η κλίση \( m \) μιας πλάγιας ασύμπτωτης υπολογίζεται από το όριο:

\[ m = \lim_{x \to \infty} \frac{f(x)}{x} \]

Αλλά ο κανόνας του L'Hôpital λέει ότι — υπό προϋποθέσεις — μπορούμε να παραγωγίσουμε αριθμητή και παρονομαστή:

\[ m = \lim_{x \to \infty} \frac{f(x)}{x} = \lim_{x \to \infty} \frac{f'(x)}{1} = \lim_{x \to \infty} f'(x) \]

Άρα, μπορούμε να υπολογίσουμε την κλίση της πλάγιας ασύμπτωτης από το όριο της παραγώγου;

Η απάντηση είναι: όχι πάντα.

⚡ Ο Κανόνας του L'Hôpital — Οι Προϋποθέσεις

Ο κανόνας του L'Hôpital είναι ένα πανίσχυρο εργαλείο, αλλά δεν είναι πανάκεια. Για να τον εφαρμόσουμε, πρέπει να πληρούνται ορισμένες προϋποθέσεις:

• Οι συναρτήσεις \( f \) και \( g \) πρέπει να είναι παραγωγίσιμες σε ένα διάστημα.
• Πρέπει \( g'(x) \neq 0 \) κοντά στο σημείο που μας ενδιαφέρει.
• Το όριο \( \lim f(x)/g(x) \) πρέπει να είναι της μορφής \( 0/0 \) ή \( \infty/\infty \).
• Και το πιο σημαντικό: το όριο του λόγου των παραγώγων πρέπει να υπάρχει (να είναι πεπερασμένο ή \( \pm\infty \)).

Στην περίπτωσή μας, \( g(x) = x \), οπότε \( g'(x) = 1 \neq 0 \). Το όριο \( f(x)/x \) είναι της μορφής \( \infty/\infty \) (αν η συνάρτηση έχει πλάγια ασύμπτωτη).

Όμως, η τέταρτη προϋπόθεση είναι αυτή που συχνά ξεχνάμε. Το όριο της παραγώγου πρέπει να υπάρχει.

🎯 Το Αντιπαράδειγμα — Όταν το Όριο της Παραγώγου Δεν Υπάρχει

Ο Juan Luis Varona έδωσε ένα εξαιρετικό αντιπαράδειγμα στο νήμα του Twitter. Θεωρήστε τη συνάρτηση:

\[ f(x) = x + \frac{\sin(x^2)}{x} \]

Εδώ, η ευθεία \( y = x \) είναι πλάγια ασύμπτωτη της \( f \) στο \( +\infty \):

\[ \lim_{x \to \infty} \frac{f(x)}{x} = \lim_{x \to \infty} \left( 1 + \frac{\sin(x^2)}{x^2} \right) = 1 \]

Άρα \( m = 1 \). Αλλά ας υπολογίσουμε την παράγωγο:

\[ f'(x) = 1 + 2\cos(x^2) - \frac{\sin(x^2)}{x^2} \]

Το \( \cos(x^2) \) δεν έχει όριο στο \( \infty \) (ταλαντώνεται ασταμάτητα ανάμεσα στο −1 και το 1). Άρα, το όριο της παραγώγου δεν υπάρχει:

\[ \lim_{x \to \infty} f'(x) \quad \text{ΔΕΝ ΥΠΑΡΧΕΙ} \]

Κι όμως, η συνάρτηση έχει πλάγια ασύμπτωτη με κλίση \( m = 1 \).

📌 Το Συμπέρασμα — Πότε Δουλεύει το Κόλπο;

Μπορούμε να υπολογίσουμε την κλίση της πλάγιας ασύμπτωτης από το όριο της παραγώγου μόνο αν αυτό το όριο υπάρχει (είναι πεπερασμένο ή \( \pm\infty \)). Αν δεν υπάρχει, τίποτα δεν μπορούμε να συμπεράνουμε.

Στα σχολικά βιβλία (και στις περισσότερες εξετάσεις), οι συναρτήσεις που συναντάμε είναι «καλομαθημένες» — οι παράγωγοι έχουν όρια, και το κόλπο δουλεύει. Αλλά στη γενική περίπτωση, δεν είναι έγκυρο. Ο πιο ασφαλής δρόμος παραμένει ο επίσημος ορισμός:

\[ m = \lim_{x \to \infty} \frac{f(x)}{x} \]

Δεν εξαρτάται από τον κανόνα του L'Hôpital, και δουλεύει πάντα.

📜 Μια Σημείωση για τον L'Hôpital και τον Bernoulli

Ο κανόνας του L'Hôpital έχει μια ενδιαφέρουσα ιστορία. Το όνομά του προέρχεται από τον Γάλλο μαθηματικό Guillaume de L'Hôpital, ο οποίος τον δημοσίευσε το 1696 στο βιβλίο του Analyse des Infiniment Petits — το πρώτο συστηματικό εγχειρίδιο διαφορικού λογισμού που τυπώθηκε ποτέ.

Ο κανόνας, όμως, ανακαλύφθηκε από τον Johann Bernoulli, ο οποίος τον περιέγραψε σε επιστολή προς τον L'Hôpital στις 22 Ιουλίου 1694. Οι δύο είχαν μια ασυνήθιστη συμφωνία: ο L'Hôpital πλήρωνε στον Bernoulli ετήσια αμοιβή 300 φράγκων, με αντάλλαγμα να τον ενημερώνει για τις μαθηματικές του ανακαλύψεις — ανακαλύψεις που ο L'Hôpital είχε το δικαίωμα να χρησιμοποιήσει όπως ήθελε.

Αξίζει, ωστόσο, μια δίκαιη διευκρίνιση: ο ίδιος ο L'Hôpital δεν προσποιήθηκε ποτέ ότι ο κανόνας ήταν δικός του — στον πρόλογο του βιβλίου του αναγνώρισε ρητά τις συνεισφορές του Leibniz, του Jakob Bernoulli, και του Johann Bernoulli. Το όνομα απλώς «κόλλησε» στο βιβλίο, όχι στον πραγματικό ανακαλυπτή.

🧠 Το Μάθημα — Η Δύναμη και τα Όρια των Εργαλείων

Ο κανόνας του L'Hôpital είναι ένα από τα πιο χρήσιμα εργαλεία στον λογισμό. Αλλά κανένα εργαλείο δεν είναι παντοδύναμο. Η ιστορία αυτή υπενθυμίζει ότι οι προϋποθέσεις των θεωρημάτων δεν είναι διακοσμητικές — είναι ουσιαστικές, και όταν τις αγνοούμε, μπορεί να οδηγηθούμε σε λανθασμένα συμπεράσματα.

📚

Έρχεται το πολλαπλό βιβλίο ΝΕΟ — βρες όλες τις επιλογές εδώΠολλαπλό βιβλίο ΝΕΟ — 437 βιβλία σε PDF

PDF & Ψηφιακά Μαθησιακά Αντικείμενα — χωρίς εγγραφή • Portify

📚 437 βιβλία🎬 22.000+ Ψηφιακά Μαθησιακά Αντικείμενα

Δες τα βιβλία →