In diesem Applet durchläuft die "Holditch-Sehne" [math]\overline{PQ}[/math] einen Winkelbereich, wobei sich die Endpunkte auf je einem Schenkel bis hin zur Ecke [math]O[/math] bzw. von ihr weg bewegen. Wie üblich interessieren wir uns für die (hier nicht geschlossene) Bahnkurve des Unterteilungspunktes [math]X[/math]. Während der "Fahrstrahl" [math]\overline{OX}[/math] die gelb markierte Fläche auskehrt, überstreicht der Richtungsvektor der Sehne (hellblau) den Nebenwinkel [math]\alpha[/math] bzw. die Fläche des zugehörigen Kreissektors .[br][br][b]Anleitung[/b][br][list][*]Beobachte die Bahnkurve von [math]X[/math]. Verändere [math]l[/math] und [math]s[/math] bzw. [math]r[/math] und beobachte die Auswirkungen.[/*][*]Verändere [math]\alpha[/math] und untersuche, wie die gelbe Fläche von [math]\alpha[/math] abhängt.[/*][*]Der von [math]X[/math] durchlaufene Bogen [math]b[/math] kann durch zwei lineare Abbildungen [math]L_1[/math]und [math]L_2[/math] in ein anderes Kurvenstück transformiert werden. Führe diese nacheinander aus, indem du die Schieberegler ganz nach rechts ziehst. Überlege, wie sich bei diesen Transformationen der ursprüngliche gelbe Flächeninhalt ändert. Versuche daraus eine Formel für den gelben Flächeninhalt herzuleiten.[/*][*]Wie lässt sich aus dem Ergebnis der Satz von Holditch für beliebige Polygone (auch nicht konvex und auch mit Selbstüberschneidung) ableiten?[br][/*][/list][br][b]Mathematischer Hintergrund[/b][br][br]Die numerische Untersuchung lässt vermuten, dass der überstrichene Flächeninhalt zum Nebenwinkel [math]\alpha[/math] proportional ist. [br][br]Die Hintereinanderausführung [math]L_2\circ L_1[/math] der beiden linearen Abbildungen bildet den von [math]X[/math] durchlaufenen Bogen [math]b[/math] auf den Einheitskreisbogen ab, der zum Winkel [math]\alpha[/math] gehört. Daher ist [math]b[/math] ein Ellipsenbogen. [math]L_1[/math] ist eine Scherung parallel zur waagerechten Achse, bei der sich bekanntlich Flächeninhalte nicht ändern. Vergleicht man das Bild [math]L_1\left(b\right)[/math] mit der horizontalen und der vertikalen Lage der Sehne [math]\overline{PQ}[/math] (also für [math]\varphi=0°[/math] und für [math]\varphi=90°[/math]), so sieht man, dass [math]L_1\left(b\right)[/math] Teil einer Ellipse mit den Halbachsen [math]\left|r\right|[/math] und [math]\left|s\right|[/math] ist. Dieser wird unter [math]L_2[/math] auf den zu [math]\alpha[/math] gehörigen Einheitskreisbogen abgebildet, und zwar durch je eine Streckung oder Stauchung in Richtung der Hauptachsen (verbunden mit einer je Spiegelung an der vertikalen Achse für [math]r>0[/math] und an der horizontalen Achse für [math]s<0[/math]). Rückwärts betrachtet wird der Einheitskreis durch [math]L_2^{-1}[/math] auf die Ellipse mit den Halbachsen [math]\left|r\right|[/math] und [math]\left|s\right|[/math], also dem Flächeninhalt [math]\pi\left|rs\right|[/math] abgebildet, Der Anteil des betrachteten Sektors an der Gesamtfläche ändert sich dabei nicht und beträgt wie beim Kreissektor [math]\frac{\alpha}{360°}[/math]. Insgesamt gilt also: [br]Der vom Fahrstrahl [math]\overline{OX}[/math] überstrichene gelbe Flächeninhalt beträgt [math]\left|F\right|=\left|\frac{\alpha}{360°}\cdot\pi\cdot r\cdot s\right|[/math]. Das Vorzeichen des überstrichenen orientierten Flächeninhalts hängt von der Durchlaufungsrichtung ab. Im Applet ist zu beobachten, dass diese für den Bogen [math]b[/math] und für den Einheitskreisbogen [math]L_2\left(L_1\left(b\right)\right)[/math] unterschiedlich ist, falls [math]r[/math] und [math]s[/math] positiv sind, ansonsten gleich. Es gilt also [math]F=-\frac{\alpha}{360°}\cdot\pi\cdot r\cdot s[/math].[br][br][b]Durchlaufung eines Polygons[br][br][/b]Wird eine Holditch-Sehne der Länge [math]l[/math] entlang eines geschlossenen (nicht notwendig konvexen) Polygons herumgeführt, so bewegt sich der Teilungspunkt [math]X[/math] entweder auf einer Seite des Polygons, oder er beschreibt einen Ellipsenbogen wie im Applet. Zu der "Ring"-fläche [math]F_P-F_X[/math] zwischen dem Polygon (als Randkurve) und dem Orbit von [math]X[/math] tragen nur die Ellipsensektoren bei. Sind [math]\alpha_1,...,\alpha_m\in\left(-180°,+180°\right][/math] die orientierten "Außenwinkel" des Polygons (gemeint sind hier die Nebenwinkel der Winkel zwischen zwei benachbarten Seiten; bei nicht konvexen Polygonen können diese auch im Inneren des Polygons liegen, vgl. Applet unten), so wird an jeder Ecke die Fläche [math]F_i=-\frac{\alpha_i}{360°}\cdot\pi\cdot r\cdot s[/math] überstrichen. (Damit das überhaupt möglich ist, muss die freie Schenkellänge des durchlaufenen Winkelbereichs mindestens [math]\frac{l}{sin\left(\alpha_i\right)}[/math] betragen.) In die Flächen[i]differenz[/i] [math]F_P-F_X[/math] gehen diese [math]F_i[/math] mit entgegengesetztem Vorzeichen ein. Liegt beispielsweise [math]X[/math] zwischen [math]P[/math] und [math]Q[/math] und wird das Polygon von [math]P[/math] und [math]Q[/math] im positiven Sinn umlaufen (d.h. das Innere des Polygons liegt immer links von [math]P[/math] und [math]Q[/math]), und ist [math]\alpha_i[/math] positiv, so findet ein Wechsel der Bewegungsrichtung nach links statt wie im obigen Applet; der Ellipsensektor liegt dann im Inneren des Polygons und trägt positiv zur Ringfläche bei. Bei negativem [math]\alpha_i[/math] (Drehung nach rechts) liegt er außerhalb und geht negativ in die Bilanz ein. Insgesamt ergibt sich [math]F_P-F_X=\sum_{i=1}^m\frac{\alpha_i}{360°}\cdot\pi\cdot r\cdot s[/math]. Da sich die orientierten Außenwinkel eines beliebigen Polygons (ggf. mit Selbstüberschneidung) zu einem ganzahligen Vielfachen von 360° addieren (siehe Applet unten), folgt [math]F_P-F_X=n\cdot\pi\cdot r\cdot s[/math], womit der Satz von Holditch für den Spezialfall eines Polygons als Randkurve erneut bewiesen ist.[br]