Satz von Holditch

Eine Sehne (blau) wird innerhalb einer Kurve (schwarz) bewegt, sodass ein Punkt auf der Sehne (rot) eine weitere Kurve zeichnet.

Der Satz von Holditch ist ein Satz der ebenen Geometrie, der erstmals 1858 von Hamnet Holditch formuliert wurde. Er liefert eine Formel für den Flächeninhalt einer Fläche, die entsteht, wenn eine Sehne entlang einer geschlossenen Kurve bewegt wird.

Formulierung

Sei $\Gamma$ eine geschlossene, konvexe Kurve. Die Sehne $AB$ der Länge $a+b$ sei durch den Punkt $C$ in zwei Strecken unterteilt, die die Längen $a$ und $b$ haben, und durchlaufe $\Gamma$ einmal. (Damit dies möglich ist, muss $a+b$ hinreichend klein sein.) Der Punkt $C$ beschreibt dabei eine Kurve $\Gamma '$, diese sei ohne Selbstüberschneidungen. Dann hat das Gebiet zwischen $\Gamma$ und $\Gamma '$ einen Flächeninhalt von $\pi ab$.

Der Flächeninhalt ist damit unabhängig von Form und Größe der Kurve und hängt nur von der Länge der Sehne und der Position des Punktes auf ihr ab.

Holditch selbst hat bei der Formulierung einige wichtige Punkte nicht beachtet, so fehlt bei ihm die Bedingung, dass $\Gamma$ konvex ist, dass die Sehne kurz genug ist, um einmal ganz herumlaufen zu können, und dass $\Gamma '$ keine Selbstüberschneidungen besitzt. Auch sein Beweis enthält mehrere unbewiesene Annahmen.

Spezialfälle

Einige Spezialfälle des Satzes von Holditch lassen sich leicht elementargeometrisch beweisen: Ist $\Gamma$ ein Kreis vom Radius $R$, so ist auch $\Gamma '$ ein Kreis, der den gleichen Mittelpunkt wie $\Gamma$ besitzt. Seinen Radius $r$ bestimmt man, indem man einen Durchmesser von $\Gamma$ einzeichnet. Dieser wird vom Punkt $C$ in zwei Teile der Länge $R-r$ und $R+r$ geteilt, sodass nach dem Sehnensatz $ab=(R-r)(R+r)=R^{2}-r^{2}$ gilt. Die Fläche des Ringes zwischen den beiden Kreisen beträgt $\pi R^{2}-\pi r^{2}=\pi ab$ in Übereinstimmung mit der Aussage von Holditch.

Ist $\Gamma$ ein Rechteck, dessen Seiten alle länger sind als die Sehne, so fällt $\Gamma '$ auf einem Teil des Rechtecks mit $\Gamma$ zusammen, nur in den Ecken weicht $\Gamma '$ ab und beschreibt jeweils ein Viertel eines Ellipsenbogens. Die Fläche zwischen den Kurven stimmt daher mit der Fläche einer Ellipse mit den Halbachsen $a$ und $b$ überein, beträgt also wiederum $\pi ab$.

Verallgemeinerungen

Eine Verallgemeinerung des Satzes von Holditch stammt von Arne Broman und liefert zugleich auch eine formale Darstellung für das Durchlaufen der Sehne.

Sei $\Gamma _{A}$ eine geschlossene, rektifizierbare ebene Kurve, parametrisiert durch $(x(t),y(t))=:A(t)$ für $0\leq t\leq 1$. Sei $\theta :[0,1]\to \mathbb {R}$ stetig und von beschränkter Variation mit $\theta (1)=\theta (0)+n\cdot 2\pi$, wobei $n$ eine ganze Zahl ist. Seien für $t\in [0,1]$ $B(t)$ und $C(t)$ Punkte in der Ebene, sodass die Strecke $AB$ einen Winkel von $\theta$ gegenüber einer festen Referenzgeraden hat und durch den Punkt $C$ in zwei Teilstrecken der Längen $a$ und $b$ geteilt wird. Die Kurven, die sie durchlaufen, seien $\Gamma _{B}$ und $\Gamma _{C}$. Sei $I_{A}:=\int _{\Gamma _{A}}xdy$ und analog für $I_{B}$ und $I_{C}$. Dann gilt:

$I_{C}={\frac {b}{a+b}}I_{A}+{\frac {a}{a+b}}I_{B}-n\pi ab$

Der Satz von Holditch ergibt sich als Spezialfall, wenn $\Gamma _{A}=\Gamma _{B}$ und $n=1$ ist. Die Fläche zwischen den Kurven beträgt dann nach dem Satz von Green gerade $I_{A}-I_{C}$, was nach der obigen Formel tatsächlich $\pi ab$ ist.

Der Beweis des Satzes kann durch einfache Rechnungen mit Kurvenintegralen erfolgen.

Eine Verallgemeinerung des Satzes auf höhere Dimensionen ist vermutlich nicht möglich.

Anwendungen

Der Satz von Holditch und seine Verallgemeinerungen können bei der Untersuchung kinematischer Ketten Anwendung finden, mit ihrer Hilfe ist es möglich, den Platzbedarf von Konstruktionen zu ermitteln, wenn die Endpunkte beweglicher Stangen auf bestimmten Bahnen geführt werden.

Quellen

• Arne Broman: Holditch’s Theorem. A fresh look at a long forgotten theorem. In: Mathematics Magazine. Vol. 54, No. 3, Mai 1981. S. 99–108. (JSTOR:2689793)

Weblinks

• Eric W. Weisstein: Holditch's Theorem. In: MathWorld (englisch).