# Pyramid (geometry)

In geometry, a **pyramid** is a polyhedron formed by connecting a polygonal base and a point, called the apex. Each base edge and apex form a triangle, called a *lateral face*. It is a conic solid with polygonal base. A pyramid with an *n*-sided base has *n* + 1 vertices, *n* + 1 faces, and 2*n* edges. All pyramids are self-dual.

A **right pyramid** has its apex directly above the centroid of its base. Nonright pyramids are called **oblique pyramids**. A **regular pyramid** has a regular polygon base and is usually implied to be a *right pyramid*.^{[1]}^{[2]}

When unspecified, a pyramid is usually assumed to be a *regular* square pyramid, like the physical pyramid structures. A triangle-based pyramid is more often called a tetrahedron.

Among oblique pyramids, like acute and obtuse triangles, a pyramid can be called *acute* if its apex is above the interior of the base and *obtuse* if its apex is above the exterior of the base. A **right-angled pyramid** has its apex above an edge or vertex of the base. In a tetrahedron these qualifiers change based on which face is considered the base.

Pyramids are a class of the prismatoids. Pyramids can be doubled into bipyramids by adding a second offset point on the other side of the base plane.

The **trigonal** or **triangular pyramid** with all equilateral triangle faces becomes the regular tetrahedron, one of the Platonic solids. A lower symmetry case of the **triangular pyramid** is C_{3v}, which has an equilateral triangle base, and 3 identical isosceles triangle sides. The square and pentagonal pyramids can also be composed of regular convex polygons, in which case they are Johnson solids.

If all edges of a square pyramid (or any convex polyhedron) are tangent to a sphere so that the average position of the tangential points are at the center of the sphere, then the pyramid is said to be canonical, and it forms half of a regular octahedron.

Pyramids with a hexagon or higher base must be composed of isosceles triangles. A hexagonal pyramid with equilateral triangles would be a completely flat figure, and a heptagonal or higher would have the triangles not meet at all.

Right pyramids with regular star polygon bases are called **star pyramids**.^{[4]} For example, the pentagrammic pyramid has a pentagram base and 5 intersecting triangle sides.

A **right pyramid** can be named as ( )∨P, where ( ) is the apex point, ∨ is a join operator, and P is a base polygon.

For example, the volume of a pyramid whose base is an *n*-sided regular polygon with side length *s* and whose height is *h* is

The formula can also be derived exactly without calculus for pyramids with rectangular bases. Consider a unit cube. Draw lines from the center of the cube to each of the 8 vertices. This partitions the cube into 6 equal square pyramids of base area 1 and height 1/2. Each pyramid clearly has volume of 1/6. From this we deduce that pyramid volume = height × base area / 3.

Next, expand the cube uniformly in three directions by unequal amounts so that the resulting rectangular solid edges are *a*, *b* and *c*, with solid volume *abc*. Each of the 6 pyramids within are likewise expanded. And each pyramid has the same volume *abc*/6. Since pairs of pyramids have heights *a*/2, *b*/2 and *c*/2, we see that pyramid volume = height × base area / 3 again.

When the side triangles are equilateral, the formula for the volume is

This formula only applies for *n* = 2, 3, 4 and 5; and it also covers the case *n* = 6, for which the volume equals zero (i.e., the pyramid height is zero).^{[citation needed]}

The centroid of a pyramid is located on the line segment that connects the apex to the centroid of the base. For a solid pyramid, the centroid is 1/4 the distance from the base to the apex.

A 2-dimensional pyramid is a triangle, formed by a base edge connected to a noncolinear point called an apex.

A 4-dimensional pyramid is called a polyhedral pyramid, constructed by a polyhedron in a 3-space hyperplane of 4-space with another point off that hyperplane.

The family of simplices represent pyramids in any dimension, increasing from triangle, tetrahedron, 5-cell, 5-simplex, etc. A n-dimensional simplex has the minimum *n+1* vertices, with all pairs of vertices connected by edges, all triples of vertices defining faces, all quadruples of points defining tetrahedral cells, etc.

In 4-dimensional geometry, a **polyhedral pyramid** is a 4-polytope constructed by a base polyhedron cell and an apex point. The lateral facets are pyramid cells, each constructed by one face of the base polyhedron and the apex. The vertices and edges of polyhedral pyramids form examples of apex graphs, graphs formed by adding one vertex (the apex) to a planar graph (the graph of the base).

The regular 5-cell (or 4-simplex) is an example of a *tetrahedral pyramid*. Uniform polyhedra with circumradii less than 1 can be make polyhedral pyramids with regular tetrahedral sides. A polyhedron with *v* vertices, *e* edges, and *f* faces can be the base on a polyhedral pyramid with *v+1* vertices, *e+v* edges, *f+e* faces, and *1+f* cells.

A 4D *polyhedral pyramid* with axial symmetry can be visualized in 3D with a Schlegel diagram—a 3D projection that places the apex at the center of the base polyhedron.

Any convex 4-polytope can be divided into **polyhedral pyramids** by adding an interior point and creating one pyramid from each facet to the center point. This can be useful for computing volumes.

The 4-dimensional *volume* of a polyhedral pyramid is 1/4 of the volume of the base polyhedron times its perpendicular height, compared to the area of a triangle being 1/2 the length of the base times the height and the volume of a pyramid being 1/3 the area of the base times the height.