Let be a parameterization of a smooth space curve. That is, is a twice-differentiable function with nowhere-vanishing derivative that maps its argument (a real number) to a point in space; the curve is the image of . Then a two-dimensional surface, the tangent developable of , may be parameterized by the map
The original curve forms a boundary of the tangent developable, and is called its directrix.
The tangent developable is a developable surface; that is, it is a surface with zero Gaussian curvature. It is one of three fundamental types of developable surface; the other two are the generalized cones (the surface traced out by a one-dimensional family of lines through a fixed point), and the cylinders (surfaces traced out by a one-dimensional family of parallel lines). (The plane is sometimes given as a fourth type, or may be seen as a special case of either of these two types.) Every developable surface in three-dimensional space may be formed by gluing together pieces of these three types; it follows from this that every developable surface is a ruled surface, a union of a one-dimensional family of lines. However, not every ruled surface is developable; the helicoid provides a counterexample.
Tangent developables were first studied by Leonhard Euler in 1772. Until that time, the only known developable surfaces were the generalized cones and the cylinders. Euler showed that tangent developables are developable and that every developable surface is of one of these types.
- Pressley, Andrew (2010), Elementary Differential Geometry, Springer, p. 129, ISBN 1-84882-890-X.
- Lawrence, Snežana (2011), "Developable surfaces: their history and application", Nexus Network Journal, 13 (3): 701–714, doi:10.1007/s00004-011-0087-z.
- Euler, L. (1772), "De solidis quorum superficiem in planum explicare licet", Novi Commentarii academiae scientiarum Petropolitanae (in Latin), 16: 3–34.