Γεωμετρική Ερμηνεία της Παραγώγου

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

🎯 Η ιδέα μέσα από το όριο τεμνουσών

Έστω $A(x_0, f(x_0))$ σημείο στη γραφική παράσταση της $f$ και $B(x, f(x))$ ένα κοντινό της σημείο (με $x \neq x_0$ ). Η ευθεία $AB$ (τέμνουσα) έχει κλίση:

\lambda_{AB} = \frac{f(x) - f(x_0)}{x - x_0}

Καθώς $x \to x_0$ , το $B$ πλησιάζει το $A$ και η τέμνουσα στρέφεται γύρω από το $A$ . Στο όριο, γίνεται η εφαπτομένη της γραφικής παράστασης στο $A$ .

Ορισμός — Εφαπτομένη ευθεία

Έστω $f$ ορισμένη σε ανοικτό διάστημα $\Delta$ που περιέχει το $x_0$ . Αν το όριο

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

υπάρχει και είναι πραγματικός αριθμός, τότε η ευθεία που διέρχεται από το $A(x_0, f(x_0))$ και έχει κλίση $\lambda$ ονομάζεται εφαπτομένη ευθεία της γραφικής παράστασης της $f$ στο $A$ .

🌟 Η θεμελιώδης σύνδεση

Σχόλιο-κλειδί

Από τον ορισμό βλέπουμε ότι $\lambda = f'(x_0)$ . Δηλαδή:

Η παράγωγος σε σημείο = κλίση εφαπτομένης στο σημείο αυτό.

Αυτή είναι η γεωμετρική ερμηνεία της παραγώγου! 📐

📏 Η εξίσωση της εφαπτομένης

Μία ευθεία που διέρχεται από σημείο $(x_0, y_0)$ με κλίση $\lambda$ έχει εξίσωση $y - y_0 = \lambda(x - x_0)$ . Εδώ $y_0 = f(x_0)$ και $\lambda = f'(x_0)$ :

Εξίσωση εφαπτομένης

y - f(x_0) = f'(x_0)(x - x_0)

Πώς βρίσκουμε την εξίσωση σε 3 βήματα

Υπολογίζω $f(x_0)$ (τεταγμένη του σημείου επαφής).
Υπολογίζω $f'(x)$ και μετά $f'(x_0)$ (κλίση).
Αντικαθιστώ στον τύπο $y - f(x_0) = f'(x_0)(x - x_0)$ .

Δουλεμένο παράδειγμα

Για $f(x) = \dfrac{1}{x^2}$ στο $A(1, 1)$ :

$f(1) = 1$ ✓
$f(x) = x^{-2}$ ⟹ $f'(x) = -2x^{-3} = -\dfrac{2}{x^3}$
$f'(1) = -2$

Εφαπτομένη: $y - 1 = -2(x - 1) \\Leftrightarrow 2x + y - 3 = 0$ ✅

🧮 Παραδείγματα κλίσεων

Παράδειγμα 1: Για $f(x) = x^2$ στο $A(1, 1)$ :

f'(x) = 2x \Rightarrow \lambda = f'(1) = 2

Παράδειγμα 2: Για $f(x) = \sqrt{x}$ στο $x_0 = 4$ :

f'(x) = \frac{1}{2\sqrt{x}} \Rightarrow \lambda = f'(4) = \frac{1}{4}

📐 Κατακόρυφη εφαπτομένη

Τι γίνεται όταν το όριο του λόγου μεταβολής είναι $\pm\infty$ ; Η παράγωγος δεν υπάρχει (με την αυστηρή έννοια), αλλά γεωμετρικά έχουμε κάτι ειδικό.

Ορισμός — Κατακόρυφη εφαπτομένη

Αν η $f$ είναι συνεχής στο $x_0$ και ισχύει μία από τις συνθήκες:

(α) $\displaystyle\lim_{x\to x_0}\dfrac{f(x) - f(x_0)}{x - x_0} = +\infty$ (ή $-\infty$ )

(β) $\displaystyle\lim_{x\to x_0^+} = +\infty$ και $\displaystyle\lim_{x\to x_0^-} = -\infty$

(γ) $\displaystyle\lim_{x\to x_0^+} = -\infty$ και $\displaystyle\lim_{x\to x_0^-} = +\infty$

τότε ορίζουμε εφαπτομένη της γραφικής παράστασης στο $A(x_0, f(x_0))$ την κατακόρυφη ευθεία $x = x_0$ .

Κλασικό παράδειγμα

Η $f(x) = \sqrt{x}$ έχει κατακόρυφη εφαπτομένη στο $x_0 = 0$ :

\lim_{x\to 0^+}\frac{\sqrt{x}}{x} = \lim_{x\to 0^+}\frac{1}{\sqrt{x}} = +\infty

Η συνάρτηση είναι συνεχής στο 0, αλλά όχι παραγωγίσιμη. Η εφαπτομένη είναι η κατακόρυφη $x = 0$ (άξονας y'y).

Παράδειγμα με δύο πλευρές

Για $f(x) = \begin{cases} \sqrt{x}, & x \geq 0 \\ \sqrt{-x}, & x < 0 \end{cases}$ στο $A(0,0)$ :

$\lim_{x\to 0^+}\frac{\sqrt{x}}{x} = +\infty$
$\lim_{x\to 0^-}\frac{\sqrt{-x}}{x} = +\infty$

Και τα δύο πλευρικά όρια είναι $+\infty$ ⟹ κατακόρυφη εφαπτομένη $x = 0$ . 📌

🎨 Περιπτώσεις μη ύπαρξης εφαπτομένης

Η γραφική παράσταση δεν δέχεται εφαπτομένη σε σημείο όταν:

Η $f$ δεν είναι συνεχής στο $x_0$ (π.χ. έχει άλμα ⛔).
Τα πλευρικά όρια του λόγου μεταβολής υπάρχουν και είναι διαφορετικοί πραγματικοί αριθμοί (γωνία — π.χ. $y = |x|$ στο $0$ 📐).
Τα πλευρικά όρια είναι $+\infty$ από τη μια και πραγματικός από την άλλη (ειδικές περιπτώσεις).

Θυμήσου!

Η παραγωγισιμότητα είναι αυστηρότερη από την ύπαρξη εφαπτομένης. Μπορεί να υπάρχει κατακόρυφη εφαπτομένη αλλά η συνάρτηση να μην είναι παραγωγίσιμη!

📏 Εφαρμογές

(α) Κάθετη στην εφαπτομένη

Αν η εφαπτομένη στο $A$ έχει κλίση $\lambda = f'(x_0) \neq 0$ , η κάθετη ευθεία σε αυτήν που διέρχεται από το $A$ έχει κλίση $-\dfrac{1}{\lambda} = -\dfrac{1}{f'(x_0)}$ και εξίσωση:

y - f(x_0) = -\frac{1}{f'(x_0)}(x - x_0)

(β) Γωνία που σχηματίζει η εφαπτομένη με τον άξονα

Αν η εφαπτομένη σχηματίζει γωνία $\omega$ με τον άξονα $x'x$ , τότε:

\lambda = f'(x_0) = εφ\omega

Παράδειγμα

Αν σε κάποιο σημείο $A$ η εφαπτομένη σχηματίζει γωνία $\dfrac{3\pi}{4}$ με τον άξονα $x'x$ , τότε η κλίση είναι:

\lambda = εφ\frac{3\pi}{4} = -1

και άρα $f'(x_A) = -1$ .

(γ) Οριζόντια εφαπτομένη

Όταν $f'(x_0) = 0$ , η εφαπτομένη είναι οριζόντια (παράλληλη στον άξονα $x'x$ ). Αυτό συμβαίνει συχνά σε τοπικά ακρότατα (μέγιστα/ελάχιστα). 🏔️

(δ) Εφαπτομένη από εξωτερικό σημείο

Αν η εφαπτομένη στο σημείο $A(x_0, f(x_0))$ διέρχεται από ένα άλλο γνωστό σημείο $B(a, b)$ , τότε η κλίση υπολογίζεται γεωμετρικά:

\lambda = \frac{f(x_0) - b}{x_0 - a} = f'(x_0)

Αυτό δίνει εξίσωση για το άγνωστο $x_0$ . 🎯

🎨 Γραφική παράσταση της $f'$

Από τη γραφική παράσταση της $f$ μπορούμε να σχεδιάσουμε τη γραφική παράσταση της $f'$ :

Όπου η $f$ είναι ευθύγραμμη τμηματικά, $f' =$ σταθερή (κλίση του τμήματος).
Όπου η $f$ έχει γωνία, η $f'$ έχει ασυνέχεια (άλμα).
Όπου η $f$ έχει οριζόντια εφαπτομένη, $f' = 0$ .
Όπου η $f$ έχει κατακόρυφη εφαπτομένη, η $f'$ δεν ορίζεται.

Σύνδεση με το μέλλον

Η μελέτη της γραφικής παράστασης της $f'$ (το πρόσημό της) είναι καταλυτική για:

Μονοτονία της $f$ (αύξουσα όταν $f' > 0$ , φθίνουσα όταν $f' < 0$ )
Ακρότατα της $f$ (όπου $f' = 0$ ή δεν ορίζεται)

Αυτά θα τα δεις αναλυτικά στη Γ' Λυκείου! 🚀

Δες τα σχήματα στις σελίδες 105–109 του Γ' Τεύχους για γραφικές εικόνες εφαπτομένης, τέμνουσας και κατακόρυφης εφαπτομένης.