Προβολή πηγαίου κώδικα για τη σελίδα Στροφοειδές

[[File:Allgemeine strophoide5.svg|thumb|right|upright=1.25|'''Κατασκευή στροφοειδούς.'''
{{legend-line|solid #333333|  Δεδομένης της καμπύλης {{mvar|C}}}}
{{legend-line|solid blue|Μεταβλητή γραμμή {{mvar|L}} που περιστρέφεται γύρω από τον πόλο {{mvar|O}}; τέμνει τη {{mvar|C}} στο σημείο  {{mvar|K}}}}
{{legend-line|dashed red|Κύκλος με κέντρο το {{mvar|K}} του οποίου το μέγεθος περιορίζεται από το σταθερό σημείο {{mvar|A}}; τέμνει την {{mvar|L}} στα σημεία ''P''<sub>1</sub> και ''P''<sub>2</sub>}}
{{legend-line|solid orange|Εσωτερικό τμήμα της στροφοειδούς καμπύλης, που διαγράφεται από το ''P''<sub>1</sub> καθώς η {{mvar|L}} περιστρέφεται}}
{{legend-line|solid #FF1493|Εξωτερικό τμήμα της στροφοειδούς καμπύλης, που διαγράφεται από το ''P''<sub>2</sub> καθώς το {{mvar|L}} περιστρέφεται}}
]]
Στη [[γεωμετρία]], ένα '''στροφοειδές'''<ref>{{Cite web|url=https://mathworld.wolfram.com/Strophoid.html|title=Strophoid|last=Weisstein|first=Eric W.|website=mathworld.wolfram.com|language=en|accessdate=2024-06-22}}</ref><ref>{{Cite web|url=https://www.merriam-webster.com/dictionary/strophoid|title=Definition of STROPHOID|website=www.merriam-webster.com|language=en|accessdate=2024-06-22}}</ref> είναι μια καμπύλη που δημιουργείται από μια δεδομένη καμπύλη {{mvar|C}} και τα σημεία {{mvar|A}} (το σταθερό σημείο) και {{mvar|O}} (ο [[Πόλος (μιγαδική ανάλυση)|πόλος]]) ως εξής: Έστω {{mvar|L}} μια μεταβλητή ευθεία που διέρχεται από το {{mvar|O}} και τέμνει τη {{mvar|C}} στο {{mvar|K}}. Έστω τώρα ''P''<sub>1</sub>  και ''P''<sub>2</sub> τα δύο σημεία της {{mvar|L}} των οποίων η απόσταση από το {{mvar|K}} είναι ίδια με την απόσταση από το {{mvar|A}} στο {{mvar|K}} (δηλαδή {{mvar|{{overline|KP}}}} <sub>1</sub> = {{mvar|{{overline|KP}}}} <sub>2</sub> = {{mvar|{{overline|AK}}}}). Ο τόπος αυτών των σημείων ''P''<sub>1</sub> και ''P''<sub>2</sub> είναι τότε το στροφοειδές του {{mvar|C}} ως προς τον πόλο O και το σταθερό σημείο {{mvar|A}}. Σημειώστε ότι τα {{mvar|{{overline|AP}}}} <sub>1</sub> και {{mvar|{{overline|AP}}}} <sub>2</sub>  είναι σε ορθή γωνία σε αυτή την κατασκευή.

Στην ειδική περίπτωση όπου η {{mvar|C}} είναι ευθεία, το {{mvar|A}} βρίσκεται πάνω στη {{mvar|C}} και το {{mvar|O}} δεν βρίσκεται πάνω στη {{mvar|C}}, τότε η καμπύλη ονομάζεται πλάγιο στροφοειδές. Εάν, επιπλέον, η {{mvar|{{overline|OA}}}}  είναι κάθετη στη {{mvar|C}} , τότε η καμπύλη ονομάζεται ορθή στροφοειδής ή απλώς στροφοειδής από ορισμένους συγγραφείς. Το δεξιό στροφοειδές ονομάζεται επίσης λογοκυκλική καμπύλη ή φυλλόμορφη καμπύλη.

==Εξισώσεις==

===Πολικές συντεταγμένες===
Έστω<ref>{{Cite web|url=https://www.geometrie.tuwien.ac.at/stachel/157_Strophoid_orig.pdf|title=Strophoids, a family of cubic curves with remarkable properties}}</ref> ότι η καμπύλη {{mvar|C}} δίνεται από τη σχέση <math>r = f(\theta),</math> όπου η αρχή λαμβάνεται ως {{mvar|O}}. Έστω {{mvar|A}} το σημείο {{math|(''a''', ''b'')}}. Αν <math>K = (r \cos\theta,\ r \sin\theta)</math> είναι ένα σημείο της καμπύλης η απόσταση από το {{mvar|K}} στο {{mvar|A}} είναι 

:<math>d = \sqrt{(r \cos\theta - a)^2 + (r \sin\theta - b)^2} = \sqrt{(f(\theta) \cos\theta - a)^2 + (f(\theta) \sin\theta - b)^2}.</math>

Τα σημεία στην ευθεία {{mvar|{{overline|OK}}}} έχουν πολική γωνία {{mvar|θ}}, και τα σημεία σε απόσταση {{mvar|d}} από {{mvar|K}} στην ευθεία αυτή έχουν απόσταση <math>f(\theta) \pm d</math> από την αρχή. Επομένως, η εξίσωση του στροφοειδούς δίνεται από τη σχέση

:<math>r = f(\theta) \pm \sqrt{(f(\theta) \cos\theta - a)^2 + (f(\theta) \sin\theta - b)^2}</math>

===Καρτεσιανές συντεταγμένες===
Έστω {{mvar|C}} που δίνεται παραμετρικά από {{math|(''x''(''t''), ''y''(''t''))}}. Έστω {{mvar|A}} το σημείο {{math|(''a''', ''b'')}} και έστω {{mvar|O}} το σημείο {{math|(''p''', ''q'')}}. Τότε, με μια απλή εφαρμογή του πολικού τύπου, το στροφοειδές δίνεται παραμετρικά από:

:<math>u(t) = p + (x(t)-p)(1 \pm n(t)),\ v(t) = q + (y(t)-q)(1 \pm n(t)),</math>
όπου
:<math>n(t) = \sqrt{\frac{(x(t)-a)^2+(y(t)-b)^2}{(x(t)-p)^2+(y(t)-q)^2}}.</math>

===Ένας εναλλακτικός πολικός τύπος===
Η μιγαδική φύση των παραπάνω τύπων περιορίζει τη χρησιμότητά τους σε συγκεκριμένες περιπτώσεις. Υπάρχει ένας εναλλακτικός τύπος που είναι μερικές φορές απλούστερος στην εφαρμογή. Αυτή είναι ιδιαίτερα χρήσιμη όταν η {{mvar|C}} είναι μια τομή Μακλάουριν με πόλους {{mvar|O}} και {{mvar|A}}.

Έστω {{mvar|O}} η αρχή και {{mvar|A}} το σημείο {{math|(''a''', 0)}}. Έστω {{mvar|K}} ένα σημείο της καμπύλης, {{mvar|θ}} η γωνία μεταξύ ''OK'' και του άξονα {{mvar|x}} και   η γωνία μεταξύ ''AK'' και του άξονα {{mvar|x}}}. Ας υποθέσουμε ότι {{mvar|θ}} μπορεί να δοθεί ως συνάρτηση {{mvar|θ}}, ας πούμε <math>\vartheta = l(\theta). </math> Έστω {{mvar|ψ}} η γωνία στο {{mvar|Κ}}, οπότε <math>\psi = \vartheta - \theta.</math> Μπορούμε να προσδιορίσουμε το {{mvar|r}} ως προς το {{mvar|l}} χρησιμοποιώντας το νόμο των ημιτόνων. Δεδομένου ότι

:<math>{r \over \sin \vartheta} = {a \over \sin \psi},\ r = a \frac {\sin \vartheta}{\sin \psi} = a \frac {\sin l(\theta)}{\sin (l(\theta) - \theta)}.</math>

Έστω ''P''<sub>1</sub> και ''P''<sub>2</sub> τα σημεία του {{mvar|{{overline|OK}}}} που απέχουν απόσταση {{mvar|{{overline|AK}}}} από το {{mvar|K}}, με αρίθμηση έτσι ώστε <math>\psi = \angle P_1KA</math> και <math>\pi-\psi = \angle AKP_2. </math> {{math|△''P''<sub>1</sub>''KA''}} είναι ισοσκελής με γωνία κορυφής {{mvar|ψ}}, οπότε οι υπόλοιπες γωνίες, <math> \angle AP_1K</math> και <math> \angle KAP_1</math> είναι <math>\tfrac{\pi-\psi}{2}. </math> Η γωνία μεταξύ {{mvar|{{overline|AP}}}}<sub>1</sub> και του {{mvar|x}}-άξονα είναι τότε

:<math>l_1(\theta) = \vartheta + \angle KAP_1 = \vartheta + (\pi-\psi)/2 = \vartheta + (\pi - \vartheta + \theta)/2 = (\vartheta+\theta+\pi)/2.</math>

Με ένα παρόμοιο επιχείρημα, ή απλά χρησιμοποιώντας το γεγονός ότι οι {{mvar|{{overline|AP}}}}<sub>1</sub> και {{mvar|{{overline|AP}}}}<sub>2</sub> βρίσκονται σε ορθή γωνία, η γωνία μεταξύ {{mvar|{{overline|AP}}}}<sub>2</sub> και του άξονα {{mvar|x}} είναι τότε 

:<math>l_2(\theta) = (\vartheta+\theta)/2.</math>

Η πολική εξίσωση για το στροφοειδές μπορεί τώρα να προκύψει από ''l''<sub>1</sub> και ''l''<sub>2</sub>  από τον παραπάνω τύπο:

:<math>\begin{align}
& r_1=a \frac {\sin l_1(\theta)}{\sin (l_1(\theta) - \theta)} = a \frac {\sin ((l(\theta)+\theta+\pi)/2)}{\sin ((l(\theta)+\theta+\pi)/2 - \theta)} = a \frac{\cos ((l(\theta)+\theta)/2)}{\cos ((l(\theta)-\theta)/2)} \\

& r_2=a \frac {\sin l_2(\theta)}{\sin (l_2(\theta) - \theta)} = a \frac {\sin ((l(\theta)+\theta)/2)}{\sin ((l(\theta)+\theta)/2 - \theta)} = a \frac{\sin((l(\theta)+\theta)/2)}{\sin((l(\theta)-\theta)/2)}
\end{align}</math>

{{mvar|C}} είναι μια σέκτα Μακλάουριν με πόλους {{mvar|O}} και {{mvar|A}} όταν {{mvar|l}} είναι της μορφής <math>q \theta + \theta_0, </math> στην περίπτωση αυτή οι ''l''<sub>1</sub> και ''l''<sub>2</sub> θα έχουν την ίδια μορφή οπότε το στροφοειδές είναι είτε μια άλλη τομή του Μακλάουριν είτε ένα ζεύγος τέτοιων καμπυλών. Σε αυτή την περίπτωση υπάρχει επίσης μια απλή πολική εξίσωση για την πολική εξίσωση αν η αρχή μετατοπιστεί προς τα δεξιά κατά {{mvar|a}}.

==Ειδικές περιπτώσεις==

===Πλάγια στροφοειδή===
Έστω {{mvar|C}} μια ευθεία που διέρχεται από την {{mvar|A}}. Τότε, στον συμβολισμό που χρησιμοποιήθηκε παραπάνω, <math>l(\theta) = \alpha</math> όπου {{mvar|α}} είναι μια σταθερά. Τότε <math>l_1(\theta) = (\theta + \alpha + \pi)/2</math> και <math>l_2(\theta) = (\theta + \alpha)/2.</math> Οι πολικές εξισώσεις του προκύπτοντος στροφοειδούς, που ονομάζεται πλάγιο στροφοειδές<ref>{{Cite web|url=https://www.2dcurves.com/cubic/cubico.html|title=oblique strophoid|website=www.2dcurves.com|accessdate=2024-06-22}}</ref>, με αρχή στο {{mvar|O}} είναι τότε

:<math>r = a \frac{\cos ((\alpha+\theta)/2)}{\cos ((\alpha-\theta)/2)}</math>
και
:<math>r = a \frac{\sin ((\alpha+\theta)/2)}{\sin ((\alpha-\theta)/2)}.</math>
Είναι εύκολο να ελέγξουμε ότι αυτές οι εξισώσεις περιγράφουν την ίδια καμπύλη. 

Μετακίνηση της αρχής στην {{mvar|A}} (και πάλι, βλέπε Τομή Μακλάουριν) και αντικαθιστώντας {{mvar|-a}} με {{mvar|a}} προκύπτει
:<math>r=a\frac{\sin(2\theta-\alpha)}{\sin(\theta-\alpha)},</math>

και η περιστροφή κατά <math>\alpha</math> με τη σειρά της παράγει
:<math>r=a\frac{\sin(2\theta+\alpha)}{\sin(\theta)}.</math>

Σε ορθογώνιες συντεταγμένες, με αλλαγή σταθερών παραμέτρων, αυτό είναι
:<math>y(x^2+y^2)=b(x^2-y^2)+2cxy.</math>

Πρόκειται για κυβική καμπύλη και, από την έκφραση σε πολικές συντεταγμένες, είναι ρητή. Έχει κόμβο στο {{math|(0, 0)}} και την ευθεία 
{{math|1=''y'' = ''b''}} είναι ασυμπτωτική.

===Δεξί στροφοειδές===
[[File:Gerade strophoide rechts.svg|thumb|upright=1.0|Δεξί στροφοειδές]]
Θέτοντας <math>\alpha = \pi/2</math> στο
:<math>r=a\frac{\sin(2\theta-\alpha)}{\sin(\theta-\alpha)}</math>

δίνει
:<math>r=a\frac{\cos 2\theta}{\cos \theta} = a(2\cos\theta-\sec\theta).</math>

Αυτό ονομάζεται ''δεξί στροφοειδές''<ref>{{Cite web|url=https://www.2dcurves.com/cubic/cubicst.html|title=strophoid|website=www.2dcurves.com|accessdate=2024-06-22}}</ref> και αντιστοιχεί στην περίπτωση όπου {{mvar|C}} είναι ο {{mvar|y}}-άξονας, {{mvar|A}} είναι η αρχή και {{mvar|O}} είναι το σημείο {{math|(''a''', 0)}}.

Η καρτεσιανή εξίσωση είναι η εξής
:<math>y^2 = x^2(a-x)/(a+x).</math>

Η καμπύλη μοιάζει με το Folium του [[Ρενέ Ντεκάρτ|Ντεκάρτ]]<ref>{{cite EB1911 |wstitle=Logocyclic Curve |display=Logocyclic Curve, Strophoid or Foliate|volume=16 |page=919}}</ref> και η ευθεία x = -a είναι μια ασύμπτωτη σε δύο κλάδους. Η καμπύλη έχει δύο ακόμη ασύμπτωτες, στο επίπεδο με μιγαδικές συντεταγμένες, που δίνονται από 
:<math>x\pm iy = -a.</math>

===Κύκλοι===
Έστω {{mvar|C}} ένας κύκλος<ref>{{Cite web|url=https://mathworld.wolfram.com/CircleStrophoid.html|title=Circle Strophoid -- from Wolfram MathWorld|last=W.|first=Weisstein, Eric|website=mathworld.wolfram.com|language=en|accessdate=2024-06-22}}</ref> που διέρχεται από {{mvar|O}} και {{mvar|A}}, όπου {{mvar|O}} είναι η αρχή και {{mvar|A}} είναι το σημείο {{math|(''a'', 0)}}. Τότε, στον συμβολισμό που χρησιμοποιήθηκε παραπάνω, <math>l(\theta) = \alpha+\theta</math> όπου <math>\alpha</math> είναι μια σταθερά. Τότε <math>l_1(\theta) = \theta + (\alpha + \pi)/2</math> και <math>l_2(\theta) = \theta + \alpha/2.</math> Οι πολικές εξισώσεις του προκύπτοντος στροφοειδούς, το οποίο ονομάζεται λοξό στροφοειδές, με αρχή στο {{mvar|O}} είναι τότε

:<math>r = a \frac{\cos (\theta+\alpha/2)}{\cos (\alpha/2)}</math>
και
:<math>r = a \frac{\sin (\theta+\alpha/2)}{\sin (\alpha/2)}.</math>

Αυτές είναι οι εξισώσεις των δύο κύκλων που επίσης διέρχονται από {{mvar|O}} και {{mvar|A}} και σχηματίζουν γωνίες <math>\pi/4</math> με {{mvar|C}} στα σημεία αυτά.

==Δείτε επίσης==

* [https://books.google.gr/books?id=UBVH2Vpf6LYC&printsec=frontcover&dq=Algebraic+function+field&hl=el&newbks=1&newbks_redir=0&sa=X&redir_esc=y#v=onepage&q=Algebraic%20function%20field&f=false Field Arithmetic]
* [[Θεώρημα δείκτη Ατίγια-Σίνγκερ]]
*[[Τοπολογία]]
* [[Γένος (μαθηματικά)]]
* [[Ελλειπτική συνάρτηση Βάιερστρας]]

==Εξωτερικοί σύνδεσμοι  ==

*[https://www.itia.ntua.gr/en/docinfo/1318/ English - Greek Dictionary of Pure and Applied Mathematics] Εθνικό Μετσόβιο Πολυτεχνείο
*[https://www.mas.ucy.ac.cy/georgios/bookfiles/dict1.pdf Αγγλοελληνικό Λεξικό Μαθηματικής Ορολογίας - Πανεπιστήμιο Κύπρου]
* [https://web.archive.org/web/20160521223954/http://www.mathematik.uni-kl.de/agag/mitglieder/professoren/gathmann/notes/alggeom/ Andreas Gathmann - Algebraic Geometry (SS 2014)]
* [https://wstein.org/edu/Fall2003/252/references/index.html Math 252: Modular Abelian Varieties]
* [https://books.google.gr/books?id=SR4QI6g1m68C&pg=PA121&dq=strophoid&hl=el&newbks=1&newbks_redir=0&sa=X&ved=2ahUKEwiapajryO-GAxV0QvEDHQSjCfgQ6AF6BAgEEAI#v=onepage&q=strophoid&f=false Handbook of Conformal Mapping with Computer-Aided Visualization]
* [https://books.google.gr/books?id=9rrFAgAAQBAJ&pg=PA100&dq=strophoid&hl=el&newbks=1&newbks_redir=0&sa=X&ved=2ahUKEwiapajryO-GAxV0QvEDHQSjCfgQ6AF6BAgIEAI#v=onepage&q=strophoid&f=false A Catalog of Special Plane Curves]
* [https://books.google.gr/books?id=D_XKBQAAQBAJ&pg=PA2575&dq=strophoid&hl=el&newbks=1&newbks_redir=0&sa=X&ved=2ahUKEwiapajryO-GAxV0QvEDHQSjCfgQ6AF6BAgGEAI#v=onepage&q=strophoid&f=false CRC Concise Encyclopedia of Mathematics]
* [https://books.google.gr/books?id=pDCzyUCj90IC&pg=PA92&dq=strophoid&hl=el&newbks=1&newbks_redir=0&sa=X&ved=2ahUKEwiapajryO-GAxV0QvEDHQSjCfgQ6AF6BAgFEAI#v=onepage&q=strophoid&f=false A Book of Curves]

==Δημοσιεύσεις ==
* {{cite book | author=J. Dennis Lawrence | title=A catalog of special plane curves | publisher=Dover Publications | year=1972 | isbn=0-486-60288-5 | pages=[https://archive.org/details/catalogofspecial00lawr/page/51 51–53,95,100–104,175] | url-access=registration | url=https://archive.org/details/catalogofspecial00lawr/page/51 }}
* {{cite book | author=E. H. Lockwood | title=A Book of Curves | publisher=Cambridge University Press | year=1961 | pages=134–137 | chapter = Strophoids |location = Cambridge, England | isbn=0-521-05585-7}}
* {{cite book | author=R. C. Yates| title=A Handbook on Curves and Their Properties | publisher=J. W. Edwards | year=1952| pages=217–220 | chapter = Strophoids |location = Ann Arbor, MI}}
* {{MathWorld|title=Strophoid|urlname=Strophoid}}
* {{MathWorld|title=Right Strophoid|urlname=RightStrophoid}}
* {{springer| title=Strophoid | id=S/s090630 | last=Sokolov | first=D.D.}}
* {{MacTutor|class=Curves|id=Right|title=Right Strophoid}}
*[https://books.google.gr/books?id=11voCAAAQBAJ&printsec=frontcover&dq=Hilbert%27s+arithmetic+of+ends&hl=el&newbks=1&newbks_redir=0&sa=X&redir_esc=y#v=onepage&q=Hilbert's%20arithmetic%20of%20ends&f=false Hilbert Modular Forms]
*[https://books.google.gr/books?id=v7YfBAAAQBAJ&printsec=frontcover&dq=Hilbert%27s+arithmetic+of+ends&hl=el&newbks=1&newbks_redir=0&sa=X&redir_esc=y#v=onepage&q=Hilbert's%20arithmetic%20of%20ends&f=false David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933]
*[https://books.google.gr/books?id=7WY5AAAAQBAJ&printsec=frontcover&dq=Hilbert%27s+arithmetic+of+ends,+Definitions&hl=el&newbks=1&newbks_redir=0&sa=X&redir_esc=y#v=onepage&q=Hilbert's%20arithmetic%20of%20ends%2C%20Definitions&f=false Geometry and the Imagination]

==Παραπομπές==
{{reflist}}

{{Authority control}} 
{{Portal bar|Μαθηματικά}}
{{DEFAULTSORT:Στροφοειδές}}

[[Κατηγορία:Αλγεβρική γεωμετρία]] 
[[Κατηγορία:Καμπύλες]] 
[[Κατηγορία:Γεωμετρικά σχήματα]] 
[[Κατηγορία:Διαφορική γεωμετρία]]