Movatterモバイル変換


[0]ホーム

URL:


Wikipedia

Cassini oval

Ingeometry, aCassinioval is aquartic plane curve defined as thelocus of points in theplane such that theproduct of the distances to two fixed points (foci) is constant. This may be contrasted with anellipse, for which thesum of the distances is constant, rather than the product. Cassini ovals are the special case ofpolynomial lemniscates when thepolynomial used hasdegree 2.

Three Cassini ovals, differing by the range within which the parametere (equal tob/a) falls:
  0 <e < 1
  e = 1
  1 <e <2
Not shown:e2 (convex).

Cassini ovals are named after the astronomerGiovanni Domenico Cassini who studied them in the late 17th century.[1] Cassini believed that a planetorbiting around another body traveled on one of these ovals, with the body it orbited around at one focus of the oval.[2]Other names includeCassinian ovals,Cassinian curves andovals of Cassini.

Formal definition

edit
 
Cassini oval:|PP1|×|PP2|=b2{\displaystyle |PP_{1}|\!\!\;\times \!\!\;|PP_{2}|=b^{2}}  for any location ofP on the curve

ACassini oval is a set of points, such that for any pointP{\displaystyle P}  of the set, theproduct of the distances|PP1|,|PP2|{\displaystyle |PP_{1}|,\,|PP_{2}|}  to two fixed pointsP1,P2{\displaystyle P_{1},P_{2}}  is a constant, usually written asb2{\displaystyle b^{2}}  whereb>0{\displaystyle b>0} :

{P:|PP1|×|PP2|=b2} .{\displaystyle \{P:|PP_{1}|\!\!\;\times \!\!\;|PP_{2}|=b^{2}\}\ .} 

As with an ellipse, the fixed pointsP1,P2{\displaystyle P_{1},P_{2}}  are called thefoci of the Cassini oval.

Equations

edit

If the foci are (a, 0) and (−a, 0), then the equation of the curve is

((xa)2+y2)((x+a)2+y2)=b4.{\displaystyle ((x-a)^{2}+y^{2})((x+a)^{2}+y^{2})=b^{4}.} 

When expanded this becomes

(x2+y2)22a2(x2y2)+a4=b4.{\displaystyle (x^{2}+y^{2})^{2}-2a^{2}(x^{2}-y^{2})+a^{4}=b^{4}.} 

The equivalentpolar equation is

r42a2r2cos2θ=b4a4.{\displaystyle r^{4}-2a^{2}r^{2}\cos 2\theta =b^{4}-a^{4}.\,} 

Shape

edit
 
Some Cassini ovals. (b = 0.6a,0.8a,a,1.2a,1.4a,1.6a)

The curve depends, up to similarity, one =b/a. Whene < 1, the curve consists of two disconnected loops, each of which contains a focus. Whene = 1, the curve is thelemniscate of Bernoulli having the shape of a sideways figure eight with adouble point (specifically, acrunode) at the origin.[3][4] Whene > 1, the curve is a single, connected loop enclosing both foci. It is peanut-shaped for1<e<2{\displaystyle 1<e<{\sqrt {2}}}  and convex fore2.{\displaystyle e\geq {\sqrt {2}}\,.} [5] The limiting case ofa → 0 (hencee → ∞), in which case the foci coincide with each other, is acircle.

The curve always hasx-intercepts at± c wherec2 =a2 +b2. Whene < 1 there are two additionalrealx-intercepts and whene > 1 there are two realy-intercepts, all otherx- andy-intercepts being imaginary.[6]

The curve has double points at thecircular points at infinity, in other words the curve isbicircular. These points are biflecnodes, meaning that the curve has two distinct tangents at these points and each branch of the curve has a point of inflection there. From this information andPlücker's formulas it is possible to deduce the Plücker numbers for the casee ≠ 1: degree = 4, class = 8, number of nodes = 2, number of cusps = 0, number of double tangents = 8, number of points of inflection = 12, genus = 1.[7]

The tangents at the circular points are given byx ±iy = ± a which have real points of intersection at(± a, 0). So the foci are, in fact, foci in the sense defined by Plücker.[8] The circular points are points of inflection so these are triple foci. Whene ≠ 1 the curve has class eight, which implies that there should be a total of eight real foci. Six of these have been accounted for in the two triple foci and the remaining two are at(±a1e4,0)(e<1),(0,±ae41)(e>1).{\displaystyle {\begin{aligned}\left(\pm a{\sqrt {1-e^{4}}},0\right)&\quad (e<1),\\\left(0,\pm a{\sqrt {e^{4}-1}}\right)&\quad (e>1).\end{aligned}}} So the additional foci are on thex-axis when the curve has two loops and on they-axis when the curve has a single loop.[9]

Cassini ovals and orthogonal trajectories

edit
 
Cassini ovals and their orthogonal trajectories (hyperbolas)

Orthogonal trajectories of a givenpencil of curves are curves which intersect all given curves orthogonally. For example the orthogonal trajectories of a pencil ofconfocal ellipses are the confocalhyperbolas with the same foci. For Cassini ovals one has:

Proof:
For simplicity one choosesP1=(1,0),P2=(1,0){\displaystyle P_{1}=(1,0),\,P_{2}=(-1,0)} .

The Cassini ovals have the equationf(x,y)=(x2+y2)22(x2y2)+1b4=0.{\displaystyle f(x,y)=(x^{2}+y^{2})^{2}-2(x^{2}-y^{2})+1-b^{4}=0.} 
Theequilateral hyperbolas (theirasymptotes are rectangular) containing(1,0),(1,0){\displaystyle (1,0),(-1,0)}  with center(0,0){\displaystyle (0,0)}  can be described by the equationx2y2λxy1=0,   λR.{\displaystyle x^{2}-y^{2}-\lambda xy-1=0,\ \ \ \lambda \in \mathbb {R} .} 

These conic sections have no points with they-axis in common and intersect thex-axis at(±1,0){\displaystyle (\pm 1,0)} . Theirdiscriminants show that these curves are hyperbolas. A more detailed investigation reveals that the hyperbolas are rectangular. In order to get normals, which are independent from parameterλ{\displaystyle \lambda }  the following implicit representation is more convenientg(x,y)=x2y21xyλ=xyyx1xyλ=0.{\displaystyle g(x,y)={\frac {x^{2}-y^{2}-1}{xy}}-\lambda ={\frac {x}{y}}-{\frac {y}{x}}-{\frac {1}{xy}}-\lambda =0\;.} A simple calculation shows thatgradf(x,y)gradg(x,y)=0{\displaystyle \operatorname {grad} f(x,y)\cdot \operatorname {grad} g(x,y)=0}  for all(x,y),x0y{\displaystyle (x,y),\,x\neq 0\neq y} . Hence the Cassini ovals and the hyperbolas intersect orthogonally.

Remark:
The image depicting the Cassini ovals and the hyperbolas looks like theequipotential curves of two equalpoint charges together with the lines of the generatedelectrical field. But for the potential of two equal point charges one has1/|PP1|+1/|PP2|=constant{\displaystyle 1/|PP_{1}|+1/|PP_{2}|={\text{constant}}} . (SeeImplicit curve.) Instead these curves actually correspond to the (plane sections of) equipotential sets of two infinite wires with equal constant line charge density, or alternatively, to the level sets of the sums of theGreen’s functions for the Laplacian in two dimensions centered at the foci.

The single-loop and double loop Cassini curves can be represented as the orthogonal trajectories of each other when each family is coaxal but not confocal. If the single-loops are described by(x2+y2)1=axy{\displaystyle (x^{2}+y^{2})-1=axy}  then the foci are variable on the axisy=x{\displaystyle y=x}  ifa>0{\displaystyle a>0} ,y=x{\displaystyle y=-x}  ifa<0{\displaystyle a<0} ; if the double-loops are described by(x2+y2)+1=b(x2y2){\displaystyle (x^{2}+y^{2})+1=b(x^{2}-y^{2})}  then the axes are, respectively,y=0{\displaystyle y=0}  andx=0{\displaystyle x=0} . Each curve, up to similarity, appears twice in the image, which now resembles the field lines and potential curves for four equal point charges, located at(±1,0){\displaystyle (\pm 1,0)}  and(0,±1){\displaystyle (0,\pm 1)} . Further, the portion of this image in the upper half-plane depicts the following situation: The double-loops are a reduced set of congruence classes for the central Steiner conics in the hyperbolic plane produced by direct collineations;[10] and each single-loop is the locus of pointsP{\displaystyle P}  such that the angleOPQ{\displaystyle OPQ}  is constant, whereO=(0,1){\displaystyle O=(0,1)}  andQ{\displaystyle Q}  is the foot of the perpendicular throughP{\displaystyle P}  on the line described byx2+y2=1{\displaystyle x^{2}+y^{2}=1} .

Examples

edit

The secondlemniscate of the Mandelbrot set is a Cassini oval defined by the equationL2={c:abs(c2+c)=ER}.{\displaystyle L_{2}=\{c:\operatorname {abs} (c^{2}+c)=ER\}.}  Its foci are at the pointsc on thecomplex plane that have orbits where every second value ofz is equal to zero, which are the values 0 and −1.

Cassini ovals on tori

edit
 
Cassini ovals as planar sections of a torus (the torus on the right is aspindle torus)

Cassini ovals appear as planar sections oftori, but only when the cutting plane is parallel to the axis of the torus and its distance to the axis equals the radius of the generating circle (see picture).

The intersection of the torus with equation

(x2+y2+z2+R2r2)2=4R2(x2+y2){\displaystyle \left(x^{2}+y^{2}+z^{2}+R^{2}-r^{2}\right)^{2}=4R^{2}\!\left(x^{2}+y^{2}\right)} 

and the planey=r{\displaystyle y=r}  yields

(x2+z2+R2)2=4R2(x2+r2).{\displaystyle \left(x^{2}+z^{2}+R^{2}\right)^{2}=4R^{2}\!\left(x^{2}+r^{2}\right).} 

After partially resolving the first bracket one gets the equation

(x2+z2)22R2(x2z2)=4R2r2R4,{\displaystyle \left(x^{2}+z^{2}\right)^{2}-2R^{2}(x^{2}-z^{2})=4R^{2}r^{2}-R^{4},} 

which is the equation of a Cassini oval with parametersb2=2Rr{\displaystyle b^{2}=2Rr}  anda=R{\displaystyle a=R} .

Generalizations

edit

Cassini's method is easy to generalize to curves and surfaces with an arbitrarily many defining points:

describes in the planar case animplicit curve and in 3-space animplicit surface.

See also

edit

References

edit
  1. ^Cassini
  2. ^Cohen 1962.
  3. ^Basset p. 163
  4. ^Lawden
  5. ^"Cassini oval - Encyclopedia of Mathematics".
  6. ^Basset p. 163
  7. ^Basset p. 163
  8. ^See Basset p. 47
  9. ^Basset p. 164
  10. ^Sarli, John (April 2012)."Conics in the hyperbolic plane intrinsic to the collineation group".Journal of Geometry.103 (1):131–148.doi:10.1007/s00022-012-0115-5.ISSN 0047-2468.S2CID 253597755.

Bibliography

edit

External links

edit
Wikimedia Commons has media related toCassini oval.

[8]ページ先頭

©2009-2025 Movatter.jp