[[File:Allgemeine zissoide_english.svg|class=skin-invert-image|thumb|upright=1.5|

]]

In geometry, a cissoid (; ) is a plane curve generated from two given curves , and a point (the pole). Let be a variable line passing through and intersecting at and at . Let be the point on so that <math>\overline{OP} = \overline{P_1 P_2}.</math> (There are actually two such points but is chosen so that is in the same direction from as is from .) Then the locus of such points is defined to be the cissoid of the curves , relative to .

Slightly different but essentially equivalent definitions are used by different authors. For example, may be defined to be the point so that <math>\overline{OP} = \overline{OP_1} + \overline{OP_2}.</math> This is equivalent to the other definition if is replaced by its reflection through . Or may be defined as the midpoint of and ; this produces the curve generated by the previous curve scaled by a factor of 1/2.

Equations

If and are given in polar coordinates by <math>r=f_1(\theta)</math> and <math>r=f_2(\theta)</math> respectively, then the equation <math>r=f_2(\theta)-f_1(\theta)</math> describes the cissoid of and relative to the origin. However, because a point may be represented in multiple ways in polar coordinates, there may be other branches of the cissoid which have a different equation. Specifically, is also given by

<math display=block> \begin{align}

& r=-f_1(\theta+\pi) \\

& r=-f_1(\theta-\pi) \\

& r=f_1(\theta+2\pi) \\

& r=f_1(\theta-2\pi) \\

& \qquad \qquad \vdots

\end{align}</math>

So the cissoid is actually the union of the curves given by the equations

<math display=block>\begin{align}

& r=f_2(\theta)-f_1(\theta) \\

& r=f_2(\theta)+f_1(\theta+\pi) \\

&r=f_2(\theta)+f_1(\theta-\pi) \\

& r=f_2(\theta)-f_1(\theta+2\pi) \\

& r=f_2(\theta)-f_1(\theta-2\pi) \\

& \qquad \qquad \vdots

\end{align}</math>

It can be determined on an individual basis depending on the periods of and , which of these equations can be eliminated due to duplication.

thumb|class=skin-invert-image|Ellipse <math>r=\frac{1}{2-\cos \theta}</math> in red, with its two cissoid branches in black and blue (origin)

For example, let and both be the ellipse

<math display=block>r=\frac{1}{2-\cos \theta}.</math>

The first branch of the cissoid is given by

<math display=block>r=\frac{1}{2-\cos \theta}-\frac{1}{2-\cos \theta}=0,</math>

which is simply the origin. The ellipse is also given by

<math display=block>r=\frac{-1}{2+\cos \theta},</math>

so a second branch of the cissoid is given by

<math display=block>r=\frac{1}{2-\cos \theta}+\frac{1}{2+\cos \theta}</math>

which is an oval shaped curve.

If each and are given by the parametric equations

<math display=block>x = f_1(p),\ y = px</math>

and

<math display=block>x = f_2(p),\ y = px,</math>

then the cissoid relative to the origin is given by

<math display=block>x = f_2(p)-f_1(p),\ y = px.</math>

Specific cases

When is a circle with center then the cissoid is conchoid of .

When and are parallel lines then the cissoid is a third line parallel to the given lines.

Hyperbolas

Let and be two non-parallel lines and let be the origin. Let the polar equations of and be

<math display=block>r=\frac{a_1}{\cos (\theta-\alpha_1)}</math>

and

<math display=block>r=\frac{a_2}{\cos (\theta-\alpha_2)}.</math>

By rotation through angle <math>\tfrac{\alpha_1-\alpha_2}{2},</math> we can assume that <math>\alpha_1 = \alpha,\ \alpha_2 = -\alpha.</math> Then the cissoid of and relative to the origin is given by

<math display=block>\begin{align}

r & = \frac{a_2}{\cos (\theta+\alpha)} - \frac{a_1}{\cos (\theta-\alpha)} \\

& =\frac{a_2\cos (\theta-\alpha)-a_1\cos (\theta+\alpha)}{\cos (\theta+\alpha)\cos (\theta-\alpha)} \\

& =\frac{(a_2\cos\alpha-a_1\cos\alpha)\cos\theta-(a_2\sin\alpha+a_1\sin\alpha)\sin\theta}{\cos^2\alpha\ \cos^2\theta-\sin^2\alpha\ \sin^2\theta}.

\end{align}</math>

Combining constants gives

<math display=block>r=\frac{b\cos\theta+c\sin\theta}{\cos^2\theta-m^2\sin^2\theta}</math>

which in Cartesian coordinates is

<math display=block>x^2-m^2y^2=bx+cy.</math>

This is a hyperbola passing through the origin. So the cissoid of two non-parallel lines is a hyperbola containing the pole. A similar derivation show that, conversely, any hyperbola is the cissoid of two non-parallel lines relative to any point on it.

Cissoids of Zahradnik

A cissoid of Zahradnik (named after Karel Zahradnik) is defined as the cissoid of a conic section and a line relative to any point on the conic. This is a broad family of rational cubic curves containing several well-known examples. Specifically:

  • The Trisectrix of Maclaurin given by <math display=block>2x(x^2+y^2)=a(3x^2-y^2)</math> is the cissoid of the circle <math>(x+a)^2+y^2 = a^2</math> and the line <math>x=-\tfrac{a}{2}</math> relative to the origin.
  • The right strophoid <math display=block>y^2(a+x) = x^2(a-x)</math> is the cissoid of the circle <math>(x+a)^2+y^2 = a^2</math> and the line <math>x=-a</math> relative to the origin.

class=skin-invert-image|thumb|upright=1.25|Animation visualizing the Cissoid of Diocles

  • The cissoid of Diocles <math display=block>x(x^2+y^2)+2ay^2=0</math> is the cissoid of the circle <math>(x+a)^2+y^2 = a^2</math> and the line <math>x=-2a</math> relative to the origin. This is, in fact, the curve for which the family is named and some authors refer to this as simply as cissoid.
  • The cissoid of the circle <math>(x+a)^2+y^2 = a^2</math> and the line <math>x=ka,</math> where is a parameter, is called a Conchoid of de Sluze. (These curves are not actually conchoids.) This family includes the previous examples.
  • The folium of Descartes <math display=block>x^3+y^3=3axy</math> is the cissoid of the ellipse <math>x^2-xy+y^2 = -a(x+y)</math> and the line <math>x+y=-a</math> relative to the origin. To see this, note that the line can be written <math display=block>x=-\frac{a}{1+p},\ y=px</math> and the ellipse can be written <math display=block>x=-\frac{a(1+p)}{1-p+p^2},\ y=px.</math> So the cissoid is given by <math display=block>x=-\frac{a}{1+p}+\frac{a(1+p)}{1-p+p^2} = \frac{3ap}{1+p^3},\ y=px</math> which is a parametric form of the folium.

See also

  • Conchoid
  • Strophoid

References

  • C. A. Nelson "Note on rational plane cubics" Bull. Amer. Math. Soc. Volume 32, Number 1 (1926), 71-76.
  • 2D Curves

zh:蔓叶线