HOME

TheInfoList



OR:

In
mathematics Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many ar ...
, 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 Galileo.sphere A sphere (from Ancient Greek, Greek , ) is a surface (mathematics), surface analogous to the circle, a curve. In solid geometry, a sphere is the Locus (mathematics), set of points that are all at the same distance from a given point in three ...
with a
cylinder A cylinder () 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 infinite ...
that is
tangent In geometry, the tangent line (or simply tangent) to a plane curve at a given point is, intuitively, the straight line that "just touches" the curve at that point. Leibniz defined it as the line through a pair of infinitely close points o ...
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) was a French mathematician born at Roberval near Beauvais, France. His name was originally Gilles Personne or Gilles Personier, with Roberval the place of his birth. Biography L ...
. The
orthographic projection Orthographic projection (also orthogonal projection and analemma) is a means of representing Three-dimensional space, three-dimensional objects in Plane (mathematics), two dimensions. Orthographic projection is a form of parallel projection in ...
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 curve shaped like an \infty symbol, or figure eight. It has equation ...
, while the
stereographic projection In mathematics, a stereographic projection is a perspective transform, perspective projection of the sphere, through a specific point (geometry), point on the sphere (the ''pole'' or ''center of projection''), onto a plane (geometry), plane (th ...
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. I ...
, depending on which point on the same line is used to project.. In 1692, Viviani solved the following task: Cut out of a hemisphere (radius r) two windows, such that the remaining surface (of the hemisphere) can be ''squared''; that is, a
square In geometry, a square is a regular polygon, regular quadrilateral. It has four straight sides of equal length and four equal angles. Squares are special cases of rectangles, which have four equal angles, and of rhombuses, which have four equal si ...
with the same area can be constructed using only ruler and compass. His solution has an area of 4r^2 (see below).


Equations

In order to keep the proof for squaring simple, suppose that the sphere and cylinder have the equations : x^2+y^2+z^2=r^2 and : x^2+y^2-rx=0, respectively. 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, and z respectively yields the orthogonal projections 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 exactl ...
'' with equation x=-\tfracz^2+r, and : 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 cu ...
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 \varphi=-\theta. With help of this parametric representation it is easy to prove that the area of the hemisphere 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 hemisphere (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 Bézier representation

The quarter of Viviani's curve that lies in the all-positive octant of 3D space cannot be represented exactly by a regular
Bézier curve A Bézier curve ( , ) is a parametric equation, parametric curve used in computer graphics and related fields. A set of discrete "control points" defines a smooth, continuous curve by means of a formula. Usually the curve is intended to approxima ...
of any degree. However, it can be represented exactly by a 3D rational Bézier segment of degree 4, and there is an infinite family of rational Bézier control points generating that segment. One possible solution is given by the following five control points: p_0 = (0, 0, 1, 1) \begin p_0 & = & (0 & 0 & 1 & 1) & & \\ p_1 & = & (0 & 1 & 2 & 2) &/& (2\sqrt) \\ p_2 & = & (2 & 3 & 3 & 4) &/& 6 \\ p_3 & = & (2 & 1 & 1 & 2) &/& (2\sqrt) \\ p_4 & = & (1 & 0 & 0 & 1) & & \end : \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 \displaystyle \frac \\ \displaystyle \frac \\ \displaystyle -\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 curve shaped like an \infty symbol, or figure eight. It has equation ...
. * Viviani's curve is a special Clelia curve. For a Clelia curve, the relation between the angles is \varphi=c\theta. Subtracting twice the cylinder equation from the sphere's equation and
completing the square In elementary algebra, completing the square is a technique for converting a quadratic polynomial of the form to the form for some values of and . In terms of a new quantity , this expression is a quadratic polynomial with no linear term. By s ...
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 the intersection of a sphere and a cone, and as 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