
Commandino's theorem, named after
Federico Commandino (1509–1575), states that the four
median
The median of a set of numbers is the value separating the higher half from the lower half of a Sample (statistics), data sample, a statistical population, population, or a probability distribution. For a data set, it may be thought of as the “ ...
s of a
tetrahedron
In geometry, a tetrahedron (: tetrahedra or tetrahedrons), also known as a triangular pyramid, is a polyhedron composed of four triangular Face (geometry), faces, six straight Edge (geometry), edges, and four vertex (geometry), vertices. The tet ...
are concurrent at a point ''S'', which divides them in a 3:1 ratio. In a tetrahedron a median is a line segment that connects a vertex with the
centroid
In mathematics and physics, the centroid, also known as geometric center or center of figure, of a plane figure or solid figure is the arithmetic mean position of all the points in the figure. The same definition extends to any object in n-d ...
of the opposite
face
The face is the front of the head that features the eyes, nose and mouth, and through which animals express many of their emotions. The face is crucial for human identity, and damage such as scarring or developmental deformities may affect th ...
– that is, the centroid of the opposite triangle. The point ''S'' is also the centroid of the tetrahedron.
History
The theorem is attributed to Commandino, who stated, in his work ''De Centro Gravitatis Solidorum'' (The Center of Gravity of Solids, 1565), that the four medians of the tetrahedron are concurrent. However, according to the 19th century scholar Guillaume Libri,
Francesco Maurolico
Francesco Maurolico (Latin: ''Franciscus Maurolycus''; Italian language, Italian: ''Francesco Maurolico''; ; Sicilian language, Sicilian: ''Francescu Maurolicu''; 16 September 1494 – 22 July 1575) was an Italian mathematician and astronomer fr ...
(1494–1575) claimed to have found the result earlier. Libri nevertheless thought that it had been known even earlier to
Leonardo da Vinci
Leonardo di ser Piero da Vinci (15 April 1452 - 2 May 1519) was an Italian polymath of the High Renaissance who was active as a painter, draughtsman, engineer, scientist, theorist, sculptor, and architect. While his fame initially rested o ...
, who seemed to have used it in his work.
Julian Coolidge shared that assessment but pointed out that he couldn't find any explicit description or mathematical treatment of the theorem in da Vinci's works. Other scholars have speculated that the result may have already been known to Greek mathematicians during antiquity.
Generalizations
Commandino's theorem has a direct analog for
simplex
In geometry, a simplex (plural: simplexes or simplices) is a generalization of the notion of a triangle or tetrahedron to arbitrary dimensions. The simplex is so-named because it represents the simplest possible polytope in any given dimension. ...
es of any
dimension
In physics and mathematics, the dimension of a mathematical space (or object) is informally defined as the minimum number of coordinates needed to specify any point within it. Thus, a line has a dimension of one (1D) because only one coo ...
:
: Let
be a
-simplex of some dimension
in
and let
be its vertices. Furthermore, let
, be the medians of
, the lines joining each vertex
with the centroid of the opposite
-dimensional
facet
Facets () are flat faces on geometric shapes. The organization of naturally occurring facets was key to early developments in crystallography, since they reflect the underlying symmetry of the crystal structure. Gemstones commonly have facets cu ...
. Then, these lines intersect each other in a point
, in a ratio of
.
Full generality
The former analog is easy to prove via the following, more general result, which is analogous to the way
levers in physics work:
: Let
and
be
natural numbers
In mathematics, the natural numbers are the numbers 0, 1, 2, 3, and so on, possibly excluding 0. Some start counting with 0, defining the natural numbers as the non-negative integers , while others start with 1, defining them as the positiv ...
, so that in an
-
vector space
In mathematics and physics, a vector space (also called a linear space) is a set (mathematics), set whose elements, often called vector (mathematics and physics), ''vectors'', can be added together and multiplied ("scaled") by numbers called sc ...
,
pairwise different
points
A point is a small dot or the sharp tip of something. Point or points may refer to:
Mathematics
* Point (geometry), an entity that has a location in space or on a plane, but has no extent; more generally, an element of some abstract topologica ...
are given.
: Let
be the centroid of the points
, let
be the centroid of the points
, and let
be the centroid of all of these
points.
: Then, one has
::
: In particular, the centroid
lies on the line
and divides it in a ratio of
.
Reusch's theorem
The previous theorem has further interesting consequences other than the aforementioned generalization of Commandino's theorem. It can be used to prove the following theorem about the centroid of a tetrahedron, first described in the ''Mathematische Unterhaltungen'' by the German
physicist
A physicist is a scientist who specializes in the field of physics, which encompasses the interactions of matter and energy at all length and time scales in the physical universe. Physicists generally are interested in the root or ultimate cau ...
:
[Friedrich Joseph Pythagoras Riecke (Hrsg.): ''Mathematische Unterhaltungen. Zweites Heft.'' 1973, S. 100, 128][In den ''Mathematische Unterhaltungen'' (Zweites Heft, S. 128) wird auf die S. 36 von Reuschs Abhandlun]
''Der Spitzbogen''
verwiesen.
Since a tetrahedron has six edges in three opposite pairs, one obtains the following corollary:
Varignon's theorem
A specific case of Reusch's theorem where all four vertices of a tetrahedron are
coplanar
In geometry, a set of points in space are coplanar if there exists a geometric plane that contains them all. For example, three points are always coplanar, and if the points are distinct and non-collinear, the plane they determine is unique. How ...
and lie on a single plane, thereby degenerating into a
quadrilateral
In Euclidean geometry, geometry a quadrilateral is a four-sided polygon, having four Edge (geometry), edges (sides) and four Vertex (geometry), corners (vertices). The word is derived from the Latin words ''quadri'', a variant of four, and ''l ...
, Varignon's theorem, named after
Pierre Varignon
Pierre Varignon (; 1654 – 23 December 1722) was a French mathematician. He was educated at the Society of Jesus, Jesuit College and the University of Caen, where he received his Magister Artium, M.A. in 1682. He took Holy Orders the following ...
, states the following:
[Coxeter, op. cit., S. 242][''DUDEN: Rechnen und Mathematik.'' 1985, S. 652]
References
External links
* {{MathWorld, title=Commandino's Theorem, urlname=CommandinosTheorem
''A Couple of Nice Extensions of the Median Properties''
Theorems about polyhedron
Theorems in geometry
Euclidean geometry
Tetrahedra