Holditch's theorem

Last updated
Holditch s theorem.svg

In plane geometry, Holditch's theorem states that if a chord of fixed length is allowed to rotate inside a convex closed curve, then the locus of a point on the chord a distance p from one end and a distance q from the other is a closed curve whose enclosed area is less than that of the original curve by . The theorem was published in 1858 by Rev. Hamnet Holditch. [1] [2] While not mentioned by Holditch, the proof of the theorem requires an assumption that the chord be short enough that the traced locus is a simple closed curve. [3]

Contents

Observations

The theorem is included as one of Clifford Pickover's 250 milestones in the history of mathematics. [1] Some peculiarities of the theorem include that the area formula is independent of both the shape and the size of the original curve, and that the area formula is the same as for that of the area of an ellipse with semi-axes p and q. The theorem's author was a president of Caius College, Cambridge.

Extensions

Broman [3] gives a more precise statement of the theorem, along with a generalization. The generalization allows, for example, consideration of the case in which the outer curve is a triangle, so that the conditions of the precise statement of Holditch's theorem do not hold because the paths of the endpoints of the chord have retrograde portions (portions that retrace themselves) whenever an acute angle is traversed. Nevertheless, the generalization shows that if the chord is shorter than any of the triangle's altitudes, and is short enough that the traced locus is a simple curve, Holditch's formula for the in-between area is still correct (and remains so if the triangle is replaced by any convex polygon with a short enough chord). However, other cases result in different formulas.

Related Research Articles

Area Size of a two-dimensional surface

Area is the quantity that expresses the extent of a two-dimensional region, shape, or planar lamina, in the plane. Surface area is its analog on the two-dimensional surface of a three-dimensional object. Area can be understood as the amount of material with a given thickness that would be necessary to fashion a model of the shape, or the amount of paint necessary to cover the surface with a single coat. It is the two-dimensional analog of the length of a curve or the volume of a solid.

In vector calculus and differential geometry, the generalized Stokes theorem, also called the Stokes–Cartan theorem, is a statement about the integration of differential forms on manifolds, which both simplifies and generalizes several theorems from vector calculus. It is a generalization of Isaac Newton's fundamental theorem of calculus that relates two-dimensional line integrals to three-dimensional surface integrals.

Curvature Measure of the property of a curve or a surface to be "bended"

In mathematics, curvature is any of several strongly related concepts in geometry. Intuitively, the curvature is the amount by which a curve deviates from being a straight line, or a surface deviates from being a plane.

Kite (geometry)

In Euclidean geometry, a kite is a quadrilateral whose four sides can be grouped into two pairs of equal-length sides that are adjacent to each other. In contrast, a parallelogram also has two pairs of equal-length sides, but they are opposite to each other instead of being adjacent. Kite quadrilaterals are named for the wind-blown, flying kites, which often have this shape and which are in turn named for a bird. Kites are also known as deltoids, but the word "deltoid" may also refer to a deltoid curve, an unrelated geometric object.

Gauss–Bonnet theorem Relates the integrated curvature of a surface to its topology, its Euler characteristic

The Gauss–Bonnet theorem, or Gauss–Bonnet formula, is a relationship between surfaces in differential geometry. It connects the curvature of a surface to its Euler characteristic.

Cyclic quadrilateral Quadrilateral whose vertices can all fall on a single circle

In Euclidean geometry, a cyclic quadrilateral or inscribed quadrilateral is a quadrilateral whose vertices all lie on a single circle. This circle is called the circumcircle or circumscribed circle, and the vertices are said to be concyclic. The center of the circle and its radius are called the circumcenter and the circumradius respectively. Other names for these quadrilaterals are concyclic quadrilateral and chordal quadrilateral, the latter since the sides of the quadrilateral are chords of the circumcircle. Usually the quadrilateral is assumed to be convex, but there are also crossed cyclic quadrilaterals. The formulas and properties given below are valid in the convex case.

Jordan curve theorem A closed curve divides the plane into two regions

In topology, a Jordan curve, sometimes called a plane simple closed curve, is a non-self-intersecting continuous loop in the plane. The Jordan curve theorem asserts that every Jordan curve divides the plane into an "interior" region bounded by the curve and an "exterior" region containing all of the nearby and far away exterior points, so that every continuous path connecting a point of one region to a point of the other intersects with that loop somewhere. While the statement of this theorem seems to be intuitively obvious, it takes some ingenuity to prove it by elementary means. "Although the JCT is one of the best known topological theorems, there are many, even among professional mathematicians, who have never read a proof of it.". More transparent proofs rely on the mathematical machinery of algebraic topology, and these lead to generalizations to higher-dimensional spaces.

Chord (geometry) Geometric line segment whose endpoints both lie on the curve

A chord of a circle is a straight line segment whose endpoints both lie on a circular arc. The infinite line extension of a chord is a secant line, or just secant. More generally, a chord is a line segment joining two points on any curve, for instance, an ellipse. A chord that passes through a circle's center point is the circle's diameter. The word chord is from the Latin chorda meaning bowstring.

Picks theorem Formula for the area of a polygon with integer coordinates

In geometry, Pick's theorem provides a formula for the area of a simple polygon with integer vertex coordinates, in terms of the number of integer points within it and on its boundary. The result was first described by Georg Alexander Pick in 1899, and popularized in English by Hugo Steinhaus in the 1950 edition of his book Mathematical Snapshots. It has multiple proofs, and can be generalized to formulas for certain kinds of non-simple polygons.

Curve of constant width Convex planar shape whose width is the same regardless of the orientation of the curve

In geometry, a curve of constant width is a simple closed curve in the plane whose width is the same in all directions. The shape bounded by a curve of constant width is a body of constant width or an orbiform, the name given to these shapes by Leonhard Euler. Standard examples are the circle and the Reuleaux triangle. These curves can also be constructed using circular arcs centered at crossings of an arrangement of lines, as the involutes of certain curves, or by intersecting circles centered on a partial curve.

Four-vertex theorem Every simple closed smooth plane curve has at least 4 points of locally extreme curvature

The classical four-vertex theorem of geometry states that the curvature function of a simple, closed, smooth plane curve has at least four local extrema. The name of the theorem derives from the convention of calling an extreme point of the curvature function a vertex. This theorem has many generalizations, including a version for space curves where a vertex is defined as a point of vanishing torsion.

The gradient theorem, also known as the fundamental theorem of calculus for line integrals, says that a line integral through a gradient field can be evaluated by evaluating the original scalar field at the endpoints of the curve. The theorem is a generalization of the fundamental theorem of calculus to any curve in a plane or space rather than just the real line.

Vivianis theorem On the sum of the distances from an interior point to the sides of an equilateral triangle

Viviani's theorem, named after Vincenzo Viviani, states that the sum of the distances from any interior point to the sides of an equilateral triangle equals the length of the triangle's altitude. It is a theorem commonly employed in various math competitions, secondary school mathematics examinations, and has wide applicability to many problems in the real world.

In mathematics, geometric measure theory (GMT) is the study of geometric properties of sets through measure theory. It allows mathematicians to extend tools from differential geometry to a much larger class of surfaces that are not necessarily smooth.

<i>The Quadrature of the Parabola</i>

The Quadrature of the Parabola is a treatise on geometry, written by Archimedes in the 3rd century BC. Written as a letter to his friend Dositheus, the work presents 24 propositions regarding parabolas, culminating in a proof that the area of a parabolic segment is 4/3 that of a certain inscribed triangle.

Pythagorean theorem Equation relating the side lengths of a right triangle

In mathematics, the Pythagorean theorem, or Pythagoras's theorem, is a fundamental relation in Euclidean geometry among the three sides of a right triangle. It states that the area of the square whose side is the hypotenuse is equal to the sum of the areas of the squares on the other two sides. This theorem can be written as an equation relating the lengths of the sides a, b and c, often called the Pythagorean equation:

Equidiagonal quadrilateral

In Euclidean geometry, an equidiagonal quadrilateral is a convex quadrilateral whose two diagonals have equal length. Equidiagonal quadrilaterals were important in ancient Indian mathematics, where quadrilaterals were classified first according to whether they were equidiagonal and then into more specialized types.

Geometric mean theorem Relates the altitude on the hypotenuse in a right triangle and the 2 line segments created

The right triangle altitude theorem or geometric mean theorem is a result in elementary geometry that describes a relation between the lengths of the altitude on the hypotenuse in a right triangle and the two line segments it creates on the hypotenuse. It states that the geometric mean of the two segments equals the altitude.

Rev. Hamnet Holditch, also spelled Hamnett Holditch, was an English mathematician who was president of Gonville and Caius College, Cambridge.

References

  1. 1 2 Pickover, Clifford (1 September 2009), "Holditch's Theorem", The Math Book: From Pythagoras to the 57th Dimension, 250 Milestones in the History of Mathematics, Sterling, p. 250, ISBN   978-1-4027-5796-9
  2. Holditch, Rev. Hamnet (1858), "Geometrical theorem", The Quarterly Journal of Pure and Applied Mathematics , 2: 38
  3. 1 2 Broman, Arne (1981), "Holditch's theorem: A fresh look at a long-forgotten theorem", Mathematics Magazine , 54 (3): 99–108, doi:10.2307/2689793, JSTOR   2689793, MR   0618595

Further reading