Ein isotropes Analogon zum Satz von Holditch. (An isotropic counterpart to Holditch's theorem) (Q1071322): Difference between revisions

\textit{O. Röschel} [Abh. Braunschw. Wiss. Ges. 36, 27-32 (1984; Zbl 0536.53011)] hatte gezeigt, daß der klassische Satz von Holditch auch in der isotropen Ebene gilt: Werden zwei nicht-parallele Punkte P, Q auf einer Eilinie \(k_ 0\) der Rastebene \(\Sigma_ 0\) geführt, so entsteht ein geschlossener isotroper Zwanglauf \(\Sigma /\Sigma_ 0\); jeder Punkt der mit der Strecke PQ starr verbundenen Gangebene \(\Sigma\) beschreibt eine Bahnkurve mit verschwindendem orientierten Flächeninhalt. Verf. erweitert nun diesen Satz dahin, daß die Eilinie durch den Rand \(k_ 0\) eines unbeschränkten konvexen Bereichs der Rastebene \(\Sigma_ 0\) ersetzt wird. Hierbei sei \(k_ 0\) eine von isotropen Tangenten freie \(C^ 1\)-Kurve und enthalte den absoluten Punkt nicht als Fernpunkt. Ein mit den auf \(k_ 0\) geführten Punkten P, Q kollinearer Punkt erzeugt bei dem isotropen Zwanglauf eine Bahnkurve, die zusammen mit \(k_ 0\) eine isotrope Holditch-Sichel begrenzt, für deren Inhalt eine ähnliche Formel wie im klassischen Fall gilt. Verf. behandelt dann noch den Fall, daß wenigstens ein Fernpunkt von \(k_ 0\) in den absoluten Punkt von \(\Sigma_ 0\) fällt, wobei noch eine zusätzliche Bedingung erfüllt sein muß.