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

בגאומטריה, הפוליום של דקארט (בלָטִינִית ׳folium׳, עלה; על שם רנה דקארט) היא עקומה אלגברית המוגדרת על ידי המשוואה הסתומה<math display="block">x^3 + y^3 - 3 a x y = 0.</math>

הפוליום של דקארט (ירוק) עם אסימפטוטה (כחול) כאשר <math>a = 1</math>

== היסטוריה ==
העקומה הוצעה ונחקרה לראשונה על ידי רנה דקארט בשנת 1638.<ref name=":0"></ref> הסיבה לפרסומה נעוצה במקרה שהתרחש במהלך הפיתוח של החשבון האינפיניטסימלי. דקארט אתגר את פייר דה פרמה למצוא את קו המשיק לעקומה בנקודה שרירותית, שכן פרמה גילה לפני כן שיטה למציאת קווים משיקים. פרמה פתר את הבעיה בקלות, מה שדקארט עצמו לא הצליח לעשות.<ref>Simmons, p. 101</ref> מאז המצאת החשבון האינפיניטסימלי, ניתן למצוא את השיפוע של קו המשיק בקלות באמצעות הצגה סתומה.<ref name=":1"></ref>

== גרף של העקומה ==
הפוליום של דקארט בקואורדינטות קוטביות
ניתן לבטא את הפוליום של דקארט בקואורדינטות קוטביות באופן הבא<math display="block">r = \frac{3 a \sin \theta \cos \theta}{\sin^3 \theta + \cos^3 \theta },</math>שמשורטט בצד ימין. זה שווה ערך ל -<ref></ref>

<math>r = \frac{3a \sec\theta \tan\theta}{1 + \tan^3 \theta}.</math>

טכניקה נוספת היא כתיבה <math>y = px</math> ופתירה עבור <math>x</math> ו <math>y</math> במונחים של <math>p</math>. זה מניב את המשוואות הפרמטריות הרציונליות:<ref></ref>

<math>x = ,\, y = </math>.

אנו יכולים לראות שהפרמטר קשור למיקום על העקומה באופן הבא:
* <math>p < - 1</math> מתאים ל <math>x>0</math>, <math>y<0</math> : ה"כנף" הימנית התחתונה.
* <math>-1 < p < 0</math> מתאים ל <math>x<0</math>, <math>y>0</math> : ה"כנף" השמאלית העליונה.
* <math>p>0</math> מתאים ל <math>x>0</math>, <math>y>0</math> : הלולאה של העקומה.

דרך נוספת לשרטט את הפונקציה יכולה לנבוע מסימטריה מעל <math>y = x</math>. ניתן לראות את הסימטריה ישירות מהמשוואה שלה (ניתן להחליף בין x ו-y). על ידי החלת סיבוב של 45° CW למשל, אפשר לשרטט את הפונקציה באופן סימטרי על ציר הסיבוב x.

פעולה זו מקבילה להחלפה:<math display="block"> x = },\, y = } </math>ותניב<math display="block"> v = \pm u\sqrt{\frac{3a \sqrt{2} - 2u}{6u + 3a \sqrt{2}}} </math>שרטוט במערכת הקרטזית של <math>(u,v)</math> נותן את הפוליום מסובב ב-45° ולכן הוא סימטרי על ציר ה - <math>u</math>.

== תכונות ==
הוא יוצר לולאה ברביע הראשון עם נקודה כפולה במקור ובאסימפטוטה<math display="block">x + y + a = 0 \,.</math>זה סימטרי גם לגבי הקו <math>y = x</math>. ככזה, השניים מצטלבים במקור ובנקודה <math>(3a/2,3a/2)</math>.

ביצוע גזירה באופן סתום נותן את הנוסחה עבור השיפוע של קו המשיק לעקומה זו:<blockquote><math>\frac{dy}{dx} = \frac{ay - x^2}{y^2 - ax}</math></blockquote>באמצעות כל אחד מהייצוגים הקוטביים שלמעלה, שטח הפנים של הלולאה הוא <math> 3a^2/2</math>. יתר על כן, השטח שבין "כנפי" העקומה לאסימפטוטה המלוכסנת שלה הוא גם כן <math>3a^2 / 2</math>.

== הקשר לטריסקטריקס של מקלורין ==
הטריסקוטריקס של מקלורין
ה-folium של דקארט קשור ל-trisectrix של Maclaurin על ידי טרנספורמציה אפינית. כדי לראות זאת, יש להתחיל עם המשוואה<math display="block">x^3 + y^3 = 3 a x y \,,</math>ולשנות משתנים כדי למצוא את המשוואה במערכת קואורדינטות המסובבת 45 מעלות. זה מסתכם להגדרה<math display="block">x = , y = .</math>בתוך המישור <math>X,Y</math> המשוואה היא<math display="block">2X(X^2 + 3Y^2) = 3 \sqrt{2}a(X^2-Y^2).</math>אם נמתח את העקומה בכיוון ה - <math>Y</math> לפי גורם של <math>\sqrt{3}</math> נקבל<math display="block">2X(X^2 + Y^2) = a \sqrt{2}(3X^2-Y^2),</math>שהיא משוואת הטריסקטריקס של מקלורין.

== לקריאה נוספת ==
* J. Dennis Lawrence: A catalog of special plane curves, 1972, Dover Publications.ISBN 0-486-60288-5, עמ'. 106–108
* George F. Simmons : Calculus Gems: Brief Lives and Memorable Mathematics, ניו יורק 1992, McGraw-Hill, xiv,355.ISBN 0-07-057566-5 ; מהדורה חדשה 2007, האגודה המתמטית של אמריקה ( MAA )

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

* Weisstein, Eric W. "Folium of Descartes". MathWorld.
* [http://www-history.mcs.st-andrews.ac.uk/history/Curves/Foliumd.html "Folium of Descartes" at MacTutor's Famous Curves Index]
* [http://www.mathcurve.com/courbes2d.gb/foliumdedescartes/foliumdedescartes.shtml "Cartesian Folium" at MathCurve]
* 

==הערות שוליים==

קטגוריה:רנה דקארט
קטגוריה:עקומים אלגבריים