הפוליום של דקארט

בגאומטריה, הפוליום של דקארט (בלָטִינִית ׳folium׳, עלה; על שם רנה דקארט) היא עקומה אלגברית המוגדרת על ידי המשוואה הסתומה x 3 + y 3 − 3 a x y = 0. {\displaystyle x^{3}+y^{3}-3axy=0.} העקומה הוצעה ונחקרה לראשונה על ידי רנה דקארט בשנת 1638. הסיבה לפרסומה נעוצה במקרה שהתרחש במהלך הפיתוח של החשבון האינפיניטסימלי. דקארט אתגר את פייר דה פרמה למצוא את קו המשיק לעקומה בנקודה שרירותית, שכן פרמה גילה לפני כן שיטה למציאת קווים משיקים. פרמה פתר את הבעיה בקלות, מה שדקארט עצמו לא הצליח לעשות. מאז המצאת החשבון האינפיניטסימלי, ניתן למצוא את השיפוע של קו המשיק בקלות באמצעות הצגה סתומה. ניתן לבטא את הפוליום של דקארט בקואורדינטות קוטביות באופן הבא r = 3 a sin ⁡ θ cos ⁡ θ sin 3 ⁡ θ + cos 3 ⁡ θ , {\displaystyle r={\frac {3a\sin \theta \cos \theta }{\sin ^{3}\theta +\cos ^{3}\theta }},} שמשורטט בצד ימין. זה שווה ערך ל - r = 3 a sec ⁡ θ tan ⁡ θ 1 + tan 3 ⁡ θ . {\displaystyle r={\frac {3a\sec \theta \tan \theta }{1+\tan ^{3}\theta }}.} טכניקה נוספת היא כתיבה y = p x {\displaystyle y=px} ופתירה עבור x {\displaystyle x} ו y {\displaystyle y} במונחים של p {\displaystyle p} . זה מניב את המשוואות הפרמטריות הרציונליות: x = 3 a p 1 + p 3 , y = 3 a p 2 1 + p 3 {\displaystyle x={{3ap} \over {1+p^{3}}},\,y={{3ap^{2}} \over {1+p^{3}}}} . אנו יכולים לראות שהפרמטר קשור למיקום על העקומה באופן הבא: p < − 1 {\displaystyle p<-1} מתאים ל x > 0 {\displaystyle x>0} , y < 0 {\displaystyle y<0}  : ה"כנף" הימנית התחתונה. − 1 < p < 0 {\displaystyle -1<p<0} מתאים ל x < 0 {\displaystyle x<0} , y > 0 {\displaystyle y>0}  : ה"כנף" השמאלית העליונה. p > 0 {\displaystyle p>0} מתאים ל x > 0 {\displaystyle x>0} , y > 0 {\displaystyle y>0}  : הלולאה של העקומה. דרך נוספת לשרטט את הפונקציה יכולה לנבוע מסימטריה מעל y = x {\displaystyle y=x} . ניתן לראות את הסימטריה ישירות מהמשוואה שלה (ניתן להחליף בין x ו-y). על ידי החלת סיבוב של 45° CW למשל, אפשר לשרטט את הפונקציה באופן סימטרי על ציר הסיבוב x. פעולה זו מקבילה להחלפה: x = u + v 2 , y = u − v 2 {\displaystyle x={{u+v} \over {\sqrt {2}}},\,y={{u-v} \over {\sqrt {2}}}} ותניב v = ± u 3 a 2 − 2 u 6 u + 3 a 2 {\displaystyle v=\pm u{\sqrt {\frac {3a{\sqrt {2}}-2u}{6u+3a{\sqrt {2}}}}}} שרטוט במערכת הקרטזית של ( u , v ) {\displaystyle (u,v)} נותן את הפוליום מסובב ב-45° ולכן הוא סימטרי על ציר ה - u {\displaystyle u} . הוא יוצר לולאה ברביע הראשון עם נקודה כפולה במקור ובאסימפטוטה x + y + a = 0 . {\displaystyle x+y+a=0\,.} זה סימטרי גם לגבי הקו y = x {\displaystyle y=x} . ככזה, השניים מצטלבים במקור ובנקודה ( 3 a / 2 , 3 a / 2 ) {\displaystyle (3a/2,3a/2)} . ביצוע גזירה באופן סתום נותן את הנוסחה עבור השיפוע של קו המשיק לעקומה זו: d y d x = a y − x 2 y 2 − a x {\displaystyle {\frac {dy}{dx}}={\frac {ay-x^{2}}{y^{2}-ax}}} באמצעות כל אחד מהייצוגים הקוטביים שלמעלה, שטח הפנים של הלולאה הוא 3 a 2 / 2 {\displaystyle 3a^{2}/2} . יתר על כן, השטח שבין "כנפי" העקומה לאסימפטוטה המלוכסנת שלה הוא גם כן 3 a 2 / 2 {\displaystyle 3a^{2}/2} . ה-folium של דקארט קשור ל-trisectrix של Maclaurin על ידי טרנספורמציה אפינית. כדי לראות זאת, יש להתחיל עם המשוואה x 3 + y 3 = 3 a x y , {\displaystyle x^{3}+y^{3}=3axy\,,} ולשנות משתנים כדי למצוא את המשוואה במערכת קואורדינטות המסובבת 45 מעלות. זה מסתכם להגדרה x = X + Y 2 , y = X − Y 2 . {\displaystyle x={{X+Y} \over {\sqrt {2}}},y={{X-Y} \over {\sqrt {2}}}.} בתוך המישור X , Y {\displaystyle X,Y} המשוואה היא 2 X ( X 2 + 3 Y 2 ) = 3 2 a ( X 2 − Y 2 ) . {\displaystyle 2X(X^{2}+3Y^{2})=3{\sqrt {2}}a(X^{2}-Y^{2}).} אם נמתח את העקומה בכיוון ה - Y {\displaystyle Y} לפי גורם של 3 {\displaystyle {\sqrt {3}}} נקבל 2 X ( X 2 + Y 2 ) = a 2 ( 3 X 2 − Y 2 ) , {\displaystyle 2X(X^{2}+Y^{2})=a{\sqrt {2}}(3X^{2}-Y^{2}),} שהיא משוואת הטריסקטריקס של מקלורין. J. Dennis Lawrence: A catalog of special plane curves, 1972, Dover Publications.מסת"ב 0-486-60288-5ISBN 0-486-60288-5, עמ'. 106–108 George F. Simmons : Calculus Gems: Brief Lives and Memorable Mathematics, ניו יורק 1992, McGraw-Hill, xiv,355.מסת"ב 0-07-057566-5ISBN 0-07-057566-5 ; מהדורה חדשה 2007, האגודה המתמטית של אמריקה ( MAA ) Weisstein, Eric W. "Folium of Descartes". MathWorld. "Folium of Descartes" at MacTutor's Famous Curves Index "Cartesian Folium" at MathCurve הפוליום של דקארט, באתר MathWorld (באנגלית) "Folium of Descartes". Encyclopedia of Mathematics. 5 ביוני 2020. נבדק ב-30 בינואר 2021. {{cite web}}: (עזרה) Simmons, p. 101 Stewart, James (2012). "Section 3.5: Implicit Differentiation". Calculus: Early Transcendentals. United States of America: Cengage Learning. pp. 209–11. ISBN 978-0-538-49790-9. Stewart, James (2012). "Chapter 10: Parametric Equations and Polar Coordinates". Calculus: Early Transcendentals (7th ed.). Cengage Learning. p. 687. ISBN 978-0-538-49790-9. "DiffGeom3: Parametrized curves and algebraic curves". N J Wildberger, University of New South Wales. ארכיון מ-2021-12-21. נבדק ב-5 בספטמבר 2013. {{cite web}}: (עזרה)