Προβολή πηγαίου κώδικα για τη σελίδα Κωνική τομή

{{μορφοποίηση}}
{{πηγές|26|01|2020}}
[[Αρχείο:Conic sections 2.png|thumb|268x268px|Κωνικές τομές]]

'''Κωνική τομή''' ονομάζεται μία [[καμπύλη]] που προκύπτει από την τομή [[κώνος|κώνου]] και [[επίπεδο|επιπέδου]], ή ακριβέστερα, από την τομή ενός επιπέδου με δύο ίσες ορθές άπειρες κωνικές επιφάνειες που έχουν κοινό άξονα και συνδέονται στην κορυφή τους (ο ένας κώνος εφαρμόζει "αναποδογυρισμένος" πάνω στην κορυφή του άλλου). Όλες οι καμπύλες το πολύ δεύτερης τάξης στο επίπεδο είναι κωνικές τομές.

Η θέση του επιπέδου ως προς τον κώνο καθορίζει τη μορφή της κωνικής τομής:
* Εάν το επίπεδο είναι κάθετο στον άξονα του κώνου η τομή είναι ένας [[κύκλος]].
* Εάν το επίπεδο δεν είναι κάθετο στον άξονα του κώνου και τέμνει όλες τις γενέτειρες αυτού, η κλειστή καμπύλη που δημιουργείται είναι [[Έλλειψη (γεωμετρία)|έλλειψη]].
* Εάν το επίπεδο είναι παράλληλο προς μια γενέτειρα του κώνου, η τομή είναι [[Παραβολή (γεωμετρία)|παραβολή]].
* Εάν το επίπεδο δεν είναι κάθετο στον άξονα του κώνου και ούτε παράλληλο προς μια γενέτειρα αυτού, τότε η καμπύλη που προκύπτει είναι [[Υπερβολή (γεωμετρία)|υπερβολή]].
* Τέλος εάν το επίπεδο διέρχεται από την κορυφή του κώνου, η τομή λέγεται εκφυλισμένη κωνική τομή. Στην περίπτωση αυτή η τομή είναι ένα [[σημείο]] (εκφυλισμένη έλλειψη) ή μία [[ευθεία]] (εκφυλισμένη παραβολή) ή ένα ζεύγος ευθειών που διέρχονται από την κορυφή (εκφυλισμένη υπερβολή).

== Ενιαίος ορισμός κωνικών τομών ==

Γενικότερα ως κωνική τομή μπορεί να οριστεί ο [[γεωμετρικός τόπος]] των [[Σημείο|σημείων]] ενός [[Επίπεδο|επιπέδου]] των οποίων ο λόγος της απόστασης αυτών από σταθερό σημείο E (εστία) προς την απόσταση αυτών από μια σταθερή ευθεία δ (διευθετούσα) είναι σταθερός και ίσος προς <math>\,\epsilon</math>, ήτοι δηλαδή:

<center><math>\,\dfrac{d(M,E)}{d(M,\delta)}=\epsilon</math></center>

Ο σταθερός αυτός λόγος<math>\,\epsilon</math> ονομάζεται [[εκκεντρότητα]]. Μπορεί να αποδειχθεί ότι:
* Εάν <math>\,0\leq\epsilon<1</math> τότε η κωνική τομή είναι [[Έλλειψη (γεωμετρία)|έλλειψη]].
** Στην ειδική περίπτωση κατά την οποία <math>\,\epsilon=0</math> η κωνική τομή είναι [[κύκλος]].
* Εάν <math>\,\epsilon=1</math> τότε η κωνική τομή είναι [[Παραβολή (γεωμετρία)|παραβολή]].
* Εάν <math>\,\epsilon>1</math> τότε η κωνική τομή είναι [[Υπερβολή (γεωμετρία)|υπερβολή]].

Η απόσταση της εστίας Ε από την διευθετούσα δ ορίζεται ως εστιακή παράμετρος και συμβολίζεται με p.

== Γενική εξίσωση κωνικής τομής ==
Κάθε [[γεωμετρικός τόπος]] που αντιπροσωπεύεται από μια [[εξίσωση]] <math>\,f(x,y)=0</math> δευτέρου βαθμού είναι ένας από τους εξής: [[σημείο]], μια [[ευθεία]], δύο ευθείες, [[κύκλος]], [[Παραβολή (γεωμετρία)|παραβολή]], [[Έλλειψη (γεωμετρία)|έλλειψη]] ή [[Υπερβολή (γεωμετρία)|υπερβολή]].

Η γενική εξίσωση <math>\,f(x,y)=0</math> δευτέρου βαθμού μπορεί να γραφτεί ως:

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

Θα αρχίσουμε την μελέτη μας εξετάζοντας εάν μπορούμε να απαλείψουμε του όρους πρώτου βαθμού από την ανωτέρω εξίσωση. Προς τον σκοπό αυτό θα μεταφέρουμε την αρχή των αξόνων στο σημείο <math>\,(x_0,y_0)</math> θέτοντας:

<center><math>\,x=x'+x_0</math></center>

<center><math>\,y=y'+y_0</math></center>

και αντικαθιστώντας αυτές τις τιμές των <math>\,x,y</math> στην γενική εξίσωση λαμβάνουμε:

<center><math>\,Ax'^2+Bx'y'+Cy'^2+(2Ax_0+By_0+D)x'+(2Cy_0+Bx_0+E)y'+F'=0</math></center>

όπου

<center><math>\,F'=Ax_0^2+Bx_0y_0+Cy_0^2+Dx_0+Ey_0+F</math></center>

Για να απαλειφθούν οι όροι πρώτου βαθμού επιλέγουμε <math>\,x_0,y_0</math> τέτοια ώστε

<center><math>\,2Ax_0+By_0+D=0</math></center>

<center><math>\,2Cy_0+Bx_0+E=0</math></center>

Στην περίπτωση κατά την οποία <math>\,B^2-4AC\neq0</math> οι τιμές για τα <math>\,x_0,y_0</math> ορίζονται και είναι ως ακολούθως:

<center><math>\,x_0=\dfrac{2CD-BE}{B^2-4AC}</math></center>

<center><math>\,y_0=\dfrac{2AE-BD}{B^2-4AC}</math></center>

Κατόπιν αυτού η γενική εξίσωση μπορεί να γραφτεί (παραλείποντας τις ' από τις [[Μεταβλητή (μαθηματικά)|μεταβλητές]] <math>\,x,y</math>)

<center><math>\,Ax^2+Bxy+Cy^2+F'=0</math></center>

όπου το <math>\,F'</math> προκύπτει μετά από αντικατάσταση των <math>\,x_0,y_0</math> στην εξίσωση για το <math>\,F</math> ανωτέρω και είναι:

<center><math>\,F'=F+\dfrac{CD^2+AE^2-BDE}{B^2-4AC}</math></center>

Επιπλέον να σημειώσουμε ότι εάν η ανωτέρω εξίσωση <math>\,Ax^2+Bxy+Cy^2+F'=0</math> ικανοποιείται από ένα οποιοδήποτε ζεύγος αριθμών <math>\,(x_1,y_1)</math> τότε ικανοποιείται και από το <math>\,(-x_1,-y_1)</math> και άρα συνεπώς η νέα αρχή των αξόνων συντεταγμένων αποτελεί και το κέντρο του γεωμετρικού τόπου που αντιπροσωπεύει η γενική εξίσωση <math>\,f(x,y)=Ax^2+Bxy+Cy^2+Dx+Ey+F=0</math>.

Δηλαδή εάν <math>\,B^2-4AC\neq0</math> τότε ο γεωμετρικός τόπος <math>\,f(x,y)</math> έχει κέντρο του οποίου οι [[Σύστημα αναφοράς|συντεταγμένες]] είναι <math>\,(x_0,y_0)</math> όπως αυτές προσδιορίστηκαν ανωτέρω.

Ακολούθως θα απλοποιήσουμε περαιτέρω την εξίσωση <math>\,Ax^2+Bxy+Cy^2+F'=0</math> αλλάζοντας διεύθυνση στους άξονες συντεταγμένων. Προς τον σκοπό αυτό θέτουμε:

<center><math>\,x=x'\cos\phi-y'\sin\phi</math></center>

<center><math>\,y=x'\sin\phi+y'\cos\phi</math></center>

οπότε με αντικατάσταση προκύπτει

<math>\,x'^2(A\cos^2\phi+C\sin^2\phi+B\sin\phi\cos\phi)+y'^2(A\sin^2\phi+C\cos^2\phi-B\sin\phi\cos\phi)+x'y'\left[2(C-A)\sin\phi\cos\phi+B(\cos^2\phi-\sin^2\phi)\right]+F'=0</math>

Σκοπός μας είναι να αλλάξουμε την διεύθυνση των αξόνων κατά μια γωνία <math>\,\phi</math> τέτοια ώστε να απαλειφθεί ο όρος <math>\,x'y'</math>. Κατά συνέπεια θα υπολογίσουμε την γωνία <math>\,\phi</math> η οποία μηδενίζει τον συντελεστή του όρου <math>\,x'y'</math>, δηλαδή θέλουμε:

<center><math>\,2(C-A)\sin\phi\cos\phi+B(\cos^2\phi-\sin^2\phi)=(C-A)\sin2\phi+B\cos2\phi=(C-A)\tan2\phi+B=0\iff</math></center>
<center><math>\,\tan2\phi=\dfrac{B}{A-C}</math></center>

και εφόσον πάντοτε μπορεί να βρεθεί <math>\,\phi</math> τέτοιο ώστε <math>\,\tan2\phi=\dfrac{B}{A-C}</math> ο όρος <math>\,x'y'</math> μηδενίζεται και λαμβάνουμε:

<center><math>\,x'^2(A\cos^2\phi+C\sin^2\phi+B\sin\phi\cos\phi)+y'^2(A\sin^2\phi+C\cos^2\phi-B\sin\phi\cos\phi)+F'=0</math></center>

οπότε με απλοποίηση (παραλείποντας τις ' των μεταβλητών <math>\,x,y</math>) έχουμε:

<center><math>\,A'x^2+B'y^2+F'=0</math></center>

όπου

<center><math>\,A'=\dfrac{1}{2}\left[A+C+(A-C)\cos2\phi+B\sin2\phi\right]</math></center>

<center><math>\,B'=\dfrac{1}{2}\left[A+C-(A-C)\cos2\phi-B\sin2\phi\right]</math></center>

και αφού <math>\,\tan2\phi=\dfrac{B}{A-C}</math> προκύπτει ότι:

<center><math>\,\cos2\phi=\dfrac{A-C}{\sqrt{B^2+(A-C)^2}},</math></center>

<center><math>\,\sin2\phi=\dfrac{B}{\sqrt{B^2+(A-C)^2}}</math></center>

οπότε

<center><math>\,A'=\dfrac{1}{2}\left[A+C+\sqrt{B^2+(A-C)^2}\right]</math></center>

<center><math>\,B'=\dfrac{1}{2}\left[A+C-\sqrt{B^2+(A-C)^2}\right]</math></center>

(1) Εάν <math>\,F'=0</math>:

* Στην περίπτωση κατά την οποία <math>\,A',B'</math> έχουν ίδιο [[Πρόσημα|πρόσημο]], εάν δηλαδή <math>\,A'B'>0 \iff B^2-4AC>0</math> η εξίσωση αντιπροσωπεύει την αρχή των αξόνων.

* Στην περίπτωση κατά την οποία <math>\,A',B'</math> έχουν διαφορετικό πρόσημο, εάν δηλαδή <math>\,A'B'<0 \iff B^2-4AC>0</math> η εξίσωση αντιπροσωπεύει δύο ευθείες γραμμές με εξισώσεις:

<center><math>\,y=\pm\sqrt{-\dfrac{A'}{B'}}x</math></center>

(2) Εάν <math>\,F'\neq0</math> μπορούμε να γράψουμε:

<center><math>\,-\dfrac{A'}{F'}x^2-\dfrac{B'}{F'}y^2=1</math></center>

* Στην περίπτωση κατά την οποία <math>\,A',B',F'</math> έχουν ίδιο πρόσημο η εξίσωση είναι αδύνατη.

* Στην περίπτωση κατά την οποία <math>\,A',B'</math> έχουν διαφορετικό πρόσημο, εάν δηλαδή <math>\,A'B'<0 \iff B^2-4AC>0</math> η εξίσωση αντιπροσωπεύει υπερβολή.

* Στην περίπτωση κατά την οποία <math>\,A',B'</math> έχουν ίδιο πρόσημο αλλά <math>\,F'</math> έχει διαφορετικό πρόσημο, εάν δηλαδή <math>\,A'B'>0 \iff B^2-4AC<0</math> η εξίσωση αντιπροσωπεύει έλλειψη.

* Στην ειδική περίπτωση κατά την οποία <math>\,A'=B'</math> ήτοι δηλαδή <math>\,A=C</math> και <math>\,B=0</math> τότε η εξίσωση αντιπροσωπεύει κύκλο.

<center><math>\,</math></center>

Εάν <math>\,B^2-4AC=0</math> δεν είναι εφικτό εκτελέσουμε τον μετασχηματισμό μεταφοράς των αξόνων του συστήματος συντεταγμένων και ως εκ τούτου δεν μπορούμε να απαλείψουμε τους όρους πρώτου βαθμού της γενικής εξίσωσης <math>\,f(x,y)=0</math>.

Τέλος εάν <math>B^2-4AC=0</math> τότε δεν είναι εφικτό εκτελέσουμε τον μετασχηματισμό μεταφοράς των αξόνων του συστήματος συντεταγμένων και ως εκ τούτου δεν μπορούμε να απαλείψουμε τους όρους πρώτου βαθμού της γενικής εξίσωσης <math>f(x,y)=0</math>.

Μπορούμε όμως να προχωρήσουμε στον μετασχηματισμό αλλαγής διεύθυνσης (στροφής) των αξόνων του συστήματος συντεταγμένων θέτοντας:
    <center><math>x=x'\cos\phi-y'\sin\phi</math></center>
    <center><math>y=x'\sin\phi+y'\cos\phi</math></center>

Οπότε η γενική εξίσωση <math>f(x,y)</math> γράφεται ως:
    <center><math>x'^2(A\cos^2\phi+C\sin^2\phi+B\sin\phi\cos\phi)</math></center>
    <center><math>+y'^2(A\sin^2\phi+C\cos^2\phi-B\sin\phi\cos\phi)</math></center>
    <center><math>+x'y'\left[2(C-A)\sin\phi\cos\phi+B(\cos^2\phi-\sin^2\phi)\right]</math></center>
    <center><math>+x'(D\cos\phi+E\sin\phi)+y'(E\cos\phi-D\sin\phi)+F=0</math></center>

Όπως και προηγουμένως εάν θέσουμε
    <center><math>\tan2\phi=\dfrac{B}{A-C}</math></center>

μηδενίζεται ο συντελεστής του όρου <math>x'y'</math> και οι συντελεστές των <math>x'^2</math> και <math>y'^2</math> είναι:
    <center><math>\dfrac{1}{2}\left[A+C\pm\sqrt{B^2+(A-C)^2}\right]</math></center>
των οποίων το γινόμενο υπολογίζεται
    <center><math>\dfrac{1}{4}\left[A+C+\sqrt{B^2+(A-C)^2}\right]\left[A+C-\sqrt{B^2+(A-C)^2}\right]</math></center>
    <center><math>=\dfrac{1}{4}\left\{(A+C)^2-\left[B^2+(A-C)^2\right]\right\}</math></center>
    <center><math>=\dfrac{1}{4}\left[A^2+2AC+C^2-B^2-A^2+2AC-C^2\right]</math></center>
    <center><math>=-\dfrac{B^2-4AC}{4}=0</math></center>
και το οποίο ισούται προς μηδέν δεδομένου ότι από την υπόθεση διερευνούμε αυτήν ακριβώς την περίπτωση.

Κατά συνέπεια ένας εκ των δύο όρων των <math>x'^2</math> ή <math>y'^2</math> πρέπει να ισούται προς μηδέν και εξαφανίζεται, έστω ο όρος <math>x'^2</math>. Έτσι τελικά η γενική εξίσωση <math>f(x,y)</math> στην περίπτωση αυτή μετασχηματίζεται στην ακόλουθη μορφή (παραλείποντας τις ' από τη μεταβλητή <math>y</math>):
    <center><math>C'y^2+D'x+E'y+F=0</math></center>

όπου
    <center><math>C'=A\sin^2\phi+C\cos^2\phi-B\sin\phi\cos\phi</math></center>
    <center><math>D'=D\cos\phi+E\sin\phi</math></center>
    <center><math>E'=E\cos\phi-D\sin\phi</math></center>

(1) Εάν <math>D'\neq0</math> αυτή η εξίσωση γράφεται
    <center><math>C'\left(y+\dfrac{E'}{2C'}\right)^2=-D'\left(x-\dfrac{E'^2}{4C'D'}+\dfrac{F}{D'}\right)</math></center>
και κατά συνέπεια σε αυτή την περίπτωση ο γεωμετρικός τόπος είναι παραβολή.

(2) Εάν <math>D'=0</math>, τότε η παραπάνω εξίσωση γράφεται
    <center><math>C'y^2+E'y+F=0</math></center>

* Εάν <math>E'^2-4C'F>0</math> τότε η εξίσωση αυτή αντιπροσωπεύει δύο παράλληλες ευθείες με εξισώσεις:
       <center><math>y=\dfrac{-E'\pm\sqrt{E'^2-4C'F}}{2C'}</math></center>.
        
* Εάν <math>E'^2-4C'F=0</math> η εξίσωση αυτή αντιπροσωπεύει μια ευθεία με εξίσωση:
        <center><math>y=\dfrac{-E'}{2C'}</math></center>

* Και τέλος προφανώς εάν <math>E'^2-4C'F<0</math> ο γεωμετρικός τόπος είναι αδύνατος.

== Είδη κωνικών τομών ==
Οι κωνικές τομές είναι:
* το [[σημείο]]
* ο [[κύκλος]]
* η [[έλλειψη]]
* η [[παραβολή (γεωμετρία)|παραβολή]]
* η [[υπερβολή (γεωμετρία)|υπερβολή]]

== Αναλλοίωτα και ταξινόμηση κωνικών τομών ==

Έστω η γενική εξίσωση τετραγωνικής καμπύλης:

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

Τότε ορίζονται τα παρακάτω αναλλοίωτα με βάση τα οποία μπορούμε να ταξινομήσουμε τις κωνικές τομές:

<math>J_1=A+C</math>

<math>J_2=B^2-AC</math>

<math>J_3=\Delta=
     \begin{vmatrix}
     A & B/2 & D/2\\ 
     B/2 & C & E/2\\ 
     D/2 & E/2 & F\\
     \end{vmatrix}</math>

<math>J_4=
     \begin{vmatrix}
     C & E/2\\
     E/2 & F\\
     \end{vmatrix}
    +
     \begin{vmatrix}
     A & D/2\\
     D/2 & F\\
     \end{vmatrix}
</math>

{| class="wikitable"
|+
!
!
!
!Κανονικές κωνικές
<center><math>J_3\neq 0</math></center>
!Εκφυλισμένες κωνικές
<center><math>J_3=0</math></center>
|-
! rowspan="4" |Κεντρικές κωνικές
<center><math>J_2\neq 0</math></center>
! rowspan="3" |<math>J_2>0</math>
!<math>\dfrac{J_3}{J_1}<0</math>
|Πραγματική έλλειψη
| rowspan="2" |Δύο "φανταστικές ευθείες" τεμνόμενες σε ένα "καθ' υπόστασιν" σημείο
|-
!<math>\dfrac{J_3}{J_1}>0</math>
|Κενό σύνολο (φανταστική έλλειψη)
|-
!<math>\dfrac{J_3}{J_1}=0</math>
| -
|Σημείο
|-
! colspan="2" |<math>J_2>0</math>
|Υπερβολή
|Δύο πραγματικές τεμνόμενες ευθείες
|-
! rowspan="3" |Μη Κεντρικές κωνικές
<center><math>J_2\neq 0</math></center>
! colspan="2" |<math>J_4>0</math>
| rowspan="3" |Παραβολή
|Φανταστικές "παράλληλες" ευθείς
|-
! colspan="2" |<math>J_4<0</math>
|Παράλληλες πραγματικές ευθείες
|-
! colspan="2" |<math>J_4 = 0</math>
|Συμπίπτουσες ευθείες
|}

== Περαιτέρω ανάγνωση ==

=== Εξωτερικοί σύνδεσμοι ===
* [https://www.geogebra.org/m/ejevdcds Διαδραστική εφαρμογή για τις κωνικές τομές]
* [https://www.geogebra.org/m/zmmznrzq Διαδραστική εφαρμογή για τις κωνικές τομές]
* [https://www.geogebra.org/m/YKQ3NyHg Συλλογή από διαδραστικές εφαρμογές για τις κωνικές τομές]
* [https://www.geogebra.org/m/tYRYjCxC Συλλογή από διαδραστικές εφαρμογές για τις κωνικές τομές]

=== Ελληνικά βιβλία ===
* Χρυσάκης Θανάσης "[[Γραμμική άλγεβρα|Γραμμική Άλγεβρα]] και [[Αναλυτική γεωμετρία|Αναλυτική Γεωμετρία]]"

=== Ελληνικά άρθρα ===
* {{cite journal |last1=Τουρναβίτης |first1=Στέργιος |title=Οι κωνικές τομές και οι εφαρμογές τους |journal=[[Ευκλείδης Β΄]] |year=2023 |month=Ιανουαρίου |issue=127 |pages=43-46 |url=http://www.hms.gr/sites/default/files/subsites/problems/material/EYKLEIDHS_B_t127_2023.pdf }}
* {{cite journal |last1=Χριστόπουλος |first1=Θανάσης |title=Εισαγωγή στις κωνικές τομές |journal=[[Ευκλείδης Β΄]] |year=2020 |month=Ιουνίου |issue=115 |pages=43-46 |url=http://www.hms.gr/sites/default/files/subsites/problems/material/EYKLEIDHS_B_115_EYKLEIDHS_2020.pdf }}

=== Ξενόγλωσσα άρθρα ===
* {{cite journal |last=Naylor |first=B. |title=1010. [L 1 . 1. a.] The Definition of a Conic Section |url=https://archive.org/details/sim_mathematical-gazette_1931-12_15_216/page/495 |journal=The Mathematical Gazette |date=Δεκεμβρίου 1931 |volume=15 |issue=216 |pages=495–496 |doi=10.2307/3605585}}
* {{cite journal |last=Benny |first=L. B. |title=Some Deductions from the Form of the Equation of the Conic Section |url=https://archive.org/details/sim_mathematical-gazette_1924-01_12_168/page/8 |journal=The Mathematical Gazette |date=Ιανουαρίου 1924 |volume=12 |issue=168 |pages=8–14 |doi=10.2307/3603397}}
* {{cite journal |last=Fox |first=C. |title=The Orthocentre and Some Properties of Conic Sections |url=https://archive.org/details/sim_mathematical-gazette_1929-05_14_201/page/451 |journal=The Mathematical Gazette |date=Μαΐου 1929 |volume=14 |issue=201 |pages=451–454 |doi=10.2307/3608101}}
* {{cite journal |last=Rumsey |first=C. A. |title=Note on the Treatment of Conic Sections and Conicoids By Pure Geometry |url=https://archive.org/details/sim_mathematical-gazette_1903-12_2_42/page/356 |journal=The Mathematical Gazette |date=Δεκεμβρίου 1903 |volume=2 |issue=42 |pages=356–360 |doi=10.2307/3603039}}
* {{cite journal |last=Maanen |first=Jan Van |title=Seventeenth century instruments for drawing conic sections |url=https://archive.org/details/sim_mathematical-gazette_1992-07_76_476/page/222 |journal=The Mathematical Gazette |date=Ιουλίου 1992 |volume=76 |issue=476 |pages=222–230 |doi=10.2307/3619131}}
* {{cite journal |last=Mahony |first=John D. |title=Locating parameters of interest in a conic section |journal=The Mathematical Gazette |date=Ιουλίου 2019 |volume=103 |issue=557 |pages=196–203 |doi=10.1017/mag.2019.50}}

== Παραπομπές ==
{{Παραπομπές}}{{Κωνικές τομές}}
{{Authority control}}
{{Portal bar|Μαθηματικά}}
{{Γεωμετρία-επέκταση}}

[[Κατηγορία:Αναλυτική γεωμετρία]] 
[[Κατηγορία:Κωνικές τομές|*]]
[[Κατηγορία:Αλγεβρικές καμπύλες]]