במתמטיקה, **פונקציה סתומה** היא פונקציה המוגדרת על ידי משוואה, ולא באופן ישיר. לפעמים אפשר לפתור את המשוואה ולהציג את הפונקציה באופן מפורש, אבל במקרים רבים ההצגה המפורשת פחות סימטרית מן המשוואה, ואין בה תועלת. משפט הפונקציה הסתומה מספק תנאים לקיומה של פונקציה המוגדרת באופן סתום על ידי מערכת משוואות, ואף מאפשר לחשב את הנגזרות שלה.

לדוגמה, משוואת המעגל {\displaystyle x^{2}+y^{2}=1} מגדירה שתי פונקציות -{\displaystyle y={\sqrt {1-x^{2}}}} ו-{\displaystyle y=-{\sqrt {1-x^{2}}}}. את הנגזרת של {\displaystyle y} לפי {\displaystyle x} אפשר לחשב ישירות מן המשוואה הקושרת את שני המשתנים: {\displaystyle 2x+2yy'=0} ולכן {\displaystyle y'=-{\frac {x}{y}}}.

טליה דדון=סתומה

דוגמאות
-------

עקומים מפורסמים רבים מוגדרים בצורה הפשוטה ביותר על ידי פונקציות סתומות:

### הלמניסקטה של ברנולי

הלמניסקטה של ברנולי
* בקואורדינטות קרטזיות: {\displaystyle (x^{2}+y^{2})^{2}=a^{2}(x^{2}-y^{2})}
* בקואורדינטות פולאריות: {\displaystyle r^{2}=a^{2}\cos 2\theta }

כאשר {\displaystyle a} פרמטר קבוע כלשהו המשפיע על גודל וצורת העקום. ככל ש-a גדול יותר כך העקום גדול ומתוח יותר.

### העלה של דקארט

העלה של דקארט
* בקואורדינטות קרטזיות: {\displaystyle x^{3}+y^{3}=3axy}
* בקואורדינטות פולאריות: {\displaystyle r(\cos ^{3}\theta +\sin ^{3}\theta )=3a\sin \theta \cos \theta }

### השבלול של פסקל

השבלול של פסקל
* בקואורדינטות קרטזיות: {\displaystyle (x^{2}+y^{2}+ax)^{2}=b^{2}(x^{2}+y^{2})}
* בקואורדינטות פולאריות: {\displaystyle (r+a\cos \theta )^{2}=b^{2}}

### הפרח של גראנדי

הפרח של גראנדי (7 עלים)
* בקואורדינטות קרטזיות: {\displaystyle (x^{2}+y^{2})^{3}=4a^{2}x^{2}y^{2}}
* בקואורדינטות פולאריות: {\displaystyle r=a\sin 2\theta } או בצורה כללית: {\displaystyle r=\cos(n\theta )}

נגזרת של פונקציה סתומה
----------------------

ישנן מספר שיטות לגזירת פונקציה ומציאת הנגזרת שלה.

### נגזרת של פונקציה מורכבת

לפי גישה אחת המשמשת אותנו למציאת הנגזרת של פונקציה סתומה, נכתוב {\displaystyle y=y(x)}, ואז {\displaystyle {\frac {dy}{dx}}={\frac {dy(x)}{dx}}=y'}. לאחר שלקחנו נקודה זו בחשבון, נתייחס לגודל {\displaystyle y(x)} כפונקציה מורכבת של המשתנה הבלתי תלוי {\displaystyle x}. למשל, כאשר נגזור את המכפלה {\displaystyle xy} נגזור כאילו שהפונקציה {\displaystyle y} היא פונקציה ידועה. כלומר:

{\displaystyle {\frac {d}{dx}}(xy)={\frac {dx}{dx}}y+x{\frac {dy}{dx}}=y+x{\frac {dy}{dx}}=y+xy'}

### שימוש בנגזרות חלקיות

לפי גישה אחרת, כל משוואה שמתארת פונקציה סתומה ניתן להביא לצורה {\displaystyle F(x,y)=0} (למשל על ידי העברת אגפים). היות שהפונקציה {\displaystyle F(x,y)} היא אפס באופן זהותי, גם {\displaystyle {\frac {dF}{dx}}={\frac {dF}{dy}}=0} וכן {\displaystyle dF=0}. למעשה, הביטוי האחרון הוא הדיפרנציאל השלם של הפונקציה, שעל פי הגדרתו ניתן להצגה בצורה הבאה:

{\displaystyle dF={\frac {\partial F}{\partial x}}dx+{\frac {\partial F}{\partial y}}dy}, וכמובן שבגלל טרנזיטיביות יחס השוויון מתקיים {\displaystyle {\frac {\partial F}{\partial x}}dx+{\frac {\partial F}{\partial y}}dy=0}. נחלק את שני אגפי המשוואה ב-{\displaystyle dx} ונקבל {\displaystyle {\frac {\partial F}{\partial x}}+{\frac {\partial F}{\partial y}}{\frac {dy}{dx}}=0}. כדי למצוא את הנגזרת של הפונקציה הסתומה, נרצה לבודד את {\displaystyle {\frac {dy}{dx}}}, וכאשר נצליח לעשות זאת, בדיוק נמצא את הנגזרת הסתומה. על ידי העברת אגפים, וחלוקה ב-{\displaystyle {\frac {\partial F}{\partial y}}} נקבל:

{\displaystyle {\frac {dy}{dx}}=-{\frac {\partial F}{\partial x}}/{\frac {\partial F}{\partial y}}}.

דוגמה:

נניח שנתונה המשוואה הסתומה {\displaystyle \sin(xy)=\ln(x^{2}+y^{2})}, נעביר אגפים כדי לקבל את הצורה {\displaystyle \sin(xy)-\ln(x^{2}+y^{2})=0}, וכעת נגדיר {\displaystyle F(x,y)=\sin(xy)-\ln(x^{2}+y^{2})}.

נשתמש בזהות שפיתחנו, ולשם כך נמצא תחילה את {\displaystyle {\frac {\partial F}{\partial x}}} ו-{\displaystyle {\frac {\partial F}{\partial y}}}:

{\displaystyle {\frac {\partial F}{\partial x}}=y\cos(xy)-{\frac {2x}{x^{2}+y^{2}}}={\frac {(x^{2}+y^{2})y\cos(xy)-2x}{x^{2}+y^{2}}}}, {\displaystyle {\frac {\partial F}{\partial y}}=x\cos(xy)-{\frac {2y}{x^{2}+y^{2}}}={\frac {(x^{2}+y^{2})x\cos(xy)-2y}{x^{2}+y^{2}}}}.

עתה נציב את הנגזרות החלקיות לנוסחה שפיתחנו קודם לכן:

{\displaystyle {\frac {dy}{dx}}=-{\frac {(x^{2}+y^{2})y\cos(xy)-2x}{x^{2}+y^{2}}}/{\frac {(x^{2}+y^{2})x\cos(xy)-2y}{x^{2}+y^{2}}}=-{\frac {(x^{2}+y^{2})y\cos(xy)-2x}{(x^{2}+y^{2})x\cos(xy)-2y}}}

#### שיטה לגזירה של פונקציה סתומה עם שני משתנים (וגם יותר)

בהינתן משוואה המתארת פונקציה {\displaystyle F\_{(x,y)}} בעלת 2 משתנים (לא משנה אם המשוואה מפורשת או נתונה בצורה סתומה):

1. מבודדים את האפס - כלומר, מעבירים את כל האיברים לאגף אחד (לא חשוב איזה), כך שבאגף האחר יהיה רק אפס.
2. מגדירים את האגפים כפונקציה חדשה של שלושה משתנים {\displaystyle G\_{(x,y,F)}}, כמובן ששני אגפי המשוואה שווים, ולכן הפונקציה החדשה שווה לאפס.
3. כעת נשתמש בנוסחה:

{\displaystyle F'\_{x}=-{\tfrac {G'\_{x}}{G'\_{F}}}} זאת למעשה הנגזרת של {\displaystyle F} לפי {\displaystyle x}, ובאותו אופן נמצא את {\displaystyle F} לפי {\displaystyle y}:

{\displaystyle F'\_{y}=-{\tfrac {G'\_{y}}{G'\_{F}}}} בנוסף, ניתן לקבל גם כן את הנגזרת של {\displaystyle x} לפי {\displaystyle F} וכן הלאה... (כאילו ש-{\displaystyle x} הוא הפונקציה ו-{\displaystyle F} היא המשתנה.)

וכעת דוגמה:

נתונה המשוואה: {\displaystyle ln(x)+y+sin(z)+z^{2}=4x} ונניח שאנו רוצים את הנגזרת של {\displaystyle z} לפי {\displaystyle x}

1. {\displaystyle ln(x)+y+sin(z)+z^{2}-4x=0}
2. {\displaystyle G\_{(x,y,F)}=ln(x)+y+sin(z)+z^{2}-4x=0}
3. כעת יש לגזור את {\displaystyle G} לפי {\displaystyle x} ולגזור את {\displaystyle G} שוב, הפעם לפי {\displaystyle z}, ואז להציב בנוסחה.

#### הערה

יכול להיות (לדוגמה) שהנגזרת של אחד המשתנים (נניח {\displaystyle z}) לפי משתנה מסוים (נניח {\displaystyle x}), תהיה תלויה בין היתר גם במשתנה עצמו אשר אותו אנו גוזרים {\displaystyle (z)}, ולכן אם מבקשים מאיתנו למצוא את הנגזרת של {\displaystyle z} לפי {\displaystyle x} בנקודה מסוימת, לדוגמה {\displaystyle (1,2)} - אזי עלינו להציב במשוואה המקורית {\displaystyle x=1,y=2}. לאחר שנקבל את {\displaystyle z}, נוכל להציב את שלושתם בנגזרת.

ראו גם
------

* משפט הפונקציה הסתומה

קישורים חיצוניים
----------------

* הפרח של גראנדי
* פונקציה סתומה, באתר MathWorld (באנגלית)

|  |  |
| --- | --- |
| בקרת זהויות עריכת הנתון בוויקינתונים | 
* NLI: 987007553157705171
* NKC: ph606734

 |