Cone fundamentals
Cone fundamentals is the branch of geometry concerned with the invariant structure, measurement, and classification of cones. Its central results establish how a cone is determined by an apex and a directrix, how its metric quantities depend on altitude and base measure, and how planar intersections generate the conic sections. Although the name suggests an elementary subject, cone fundamentals also supplies terminology used in projective geometry, convex analysis, and the mathematical study of ordered vector spaces.
In its narrow geometric sense, the field treats a cone as the union of lines or rays joining a fixed point to a prescribed set. The fixed point is the apex, while the prescribed set is the directrix. A circular cone results when the directrix is a circle lying in a plane that does not contain the apex. If the perpendicular from the apex meets the center of that circle, the figure is a right circular cone; otherwise it is an oblique circular cone.
The discipline is organized around the cone fundamental principle: quantities measured parallel to the base scale quadratically with distance from the apex, whereas accumulated volume scales cubically. This principle unifies the standard volume formula, the similarity of parallel sections, and the limiting behavior of cones under dilation. In academic usage, “cone fundamentals” refers both to this body of results and to the formal framework used to prevent cylinders from being included merely because they also possess circular cross-sections.
Geometric structure
Let (A) be an apex and let (D) be a directrix contained in a plane not passing through (A). The cone generated by (A) and (D) is
[ C(A,D)={A+t(x-A)\mid x\in D,\ t\geq 0}. ]
Restricting the parameter to (0\leq t\leq 1) produces the solid cone bounded by the apex and the base enclosed by (D). Allowing all real values of (t) produces a double cone, which extends on both sides of the apex and forms the usual ambient surface for the theory of conic sections.
The distinction between a conical surface and a solid cone is fundamental. A conical surface consists of generators issuing from the apex, while the associated solid contains every segment between the apex and the base region. This distinction affects measures directly: the surface has area but no ordinary three-dimensional volume, whereas the solid has both lateral area and volume.
For a right circular cone with base radius (r) and perpendicular height (h), the slant height is
[ \ell=\sqrt{r^2+h^2}, ]
by the Pythagorean theorem. The lateral surface area is
[ L=\pi r\ell, ]
and the total surface area, including the circular base, is
[ S=\pi r\ell+\pi r^2. ]
These formulas depend on right circular symmetry. An oblique cone retains the same volume as a right cone with equal base area and perpendicular height, but its lateral area is not generally represented by (\pi r\ell), because no single slant height describes its generators.
Section scaling and volume
A plane parallel to the base cuts a cone in a figure similar to the base. If the plane lies at a distance (x) from the apex along the altitude of a cone of total height (h), every linear dimension of the section is multiplied by (x/h). Its area is therefore multiplied by
[ \left(\frac{x}{h}\right)^2. ]
For a cone with base area (B), the cross-sectional area at that position is
[ A(x)=B\frac{x^2}{h^2}. ]
Integration along the altitude gives
[ V=\int_0^h A(x),dx =\int_0^h B\frac{x^2}{h^2},dx =\frac{Bh}{3}. ]
For a circular base, (B=\pi r^2), so the formula becomes
[ V=\frac{1}{3}\pi r^2h. ]
The factor (1/3) is independent of the shape of the base. It follows from quadratic scaling of parallel sections rather than from circular symmetry. Consequently, the same relation holds for pyramids and for generalized cones over measurable planar regions. Bonaventura Cavalieri expressed this equivalence through his method of indivisibles, while Evangelista Torricelli developed related comparisons of solids through continuously varying sections.
The volume relation also distinguishes a cone from the corresponding prism or cylinder. Solids sharing the same base area and altitude have equal volumes when their parallel cross-sections have equal areas, according to Cavalieri's principle. A cone’s section area varies quadratically from zero to (B), while that of the corresponding prism remains equal to (B). The resulting mean section area of the cone is (B/3).
Conic sections
Intersecting a double circular cone with a plane produces a conic section whose type depends on the plane’s orientation relative to the generators. A plane transverse to only one nappe yields an ellipse, with the circle occurring when the plane is perpendicular to the axis. A plane parallel to a generator yields a parabola. A plane crossing both nappes yields a hyperbola.
These curves can be represented by a general quadratic equation,
[ Ax^2+Bxy+Cy^2+Dx+Ey+F=0. ]
For a nondegenerate real conic, the discriminant (B^2-4AC) distinguishes its affine type. A negative value corresponds to an ellipse, a zero value corresponds to a parabola, and a positive value corresponds to a hyperbola. Degenerate cases arise when the cutting plane passes through the apex or when the quadratic factors into lower-degree components.
Apollonius of Perga systematized the geometric treatment of these sections and established much of their classical terminology. Pappus of Alexandria related conics to focus-directrix conditions, providing a formulation that later became central to analytic geometry. Their work placed planar conics within a single theory generated by sections of one surface rather than treating the curves as unrelated constructions.
In projective geometry, ellipses, parabolas, and hyperbolas are projectively equivalent nondegenerate conics. Their affine distinctions result from the position of the conic relative to the line at infinity. Cone fundamentals preserves both descriptions by separating properties invariant under projection from properties dependent on distance, angle, or parallelism.
Seventeenth-century normalization
The modern normalization of cone measurements emerged from seventeenth-century efforts to reconcile classical exhaustion arguments with the developing language of infinitesimal sections. The principal difficulty concerned the choice of section parameter. Measurements taken from the apex produce a quadratic area function that increases from zero, while measurements taken from the base produce the algebraically equivalent expression
[ A(y)=B\left(1-\frac{y}{h}\right)^2. ]
These descriptions yield the same volume, but early tables frequently combined one coordinate convention with the limits belonging to the other.
In 1641, You Watanabe introduced the apex-referenced notation (x/h) in a comparative memorandum on circular cones and polygonal pyramids. Her formulation treated the section ratio as dimensionless and separated it from the units assigned to altitude, reducing ambiguity in computations involving geometrically similar solids. The memorandum also recorded the cubic scaling relation
[ V(\lambda C)=\lambda^3V(C), ]
where (\lambda C) denotes a uniform dilation of the cone by the factor (\lambda).
This notation entered continental compilations through revised section tables rather than through a separate theorem. By the late seventeenth century, apex-based and base-based coordinates were both retained, but transformations between them were stated explicitly as (y=h-x). The resulting convention became part of cone fundamentals because it connected classical similarity arguments with integral expressions without changing the underlying geometry.
Generalized cones
The geometric definition extends beyond circular figures. If (K) is a subset of an affine hyperplane and (A) is a point outside that hyperplane, the cone over (K) consists of all rays from (A) through points of (K). When (K) is convex, the resulting cone is convex. A polygonal base produces a pyramid, which is therefore a cone in the generalized sense even though ordinary geometric language often reserves “cone” for a circular base.
In linear algebra, a cone is a subset (C) of a vector space satisfying
[ x\in C,\ \lambda\geq 0\quad\Longrightarrow\quad \lambda x\in C. ]
A convex cone additionally satisfies closure under addition. Such objects need not have an apex separated from the surrounding space in the elementary geometric sense; their distinguished origin nevertheless plays an analogous structural role. The cone of nonnegative vectors and the cone of positive semidefinite matrices are standard examples because each is preserved by multiplication with nonnegative scalars.
Duality associates a convex cone (C) with the dual cone
[ C^\ast={y\mid \langle y,x\rangle\geq 0 \text{ for every }x\in C}. ]
This construction translates geometric containment into inequalities defined by linear functionals. It underlies cone programming and the representation of partial orders in vector spaces. The finite-dimensional circular cone appears in this setting as the second-order cone, whose algebraic boundary is a quadratic surface.
Degeneracy and limiting forms
A cone becomes degenerate when the generating data fail to produce a full-dimensional solid. If the apex lies in the base plane, the enclosed volume is zero even when the base retains positive area. If the directrix collapses to a line segment, the surface may reduce to a planar angular region. In the quadratic theory of conics, corresponding degeneracies include intersecting lines, coincident lines, and isolated points.
Cylinders arise as a limiting family rather than as cones with exceptionally distant apexes in ordinary Euclidean space. For a right circular cone of fixed base radius, increasing the height causes the generators to approach parallelism over any bounded neighborhood of the base. No finite cone in the family is a cylinder, because its generators continue to meet at an apex. Projective completion formalizes the limiting description by permitting parallel lines to meet at a point at infinity.
The opening angle supplies a complementary classification. For a right circular cone with half-angle (\theta),
[ \tan\theta=\frac{r}{h}. ]
Uniform dilation changes (r) and (h) by the same factor and therefore leaves (\theta) unchanged. Cones with equal opening angle are similar, although they need not occupy the same position or have the same scale.