inscribed sphere on:
[Wikipedia]
[Google]
[Amazon]
In
In geometry
Geometry (; ) is, with arithmetic, one of the oldest branches of mathematics. It is concerned with properties of space such as the distance, shape, size, and relative position of figures. A mathematician who works in the field of geometry is c ...
, the inscribed sphere or insphere of a convex polyhedron
A convex polytope is a special case of a polytope, having the additional property that it is also a convex set contained in the n-dimensional Euclidean space \mathbb^n. Most texts. use the term "polytope" for a bounded convex polytope, and the wo ...
is a sphere
A sphere () is a geometrical object that is a three-dimensional analogue to a two-dimensional circle. A sphere is the set of points that are all at the same distance from a given point in three-dimensional space.. That given point is the ...
that is contained within the polyhedron and tangent
In geometry, the tangent line (or simply tangent) to a plane curve at a given point is the straight line that "just touches" the curve at that point. Leibniz defined it as the line through a pair of infinitely close points on the curve. Mor ...
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
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. ...
's circumsphere
In geometry, a circumscribed sphere of a polyhedron is a sphere that contains the polyhedron and touches each of the polyhedron's vertices. The word circumsphere is sometimes used to mean the same thing, by analogy with the term ''circumcircle' ...
.
The radius of the sphere inscribed in a polyhedron ''P'' is called the inradius of ''P''.
Interpretations
Allregular polyhedra
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 equiv ...
have inscribed spheres, but most irregular polyhedra do not have all facets tangent to a common sphere, although it is still possible to define the largest contained sphere for such shapes. For such cases, the notion of an insphere does not seem to have been properly defined and various interpretations of an ''insphere'' are to be found:
* The sphere tangent to all faces (if one exists).
* The sphere tangent to all face planes (if one exists).
* The sphere tangent to a given set of faces (if one exists).
* The largest sphere that can fit inside the polyhedron.
Often these spheres coincide, leading to confusion as to exactly what properties define the insphere for polyhedra where they do not coincide.
For example, the regular small stellated dodecahedron
In geometry, the small stellated dodecahedron is a Kepler-Poinsot polyhedron, named by Arthur Cayley, and with Schläfli symbol . It is one of four nonconvex regular polyhedra. It is composed of 12 pentagrammic faces, with five pentagrams meeti ...
has a sphere tangent to all faces, while a larger sphere can still be fitted inside the polyhedron. Which is the insphere? Important authorities such as Coxeter or Cundy & Rollett are clear enough that the face-tangent sphere is the insphere. Again, such authorities agree that the Archimedean polyhedra (having regular faces and equivalent vertices) have no inspheres while the Archimedean dual or Catalan polyhedra do have inspheres. But many authors fail to respect such distinctions and assume other definitions for the 'inspheres' of their polyhedra.
See also
*Circumscribed sphere
In geometry, a circumscribed sphere of a polyhedron is a sphere that contains the polyhedron and touches each of the polyhedron's vertices. The word circumsphere is sometimes used to mean the same thing, by analogy with the term ''circumcircl ...
* Inscribed circle
In geometry, the incircle or inscribed circle of a triangle is the largest circle that can be contained in the triangle; it touches (is tangent to) the three sides. The center of the incircle is a triangle center called the triangle's incenter.
...
* Midsphere
In geometry, the midsphere or intersphere of a polyhedron is a sphere which is tangent to every edge of the polyhedron. That is to say, it touches any given edge at exactly one point. Not every polyhedron has a midsphere, but for every convex po ...
* Sphere packing
References
*Coxeter, H.S.M. ''Regular Polytopes
In mathematics, a regular polytope is a polytope whose symmetry group acts transitively on its flags, thus giving it the highest degree of symmetry. All its elements or -faces (for all , where is the dimension of the polytope) — cells, f ...
'' 3rd Edn. Dover (1973).
*Cundy, H.M. and Rollett, A.P. ''Mathematical Models
A mathematical model is a description of a system using mathematical concepts and language. The process of developing a mathematical model is termed mathematical modeling. Mathematical models are used in the natural sciences (such as physics, b ...
'', 2nd Edn. OUP (1961).
External links
* {{mathworld , urlname = Insphere , title = Insphere Elementary geometry Polyhedra Spheres