For a surface in three dimension the focal surface, surface of centers or evolute is formed by taking the centers of the curvature spheres, which are the tangential spheres whose radii are the reciprocals of one of the principal curvatures at the point of tangency. Equivalently it is the surface formed by the centers of the circles which osculate the curvature lines. [1] [2]
As the principal curvatures are the eigenvalues of the second fundamental form, there are two at each point, and these give rise to two points of the focal surface on each normal direction to the surface. Away from umbilical points, these two points of the focal surface are distinct; at umbilical points the two sheets come together. When the surface has a ridge the focal surface has a cuspidal edge, three such edges pass through an elliptical umbilic and only one through a hyperbolic umbilic. [3] At points where the Gaussian curvature is zero, one sheet of the focal surface will have a point at infinity corresponding to the zero principal curvature.
If is a point of the given surface, the unit normal and the principal curvatures at , then
are the corresponding two points of the focal surface.
In mathematics, an ellipse is a plane curve surrounding two focal points, such that for all points on the curve, the sum of the two distances to the focal points is a constant. As such, it generalizes a circle, which is the special type of ellipse in which the two focal points are the same. The elongation of an ellipse is measured by its eccentricity e, a number ranging from e = 0 to e = 1.
In mathematics, a hyperbola is a type of smooth curve lying in a plane, defined by its geometric properties or by equations for which it is the solution set. A hyperbola has two pieces, called connected components or branches, that are mirror images of each other and resemble two infinite bows. The hyperbola is one of the three kinds of conic section, formed by the intersection of a plane and a double cone. If the plane intersects both halves of the double cone but does not pass through the apex of the cones, then the conic is a hyperbola.
In mathematics, a parabola is a plane curve which is mirror-symmetrical and is approximately U-shaped. It fits several other superficially different mathematical descriptions, which can all be proved to define exactly the same curves.
A sphere is a geometrical object in three-dimensional space that is the surface of a ball.
An ellipsoid is a surface that may be obtained from a sphere by deforming it by means of directional scalings, or more generally, of an affine transformation.
In mathematics, a quadric or quadric surface, is a generalization of conic sections. It is a hypersurface in a (D + 1)-dimensional space, and it is defined as the zero set of an irreducible polynomial of degree two in D + 1 variables. When the defining polynomial is not absolutely irreducible, the zero set is generally not considered a quadric, although it is often called a degenerate quadric or a reducible quadric.
In geometry, a hyperboloid of revolution, sometimes called a circular hyperboloid, is the surface generated by rotating a hyperbola around one of its principal axes. A hyperboloid is the surface obtained from a hyperboloid of revolution by deforming it by means of directional scalings, or more generally, of an affine transformation.
In differential geometry, the Gaussian curvature or Gauss curvatureΚ of a surface at a point is the product of the principal curvatures, κ1 and κ2, at the given point:
In mathematics, a saddle point or minimax point is a point on the surface of the graph of a function where the slopes (derivatives) in orthogonal directions are all zero, but which is not a local extremum of the function. An example of a saddle point is when there is a critical point with a relative minimum along one axial direction and at a relative maximum along the crossing axis. However, a saddle point need not be in this form. For example, the function has a critical point at that is a saddle point since it is neither a relative maximum nor relative minimum, but it does not have a relative maximum or relative minimum in the -direction.
In mathematics, a Dupin cyclide or cyclide of Dupin is any geometric inversion of a standard torus, cylinder or double cone. In particular, these latter are themselves examples of Dupin cyclides. They were discovered by Charles Dupin in his 1803 dissertation under Gaspard Monge. The key property of a Dupin cyclide is that it is a channel surface in two different ways. This property means that Dupin cyclides are natural objects in Lie sphere geometry.
In geometry, a surface S is ruled if through every point of S there is a straight line that lies on S. Examples include the plane, the lateral surface of a cylinder or cone, a conical surface with elliptical directrix, the right conoid, the helicoid, and the tangent developable of a smooth curve in space.
In the differential geometry of curves, the evolute of a curve is the locus of all its centers of curvature. That is to say that when the center of curvature of each point on a curve is drawn, the resultant shape will be the evolute of that curve. The evolute of a circle is therefore a single point at its center. Equivalently, an evolute is the envelope of the normals to a curve.
In the differential geometry of surfaces, an asymptotic curve is a curve always tangent to an asymptotic direction of the surface. It is sometimes called an asymptotic line, although it need not be a line.
In the differential geometry of surfaces in three dimensions, umbilics or umbilical points are points on a surface that are locally spherical. At such points the normal curvatures in all directions are equal, hence, both principal curvatures are equal, and every tangent vector is a principal direction. The name "umbilic" comes from the Latin umbilicus - navel.
A channel or canal surface is a surface formed as the envelope of a family of spheres whose centers lie on a space curve, its directrix. If the radii of the generating spheres are constant the canal surface is called pipe surface. Simple examples are:
In differential geometry, the Carathéodory conjecture is a mathematical conjecture attributed to Constantin Carathéodory by Hans Ludwig Hamburger in a session of the Berlin Mathematical Society in 1924. Carathéodory did publish a paper on a related subject, but never committed the Conjecture into writing. In, John Edensor Littlewood mentions the Conjecture and Hamburger's contribution as an example of a mathematical claim that is easy to state but difficult to prove. Dirk Struik describes in the formal analogy of the Conjecture with the Four Vertex Theorem for plane curves. Modern references to the Conjecture are the problem list of Shing-Tung Yau, the books of Marcel Berger, as well as the books.
In mathematics, a conic section is a curve obtained as the intersection of the surface of a cone with a plane. The three types of conic section are the hyperbola, the parabola, and the ellipse; the circle is a special case of the ellipse, though historically it was sometimes called a fourth type. The ancient Greek mathematicians studied conic sections, culminating around 200 BC with Apollonius of Perga's systematic work on their properties.
The study of geodesics on an ellipsoid arose in connection with geodesy specifically with the solution of triangulation networks. The figure of the Earth is well approximated by an oblate ellipsoid, a slightly flattened sphere. A geodesic is the shortest path between two points on a curved surface, analogous to a straight line on a plane surface. The solution of a triangulation network on an ellipsoid is therefore a set of exercises in spheroidal trigonometry.
In geometry, focal conics are a pair of curves consisting of either
In differential geometry Dupin's theorem, named after the French mathematician Charles Dupin, is the statement: