הצגת המקור של הדף "חתך חרוט"

[[קובץ:Konikoj.png|ממוזער|300px|ארבע ה[[צורה גאומטרית|צורות הגאומטריות]] המתקבלות מ[[מישור (גאומטריה)|מישור]] החותך [[חרוט כפול אינסופי]].{{ש}}הימני: '''[[היפרבולה]]''', האמצעי: למעלה - '''[[אליפסה]]''', למטה - '''[[מעגל]]''', השמאלי: '''[[פרבולה]]'''.]]
'''חתך חרוט''' (נקרא גם '''חתך קוני''' או '''שניונית''') הוא ה[[צורה גאומטרית|צורה הגאומטרית]] המתקבלת כאשר [[מישור (גאומטריה)|מישור]] [[חתך (גאומטריה)|חותך]] [[חרוט]] (קונוס). צורת חתך החרוט תלויה ב[[זווית]] שבה המישור חותך את החרוט.

==סוגים של חתכי חרוט==
אם <math>\alpha</math> היא הזווית שבין [[ציר סיבוב|ציר]] החרוט לקו היוצר שלו ו-<math>\beta</math> היא הזווית שבין ציר החרוט למישור החותך, אזי:
{|
|
* כאשר <math>\beta = 90^\circ</math>, מתקבל [[מעגל]] (אדום).
* כאשר <math>\beta > \alpha</math>, מתקבלת [[אליפסה]] (סגול).
* כאשר <math>\beta = \alpha</math>, מתקבלת [[פרבולה]] (ירוק).
* כאשר <math>\beta < \alpha</math>, מתקבלת [[היפרבולה]] (כחול).

[[מקרה מנוון|מקרים מנוונים]] מתקבלים כאשר המישור החותך עובר דרך [[קודקוד]] החרוט:
* כאשר <math>\beta = 90^\circ</math> או  <math>\beta > \alpha</math>, מתקבלת [[נקודה (גאומטריה)|נקודה]] יחידה.
* כאשר <math>\beta = \alpha</math>, מתקבל [[ישר]] יחיד (הוא הישר היוצר של החרוט).
* כאשר <math>\beta < \alpha</math>, מתקבלים שני ישרים, ה[[חיתוך (גאומטריה)|חותכים]] זה את זה.
|
[[קובץ:Secciones Conicas.png|250px]]
|}
ב[[גאומטריה פרויקטיבית]], בהינתן שתי אלומות ישרים שביניהן [[התאמה פרויקטיבית]], המקום הגאומטרי של חיתוך הישרים שמועתקים זה לזה הוא חתך חרוט.

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

== הגדרות שקולות לחתכי חרוט ==
לחתכי חרוט יש מספר הגדרות שקולות. ההגדרות הן:
# כל צורה הנוצרת מחתך של מישור וחרוט
# היפרבולות, פרבולות, אליפסות, מעגלים, 2 ישרים, ישר ונקודה.
# בהינתן קבועים <math>a,b,c,d,e,f</math>, חתך חרוט הוא אוסף כל הנקודות במישור המקיימות את המשוואה <math>ax^2 +bxy + cy^2 + dx + ey + f = 0</math>, כאשר a, b ו-c אינם כולם 0, כלומר עקום ממעלה שנייה (בדומה לכך, [[ישר]] הוא עקום ממעלה ראשונה ו[[עקום אליפטי]] הוא עקום ממעלה שלישית).
# בהינתן ישר (המדריך) ו[[נקודה (גאומטריה)|נקודה]] (המוקד), חתך חרוטי הוא אוסף כל הנקודות כך שיחס המרחק שלהן מהמוקד ומהמדריך הוא קבוע.

לכל ההגדרות הללו יש מקרים מנוונים; ההגדרה השלישית מאפשרת ל[[הקבוצה הריקה|קבוצה הריקה]] להיות חתך חרוט, וההגדרה הרביעית לא מאפשרת למעגלים להיקרא חתוך חרוט (פרט למקרה המנוון שבו היחס הוא 0, ואז חתך החרוט הוא רק המוקד, שזה גם מעגל).

ההגדרה השנייה נבדלת מההגדרה הראשונה, בכך שכל המושגים המוזכרים מוגדרים בצורה שונה. 
* אוסף הנקודות, הנמצאות ב[[מרחק]] קבוע מנקודה נתונה – הוא [[מעגל]].
* אוסף הנקודות, ש[[סכום]] מרחקיהן משתי נקודות נתונות הוא קבוע – הוא [[אליפסה]].
* אוסף הנקודות, שמרחקן מנקודה נתונה שווה למרחקן מ[[ישר]] נתון – הוא [[פרבולה]]. בהתאם לכך אפשר להגדיר פרבולה בקלות בהגדרה 4, כשהיחס הוא 1.
* אוסף הנקודות, ש[[חיסור|הפרש]] המרחקים שלהן משתי נקודות נתונות קבוע – הוא [[היפרבולה]].

הוכחה של שקילות ההגדרות הראשונה והשנייה מובאות בהמשך. קיימת עוד הוכחה הנקראת כדורי דנדלין.

== מיון אלגברי של חתכי חרוט ==
כפי שצוין מקודם, ב[[קואורדינטות קרטזיות|מערכת קואורדינטות קרטזיות]], [[מקום גאומטרי|המקום הגאומטרי]] של כל הנקודות המקיימות קשר ריבועי מסוים בשני משתנים הוא תמיד חתך חרוט (אף על פי שהוא עשוי להיות [[מקרה מנוון|מנוון]]), וכל החתכים החרוטיים נוצרים בדרך הזאת. המשוואה הכללית ביותר לחתכי חרוט היא מהצורה:

:<math>Ax^2 + Bxy + Cy^2 +Dx + Ey + F = 0, </math>

כאשר כל המקדמים הם מספרים ממשיים ו-''A,B,C'' לא כולם אפס. המשוואה הכללית הזאת היא לא בהכרח הצורה הקנונית של חתך החרוט אותו היא מייצגת, שבה הצירים הראשיים שלו מקבילים לצירי הקואורדינטות והמקדם ''B'' של האיבר המעורב <math>xy</math> מתאפס. מכאן שקשה לזהות באופן ישיר את מרכז חתך החרוט וכיוון ציריו הראשיים ממשוואה זו, ולכן היא לא תמיד נוחה לתיאור חתך החרוט. להלן נראה כיצד לעבור לצורה הקנונית ממשוואה זאת.   

=== סימון מטריציוני ===
את המשוואה הריבועית לעיל ניתן לראות כסכום של שלושה [[פולינום הומוגני|פולינומים הומוגניים]]: [[תבנית ריבועית|התבנית הריבועית]] <math>Ax^2 + Bxy + Cy^2</math>, התבנית הליניארית <math>Dx + Ey</math> והאיבר הקבוע <math>F</math>. בסימון מטריציוני ניתן לכתוב את המשוואה הכללית של חתכי חרוט כך:

: <math display="block">\begin{pmatrix}x & y \end{pmatrix} \begin{pmatrix}A & B/2\\B/2 & C\end{pmatrix} \begin{pmatrix}x\\y \end{pmatrix} + \begin{pmatrix}D & E \end{pmatrix} \begin{pmatrix} x\\y \end{pmatrix} + F= 0. </math>

=== הדיסקרימיננטה ===
טיפוס חתך החרוט (אליפסה, פרבולה או היפרבולה) נקבע על ידי החלק ההומוגני הריבועי: קיימת [[שמורה (מתמטיקה)|שמורה]] של התבנית הריבועית שאינה משתנה תחת [[מטריצת סיבוב|טרנספורמציות סיבוב]] של מישור <math>xy</math> אשר ערכה מאפשר לקבוע את טיפוס חתך החרוט. שמורה זאת היא ה[[דיסקרימיננטה]] של התבנית הריבועית, <math>B^2 - 4AC</math>, שהיא גם (עד כדי קבוע <math>-4</math>) ה[[דטרמיננטה]] של המטריצה המייצגת שלה <math>\left|\begin{matrix}A & B/2\\B/2 & C\end{matrix}\right| </math>. מכיוון שהמטריצה המייצגת של התבנית הריבועית היא [[מטריצה סימטרית]] מובטח שקיימת לה [[מטריצה מלכסנת]] [[מטריצה אורתוגונלית|אורתוגונלית]] ולכן ניתן להביא אותה לצורה אלכסונית על ידי סיבוב מתאים של המישור; הדיסקרימיננטה של התבנית הריבועית נשמרת בתהליך משום שהדטרמיננטה של מטריצה נשמרת תחת לכסון שלה.

אם חתך החרוט אינו מנוון, אז:

* אם <math>B^2 - 4AC < 0 </math> המשוואה מייצגת אליפסה;
** אם <math>A=C=1</math> ו-<math>B=0</math> אז המשוואה מייצגת מעגל, שהוא [[מקרה פרטי]] של אליפסה;
* אם <math>B^2 - 4AC=0</math> אז המשוואה מייצגת פרבולה;
* אם <math>B^2 - 4AC>0</math> אז המשוואה מייצגת היפרבולה;
** אם <math>A+C=0</math> אז המשוואה מייצגת היפרבולה ישרה. סכום זה הוא למעשה ה[[עקבה (אלגברה ליניארית)|עקבה]] של התבנית הריבועית, שנשמרת בתהליך הלכסון, כך שניתן לזהות מראש אם מדובר בהיפרבולה ישרה.

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

: <math>Ax^2 + Bxy + Cy^2 = A'\tilde{x}^2 + C'\tilde{y}^2</math>

כאשר <math>\tilde{x}= \alpha x+ \beta y , \tilde{y} = \gamma x +\delta y</math>,  כלומר אלו משתנים חדשים המתקבלים מהמשתנים המקוריים על ידי [[החלפת משתנה|החלפת משתנים]] ליניארית, כשערכי המקדמים של החלפות משתנים אלו נקבעים ידי איברי מטריצת הסיבוב המלכסנת של התבנית הריבועית. כדי להגיע לצורה קנונית, נותר רק "להעלים" את האיברים הליניאריים במשוואה החדשה של חתך החרוט, שכעת מקבלת את הצורה:

: <math>A'\tilde{x}^2 + C'\tilde{y}^2 + D'\tilde{x} + E'\tilde{y} + F =0</math>

האיברים הליניאריים מייצגים [[הזזה (גאומטריה)|הזזה]] של ראשית הצירים החדשים ביחס למרכז חתך החרוט, ומכיוון שאנו מעוניינים לעבור לצורה קנונית, יש להפעיל טרנספורמציית הזזה מתאימה. זה נעשה באופן כללי על ידי הוספת קבוע לכל אחד מהמשתנים החדשים, <math>x'+c_1 = \tilde{x}, y'+c_2 = \tilde{y}</math>, כאשר הקבועים <math>c_1,c_2</math> נקבעים כל אחד על ידי [[השלמה לריבוע]] של הביטוי המתאים ב-<math>\tilde{x}</math> ו-<math>\tilde{y}</math>, ואם חתך החרוט אינו מנוון זה מוביל לצורה הקנונית:

: <math>A'x'^2 + C'y'^2 + F' =0</math>

== פיתוח גאומטרי קלאסי של תכונות חתכי החרוט ==

ההגדרה המקורית לעקומים הריבועיים (עקומים ממעלה שנייה) הייתה עקומים המהווים חתכי חרוט, כאשר רק זמן מה לאחר גילויים הוכח שחתכי חרוט מהווים עקומים ממעלה שנייה. להלן מובאים הפיתוחים הגאומטריים הקלאסיים לתכונות הריבועיות של חתכי החרוט. הפיתוחים שמובאים כאן הופיעו לראשונה אצל [[אפולוניוס מפרגה]], אך אפולוניוס עצמו מציין שהטיעונים שלו לא מקוריים אלא מופיעים אצל מחברים מוקדמים יותר. 

=== פרבולה ===
[[קובץ:Parabolic Conic Section.png|שמאל|250px|ממוזער|תרשים גאומטרי מתוך "הקוניקה" של אפולוניוס. מציג את פרטי ההוכחה שלו לתכונה הריבועית של הפרבולה.]]

אפולוניוס מביא הוכחה המבוססת על משפט 35 בספר השלישי של ה-"[[יסודות (ספר)|יסודות]]" של [[אוקלידס]]. משפט זה קובע תכונה חשובה של שני מיתרים במעגל שנחתכים: "מכפלת הקטעים שמקצה המיתר האחד על השני שווה למכפלת הקטעים שמקצה המיתר השני על הראשון". תכונה זו מועילה מאוד בניתוח העקומים נחתכים מחרוט על ידי מישור. אם נעזר במעט דמיון מרחבי, נבחין שאם נסתכל על החרוט כאוסף של פרוסות מעגליות ברדיוס משתנה, אז ניתן להיעזר במשפט כדי להסיק באופן מקומי דברים על קו החיתוך של פרוסה מעגלית כזאת עם המישור. כיוון שהעקום הנחתך סימטרי, אם נסתכל על המישור העובר דרך נקודות <math>K,Q</math> ו-<math>H</math> באיור, אז נקבל אודות לסימטריה ולמשפט של אוקלידס ש-<math>VQ^2 = HV\cdot VK</math>. 

כעת נעזר בתכונה שחתך החרוט הפרבולי מתקבל על ידי חיתוך החרוט עם מישור ש'''מקביל''' לאחד הקווים היוצרים שלו - לכן מרובע <math>VKMC</math> הוא [[מקבילית]] ו-<math>MC = VK</math>. מכאן נקבל <math>VQ^2 = HV\cdot MC</math>. אם ניעזר בעובדה שמשולשים <math>PHV</math> ו-
<math>PBM</math> [[דמיון|דומים]] נקבל: <math>VQ^2 = HV\cdot MC = BM\cdot (HV/BM)\cdot MC = MD^2\cdot (HV/BM) = MD^2\cdot (PV/PM)</math>, במעברים האחרונים נעזרנו בדמיון משולשים וביישום המשפט של אוקלידס למעגל העובר דרך נקודות <math>B,D</math> ו-<math>C</math>. קיבלנו: <math>VQ^2 = MD^2\cdot (PV/PM)</math> ומכך נובע: <math>VQ^2/PV = MD^2/PM</math> כלומר יש יחס קבוע בין ריבוע הרוחב של הפרבולה בציר אחד לאורך שלה בציר השני, וזו בדיוק התכונה הריבועית של הפרבולה.

=== אליפסה ===

ניתן ליישם את צורת ההסקה הזאת גם לאליפסה, אלא שהביטוי לריבוע מחצית הרוחב של החתך החרוטי הספציפי מוחלף בביטוי מסוג אחר. אם נסתכל על הביטוי שהתקבל מהמשפט של אוקלידס במקרה הפרבולי: <math>VQ^2 = HV\cdot VK</math>, אז נקבל שבמקרה של אליפסה לא ניתן להחליף את <math>VK</math> ב-<math>MC</math> שכן כאשר החרוט מתרחב מתקיים <math>MC < VK</math> (הקו היוצר כבר לא מקביל למישור, והם מתקרבים זה לזה). כיוון שמדובר בקווים ישרים ניתן לקשר בין <math>VK</math> ל-<math>MC</math> על ידי ביטוי ליניארי מסוים, כלומר: <math>MC = VK - \alpha VM </math>. לכן נקבל: <math>MD^2 = BM\cdot MC = BM\cdot (VK - \alpha VM) = (HV + \beta VM)\cdot (VK - \alpha VM)  </math>.

קיבלנו ש-<math>MD^2 </math> הוא ביטוי ריבועי ב-<math>VM</math>. אם נכייל את הביטוי הריבועי כך ש-<math>V</math> יימצא בנקודה בה <math>VQ</math> מקסימלי (במינוח מודרני, נציב את ראשית הצירים במרכז האליפסה), נפטר מן החלק הליניארי של הביטוי הריבועי ונקבל: 
<math>MD^2 = L - \alpha \beta VM^2 </math>, כאשר <math>L</math> הוא קבוע חיובי כלשהו. קיבלנו את משוואת האליפסה.

=== היפרבולה ===

בעבור המקרה ההיפרבולי נפעיל תחילה את המשוואה ל-<math>MD^2 </math> כאשר <math>V</math> מוצבת בקודקוד ההיפרבולה. במקרה ההיפרבולי המישור החותך מתרחק משני הקווים היוצרים ולכן הסימנים של המקדמים <math>\alpha, \beta </math> בביטויים הליניאריים שניהם חיוביים. לכן נקבל:

<math>MD^2 = BM\cdot MC = BM\cdot (VK + \alpha VM) = (HV + \beta VM)\cdot (VK + \alpha VM) = HV\cdot VK + (\beta\cdot VK + \alpha\cdot HV)VM + \alpha \beta VM^2 </math>

מכיוון ש-V מוצבת בקודקוד ההיפרבולה HV יהיה שווה לאפס ולכן האיבר הקבוע בביטוי הריבועי מתאפס ומקבלים: <math>MD^2 = \beta\cdot VK\cdot VM + \alpha \beta VM^2  </math>

נציב <math>VM' = \left(VM + \frac {{VK}} {{2\alpha}}\right)  </math> ונקבל: <math>\alpha\cdot VM'^2 - (1/\beta)MD^2 = VK^2/4\alpha  </math>, וזוהי הצורה של משוואת ההיפרבולה, כאשר הפעולה של החלפה בין <math>VM</math> ל- <math>VM'</math> משמעותה בעצם הצבת ראשית הצירים במרכז ההיפרבולה במקום בקודקוד שלה.

==הגדרה לפי מדריך ומוקד==
בהינתן ישר (המדריך) ונקודה (המוקד), חתך חרוט הוא ה[[מקום גאומטרי|מקום הגאומטרי]] של כל הנקודות ש[[יחס (בין מספרים)|יחס]] המרחק שלהן מנקודה קבועה, הקרויה מוקד, ומישר קבוע, הקרוי מדריך, הוא קבוע. יחס קבוע זה קרוי [[אקסצנטריות (מתמטיקה)|אקסצנטריות]].

* האקסצנטריות של [[אליפסה]] גדולה מ־0 וקטנה מ־1.
* האקסצנטריות של [[פרבולה]] היא 1.
* האקסצנטריות של [[היפרבולה]] גדולה מ־1.
המעגל הוא מקרה גבול שאינו מוגדר על ידי מדריך ומוקד במישור האוקלידי. האקסצנטריות של המעגל מוגדרת כ-0 והמוקד הוא מרכז המעגל, אך המדריך הוא הישר באינסוף ב[[מישור פרויקטיבי|מישור הפרויקטיבי]]. 

{| class="wikitable"
! חתך חרוט
! משוואה
! אקסצנטריות
|-
| מעגל
|| <math>x^2+y^2=a^2 \,</math>
|| <math> 0 \,</math>
|-
| אליפסה
|| <math>\frac{x^2}{a^2}+\frac{y^2}{b^2}=1</math>
|| <math>\sqrt{1-\frac{b^2}{a^2}}</math>
|-
| פרבולה
|| <math>y^2=4ax \,</math>
|| <math> 1 \,</math>
|-
| היפרבולה
|| <math>\frac{x^2}{a^2}-\frac{y^2}{b^2}=1</math>
|| <math>\sqrt{1+\frac{b^2}{a^2}}</math>
|}

== היסטוריה ==
=== עבודתו של מנכמוס ועבודות אחרות ===

מוערך כי ההגדרה הראשונה של חתך החרוט ניתנה על ידי [[מנכמוס]] (שמת בשנת 320 לפנה"ס) כחלק מהפתרון שלו ל[[הבעיות הגאומטריות של ימי קדם|בעיית הכפלת הקובייה]] הדליאנית. עבודתו לא שרדה, והשמות בהם הוא השתמש כדי להתייחס לחתכי החרוט השונים אינם ידועים. עבודתו ידועה רק באמצעות מקורות משניים. האופן שבו סיווג מנכמוס את חתכי החרוט שונה מהשיטה המודרנית. חרוטים נוצרו על ידי סיבוב [[משולש ישר-זווית]] סביב אחד מניצביו כך שהיתר שלו ייצור את פני המשטח החרוטי (היתר נקרא קו יוצר). חרוטים חולקו לשלוש מחלקות לפי זווית הראש שלהם (שנמדדת כפעמיים הזווית בין היתר לניצב שסובבים סביבו במשולש ישר הזווית המקורי). חתכי החרוט נקבעו על ידי חיתוך החרוטים האלה עם מישור שניצב לאחד הקווים היוצרים שלהם. סוג החתך החרוטי נקבע אז לפי סוג החרוט, כלומר לפי זווית הראש של החרוט; אם זווית הראש היא חדה אז החתך יהיה אליפטי; אם ה[[זווית ישרה]] אז החתך יהיה פרבולי; ואם ה[[זווית קהה]] הוא יהיה היפרבולי.

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

=== אפולוניוס מפרגה ===
[[קובץ:Conica of Apollonius of Perga fol. 6b-7a DETAIL.jpg|שמאל|250px|ממוזער|שרטוט מהקוניקה של אפולוניוס, כפי שמובא בתרגום לערבית מהמאה ה-9 לספירה.]]
ההתקדמות הגדולה ביותר בחקר חתכי החרוט ביוון העתיקה היא הודות ל[[אפולוניוס מפרגה]] (שמת בשנת 190 לפנה"ס), אשר חיבורו בעל שמונת הכרכים "חתכי חרוט" או "[[הקוניקה (ספר)|הקוניקה]]" סיכם והוסיף רבות על הידע הקיים. חקירותיו של אפולוניוס את התכונות של חתכי החרוט הראו שכל מישור שחותך חרוט כפול, וללא קשר לזווית הראש של החרוט, יפיק חתכי חרוט בהתאם להגדרה הקודמת שלהם. בפרט, מעגלים, שאינם ניתנים לבנייה בשיטה הקודמת, גם הם ברי השגה בשיטה הזאת.

[[פאפוס מאלכסנדריה]] (שמת בשנת 350 לספירה) הוא הראשון שזיהה במפורש ודן באריכות במושג ה[[מוקד (אופטיקה)|מוקד]] של חתך חרוט, כמו גם במושג הקשור של מדריך ("directrix"), דיון שכלל בתוכו גם את המקרה של פרבולה (שנעדר מעבודותיו הידועות של אפולוניוס). בכך פאפוס הדגים את הזהות של חתכי החרוט עם ההגדרות הגאומטריות הקלאסיות של האליפסה, הפרבולה וההיפרבולה כ[[מקום גאומטרי|מיקומים גאומטריים]].

===העולם האיסלמי===
עבודתו של אפולוניוס תורגמה לערבית, וחלק ניכר ממנה שרד עד ימינו רק בגרסה הערבית. מתמטיקאים ערבים מצאו יישומים של התאוריה, במיוחד המתמטיקאי והמשורר הפרסי [[עומר כיאם]], אשר מצא שיטה גאומטרית לפתרון [[משוואה ממעלה שלישית|משוואות ממעלה שלישית]] באמצעות חתכי חרוט. 

כמאה שנים קודם לעבודתו של כיאם, Abu al-Jud השתמש בחתכי חרוט כדי לפתור [[משוואה ממעלה רביעית|משוואות ממעלה רביעית]] ושלישית, על אף שהפתרון שלו לא עסק בכל המקרים.

מכשיר לשרטוט חתכי חרוט תואר לראשונה בשנת 1000 לספירה על ידי Al-Kuhi.

===אירופה===
[[File:Table of Conics, Cyclopaedia, volume 1, p 304, 1728.jpg|thumb|left|שרטוטים של חתכי חרוט, '''[[ציקלופדיית צ'יימברס]]''', 1728.]]
[[יוהנס קפלר]] הרחיב את התאוריה של חתכי חרוט באמצעות "[[פונקציה חלקה|עקרון הרציפות]]" וגרסה מוקדמת למושגים של [[גבול (מתמטיקה)|גבולות]], והשתמש לראשונה במונח "פוקוס" כדי לכנות את המוקד של חתך החרוט, ב-1604.

[[ז'יראר דזארג']] ו[[בלייז פסקל]] פיתחו [[תאוריה]] חדשה של חתכי חרוט באמצעות צורה מוקדמת של [[גאומטריה פרויקטיבית]], ועבודתם סייעה להתניע מחקר של התחום החדש המתהווה הזה. באופן ראוי לציון, פסקל גילה משפט המכונה "[[משפט פסקל|המשושה המיסטי]]" (hexagrammum mysticum), אשר ממנו ניתן היה להסיק תכונות רבות אחרות של חתכי חרוט.

[[רנה דקארט]] ו[[פייר דה-פרמה]] יישמו שניהם את הכלי החדש של ה[[גאומטריה אנליטית|גאומטריה האנליטית]] שפיתחו לחקר חתכי חרוט. יישום זה איפשר להמיר את הבעיות הגאומטריות של חתכי חרוט לבעיות באלגברה. עם זאת, זה היה [[ג'ון ואליס]] אשר בחיבורו מ-1655 "''Tractatus de sectionibus conicis''" הגדיר לראשונה את חתכי החרוט כמשוואות אלגבריות ממעלה שנייה.

==חתכי חרוט בפיזיקה==

חתכי חרוט מופיעים ב[[מכניקה]] כפתרונות האפשריים של [[בעיית קפלר]]. 

[[אייזק ניוטון|ניוטון]] מצא כי [[מסלול (פיזיקה)|מסלול]]ם של [[כוכב לכת|כוכבי הלכת]] חייב להיות אחד מחתכי החרוט – מעגל, אליפסה, פרבולה או היפרבולה. הוא מצא כי אם כוכב לכת יגדיל בצורה מלאכותית את [[מהירות|מהירותו]] עד כדי הגעה למהירות גבולית מסוימת, מסלולו יהפוך מאליפטי לפרבולי. אם מהירותו תהיה גבוהה עוד יותר מהמהירות הגבולית, מסלולו יהיה היפרבולי. הן המסלול הפרבולי והן המסלול ההיפרבולי הם [[מסלול פתוח|מסלולים פתוחים]] – כלומר, גופים שינועו בהם יתרחקו מ[[השמש]] לבלי שוב.

==ראו גם==
* [[גופי סיבוב של חתכי חרוט]]
{{מיזמים|ויקישיתוף=Category:Conic sections}}
==קישורים חיצוניים==
* [[עמוס אלטשולר]], [http://highmath.haifa.ac.il/data/alle1-26/alle9/alle9-10.pdf חתכי החרוט בגישה סינתטית], (הוכחות קלאסיות לעקומים המתקבלים על ידי חתכי החרוט), [http://highmath.haifa.ac.il/index.php?option=com_content&task=blogcategory&id=196&Itemid=173 על"ה - עלון למורי המתמטיקה], גיליון 9, ספטמבר 1991.
* מיכאל קורן, [http://highmath.haifa.ac.il/data/alle1-26/alle7/alle7-8.pdf חתכי חרוט], הוכחה באמצעות תכונות הווקטורים
* {{MathWorld}}
* {{בריטניקה}}
* {{דף שער בספרייה הלאומית|987007555423905171|חתכים חרוטים}}
{{בקרת זהויות}}

[[קטגוריה:חתכי חרוט|*]]
[[קטגוריה:צורות גאומטריות]]