Spiric Section

In geometry, a spiric section, sometimes called a spiric of Perseus, is a quartic plane curve defined by equations of the form

:$(x^2+y^2)^2=dx^2+ey^2+f. \,$

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.

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., Wilbur R. Knorr: '' The Ancient Tradition of Geometric Problems'', Dover-Publ., New York, 1993, , p. 268 .

Equations

Start with the usual equation for the torus:

:$(x^2+y^2+z^2+b^2-a^2)^2 = 4b^2(x^2+y^2). \,$

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

:$(x^2+y^2-a^2+b^2+c^2)^2 = 4b^2(x^2+c^2). \,$

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

:$(x^2+y^2)^2=dx^2+ey^2+f \,$

where

:$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). \,$

In polar coordinates this becomes

:$(r^2-a^2+b^2+c^2)^2 = 4b^2(r^2\cos^2\theta+c^2) \,$

or

:$r^4=r^2(d\cos^2\theta+e\sin^2\theta)+f.$

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
MacTutor historyThe Mathematics Enthusiast Number 9, article 4

;Specific

Quartic curves

Plane curves
Greek mathematics
Toric sections