Πεπλεγμένη Συνάρτηση

Μέχρι τώρα οι συναρτήσεις μας ήταν της μορφής $y = f(x)$ , όπου το $y$ «λύνεται» άμεσα ως προς $x$ . Όμως, πολλές καμπύλες περιγράφονται από εξισώσεις σαν $x^2 + y^2 = 1$ ή $x^3 + y^3 = 6xy$ , όπου το $y$ δεν απομονώνεται εύκολα. 🌀 Εδώ έρχεται η πεπλεγμένη συνάρτηση και η τεχνική της πεπλεγμένης παραγώγισης.

🔗 Η ιδέα της πεπλεγμένης περιγραφής

Πολλές εξισώσεις της μορφής $F(x, y) = 0$ δεν μπορούν να γραφούν ως $y = f(x)$ — ή επειδή αυτό είναι αδύνατο (π.χ. $x + y^2 - xy^3 = 0$ ), ή επειδή ο τύπος δίνει πολλές τιμές του $y$ για το ίδιο $x$ (π.χ. ο κύκλος).

Παράδειγμα κύκλου

Η $x^2 + y^2 = 1$ είναι κύκλος κέντρου $O$ και ακτίνας $1$ . Για $x = 0$ , έχουμε δύο τιμές: $y = 1$ και $y = -1$ . Άρα δεν είναι γραφική παράσταση συνάρτησης!

Αν όμως χωρίσουμε τον κύκλο σε δύο μέρη:

Πάνω ημικύκλιο: $y = \sqrt{1 - x^2}$ , $x \in [-1, 1]$
Κάτω ημικύκλιο: $y = -\sqrt{1 - x^2}$ , $x \in [-1, 1]$

Καθένα είναι συνάρτηση! Η αρχική εξίσωση «κρύβει» δύο (ή περισσότερες) συναρτήσεις μέσα της. 🎭

🎯 Ορισμός

Ορισμός — Πεπλεγμένη συνάρτηση

Η εξίσωση $F(x, y) = 0$ ορίζει πεπλεγμένα τη συνάρτηση $f$ σε ένα διάστημα $\Delta \subseteq \mathbb{R}$ , όταν το ζεύγος $(x, f(x))$ επαληθεύει την εξίσωση για κάθε $x \in \Delta$ .

Δηλαδή, βάζοντας $y = f(x)$ στην εξίσωση παίρνουμε ταυτότητα. Η συνάρτηση $f$ «κρύβεται» μέσα στην εξίσωση.

Περισσότερα παραδείγματα

Η $x^2 + y^2 = 4$ ορίζει πεπλεγμένα τις $f(x) = \sqrt{4-x^2}$ και $g(x) = -\sqrt{4-x^2}$ , με $x \in [-2, 2]$ .
Η $y^2 - x = 0$ ορίζει $f(x) = \sqrt{x}$ και $g(x) = -\sqrt{x}$ , με $x \in [0, +\infty)$ .
Η $x + y^2 - xy^3 = 0$ ορίζει πεπλεγμένα συναρτήσεις με κατάλληλους περιορισμούς, αλλά δεν μπορεί να λυθεί αναλυτικά ως προς $y$ .

🔍 Μέθοδος εύρεσης της $\dfrac{dy}{dx}$ — Πεπλεγμένη Παραγώγιση

Εδώ είναι η τέχνη: δεν χρειάζεται να λύσουμε ως προς $y$ ! Ακολουθούμε 3 βήματα:

Τα 3 βήματα της πεπλεγμένης παραγώγισης

Θεωρούμε τη μεταβλητή $y$ ως παραγωγίσιμη συνάρτηση του $x$ , δηλαδή $y = y(x)$ .
Παραγωγίζουμε κάθε όρο της εξίσωσης ως προς $x$ — όπου εμφανίζεται το $y$ , εφαρμόζουμε κανόνα αλυσίδας.
Λύνουμε την προκύπτουσα εξίσωση ως προς $\dfrac{dy}{dx}$ .

Γιατί χρειαζόμαστε κανόνα αλυσίδας;

Όταν παραγωγίζουμε π.χ. $y^2$ ως προς $x$ , πρέπει να σκεφτούμε το $y$ ως συνάρτηση του $x$ . Άρα:

\frac{d}{dx}(y^2) = 2y \cdot \frac{dy}{dx}

και όχι απλά $2y$ . Η παράγωγος του $y$ «γεννά» έναν παράγοντα $\dfrac{dy}{dx}$ που ακριβώς ψάχνουμε! 🎯

📝 Παραδείγματα βήμα-βήμα

Παράδειγμα 1 — Κύκλος

Να βρεθεί $\dfrac{dy}{dx}$ της συνάρτησης που ορίζεται από $x^2 + y^2 = 4$ .

Λύση: Παραγωγίζουμε και τα δύο μέλη ως προς $x$ :

\frac{d}{dx}(x^2 + y^2) = \frac{d}{dx}(4)

2x + 2y \cdot \frac{dy}{dx} = 0

\frac{dy}{dx} = -\frac{x}{y}, \quad y \neq 0

Γεωμετρική επαλήθευση

Η κλίση της ακτίνας $OA$ στο $A(x, y)$ είναι $\dfrac{y}{x}$ . Η εφαπτομένη του κύκλου είναι κάθετη στην ακτίνα, άρα η κλίση της είναι $-\dfrac{x}{y}$ . Ταυτίζεται με την πεπλεγμένη παράγωγο! ✅

Παράδειγμα 2 — Παραβολή

Να βρεθεί $\dfrac{dy}{dx}$ από την $y^2 - x = 0$ .

\frac{d}{dx}(y^2) - \frac{d}{dx}(x) = 0 \Rightarrow 2y\cdot\frac{dy}{dx} - 1 = 0 \Rightarrow \frac{dy}{dx} = \frac{1}{2y}

Παράδειγμα 3 — Όπου δεν λύνεται!

Για $3(x^2+y^2)^2 = 100xy$ η εξίσωση δεν λύνεται εύκολα ως προς $y$ . Πεπλεγμένα:

6(x^2+y^2)\cdot(2x + 2yy') = 100y + 100xy'

12x(x^2+y^2) + 12y(x^2+y^2)y' = 100y + 100xy'

Ομαδοποιούμε τους $y'$ :

[12y(x^2+y^2) - 100x]y' = 100y - 12x(x^2+y^2)

y' = \frac{25y - 3x(x^2+y^2)}{3y(x^2+y^2) - 25x}

Παράδειγμα 4 — Εφαπτομένη καμπύλης

Για $x^3 + y^3 = 6xy$ (φύλλο του Descartes 🌿) στο σημείο $A(3, 3)$ :

3x^2 + 3y^2 y' = 6y + 6xy' \Rightarrow 3(y^2 - 2x)y' = 3(2y - x^2)

y' = \frac{2y - x^2}{y^2 - 2x}

Στο $A(3, 3)$ : $y' = \dfrac{6 - 9}{9 - 6} = -1$ . Άρα εφαπτομένη: $y - 3 = -(x - 3) \Leftrightarrow x + y = 6$ .

💎 Πλεονεκτήματα της μεθόδου

Γιατί τη μαθαίνουμε;

Γρηγορότερη: δεν χρειάζεται να λύσουμε για $y$ .
Καθολική: δουλεύει ακόμα και όταν δεν μπορούμε να λύσουμε για $y$ .
Δίνει ίδιο αποτέλεσμα και με τις δύο μεθόδους όταν είναι διαθέσιμες.

Προσοχή

Το αποτέλεσμα συνήθως εμφανίζεται ως συνάρτηση των $x$ και $y$ και όχι μόνο του $x$ .
Πρέπει να αναφέρουμε τους περιορισμούς για τους οποίους ισχύει (π.χ. $y \neq 0$ στον κύκλο).
Σε σημεία όπου η πεπλεγμένη παράγωγος γίνεται απροσδιόριστη, ίσως η καμπύλη έχει κατακόρυφη εφαπτομένη ή ιδιάζον σημείο.

🧩 Προσοχή στις παραγωγίσεις

Ιδιαίτερη προσοχή χρειάζονται τα μέρη που περιέχουν γινόμενα των $x$ και $y$ :

$(xy)' = y + xy'$ (κανόνας γινομένου — επειδή και το $y$ είναι συνάρτηση)
$(x^2 y^3)' = 2x y^3 + x^2 \cdot 3y^2 y'$ (γινόμενο + αλυσίδα)
$(ημ y)' = συν y \cdot y'$ (αλυσίδα)
$(e^y)' = e^y \cdot y'$

Γενικός κανόνας

Κάθε φορά που παραγωγίζεις μια συνάρτηση του $y$ , πολλαπλασιάζεις με $y' = \dfrac{dy}{dx}$ . Αυτό προκύπτει από τον κανόνα αλυσίδας.

🚀 Εφαρμογές

Εφαπτομένη και κάθετη σε πεπλεγμένη καμπύλη

Για την εξίσωση της εφαπτομένης στο $A(x_0, y_0)$ :

Βρίσκω $\dfrac{dy}{dx}$ πεπλεγμένα.
Υπολογίζω $\lambda = \dfrac{dy}{dx}\Big|_{A(x_0, y_0)}$ .
Εξίσωση: $y - y_0 = \lambda(x - x_0)$ .

Οριζόντιες / κατακόρυφες εφαπτομένες

Οριζόντια: $\dfrac{dy}{dx} = 0$ (αριθμητής = 0).
Κατακόρυφη: $\dfrac{dy}{dx}$ «εκρήγνυται» (παρονομαστής = 0).

Παράδειγμα

Για τη $x^2 + y^2 - 2y = 1$ (κύκλος) ψάχνουμε σημεία με κλίση $-1$ :

\frac{dy}{dx} = -\frac{x}{y-1} = -1 \Rightarrow x = y - 1

Αντικαθιστώντας στην αρχική: δύο λύσεις (τα ζητούμενα σημεία). 📌

💡 Τελικές συμβουλές

Κανόνες για να μην χάνεσαι

Γράφε καθαρά όλα τα βήματα, ιδίως όταν εφαρμόζεις κανόνα γινομένου.
Θυμήσου: κάθε παραγώγιση του $y$ «βγάζει» $y'$ .
Ομαδοποίησε τους όρους με $y'$ στο ένα μέλος.
Παραγόντωσε για να απομονώσεις $y'$ .
Αν χρειάζεται τιμή σε σημείο, αντικατάστησε μετά την απομόνωση του $y'$ .

Δες τα παραδείγματα 1–6 (σελίδες 115–118 του Γ' Τεύχους) για γεωμετρικές εικόνες κύκλου, παραβολής, φύλλου του Descartes και αναλυτικές εφαρμογές.