Circumscribed sphere

Last updated
Circumscribed sphere of a cube Vpisannyi kub.gif
Circumscribed sphere of a cube

In geometry, a circumscribed sphere of a polyhedron is a sphere that contains the polyhedron and touches each of the polyhedron's vertices. [1] The word circumsphere is sometimes used to mean the same thing, by analogy with the term circumcircle . [2] As in the case of two-dimensional circumscribed circles (circumcircles), the radius of a sphere circumscribed around a polyhedron P is called the circumradius of P, [3] and the center point of this sphere is called the circumcenter of P. [4]

Contents

Existence and optimality

When it exists, a circumscribed sphere need not be the smallest sphere containing the polyhedron; for instance, the tetrahedron formed by a vertex of a cube and its three neighbors has the same circumsphere as the cube itself, but can be contained within a smaller sphere having the three neighboring vertices on its equator. However, the smallest sphere containing a given polyhedron is always the circumsphere of the convex hull of a subset of the vertices of the polyhedron. [5]

In De solidorum elementis (circa 1630), René Descartes observed that, for a polyhedron with a circumscribed sphere, all faces have circumscribed circles, the circles where the plane of the face meets the circumscribed sphere. Descartes suggested that this necessary condition for the existence of a circumscribed sphere is sufficient, but it is not true: some bipyramids, for instance, can have circumscribed circles for their faces (all of which are triangles) but still have no circumscribed sphere for the whole polyhedron. However, whenever a simple polyhedron has a circumscribed circle for each of its faces, it also has a circumscribed sphere. [6]

The circumscribed sphere is the three-dimensional analogue of the circumscribed circle. All regular polyhedra have circumscribed spheres, but most irregular polyhedra do not have one, since in general not all vertices lie on a common sphere. The circumscribed sphere (when it exists) is an example of a bounding sphere, a sphere that contains a given shape. It is possible to define the smallest bounding sphere for any polyhedron, and compute it in linear time. [5]

Other spheres defined for some but not all polyhedra include a midsphere, a sphere tangent to all edges of a polyhedron, and an inscribed sphere, a sphere tangent to all faces of a polyhedron. In the regular polyhedra, the inscribed sphere, midsphere, and circumscribed sphere all exist and are concentric. [7]

When the circumscribed sphere is the set of infinite limiting points of hyperbolic space, a polyhedron that it circumscribes is known as an ideal polyhedron.

Point on the circumscribed sphere

There are five convex regular polyhedra, known as the Platonic solids. All Platonic solids have circumscribed spheres. For an arbitrary point on the circumscribed sphere of each Platonic solid with number of the vertices , if are the distances to the vertices , then [8]

Related Research Articles

<span class="mw-page-title-main">Dual polyhedron</span> Polyhedron associated with another by swapping vertices for faces

In geometry, every polyhedron is associated with a second dual structure, where the vertices of one correspond to the faces of the other, and the edges between pairs of vertices of one correspond to the edges between pairs of faces of the other. Such dual figures remain combinatorial or abstract polyhedra, but not all can also be constructed as geometric polyhedra. Starting with any given polyhedron, the dual of its dual is the original polyhedron.

<span class="mw-page-title-main">Regular icosahedron</span> Polyhedron with 20 regular triangular faces

In geometry, the regular icosahedron is a convex polyhedron that can be constructed from pentagonal antiprism by attaching two pentagonal pyramids with regular faces to each of its pentagonal faces, or by putting points onto the cube. The resulting polyhedron has 20 equilateral triangles as its faces, 30 edges, and 12 vertices. It is an example of the Platonic solid and of the deltahedron. The icosahedral graph represents the skeleton of a regular icosahedron.

<span class="mw-page-title-main">Octahedron</span> Polyhedron with eight triangular faces

In geometry, an octahedron is a polyhedron with eight faces. The term is most commonly used to refer to the regular octahedron, a Platonic solid composed of eight equilateral triangles, four of which meet at each vertex.

<span class="mw-page-title-main">Polyhedron</span> 3D shape with flat faces, straight edges and sharp corners

In geometry, a polyhedron is a three-dimensional shape with flat polygonal faces, straight edges and sharp corners or vertices.

In geometry, a Platonic solid is a convex, regular polyhedron in three-dimensional Euclidean space. Being a regular polyhedron means that the faces are congruent regular polygons, and the same number of faces meet at each vertex. There are only five such polyhedra:

<span class="mw-page-title-main">Hexagon</span> Shape with six sides

In geometry, a hexagon is a six-sided polygon. The total of the internal angles of any simple (non-self-intersecting) hexagon is 720°.

In mathematics, and more specifically in algebraic topology and polyhedral combinatorics, the Euler characteristic is a topological invariant, a number that describes a topological space's shape or structure regardless of the way it is bent. It is commonly denoted by .

A regular polyhedron is a polyhedron whose symmetry group acts transitively on its flags. A regular polyhedron is highly symmetrical, being all of edge-transitive, vertex-transitive and face-transitive. In classical contexts, many different equivalent definitions are used; a common one is that the faces are congruent regular polygons which are assembled in the same way around each vertex.

In Euclidean geometry, a regular polygon is a polygon that is direct equiangular and equilateral. Regular polygons may be either convex, star or skew. In the limit, a sequence of regular polygons with an increasing number of sides approximates a circle, if the perimeter or area is fixed, or a regular apeirogon, if the edge length is fixed.

<span class="mw-page-title-main">Concyclic points</span> Points on a common circle

In geometry, a set of points are said to be concyclic if they lie on a common circle. A polygon whose vertices are concyclic is called a cyclic polygon, and the circle is called its circumscribing circle or circumcircle. All concyclic points are equidistant from the center of the circle.

In geometry, the (angular) defect means the failure of some angles to add up to the expected amount of 360° or 180°, when such angles in the Euclidean plane would. The opposite notion is the excess.

<span class="mw-page-title-main">Triakis icosahedron</span> Catalan solid with 60 faces

In geometry, the triakis icosahedron is an Archimedean dual solid, or a Catalan solid, with 60 isosceles triangle faces. Its dual is the truncated dodecahedron. It has also been called the kisicosahedron. It was first depicted, in a non-convex form with equilateral triangle faces, by Leonardo da Vinci in Luca Pacioli's Divina proportione, where it was named the icosahedron elevatum. The capsid of the Hepatitis A virus has the shape of a triakis icosahedron.

<span class="mw-page-title-main">Inscribed sphere</span> Sphere tangent to every face of a polyhedron

In geometry, the inscribed sphere or insphere of a convex polyhedron is a sphere that is contained within the polyhedron and tangent to each of the polyhedron's faces. It is the largest sphere that is contained wholly within the polyhedron, and is dual to the dual polyhedron's circumsphere.

<span class="mw-page-title-main">Midsphere</span> Sphere tangent to every edge of a polyhedron

In geometry, the midsphere or intersphere of a convex polyhedron is a sphere which is tangent to every edge of the polyhedron. Not every polyhedron has a midsphere, but the uniform polyhedra, including the regular, quasiregular and semiregular polyhedra and their duals all have midspheres. The radius of the midsphere is called the midradius. A polyhedron that has a midsphere is said to be midscribed about this sphere.

<span class="mw-page-title-main">Regular dodecahedron</span> Polyhedron with 12 regular pentagonal faces

A regular dodecahedron or pentagonal dodecahedron is a dodecahedron that is regular, which is composed of 12 regular pentagonal faces, three meeting at each vertex. It is one of the five Platonic solids. It has 12 faces, 20 vertices, 30 edges, and 160 diagonals. It is represented by the Schläfli symbol {5,3}.

In polyhedral combinatorics, a branch of mathematics, Steinitz's theorem is a characterization of the undirected graphs formed by the edges and vertices of three-dimensional convex polyhedra: they are exactly the 3-vertex-connected planar graphs. That is, every convex polyhedron forms a 3-connected planar graph, and every 3-connected planar graph can be represented as the graph of a convex polyhedron. For this reason, the 3-connected planar graphs are also known as polyhedral graphs.

A dodecahedral number is a figurate number that represents a dodecahedron. The nth dodecahedral number is given by the formula

<span class="mw-page-title-main">Chamfer (geometry)</span> Geometric operation which truncates the edges of polyhedra

In geometry, chamfering or edge-truncation is a topological operator that modifies one polyhedron into another. It is similar to expansion, moving faces apart and outward, but also maintains the original vertices. For polyhedra, this operation adds a new hexagonal face in place of each original edge.

<span class="mw-page-title-main">Ideal polyhedron</span> Shape in hyperbolic geometry

In three-dimensional hyperbolic geometry, an ideal polyhedron is a convex polyhedron all of whose vertices are ideal points, points "at infinity" rather than interior to three-dimensional hyperbolic space. It can be defined as the convex hull of a finite set of ideal points. An ideal polyhedron has ideal polygons as its faces, meeting along lines of the hyperbolic space.

Descartes on Polyhedra: A Study of the "De solidorum elementis" is a book in the history of mathematics, concerning the work of René Descartes on polyhedra. Central to the book is the disputed priority for Euler's polyhedral formula between Leonhard Euler, who published an explicit version of the formula, and Descartes, whose De solidorum elementis includes a result from which the formula is easily derived.

References

  1. James, R. C. (1992), The Mathematics Dictionary, Springer, p. 62, ISBN   9780412990410 .
  2. Popko, Edward S. (2012), Divided Spheres: Geodesics and the Orderly Subdivision of the Sphere, CRC Press, p. 144, ISBN   9781466504295 .
  3. Smith, James T. (2011), Methods of Geometry, John Wiley & Sons, p. 419, ISBN   9781118031032 .
  4. Altshiller-Court, Nathan (1964), Modern pure solid geometry (2nd ed.), Chelsea Pub. Co., p. 57.
  5. 1 2 Fischer, Kaspar; Gärtner, Bernd; Kutz, Martin (2003), "Fast smallest-enclosing-ball computation in high dimensions", Algorithms - ESA 2003: 11th Annual European Symposium, Budapest, Hungary, September 16-19, 2003, Proceedings (PDF), Lecture Notes in Computer Science, vol. 2832, Springer, pp. 630–641, doi:10.1007/978-3-540-39658-1_57, ISBN   978-3-540-20064-2 .
  6. Federico, Pasquale Joseph (1982), Descartes on Polyhedra: A Study of the "De solidorum elementis", Sources in the History of Mathematics and Physical Sciences, vol. 4, Springer, pp. 52–53
  7. Coxeter, H. S. M. (1973), "2.1 Regular polyhedra; 2.2 Reciprocation", Regular Polytopes (3rd ed.), Dover, pp.  16–17, ISBN   0-486-61480-8 .
  8. Meskhishvili, Mamuka (2020). "Cyclic Averages of Regular Polygons and Platonic Solids". Communications in Mathematics and Applications. 11: 335–355. arXiv: 2010.12340 . doi:10.26713/cma.v11i3.1420 (inactive 31 January 2024).{{cite journal}}: CS1 maint: DOI inactive as of January 2024 (link)