On Holditch's theorem (Q2176081): Difference between revisions

Let \(C\) be a convex curve, and a chord \(h\) of length \(a+b\) be divided into parts of lengths \(a\) and \(b\) by a point \(A\). Let \(C_{a,b}\) denote a curve traced out by the point \(A\) when the chord \(h\) slides around with both endpoints on \(C\). \textit{H. Holditch} [``Geometrical theorem'', Quart. J. Pure Appl. Math. 2, 38 (1858)] proved that the area of a ring domain bounded by \(C\) and \(C_{a,b}\) is equal to \(\pi ab\). Holditch's construction, in which one ring domain was considered, is modified by the authors. In this modification, they deal with a family of pairs of ring domains and obtain a natural geometric generalization. They derive some Crofton-type formula for a ring domain as an application.