{{Short description|Mathematical object}} thumb|Spiric sections as planar sections of a torus In geometry, a '''spiric section''', sometimes called a '''spiric of Perseus''', is a quartic plane curve defined by equations of the form
:<math>(x^2+y^2)^2=dx^2+ey^2+f. \, </math>
Equivalently, spiric sections can be defined as bicircular quartic curves that are symmetric with respect to the ''x'' and ''y''-axes. Spiric sections are included in the family of toric sections and include the family of hippopedes and the family of Cassini ovals. The name is from σπειρα meaning "torus" in ancient Greek.<ref>{{cite book | last1 = Brieskorn | first1 = Egbert |author-link=Egbert Brieskorn | last2 = Knörrer | first2 = Horst |author2-link=Horst Knörrer | translator-last = Stillwell | translator-first = John | doi = 10.1007/978-3-0348-5097-1 | isbn = 978-3-0348-0492-9 | mr = 2975988 | page = 16 | publisher = Birkhäuser/Springer Basel AG | series = Modern Birkhäuser Classics | title = Plane algebraic curves | url = https://books.google.com/books?id=qsDzBwAAQBAJ&pg=PA16 | year = 1986}} The word ''σπειρα'' originally meant a coil of rope, and came to refer to the base of a column, which for certain orders of column was shaped as a torus: see {{cite book|contribution=Spira|url=https://penelope.uchicago.edu/Thayer/E/Roman/Texts/secondary/SMIGRA*/Spira.html|first=James|last=Yates|title=A Dictionary of Greek and Roman Antiquities|publisher=John Murray|location=London|year=1875|editor-first=William|editor-last=Smith}}</ref>
A spiric section is sometimes defined as the curve of intersection of a torus and a plane parallel to its rotational symmetry axis. However, this definition does not include all of the curves given by the previous definition unless imaginary planes are allowed.
Spiric sections were first described by the ancient Greek geometer Perseus in roughly 150 BC, and are assumed to be the first toric sections to be described. The name ''spiric'' is due to the ancient notation ''spira'' of a torus.,<ref>John Stillwell: ''Mathematics and Its History'', Springer-Verlag, 2010, {{isbn|978-1-4419-6053-5}}, p. 33.</ref><ref>Wilbur R. Knorr: ''The Ancient Tradition of Geometric Problems'', Dover-Publ., New York, 1993, {{isbn|0-486-67532-7}}, p. 268 .</ref>
==Equations== thumb|right|''a'' = 1, ''b'' = 2, ''c'' = 0, 0.8, 1 Start with the usual equation for the torus:
:<math>(x^2+y^2+z^2+b^2-a^2)^2 = 4b^2(x^2+y^2). \, </math>
Interchanging ''y'' and ''z'' so that the axis of revolution is now on the ''xy''-plane, and setting ''z''=''c'' to find the curve of intersection gives
:<math>(x^2+y^2-a^2+b^2+c^2)^2 = 4b^2(x^2+c^2). \, </math>
In this formula, the torus is formed by rotating a circle of radius ''a'' with its center following another circle of radius ''b'' (not necessarily larger than ''a'', self-intersection is permitted). The parameter ''c'' is the distance from the intersecting plane to the axis of revolution. There are no spiric sections with ''c'' > ''b'' + ''a'', since there is no intersection; the plane is too far away from the torus to intersect it.
Expanding the equation gives the form seen in the definition
:<math>(x^2+y^2)^2=dx^2+ey^2+f \, </math>
where
:<math>d=2(a^2+b^2-c^2),\ e=2(a^2-b^2-c^2),\ f=-(a^4+b^4+c^4-2a^2b^2-2a^2c^2-2b^2c^2). \, </math>
In polar coordinates this becomes
:<math>(r^2-a^2+b^2+c^2)^2 = 4b^2(r^2\cos^2\theta+c^2) \, </math>
or
:<math>r^4=r^2(d\cos^2\theta+e\sin^2\theta)+f. </math> thumb|Spiric sections on a spindle torus
== Spiric sections on a spindle torus == Spiric sections on a spindle torus, whose planes intersect the spindle (inner part), consist of an outer and an inner curve (s. picture).
== Spiric sections as isoptics == Isoptics of ellipses and hyperbolas are spiric sections. (S. also weblink ''The Mathematics Enthusiast''.)
==Examples of spiric sections== Examples include the hippopede and the Cassini oval and their relatives, such as the lemniscate of Bernoulli. The Cassini oval has the remarkable property that the ''product'' of distances to two foci are constant. For comparison, the sum is constant in ellipses, the difference is constant in hyperbolae and the ratio is constant in circles.
==References== *{{MathWorld|title=Spiric Section|urlname=SpiricSection}} *[http://www-groups.dcs.st-and.ac.uk/~history/Curves/Spiric.html MacTutor history] *[http://www.2dcurves.com/quartic/quartics.html 2Dcurves.com description] *[http://www-groups.dcs.st-and.ac.uk/~history/Biographies/Perseus.html MacTutor biography of Perseus] *[http://scholarworks.umt.edu/cgi/viewcontent.cgi?article=1235&context=tme The Mathematics Enthusiast Number 9, article 4]
;Specific <references />
Category:Quartic curves Category:Spiric sections Category:Plane curves Category:Ancient Greek mathematics Category:Toric sections