
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
) 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
(see below).
Equations

In order to keep the proof for squaring simple, suppose that the sphere and cylinder have the equations
:
and
:
respectively. The cylinder has radius
and is tangent to the sphere at point
Properties of the curve
Floor plan, elevation, and side plan

Elimination of
,
, and
respectively yields the
orthogonal projections of the intersection curve onto the:
:
-
-plane is the ''circle'' with equation
:
-
-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
and
:
-
-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
Parametric representation

Representing the sphere by
:
and setting
yields the curve
:
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
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
. The area of the upper-right part of Viviani's window (see diagram) can be calculated by an
integration:
:
Hence the total area of the spherical surface included by Viviani's curve is
, and the area of the hemisphere (
) minus the area of Viviani's window is
, 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:
:
The corresponding rational parametrization is:
:
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

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
:
which describes a
right circular cone with its apex at
, 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