Στροφοειδές

Στη γεωμετρία, ένα στροφοειδές[1][2] είναι μια καμπύλη που δημιουργείται από μια δεδομένη καμπύλη Πρότυπο:Mvar και τα σημεία Πρότυπο:Mvar (το σταθερό σημείο) και Πρότυπο:Mvar (ο πόλος) ως εξής: Έστω Πρότυπο:Mvar μια μεταβλητή ευθεία που διέρχεται από το Πρότυπο:Mvar και τέμνει τη Πρότυπο:Mvar στο Πρότυπο:Mvar. Έστω τώρα P1 και P2 τα δύο σημεία της Πρότυπο:Mvar των οποίων η απόσταση από το Πρότυπο:Mvar είναι ίδια με την απόσταση από το Πρότυπο:Mvar στο Πρότυπο:Mvar (δηλαδή Πρότυπο:Mvar 1 = Πρότυπο:Mvar 2 = Πρότυπο:Mvar). Ο τόπος αυτών των σημείων P1 και P2 είναι τότε το στροφοειδές του Πρότυπο:Mvar ως προς τον πόλο O και το σταθερό σημείο Πρότυπο:Mvar. Σημειώστε ότι τα Πρότυπο:Mvar 1 και Πρότυπο:Mvar 2 είναι σε ορθή γωνία σε αυτή την κατασκευή.
Στην ειδική περίπτωση όπου η Πρότυπο:Mvar είναι ευθεία, το Πρότυπο:Mvar βρίσκεται πάνω στη Πρότυπο:Mvar και το Πρότυπο:Mvar δεν βρίσκεται πάνω στη Πρότυπο:Mvar, τότε η καμπύλη ονομάζεται πλάγιο στροφοειδές. Εάν, επιπλέον, η Πρότυπο:Mvar είναι κάθετη στη Πρότυπο:Mvar , τότε η καμπύλη ονομάζεται ορθή στροφοειδής ή απλώς στροφοειδής από ορισμένους συγγραφείς. Το δεξιό στροφοειδές ονομάζεται επίσης λογοκυκλική καμπύλη ή φυλλόμορφη καμπύλη.
Εξισώσεις
Πολικές συντεταγμένες
Έστω[3] ότι η καμπύλη Πρότυπο:Mvar δίνεται από τη σχέση όπου η αρχή λαμβάνεται ως Πρότυπο:Mvar. Έστω Πρότυπο:Mvar το σημείο Πρότυπο:Math. Αν είναι ένα σημείο της καμπύλης η απόσταση από το Πρότυπο:Mvar στο Πρότυπο:Mvar είναι
Τα σημεία στην ευθεία Πρότυπο:Mvar έχουν πολική γωνία Πρότυπο:Mvar, και τα σημεία σε απόσταση Πρότυπο:Mvar από Πρότυπο:Mvar στην ευθεία αυτή έχουν απόσταση από την αρχή. Επομένως, η εξίσωση του στροφοειδούς δίνεται από τη σχέση
Καρτεσιανές συντεταγμένες
Έστω Πρότυπο:Mvar που δίνεται παραμετρικά από Πρότυπο:Math. Έστω Πρότυπο:Mvar το σημείο Πρότυπο:Math και έστω Πρότυπο:Mvar το σημείο Πρότυπο:Math. Τότε, με μια απλή εφαρμογή του πολικού τύπου, το στροφοειδές δίνεται παραμετρικά από:
όπου
Ένας εναλλακτικός πολικός τύπος
Η μιγαδική φύση των παραπάνω τύπων περιορίζει τη χρησιμότητά τους σε συγκεκριμένες περιπτώσεις. Υπάρχει ένας εναλλακτικός τύπος που είναι μερικές φορές απλούστερος στην εφαρμογή. Αυτή είναι ιδιαίτερα χρήσιμη όταν η Πρότυπο:Mvar είναι μια τομή Μακλάουριν με πόλους Πρότυπο:Mvar και Πρότυπο:Mvar.
Έστω Πρότυπο:Mvar η αρχή και Πρότυπο:Mvar το σημείο Πρότυπο:Math. Έστω Πρότυπο:Mvar ένα σημείο της καμπύλης, Πρότυπο:Mvar η γωνία μεταξύ OK και του άξονα Πρότυπο:Mvar και η γωνία μεταξύ AK και του άξονα Πρότυπο:Mvar}. Ας υποθέσουμε ότι Πρότυπο:Mvar μπορεί να δοθεί ως συνάρτηση Πρότυπο:Mvar, ας πούμε Έστω Πρότυπο:Mvar η γωνία στο Πρότυπο:Mvar, οπότε Μπορούμε να προσδιορίσουμε το Πρότυπο:Mvar ως προς το Πρότυπο:Mvar χρησιμοποιώντας το νόμο των ημιτόνων. Δεδομένου ότι
Έστω P1 και P2 τα σημεία του Πρότυπο:Mvar που απέχουν απόσταση Πρότυπο:Mvar από το Πρότυπο:Mvar, με αρίθμηση έτσι ώστε και Πρότυπο:Math είναι ισοσκελής με γωνία κορυφής Πρότυπο:Mvar, οπότε οι υπόλοιπες γωνίες, και είναι Η γωνία μεταξύ Πρότυπο:Mvar1 και του Πρότυπο:Mvar-άξονα είναι τότε
Με ένα παρόμοιο επιχείρημα, ή απλά χρησιμοποιώντας το γεγονός ότι οι Πρότυπο:Mvar1 και Πρότυπο:Mvar2 βρίσκονται σε ορθή γωνία, η γωνία μεταξύ Πρότυπο:Mvar2 και του άξονα Πρότυπο:Mvar είναι τότε
Η πολική εξίσωση για το στροφοειδές μπορεί τώρα να προκύψει από l1 και l2 από τον παραπάνω τύπο:
Πρότυπο:Mvar είναι μια σέκτα Μακλάουριν με πόλους Πρότυπο:Mvar και Πρότυπο:Mvar όταν Πρότυπο:Mvar είναι της μορφής στην περίπτωση αυτή οι l1 και l2 θα έχουν την ίδια μορφή οπότε το στροφοειδές είναι είτε μια άλλη τομή του Μακλάουριν είτε ένα ζεύγος τέτοιων καμπυλών. Σε αυτή την περίπτωση υπάρχει επίσης μια απλή πολική εξίσωση για την πολική εξίσωση αν η αρχή μετατοπιστεί προς τα δεξιά κατά Πρότυπο:Mvar.
Ειδικές περιπτώσεις
Πλάγια στροφοειδή
Έστω Πρότυπο:Mvar μια ευθεία που διέρχεται από την Πρότυπο:Mvar. Τότε, στον συμβολισμό που χρησιμοποιήθηκε παραπάνω, όπου Πρότυπο:Mvar είναι μια σταθερά. Τότε και Οι πολικές εξισώσεις του προκύπτοντος στροφοειδούς, που ονομάζεται πλάγιο στροφοειδές[4], με αρχή στο Πρότυπο:Mvar είναι τότε
και
Είναι εύκολο να ελέγξουμε ότι αυτές οι εξισώσεις περιγράφουν την ίδια καμπύλη.
Μετακίνηση της αρχής στην Πρότυπο:Mvar (και πάλι, βλέπε Τομή Μακλάουριν) και αντικαθιστώντας Πρότυπο:Mvar με Πρότυπο:Mvar προκύπτει
και η περιστροφή κατά με τη σειρά της παράγει
Σε ορθογώνιες συντεταγμένες, με αλλαγή σταθερών παραμέτρων, αυτό είναι
Πρόκειται για κυβική καμπύλη και, από την έκφραση σε πολικές συντεταγμένες, είναι ρητή. Έχει κόμβο στο Πρότυπο:Math και την ευθεία Πρότυπο:Math είναι ασυμπτωτική.
Δεξί στροφοειδές

Θέτοντας στο
δίνει
Αυτό ονομάζεται δεξί στροφοειδές[5] και αντιστοιχεί στην περίπτωση όπου Πρότυπο:Mvar είναι ο Πρότυπο:Mvar-άξονας, Πρότυπο:Mvar είναι η αρχή και Πρότυπο:Mvar είναι το σημείο Πρότυπο:Math.
Η καρτεσιανή εξίσωση είναι η εξής
Η καμπύλη μοιάζει με το Folium του Ντεκάρτ[6] και η ευθεία x = -a είναι μια ασύμπτωτη σε δύο κλάδους. Η καμπύλη έχει δύο ακόμη ασύμπτωτες, στο επίπεδο με μιγαδικές συντεταγμένες, που δίνονται από
Κύκλοι
Έστω Πρότυπο:Mvar ένας κύκλος[7] που διέρχεται από Πρότυπο:Mvar και Πρότυπο:Mvar, όπου Πρότυπο:Mvar είναι η αρχή και Πρότυπο:Mvar είναι το σημείο Πρότυπο:Math. Τότε, στον συμβολισμό που χρησιμοποιήθηκε παραπάνω, όπου είναι μια σταθερά. Τότε και Οι πολικές εξισώσεις του προκύπτοντος στροφοειδούς, το οποίο ονομάζεται λοξό στροφοειδές, με αρχή στο Πρότυπο:Mvar είναι τότε
και
Αυτές είναι οι εξισώσεις των δύο κύκλων που επίσης διέρχονται από Πρότυπο:Mvar και Πρότυπο:Mvar και σχηματίζουν γωνίες με Πρότυπο:Mvar στα σημεία αυτά.
Δείτε επίσης
- Field Arithmetic
- Θεώρημα δείκτη Ατίγια-Σίνγκερ
- Τοπολογία
- Γένος (μαθηματικά)
- Ελλειπτική συνάρτηση Βάιερστρας
Εξωτερικοί σύνδεσμοι
- English - Greek Dictionary of Pure and Applied Mathematics Εθνικό Μετσόβιο Πολυτεχνείο
- Αγγλοελληνικό Λεξικό Μαθηματικής Ορολογίας - Πανεπιστήμιο Κύπρου
- Andreas Gathmann - Algebraic Geometry (SS 2014)
- Math 252: Modular Abelian Varieties
- Handbook of Conformal Mapping with Computer-Aided Visualization
- A Catalog of Special Plane Curves
- CRC Concise Encyclopedia of Mathematics
- A Book of Curves
Δημοσιεύσεις
- Πρότυπο:Cite book
- Πρότυπο:Cite book
- Πρότυπο:Cite book
- Πρότυπο:MathWorld
- Πρότυπο:MathWorld
- Πρότυπο:Springer
- Πρότυπο:MacTutor
- Hilbert Modular Forms
- David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933
- Geometry and the Imagination