Viviani's curve
   HOME

TheInfoList



OR:

In mathematics, Viviani's curve, also known as Viviani's window, is a figure eight shaped space
curve In mathematics, a curve (also called a curved line in older texts) is an object similar to a line, but that does not have to be straight. Intuitively, a curve may be thought of as the trace left by a moving point. This is the definition that ...
named after the Italian mathematician
Vincenzo Viviani Vincenzo Viviani (April 5, 1622 – September 22, 1703) was an Italian mathematician and scientist. He was a pupil of Torricelli and a disciple of Galileo.sphere A sphere () is a geometrical object that is a three-dimensional analogue to a two-dimensional circle. A sphere is the set of points that are all at the same distance from a given point in three-dimensional space.. That given point is th ...
with a
cylinder A cylinder (from ) has traditionally been a three-dimensional solid, one of the most basic of curvilinear geometric shapes. In elementary geometry, it is considered a prism with a circle as its base. A cylinder may also be defined as an infin ...
that is
tangent In geometry, the tangent line (or simply tangent) to a plane curve at a given point is the straight line that "just touches" the curve at that point. Leibniz defined it as the line through a pair of infinitely close points on the curve. Mo ...
to the sphere and passes through two poles (a diameter) of the sphere (see diagram). Before Viviani this curve was studied by
Simon de La Loubère Simon de la Loubère (; 21 April 1642 – 26 March 1729) was a French diplomat to Siam (Thailand), writer, mathematician and poet. He is credited with bringing back a document which introduced Europe to Indian astronomy, the "Siamese method" ...
and
Gilles de Roberval Gilles Personne de Roberval (August 10, 1602 – October 27, 1675), French mathematician, was born at Roberval near Beauvais, France. His name was originally Gilles Personne or Gilles Personier, with Roberval the place of his birth. Biography ...
. The orthographic projection of Viviani's curve onto a plane perpendicular to the line through the crossing point and the sphere center is the
lemniscate of Gerono In algebraic geometry, the lemniscate of Gerono, or lemniscate of Huygens, or figure-eight curve, is a plane algebraic curve of degree four and genus zero and is a lemniscate In algebraic geometry, a lemniscate is any of several figure-eight o ...
, while the stereographic projection is a hyperbola or the
lemniscate of Bernoulli In geometry, the lemniscate of Bernoulli is a plane curve defined from two given points and , known as foci, at distance from each other as the locus of points so that . The curve has a shape similar to the numeral 8 and to the ∞ symbol. ...
, depending on which point on the same line is used to project. . In 1692 Viviani solved the following task: Cut out of a half sphere (radius r) two windows, such that the remaining surface (of the half sphere) can be ''squared'', i.e. a
square In Euclidean geometry, a square is a regular quadrilateral, which means that it has four equal sides and four equal angles (90- degree angles, π/2 radian angles, or right angles). It can also be defined as a rectangle with two equal-length a ...
with the same area can be constructed using only compasses and ruler. His solution has an area of 4r^2 (see below).


Equations

In order to keep the proof for squaring simple, : the ''sphere'' has the equation \; x^2+y^2+z^2=r^2\; and : the ''cylinder is upright'' with equation \; x^2+y^2-rx=0\;. The cylinder has radius r/2 and is tangent to the sphere at point (r,0,0)\ .


Properties of the curve


Floor plan, elevation and side plan

Elimination of x , y , z respectively yields: The
orthogonal projection In linear algebra and functional analysis, a projection is a linear transformation P from a vector space to itself (an endomorphism) such that P\circ P=P. That is, whenever P is applied twice to any vector, it gives the same result as if it wer ...
of the intersection curve onto the : x-y-plane is the ''circle'' with equation \; \left(x-\tfrac \right)^2+y^2 = \left(\tfrac \right)^2\ . : x-z-plane the ''
parabola In mathematics, a parabola is a plane curve which is Reflection symmetry, mirror-symmetrical and is approximately U-shaped. It fits several superficially different Mathematics, mathematical descriptions, which can all be proved to define exact ...
'' with equation \; x=-\tfracz^2+r \; . : y-z-plane the
algebraic curve In mathematics, an affine algebraic plane curve is the zero set of a polynomial in two variables. A projective algebraic plane curve is the zero set in a projective plane of a homogeneous polynomial in three variables. An affine algebraic plane ...
with the equation \; z^4+r^2(y^2-z^2)=0 \; .


Parametric representation

Representing the sphere by : \begin x &=& r \cdot \cos \theta \cdot \cos \varphi \\ y &=& r \cdot \cos \theta \cdot \sin \varphi \\ z &=& r \cdot \sin \theta \qquad \qquad -\tfrac\le\theta\le\tfrac\ , \ -\pi\le\varphi\le \pi \; , \end and setting \; \varphi=\theta, \; yields the curve : \begin x &=& r \cdot \cos \theta \cdot \cos \theta \\ y &=& r \cdot \cos \theta \cdot \sin \theta \\ z &=& r \cdot \sin \theta \qquad \qquad -\tfrac\le\theta\le\tfrac\ . \end One easily checks that the spherical curve fulfills the equation of the cylinder. But the boundaries allow only the red part (see diagram) of Viviani's curve. The missing second half (green) has the property \; \color\varphi=-\theta \; . With help of this parametric representation it is easy to prove the statement: The area of the half sphere (containing Viviani's curve) minus the area of the two windows is 4r^2. The area of the upper right part of Viviani's window (see diagram) can be calculated by an integration: :\iint_ r^2 \cos\theta \,\mathrm\theta\, \mathrm\varphi =r^2 \int_0^ \int_0^\theta \cos\theta \,\mathrm\varphi \,\mathrm\theta= r^2 \left(\frac-1 \right)\ . Hence the total area of the spherical surface included by Viviani's curve is 2\pi r^2-4r^2 and the area of the half sphere (2\pi r^2) minus the area of Viviani's window is \; 4r^2\;, the area of a square with the sphere's diameter as the length of an edge.


Rational Bezier representation

The quarter of Viviani's curve that lies in the all-positive quadrant of 3D space cannot be represented exactly by a regular Bezier curve of any degree. However, it can be represented exactly by a 3D rational Bezier segment of degree 4, and there is an infinite family of rational Bezier control points generating that segment. One possible solution is given by the following five control points: : \boldsymbol = \begin 0 \\ 0 \\ 1 \\ 1 \end \boldsymbol = \begin 0 \\ \frac \\ \frac \\ \frac \end \boldsymbol = \begin \frac \\ \frac \\ \frac \\ \frac \end \boldsymbol = \begin \frac \\ \frac \\ \frac \\ \frac \end \boldsymbol = \begin 1 \\ 0 \\ 0 \\ 1 \end The corresponding rational parametrization is: : \left( \begin \frac \\ \frac \\ -\frac \\ \end \right) \; \mu\in\left ,1\right


Relation to other curves

* The 8-shaped elevation (see above) is a
Lemniscate of Gerono In algebraic geometry, the lemniscate of Gerono, or lemniscate of Huygens, or figure-eight curve, is a plane algebraic curve of degree four and genus zero and is a lemniscate In algebraic geometry, a lemniscate is any of several figure-eight o ...
. * Viviani's curve is a special Clelia curve. For a Clelia curve the relation between the angles is \; \varphi=c\;\theta \;. Subtracting 2× the cylinder equation from the sphere's equation and applying
completing the square : In elementary algebra, completing the square is a technique for converting a quadratic polynomial of the form :ax^2 + bx + c to the form :a(x-h)^2 + k for some values of ''h'' and ''k''. In other words, completing the square places a perfe ...
leads to the equation :(x-r)^2+y^2=z^2\; , which describes a right circular cone with its apex at \;(r,0,0)\;, the double point of Viviani's curve. Hence * Viviani's curve can be considered not only as the intersection curve of a sphere and a cylinder but also as :a) the intersection of a sphere and a cone and as :b) the intersection of a cylinder and a cone.


See also

* Sphere-cylinder intersection


References


External links

*Berger, Marcel: Geometry. II. Translated from the French by M. Cole and S. Levy. Universitext. Springer-Verlag, Berlin, 1987. * Berger, Marcel: Geometry. I. Translated from the French by M. Cole and S. Levy. Universitext. Springer-Verlag, Berlin, 1987. xiv+428 pp. * * {{mathworld, urlname=VivianisCurve, title=Viviani's Curve Spherical curves