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.

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+b+c)(a+b-c)(a-b+c)(a-b-c).\,

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}=dr^{2}\cos ^{2}\theta +er^{2}\sin ^{2}\theta +f.\,

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