Holditch's theorem

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

[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] The theorem is included as one of Clifford Pickover's 250 milestones in the history of mathematics.

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).