Ophiuride

Die Ophiuride (von altgriechisch ὀφίουρος ophíouros [gesprochen ophíuros] „schlangenschwänzig“ und εἶδος eidos „Gestalt“) – auch Schlangenschwanzlinie genannt – ist eine kubische Kurve. In impliziter Form lässt sie sich durch folgende Gleichung beschreiben:

y^{3} + (x - a) x y - b x^{2} = 0

.

Darin sind $a$ und $b$ die zueinander rechtwinklig stehenden Seiten des sogenannten Rechtwinkelhakens (blau), der die Form und Lage der Ophiuride bestimmt.

Die Kurve wurde 1809 von Diedrich Uhlhorn veröffentlicht. Für ihre zeichnerische Darstellung existieren spezielle Konstruktionsmethoden. Auffällig ist ihre enge Verwandtschaft zu den Rollkurven, insbesondere zu zwei Rollkurven im weiteren Sinne: der Fußpunktkurve einer Parabel sowie der Zissoide des Diokles (siehe Abschnitt Erzeugung).

Die Ophiuride ermöglicht das geometrische Lösen zweier zentraler klassischer Probleme der Antike: Zum einen die Würfelverdoppelung, also die Konstruktion eines Würfels mit doppeltem Volumen eines gegebenen Würfels und zum anderen die Dreiteilung eines Winkels, bei der ein beliebiger Winkel in drei gleiche Teile zerlegt wird. Aufgrund dieser Eigenschaften ist gewährleistet, dass sich mit Hilfe der Ophiuride alle kubischen Gleichungen geometrisch lösen lassen (siehe Abschnitt Lösen kubischer Gleichungen). Hierzu genügen jeweils eine Gerade und ihre Schnittpunkte mit der Kurvenschleife.

Historisches

Urheber der Kurve ist der Autodidakt Diedrich Uhlhorn (1764–1837). Als Mathematiker ist er nie hervorgetreten. Im weiteren Leben wurde er allerdings als Pionier des Maschinenbaus berühmt. Der Bau seiner Münzpresse (1817) bahnte dem Kniehebelprinzip den Weg. Im Jahr 1809 brachte Uhlhorn ein Buch heraus mit dem Titel „Entdeckungen in der höhern Geometrie“. Darin stellt er zahlreiche höhere Kurven vor, zusätzlich auch Werkzeuge zu deren Erzeugung. Die Ophiuride bildet den Auftakt. Ihre Bezeichnung leitet er her aus dem Altgriechischen: „Schlangenschwanzlinie“.

Erklärtes Ziel bei der Vorstellung dieser Kurve ist es, einen Großteil der antiken Lösungen zu den „Großen Problemen“ (Würfelverdoppelung, Dreiteilung des Winkels) – die berüchtigten Neusis-Konstruktionen – von dem Vorwurf zu befreien, eine Verwirklichung sei hier nur möglich mittels Probieren. Johann Christoph Sturm hatte von „Hin- und Wiederrukken“ eines Lineals gesprochen (1670), Jean-Étienne Montucla erstmals von Herantasten (« une sorte de tâtonnement », 1758). Uhlhorn betont wiederholt: „Ohne Probieren lässt sich das Gesuchte auf folgende Art finden: […]“

Die Kurve zeichnet sich zunächst einmal dadurch aus, dass sie in das Umfeld der aus der Antike überlieferten Lösungen eingepasst ist: Auch die Lösungen von Nikomedes basieren auf einer Kurve, der Konchoide. Uhlhorn stellt drei Geräte zur Erzeugung seiner Kurve vor, ausgehend von unterschiedlichen Lösungsansätzen der Antike (Platon, Apollonius und Philo). Dem im Abschnitt Mittels Doppelgnomon abgebildeten Gerät gibt er den Vorzug.

Der Ansatz der Lösung Platon legt einen Rückgriff auf eine Kurve nahe. Das war bereits Thomas Heath aufgefallen. In seiner History of Greek Mathematics (1921) – mehr als 100 Jahre nach Uhlhorn – leitet er die Gleichung einer Ortskurve her. Diese Gleichung stellt die Ophiuride dar. Eine Darstellung der Kurve fehlt hier ebenso wie eine Bezeichnung. Anders bei Wilbur Richard Knorr: Dieser mutmaßt, die Bezeichnung sei erst in der Neuzeit aufgekommen, und er verweist auf das Buch von Uhlhorn. Zu der Kurve selbst meint Knorr, sie könne auf Eudoxus zurückgehen. In der Zissoide des Diokles erkennt er einen Spezialfall der Ophiuride. Eigentlich habe sogar Platon diese Kurve erfinden können. Das Gerät, das diesem zur Lösung des Delischen Problems zugeschrieben wird, lege jedenfalls einen Einsatz als Kurvenplotter nahe: “the method for doing so is evident.” Das erste der Uhlhornschen Zeichengeräte für die Ophiuride wendet eben diesen Ansatz praktisch an.

Definition

Gegeben sei ein Rechtwinkelhaken $A B C$ mit den kartesischen Koordinaten der Punkte $A = (0 | 0)$ und den frei wählbaren $B = (2 | 0)$ und $C = (2 | - 1)$ , den Kantenlängen $| \overline{A B} | = a$ und $| \overline{B C} | = b$ sowie mit $| \overline{A F} | = | \overline{E D} | = x$ und $| \overline{F D} | = | \overline{A E} | = y$ .

Der Punkt $P$ bewege sich auf der Geraden, die durch $| \overline{A B} |$ verläuft. Die Ophiuride zum Rechtwinkelzug $A B C$ ist dann die Ortslinie des Schnittpunktes $D$ der Parallelen zu $\overline{C P}$ durch $A$ mit der Senkrechten zu $\overline{C P}$ in $P$ .

Eine Gleichung der Ophiuride leitet Uhlhorn allgemein her:

„Bei Uhlhorn sind x und y vertauscht“

x^{3} + (y^{2} - a y) x - b y^{2} = 0

Damit würde die Ophiuride, z. B. mit

a = 2, b = 1

, im Gegensatz zu den betreffenden Darstellungen in den Tabellen, parallel zur y-Achse verlaufen.

Herleitung der Gleichung

Aufgrund der ähnlichen Dreiecke $△ D A F \sim △ P D F \sim △ C P B$ gilt:

| \overline{A F} | : | \overline{F D} | = | \overline{F D} | : | \overline{F P} |

, oder auch

x : y = y : | \overline{F P} |

,

daraus folgt:

| \overline{F P} | = \frac{y^{2}}{x}

.

Darüber hinaus gilt: $| \overline{F D} | : | \overline{A F} | = | \overline{B C} | : | \overline{B P} |$ ,

oder auch

y : x = b : | \overline{B P} |

,

daraus folgt:

| \overline{B P} | = \frac{b x}{y}

.

Nun ist $| \overline{F B} | = | \overline{A B} | - | \overline{A F} |$ , oder $| \overline{F B} | = a - x$

und

| \overline{F P} | = | \overline{F B} | + | \overline{B P} |

, oder

| \overline{F P} | = a - x + \frac{b x}{y}

.

Wegen $| \overline{F P} | = \frac{y^{2}}{x}$ (siehe oben) ist folglich

\frac{y^{2}}{x} = a - x + \frac{b x}{y}

| \cdot x y

y^{3} = a y x - y x^{2} + b x^{2}

Somit gilt:

y^{3} - a x y + x^{2} y - b y^{2} = 0

,

schließlich umgeformt:

y^{3} + (x - a) x y - b x^{2} = 0

.

Im Eingangsbeispiel mit $(a = 2; b = 1)$ führt das auf die Gleichung

y^{3} + (x - 2) x y - 1 x^{2} = 0

.

Wählt man andererseits $a = 1$ und $b$ beliebig, erhält man eine Kurvenschar (siehe Abschnitt Würfelverdoppelung)

y^{3} + (x - 1) x y - b x^{2} = 0

.

Erzeugung

Als Fußpunktkurve einer Parabel

Gegeben sei eine Parabel $p$ , $l$ die zugehörige Leitlinie. $P$ sei ein beweglicher Punkt auf der Parabel $p$ , $t$ die zugehörige Tangente. $X$ sei ein beliebiger Punkt auf einer Linie, die parallel zur Leitlinie und durch den Scheitel $S$ verläuft. Die Ortslinie des Schnittpunkts $D$ von $t$ mit dem Lot von $X$ auf $t$ ist dann eine Ophiuride. Ist $P$ der Scheitelpunkt der Parabel $p$ , so ergibt sich die Zissoide des Diokles.

Konstruktion

Es beginnt mit dem Einzeichnen der Parabel $p : y = x^{2}$ mit Scheitelpunkt $S (0 | 0)$ , dem Ursprung eines kartesischen Koordinatensystems. Der Kreis mit Radius $0,25$ (entspricht $\frac{1}{4}$ des Koeffizienten $1$ der Parabelgleichung $y = 1 x^{2}$ ) um Punkt $S$ schneidet die $y$ -Achse im Brennpunkt $F$ und im Punkt $A$ . Durch $A$ wird die Leitlinie $l$ parallel zur $x$ -Achse gezogen.

Der bewegliche Punkt $P$ wird auf die Parabel gesetzt, anschließend die zugehörige Tangente $t$ bestimmt. Hierzu dient ein Kreis mit Radius $| \overline{F P} |$ um den Punkt $F$ , generiert wird damit der Schnittpunkt $B$ auf der $y$ -Achse. Nach dem Ziehen der Tangente $t$ durch $P$ und $B$ setzt man den festen Punkt $X$ beliebig auf die $x$ -Achse. Eine Senkrechte durch $X$ schneidet die Leitlinie $l$ in $C$ . Im dargestellten Beispiel hat der Rechtwinkelhaken $S X C$ die Längen $a = 1$ und $b = 0,25$ . Abschließend zieht man eine, auf die Tangente $t$ senkrecht stehende Gerade $g$ durch $X$ . Schnittpunkt ist $D$ , der liegt auf der Ortslinie der Ophiuride.

Wird der Punkt $P$ auf der Parabel $p$ bewegt (siehe Animation), generiert Punkt $D$ den Graphen der Ophiuride mit deren Berührpunkt $E$ auf der Parabel. Für den so erzeugten Graphen der Ophiuride gilt die kubische Gleichung:

y^{3} + (x - a) x y + b {(x - 1)}^{2} = 0

Ophiuride als Fußpunktkurve einer Parabel, Animation

Als Medianlinie von Kreis und Gerade

Gegeben sei ein Kreis $k$ und eine Gerade $g$ außerhalb. $P$ sei ein fester Punkt auf dem Kreis $k$ . $X$ sei ein beliebiger Punkt auf $k$ . Die Strecke $\overline{X P}$ sei verlängert bis zum Schnittpunkt $S$ mit der Geraden $g$ . Die Ortslinie der Mittelpunkte $D$ der Strecke $\overline{X S}$ ist dann eine Ophiuride. Die Zissoide des Diokles – ein Spezialfall der Ophiuride – ergibt sich hier, wenn der Punkt $P$ auf dem Lot vom Zentrum des Kreises auf die Gerade $g$ liegt.

Konstruktion

Für die nebenstehende Darstellung „Ophiuride gleich Zissoide des Diokles …“ setzt man beispielsweise den Kreis $k$ mit Radius $r = 2 a = 1$ auf die Koordinaten $(0 | - 1)$ eines kartesischen Koordinatensystems. Schnittpunkt ist $P (0 | 0)$ . Nach dem Bestimmen des Punktes $E (0 | 2)$ wird die zur $x$ -Achse parallele Gerade $g$ gezogen. Nun wird der Punkt $X$ beliebig auf den Kreis $k$ gesetzt. Es folgt eine Gerade, die durch $X$ und $P$ verläuft und dabei den Schnittpunkt $S$ generiert. Abschließend wird die Strecke $\overline{X S}$ in $D$ halbiert. Der so erzeugte Punkt $D$ liegt auf der Ortslinie der Ophiuride.

Wird der Punkt

S

auf der Geraden

g

bewegt, generiert Punkt

D

den gesuchten Graphen der Ophiuride gleich einer Zissoide des Diokles, darin ist

2 a = 1

:

x^{2} (2 a - y) - y^{3} = 0

Für die darunter stehende Darstellung „Ophiuride von Kreis und Gerade“ setzt man den Kreis $k$ beispielsweise auf den Mittelpunkt $M (1,2 | 0,7)$ , damit ist $a = 1,2$ und $b = 0,7$ sowie der Radius $| \overline{M P} |$ . Der Punkt $E$ wird mittels Kreisbogen und dem Radius $| \overline{P M} |$ bestimmt und anschließend die zur $x$ -Achse parallele Gerade $g$ gezogen. Die nächste Gerade verläuft durch $X$ und $P$ ; sie erzeugt dabei den Schnittpunkt $S$ . Abschließend wird die Strecke $\overline{X S}$ in $D$ halbiert. Der so erzeugte Punkt $D$ liegt auf der Ortslinie der Ophiuride.

Wird der Punkt

S

auf der Geraden

g

bewegt, generiert Punkt

D

den gesuchten Graphen der Ophiuride von Kreis und Gerade:

y^{3} + (x - a) x y - b x^{2} = 0

Ophiuride von Kreis und Gerade, Animation

Mittels Doppelgnomon

Das Gerät besteht aus zwei rechtwinkligen U-förmigen Holzgestellen. Die freien Schenkel des oberen $U$ verfügen in Längsrichtung über Aussparungen, in denen die freien Schenkel des unteren $U$ beweglich geführt werden. Auf dem Bügel des unteren $U$ ist ein Stift $L$ angebracht. Ihm genau gegenüber auf dem Bügel des oberen $U$ befindet sich ein Schreibstift $K$ .

Gegeben sei eine Gerade, die durch $| \overline{G H} |$ verläuft, mit dem Teilpunkt $I$ . In $I$ sei eine Strecke der Länge $a$ abgetragen bis zum Punkt $N$ , auf dem Lot in $N$ eine Strecke der Länge $b$ bis zum Punkt $M$ . Das Gerät liegt dann mit seinem Innenbügel $\overline{E F}$ im Punkt $I$ fest an, gleichzeitig mit dem Außenbügel $\overline{A B}$ im Punkt $M$ . Der auf dem Außenbügel $\overline{A B}$ fixierte Punkt $L$ wird über den Stift $L$ in der „Rinne“ $\overline{G H}$ geführt. Dreht man den Bügel $\overline{E F}$ um den Punkt $I$ , so bewegt sich der Punkt $L$ auf $\overline{G H}$ voran. Der Schreibstift $K$ zeichnet dann die Kurve auf.

Anwendungen

Würfelverdoppelung

Die Kantenlänge $| \overline{x} |$ des verdoppelten Einheitswürfels lässt sich mit der Ophiuride als Quadratwurzel aus der Ordinate des Schnittpunkts $D$ konstruieren. Setzt man $a = 1$ und lässt $b$ (siehe Abschnitt Definition) die Werte von $1$ bis $8$ durchlaufen, so wird die Konstruktion von kubischen Wurzeln noch einfacher: Die Seite für die entsprechende Vervielfachung des Einheitswürfels ergibt sich jeweils direkt als Länge auf der Geraden zu $x = 1$ .

Die Ophiuride als Trisektrix

Abschließend stellt Uhlhorn eine Lösung des zweiten der Großen Probleme der Antike mithilfe der Ophiuride vor, der Dreiteilung eines Winkels (Bild 1 rechts). Uhlhorn erklärt: Die zusätzlichen Lösungen zur Dreiteilung des $6 0^{\circ}$ –Winkels gelten für die Winkel ${(180 - 60)}^{\circ}$ und ${(180 + 60)}^{\circ}$ .

Konstruktion

(Bild 2, angepasst an Bild 1; animiert in Bild 3)

Auf einer Geraden wird zunächst der Punkt $H$ (entspricht dem Nullpunkt eines kartesischen Koordinatensystems) festgelegt und anschließend die Strecke $\overline{H A} = 2 = a$ bestimmt. Es folgen der Halbkreis mit Radius $| \overline{A B} |$ um $A$ , Schnittpunkt mit der Geraden ist $B$ (der zweite Schnittpunkt ist ohne Bezeichnung). Nun wird die Strecke $\overline{H B}$ in $M$ halbiert. Das Errichten der Senkrechten, auf $\overline{H B}$ in $M$ , schließt sich an. Der beispielsweise zu drittelnde Winkel $α_{1} = 6 0^{\circ}$ wird mit dem Einzeichnen des Winkelschenkels $| \overline{A C} |$ eingetragen. Dabei ergibt sich auch dessen Supplementwinkel $α_{2} = 12 0^{\circ}$ . Mit dem Fällen des Lots ab $C$ auf den feststehenden Winkelschenkel ergibt sich der Fußpunkt $D$ sowie mit $\overline{C D}$ der Sinuswert der Winkel $α_{1} = 6 0^{\circ}$ und $α_{2} = 12 0^{\circ}$ .

Weiter geht es mit dem Einzeichnen der Ophiuride mithilfe der Gleichung:

y^{3} + (x - a) x y + \sin (α) x^{2} = 0

.

Dabei schneidet die Ophiuride die Senkrechte über $M$ in den Punkten $O$ und $P$ . Abschließend zieht man eine Parallele zu $\overline{M A}$ durch $O$ und eine zweite Parallele durch $P$ . Die so erzeugten Schnittpunkte $E$ und $Q$ mit dem Halbkreis liefern die gesuchten Winkel $β_{1} = 2 0^{\circ}$ bzw. $β_{2} = 4 0^{\circ}$ .

Lösen kubischer Gleichungen

Die wichtigsten Stationen auf dem Weg zum exakten Lösen von kubischen Gleichungen markieren Omar Chayyām (um 1100) mit seinem Algebra-Buch, François Viète (Vieta) mit seiner Abhandlung „Supplementum Geometriae“ (1593) und René Descartes (Cartesius) mit seiner „Géométrie“ (1637). Chayyam hatte für jede der 19 Typen kubischer Gleichungen eine Lösung „mit Kegelschnitten“ (Parabel und Hyperbel) vorgelegt. Vieta hatte grundsätzlich klargestellt: Mit der Neusis-Option sind alle Fälle abgedeckt. Eine Anwendung in Form eines Beispiels fehlt bei ihm. Isaac Newton setzt diesen Ansatz später konkret um in seinen „Lucasian Lectures on Algebra“.

Descartes hatte gezeigt: Der Schnitt der Normalparabel mit einem Kreis reicht in jedem Fall aus. Gleichzeitig hat Descartes die Möglichkeit eröffnet, für derartige Aufgaben neue Kurven einzuführen, « […] qui peuvent aussi estres descrites par un mouvement regulier & continu […]. » Einfacher gesagt: Eine zulässige Kurve muss durch die stetige Bewegung eines Punktes erzeugbar sein. Seit dieser Zeit sind zur Festlegung von Punkten und Strecken einzig Kurven zulässig. Genau dieses Cartesische Konzept greift Uhlhorn mit seinen Kurven auf. Die Lösungen, die sich speziell auf die Ophiuride gründen, zeichnen sich dabei dadurch aus – so betont Uhlhorn selbst –, dass man in jedem Fall „mit nur einer krummen Linie“ auskommt.

Verallgemeinerung

Weitergehend zeigt Uhlhorn im Anschluss: Alle kubischen Gleichungen lassen sich mit der Ophiuride lösen. Mit dieser grundlegenden Feststellung setzt Uhlhorn einen Schlusspunkt unter ein Jahrhunderte anhaltendes Bemühen um ein exaktes Lösen von höheren – insbesondere kubischen – Gleichungen. Die Zahlwerte der Lösungen von kubischen Gleichungen lassen sich in der Regel nur näherungsweise angeben.

Bei dem im Abschnitt Konstruktion 1 erläuterten Beispiel liegt der sog. „casus irreducibilis“ der Cardanischen Formeln vor. Diese erfordern das Ziehen von kubischen Wurzeln aus imaginären Zahlen. Im Beispiel ergibt sich für den Hauptwert $x$ die Näherung $0,34729 \dots$ . Die geschlossene Darstellung lautet: $x = 2 \cdot \sin (1 0^{\circ})$ .

Im Abschnitt Methode 2 wird beispielhaft gezeigt, wie eine kubische Gleichung mit $x^{2}$ -Term grafisch gelöst wird.

Eine formal korrekte Einführung dazu – als Rechnen mit gerichteten Strecken – gelang dem Norweger Caspar Wessel (1799). Allgemein bekannt wurde dieser Ansatz erst durch eine Arbeit von Carl Friedrich Gauß (1831).

Methode 1

Gegeben sei die kubische Gleichung

x^{3} - f x - g = 0

.

Darin fehlt das noch zu ermittelnde zweite Glied $y$ . Sind die Koeffizienten mit $f$ und $g$ bezeichnet und nutzt man für das Bestimmen von $y$ die folgende Gleichung nach Uhlhorn

x^{3} - (a y - y^{2}) x - b y^{2} = 0

,

folgt daraus:

a y - y^{2} = f

und

b y^{2} = g

.

Aus diesen zwei Gleichungen sind die unbekannten Größen $a, b$ und $y$ bestimmbar. Eine von den Dreien kann ausgewählt werden, allerdings ist es vorteilhaft $y$ (im Beispiel als ganze Zahl) festzulegen. Somit gilt:

a = \frac{f + y^{2}}{y}

und

b = \frac{g}{y^{2}}

.

Konstruktion 1

Graphische Lösung der kubischen Gleichung $x^{3} - 3 x + 1 = 0$ .

Es beginnt mit der Berechnung der Werte $a$ und $b$ , mit $y = 2$ , für die Ophiuride.

a = \frac{f + y^{2}}{y}

, darin ist

f

der Koeffizient

3

von

x

aus der kubischen Gleichung,

a = \frac{3 + 2^{2}}{2} = 3,5

,

b = \frac{g}{y^{2}}

, darin ist

g

die Zahl

1

aus der kubischen Gleichung,

b = \frac{1}{2^{2}} = \frac{1}{4}

.

Es geht weiter mit dem Eintragen des Rechtwinkelhakens (blau) mit Kantenlänge $a = 3,5 = | \overline{A B} |$ ( $A$ entspricht dem Nullpunkt eines kartesischen Koordinatensystems) auf der $y$ -Achse und der auf $| \overline{A B} |$ senkrecht stehenden Kantenlänge $b = \frac{1}{4} = | \overline{B C} |$ . Nun wird auf $| \overline{A B} |$ der Punkt $M$ mit Abstand $| \overline{A M} | = y = 2$ bestimmt sowie eine auf $| \overline{A B} |$ senkrecht stehende Gerade $p$ durch $M$ gezogen. Abschließend generiert man die Ophiuride (rot) mit den ermittelten Werten für $a$ und $b$ anhand der Gleichung:

x^{3} + (y - a) y x + b y^{2} = 0

.

Die Ophiuride wird dabei dreimal von der Geraden $p$ durch $M (2 | 0)$ geschnitten. Die Schnittpunkte $x_{1}, x_{2}$ und $x_{3}$ sind die drei möglichen Lösungen der gegebenen kubischen Gleichung. Zwei davon sind irrational und eine entspricht $2 \cdot \sin (1 0^{\circ})$ :

x^{3} - 3 x + 1 = 0

,

x_{1} = 1,53208 \dots

,

x_{2} = 0,34729 \dots = 2 \cdot \sin (1 0^{\circ})

,

x_{3} = - 1,87938 \dots

.

Methode 2

Gegeben sei die kubische Gleichung $x^{3} - 7 x^{2} + 16 x - 12 = 0$

Um für die graphische Lösung wieder die Gleichung $x^{3} + (y - a) y x + b y^{2} = 0$ der Ophiuride verwenden zu können, bedarf es der Reduktion der Gleichung auf die Normalform $z^{3} + p \cdot z + q = 0$ und einer weiteren Umformung — mittels Einsetzen des ermittelten Wertes für $z$ — um schließlich die erforderliche Cardanische Formel $x^{3} + p x + q = 0$ der gegebenen Gleichung zu erhalten.

(1)

x^{3} - 7 x^{2} + 16 x - 12 = 0

,

Normalform mit dem reduzierten quadratischen Glied $- 7 x^{2}$

(2)

z^{3} + p \cdot z + q = 0

,

verwendete Substitution

(3)

x = z + \frac{7}{3}

, daraus folgt:

(4)

z = x - \frac{7}{3}

,

$x$ aus Gleichung (3) eingesetzt in (1) ergibt nach div. Rechenschritten

(5)

z^{3} - \frac{1}{3} z - \frac{2}{27} = 0

,

somit ist $p = - \frac{1}{3}$ und $q = - \frac{2}{27}$ . $z$ aus Gleichung (4) eingesetzt in die Cardanische Formel $x^{3} + p x + q = 0$ :

(6)

{(x - \frac{7}{3})}^{3} - \frac{1}{3} (x - \frac{7}{3}) - \frac{2}{27} = 0

,

Der Summand $- \frac{7}{3}$ von $x$ weist auf den Abstand $d (A, B) = \frac{7}{3}$ hin, den die implizite Kurve (6) zum Koordinatenursprung hat.

Konstruktion 2

Berechnung der Werte $a$ und $b$ mit $y = 1$ für die Ophiuride, darin sind $f$ der Koeffizient $\frac{1}{3}$ und $g$ die Zahl $\frac{2}{27}$ aus der Gleichung (6).

a = \frac{f + y^{2}}{y} = \frac{\frac{1}{3} + 1^{2}}{1} = \frac{4}{3}

b = \frac{g}{y^{2}} = \frac{\frac{2}{27}}{1} = \frac{2}{27}

Wird $(x - \frac{7}{3})$ für $x$ in die allgemeine Gleichung der Ophiuride $x^{3} + (y - a) y x + b y^{2} = 0$ eingesetzt (siehe (6), Abstand $d (A, B) = \frac{7}{3}$ zum Koordinatenursprung), so erhält man schließlich deren angepasste Gleichung:

(7)

{(x - \frac{7}{3})}^{3} + (y - a) y (x - \frac{7}{3}) + b y^{2} = 0

.

Nun wird in einem kartesischen Koordinatensystem der Rechtwinkelhaken (blau) senkrecht zur $x$ -Achse, ab $x = \frac{7}{3}$ eingetragen. Die Kantenlängen sind $a = \frac{4}{3} = | \overline{B C} |$ und $b = \frac{2}{27} = | \overline{C D} |$ . Nach dem Ziehen der Geraden $p : y = 1$ generiert man die Ophiuride (rot) mit den ermittelten Werten für $a$ , $b$ und $y = 1$ anhand der Gleichung (7). Die Ophiuride wird von der Geraden $p$ geschnitten, dabei ist der Berührpunkt mit der Ophiuride $x_{1}, x_{2}$ eine sogenannte Doppellösung. Die drei möglichen Lösungen der kubischen Gleichung $x^{3} - 7 x^{2} + 16 x - 12 = 0$ sind:

x_{1} = 2

,

x_{2} = 2

,

x_{3} = 3

.

Eine Hyperbel als Verwandte

Eine Spiegelung am Einheitskreis führt für die Ophiuride zur Würfelverdoppelung auf eine Hyperbel. Uhlhorn zeigt: Auf ebendiese Hyperbel führt der Ansatz der Neusis-Lösung von Sporus. Vor allem aber lässt sich damit auch die Neusis-Lösung von Pappus retten. Immerhin hatte dieser erklärt, allein Kegelschnitte seien als Mittel zum Lösen zulässig. Eine Lösung, die sich an seine Vorgabe hält, hatte Pappus aber nie vorgelegt.

Im Untertitel seiner „Entdeckungen“ heißt es bei Uhlhorn: „theoretisch und practisch abgehandelt“. So fehlt auch bei dieser speziellen Hyperbel nicht ein Werkzeug zu ihrer praktischen Erzeugung: Die Neusis-Bedingung der Längengleichheit der Abschnitte $| \overline{a b} |$ und $| \overline{b c} |$ wird hier rein mechanisch sichergestellt. Die Kurve wird aufgezeichnet durch einen Stift im Punkt $c$ .

Konstruktion

Nach dem Einzeichnen des Einheitskreises (Inversionskreis) mit Radius $r = 1$ um den Nullpunkt $O$ eines kartesischen Koordinatensystems, wird die Ophiuride mit den Parametern für die Würfelverdoppelung $a = 2$ bzw. $b = 1$ mithilfe der folgenden Gleichung eingetragen:

y^{3} + (x - 2) x y - x^{2} = 0

.

Die Ophiuride schneidet dabei den Inverskreis in den Punkten $A$ und $B$ sowie den Nullpunkt $O$ . Es folgt je ein Kreis mit Radius $r = 0,5$ um $O$ sowie um den erzeugten Schnittpunkt $C$ . Die Gerade $g_{1}$ , senkrecht stehend zur $x$ -Achse und durch den Punkt $C$ verlaufend, schneidet die Ophiuride in $M$ .

Es folgt das Einzeichnen der Geraden $g_{2}$ durch $M$ und $D$ . Die Geraden $g_{1}$ und $g_{2}$ sind die Asymptoten der gesuchten Hyperbel. Nun wird der Winkel $∠ C M D$ mithilfe der Winkelhalbierenden $w$ geteilt und die zu $w$ senkrecht stehende Gerade $g_{3}$ durch den Punkt $M$ gezogen. Um die gesuchte Hyperbel graphisch darstellen zu können, bedarf es bekanntlich außer den auf der Ophiuride liegenden drei Punkten $A, B$ und $M$ noch zwei weitere, also fünf auf der Hyperbel liegende Punkte. Die beiden erforderlichen Punkte $A^{'}$ und $B^{'}$ erhält man durch Spiegelung der Punkte $A$ und $B$ an der Geraden $g_{3}$ .

Abschließend wird die Hyperbel mithilfe dieser fünf bestimmten Punkte eingezeichnet. Die Gleichung der Hyperbel ist bezüglich der irrationalen Koeffizienten noch zu vereinfachen, sodass gilt:

(2 x - 1) y + x^{2} = 0

.

Rezeptionsgeschichte

Uhlhorn sagte zutreffend voraus, die Zukunft gelte einer Art von „Construction, wo die Gleichungen durch den Zug krummer Linien abgebildet werden.“ Die Ophiuride fällt aber in der Folgezeit bald dem Vergessen anheim. Die entscheidende Quelle für eine Rezeption der Uhlhornschen Kurven in der Fachliteratur ist das Werk von Loria (1902). Hier findet sich auch eine weitere seiner Kurven, die „Toxoide“ (Bogenlinie). Die Zuschreibung dieser kubischen Duplikatrix zu Gohierte de Longchamp wird richtiggestellt. Sie erweist sich als schlichtere, aber gleichmächtige Schwester der sog. „Kampyle des Eudoxus“.

Literatur

Diedrich Uhlhorn: Entdeckungen in der höhern Geometrie. Band 1, Oldenburg 1809. Tabelle 1, Tabelle 2, Tabelle 3 und Tabelle 4
Bodo von Pape: Die Großen Probleme der Antike II (Von Vieta bis Uhlhorn) Wuppertal 2022, ISBN 978-3-7568-3589-8 (Dissertation, bod.de).
Thomas Little Heath: A History of Greek Mathematics. Volume 1. From Thales to Euclid. Clarendon Press 1921 (Nachdruck Elibron Classics 2006), S. 225–230 (archive.org).
Wilbur Richard Knorr: The Ancient Tradition of Geometric Problems. Boston, 1986.
G. Loria: Spezielle algebraische und transzendente ebene Kurven. B. G. Teubner, Leipzig 1902 (quod.lib.umich.edu).

Weblinks

Ophiuride auf mathcurve
Eric W. Weisstein: Ophiuride. In: MathWorld (englisch).

Anmerkungen

↑ Je nachdem, ob die Kantenlänge $b$ des Rechtwinkelhakens $A B C$ bzw. die Kurvenschleife unterhalb der x-Achse (-) oder oberhalb (+) liegt, ist der Term $- b x^{2}$ oder $+ b x^{2}$ .

Einzelnachweise

Wilhelm Pape, Max Sengebusch (Bearb.): Handwörterbuch der griechischen Sprache. 3. Auflage, 6. Abdruck. Vieweg & Sohn, Braunschweig 1914.
1. ↑ Lemma ὀφίουρος, Band 2, S. 426 (Digitalisat. zeno.org)
2. ↑ Lemma εἶδος, Band 1, S. 724 (Digitalisat. zeno.org)
↑ Heinrich Wilhelm Brandes: Lehrbuch der höhern Geometrie, in analytischer Darstellung. Kummer, Leipzig 1822, S. 176 ff. sowie Figur 107 in Tafel V (Digitalisate, Bibliothek Universität Göttingen [JPEG-Dateien]: S. 176 [1,3 MB], Tafel V [2,4 MB]).
Diederich Uhlhorn: Entdeckungen in der höhern Geometrie. Band 1. Oldenburg 1809.
1. ↑ Ophiuride (Schlangenschwanzlinie), S. 8 ff. (books.google.de)
2. ↑ § 23. Ohne Probieren […], S. 36 (books.google.de)
3. ↑ Tabelle I, Fig. 3, Fig. 8 und Fig. 11 (books.google.de; alternativ: Bibliothek Universität Göttingen: JPEG-Datei [2,6 MB])
4. ↑ § 34 „[…] weil es sehr zuverlässig und sicher ist“, S. 42 (books.google.de)
5. 1 2 Die Gleichung für diese krumme Linie wird leicht gefunden., S. 11 ff. (books.google.de)
6. ↑ Tabelle I, Fig. 2 und Fig. 5 (books.google.de; alternativ: Bibliothek Universität Göttingen: JPEG-Datei [2,6 MB])
7. ↑ „[…] Es ist leicht einzusehen, […]“, S. 31 (books.google.de)
8. ↑ Tabelle I, Fig. 3, Bibliothek Universität Göttingen: JPEG-Datei [2,6 MB]
9. ↑ S. 51 (books.google.de)
10. ↑ Tabelle I, Fig. 5 (books.google.de; alternativ: Bibliothek Universität Göttingen: JPEG-Datei [2,6 MB])
11. ↑ „Descartes war der erste […]“, S. 46 (books.google.de)
12. ↑ „[…] weil man nur eine einzige krumme Linie braucht […]“, S. 50 (books.google.de)
13. ↑ „[…] kann man alle cubische Gleichungen dadurch auflösen […]“, S. 50 (books.google.de)
14. 1 2 3 4 §§ 41, S.46 ff. (books.google.de)
15. ↑ „Auf diesem Wege lernte ich […]“ S.8 ff. (books.google.de)
16. ↑ „Es seyn (Fig. 14.) […]“ S.45 (books.google.de)
17. ↑ Tabelle 2, Fig. 14 (books.google.de; alternativ: Bibliothek Universität Göttingen: JPEG-Datei [2,6 MB])
18. ↑ S.46 (books.google.de)
↑ Johann Christoph Sturm: Hin– und Wiederrukken … In: Des Unvergleichlichen Archimedis Kunst-Bücher. Nürnberg 1670, S. 105 (deutschestextarchiv.de).
↑ Jean-Étienne Montucla: une sorte de tâtonnement. In: Histoire de Mathematique. Paris 1758, S. 177 (gallica.bnf.fr).
↑ Bodo v. Pape: Neusis-Lösungen in der Rezeption der Antike. (PDF; 219 kB) Technische Universität Dortmund, S. 1–4, abgerufen am 22. August 2025.
↑ Thomas Little Heath: The duplication of the cube. In: A history of Greek mathematics. Band 1. The Clarendon Press, Oxford 1921, S. 256–258 (englisch, Textarchiv – Internet Archive).
↑ Wilbur Richard Knorr: The Ancient Tradition of Geometric Problems. Dover Publicatons Inc., New York 1993, ISBN 0-486-67532-7, S. 59–60 (englisch).
Bodo v. Pape: Die Großen Probleme der Antike. Von Eudoxus zu Uhlhorn II: Die Neuzeit. BoD – Books on Demand, Norderstedt 2022.
1. 1 2 S. 152
2. ↑ S. 194, 3.6 Die Herleitung der Gleichung der Ophiuride
3. ↑ S. 158–159, aus der Grafik im Buch entnommen.
4. ↑ S. 160–161
5. ↑ S. 160–161, aus der Grafik im Buch entnommen.
6. ↑ S. 150–151
7. ↑ S. 162
8. ↑ S. 181–189
Berechnung bei WolframAlpha
Gino Loria: Spezielle algebraische und transzendente ebene Kurven. B. G. Teubner, Leipzig 1902.
1. ↑ Fünftes Kapitel: Verallgemeinerung der Cissoide, S. 49 (Digitalisat [PDF, 61 MB])
2. ↑ Die kubische Duplikatrix und das parabolische Blatt, S. 89 (Digitalisat [PDF, 61 MB])
↑ Sebastian Linden: Die Algebra des Omar Chayyam. Springer, Berlin/Heidelberg 2017, ISBN 978-3-662-55346-6.
René Descartes: Discours de la méthode & Essais. Hrsg.: Charles Adam & Paul Tannery. Band VI. Léopold Cerf, Imprimeur-Èditeur, Paris 1902 (französisch).
1. ↑ S. 434 (Textarchiv – Internet Archive)
2. ↑ S. 412 (Textarchiv – Internet Archive)
↑ Blog der DMV: Eine kurze Geschichte der komplexen Zahlen.
↑ Edmund Weitz: Kubische Gleichungen: Woher die komplexen Zahlen kommen. youtube ⇒ Video, 29. September 2017, abgerufen am 19. Januar 2026.
↑ Dörte Haftendorn: Kurven erkunden und verstehen. 7.6 Anwendungen der Kegelschnitte: „Kegelschnitt aus 5 Punkten“. Springer Spektrum, Wiesbaden 2017, ISBN 978-3-658-14748-8, S. 205.

[22] Je nachdem, ob die Kantenlänge $b$ des Rechtwinkelhakens $A B C$ bzw. die Kurvenschleife unterhalb der x-Achse (-) oder oberhalb (+) liegt, ist der Term $- b x^{2}$ oder $+ b x^{2}$ .

[WPape1914-1] Wilhelm Pape, Max Sengebusch (Bearb.): Handwörterbuch der griechischen Sprache. 3. Auflage, 6. Abdruck. Vieweg & Sohn, Braunschweig 1914.
↑ Lemma ὀφίουρος, Band 2, S. 426 (Digitalisat. zeno.org)

↑ Lemma εἶδος, Band 1, S. 724 (Digitalisat. zeno.org)

[2] Lemma ὀφίουρος, Band 2, S. 426 (Digitalisat. zeno.org)

[3] Lemma εἶδος, Band 1, S. 724 (Digitalisat. zeno.org)

[4] Heinrich Wilhelm Brandes: Lehrbuch der höhern Geometrie, in analytischer Darstellung. Kummer, Leipzig 1822, S. 176 ff. sowie Figur 107 in Tafel V (Digitalisate, Bibliothek Universität Göttingen [JPEG-Dateien]: S. 176 [1,3 MB], Tafel V [2,4 MB]).

[Uhlhorn1809-5] Diederich Uhlhorn: Entdeckungen in der höhern Geometrie. Band 1. Oldenburg 1809.
↑ Ophiuride (Schlangenschwanzlinie), S. 8 ff. (books.google.de)

↑ § 23. Ohne Probieren […], S. 36 (books.google.de)

↑ Tabelle I, Fig. 3, Fig. 8 und Fig. 11 (books.google.de; alternativ: Bibliothek Universität Göttingen: JPEG-Datei [2,6 MB])

↑ § 34 „[…] weil es sehr zuverlässig und sicher ist“, S. 42 (books.google.de)

1 2 Die Gleichung für diese krumme Linie wird leicht gefunden., S. 11 ff. (books.google.de)

↑ Tabelle I, Fig. 2 und Fig. 5 (books.google.de; alternativ: Bibliothek Universität Göttingen: JPEG-Datei [2,6 MB])

↑ „[…] Es ist leicht einzusehen, […]“, S. 31 (books.google.de)

↑ Tabelle I, Fig. 3, Bibliothek Universität Göttingen: JPEG-Datei [2,6 MB]

↑ S. 51 (books.google.de)

↑ Tabelle I, Fig. 5 (books.google.de; alternativ: Bibliothek Universität Göttingen: JPEG-Datei [2,6 MB])

↑ „Descartes war der erste […]“, S. 46 (books.google.de)

↑ „[…] weil man nur eine einzige krumme Linie braucht […]“, S. 50 (books.google.de)

↑ „[…] kann man alle cubische Gleichungen dadurch auflösen […]“, S. 50 (books.google.de)

1 2 3 4 §§ 41, S.46 ff. (books.google.de)

↑ „Auf diesem Wege lernte ich […]“ S.8 ff. (books.google.de)

↑ „Es seyn (Fig. 14.) […]“ S.45 (books.google.de)

↑ Tabelle 2, Fig. 14 (books.google.de; alternativ: Bibliothek Universität Göttingen: JPEG-Datei [2,6 MB])

↑ S.46 (books.google.de)

[6] Ophiuride (Schlangenschwanzlinie), S. 8 ff. (books.google.de)

[9] § 23. Ohne Probieren […], S. 36 (books.google.de)

[11] Tabelle I, Fig. 3, Fig. 8 und Fig. 11 (books.google.de; alternativ: Bibliothek Universität Göttingen: JPEG-Datei [2,6 MB])

[12] § 34 „[…] weil es sehr zuverlässig und sicher ist“, S. 42 (books.google.de)

[17] 1 2 Die Gleichung für diese krumme Linie wird leicht gefunden., S. 11 ff. (books.google.de)

[18] Tabelle I, Fig. 2 und Fig. 5 (books.google.de; alternativ: Bibliothek Universität Göttingen: JPEG-Datei [2,6 MB])

[31] „[…] Es ist leicht einzusehen, […]“, S. 31 (books.google.de)

[32] Tabelle I, Fig. 3, Bibliothek Universität Göttingen: JPEG-Datei [2,6 MB]

[34] S. 51 (books.google.de)

[35] Tabelle I, Fig. 5 (books.google.de; alternativ: Bibliothek Universität Göttingen: JPEG-Datei [2,6 MB])

[37] „Descartes war der erste […]“, S. 46 (books.google.de)

[41] „[…] weil man nur eine einzige krumme Linie braucht […]“, S. 50 (books.google.de)

[42] „[…] kann man alle cubische Gleichungen dadurch auflösen […]“, S. 50 (books.google.de)

[44] 1 2 3 4 §§ 41, S.46 ff. (books.google.de)

[50] „Auf diesem Wege lernte ich […]“ S.8 ff. (books.google.de)

[51] „Es seyn (Fig. 14.) […]“ S.45 (books.google.de)

[52] Tabelle 2, Fig. 14 (books.google.de; alternativ: Bibliothek Universität Göttingen: JPEG-Datei [2,6 MB])

[56] S.46 (books.google.de)

[7] Johann Christoph Sturm: Hin– und Wiederrukken … In: Des Unvergleichlichen Archimedis Kunst-Bücher. Nürnberg 1670, S. 105 (deutschestextarchiv.de).

[8] Jean-Étienne Montucla: une sorte de tâtonnement. In: Histoire de Mathematique. Paris 1758, S. 177 (gallica.bnf.fr).

[10] Bodo v. Pape: Neusis-Lösungen in der Rezeption der Antike. (PDF; 219 kB) Technische Universität Dortmund, S. 1–4, abgerufen am 22. August 2025.

[13] Thomas Little Heath: The duplication of the cube. In: A history of Greek mathematics. Band 1. The Clarendon Press, Oxford 1921, S. 256–258 (englisch, Textarchiv – Internet Archive).

[14] Wilbur Richard Knorr: The Ancient Tradition of Geometric Problems. Dover Publicatons Inc., New York 1993, ISBN 0-486-67532-7, S. 59–60 (englisch).

[BvPape2022-15] Bodo v. Pape: Die Großen Probleme der Antike. Von Eudoxus zu Uhlhorn II: Die Neuzeit. BoD – Books on Demand, Norderstedt 2022.
1 2 S. 152

↑ S. 194, 3.6 Die Herleitung der Gleichung der Ophiuride

↑ S. 158–159, aus der Grafik im Buch entnommen.

↑ S. 160–161

↑ S. 160–161, aus der Grafik im Buch entnommen.

↑ S. 150–151

↑ S. 162

↑ S. 181–189

[16] 1 2 S. 152

[21] S. 194, 3.6 Die Herleitung der Gleichung der Ophiuride

[25] S. 158–159, aus der Grafik im Buch entnommen.

[27] S. 160–161

[28] S. 160–161, aus der Grafik im Buch entnommen.

[33] S. 150–151

[49] S. 162

[58] S. 181–189

[WolframAlpha-19] Berechnung bei WolframAlpha
↑ x^3 + (y^2 - 2y)x - 1y^2 = 0

↑ y³ + (x - a)xy + b (x - 1)² = 0

↑ x²(1 - y) - y³ = 0

↑ y³ + (x - 1,2)xy - 0,7x² = 0

↑ x³ + (y - 3,5)yx + 1/4y² = y - 2 = 0

↑ x³-7x²+16x-12 with x=z+7/3

↑ ((x - 7/3)³ + (y - 4/3) y (x - 7/3) - 2/27* y²=0; x=7/3, y=1)

↑ y³ + (x - 2)xy - x² = 0

↑ (2x - 1)y + x²

[20] x^3 + (y^2 - 2y)x - 1y^2 = 0

[26] y³ + (x - a)xy + b (x - 1)² = 0

[29] x²(1 - y) - y³ = 0

[30] y³ + (x - 1,2)xy - 0,7x² = 0

[45] x³ + (y - 3,5)yx + 1/4y² = y - 2 = 0

[47] x³-7x²+16x-12 with x=z+7/3

[48] ((x - 7/3)³ + (y - 4/3) y (x - 7/3) - 2/27* y²=0; x=7/3, y=1)

[53] y³ + (x - 2)xy - x² = 0

[55] (2x - 1)y + x²

[Loria1902-23] Gino Loria: Spezielle algebraische und transzendente ebene Kurven. B. G. Teubner, Leipzig 1902.
↑ Fünftes Kapitel: Verallgemeinerung der Cissoide, S. 49 (Digitalisat [PDF, 61 MB])

↑ Die kubische Duplikatrix und das parabolische Blatt, S. 89 (Digitalisat [PDF, 61 MB])

[24] Fünftes Kapitel: Verallgemeinerung der Cissoide, S. 49 (Digitalisat [PDF, 61 MB])

[57] Die kubische Duplikatrix und das parabolische Blatt, S. 89 (Digitalisat [PDF, 61 MB])

[36] Sebastian Linden: Die Algebra des Omar Chayyam. Springer, Berlin/Heidelberg 2017, ISBN 978-3-662-55346-6.

[Descartes-38] René Descartes: Discours de la méthode & Essais. Hrsg.: Charles Adam & Paul Tannery. Band VI. Léopold Cerf, Imprimeur-Èditeur, Paris 1902 (französisch).
↑ S. 434 (Textarchiv – Internet Archive)

↑ S. 412 (Textarchiv – Internet Archive)

[39] S. 434 (Textarchiv – Internet Archive)

[40] S. 412 (Textarchiv – Internet Archive)

[43] Blog der DMV: Eine kurze Geschichte der komplexen Zahlen.

[Weitz-46] Edmund Weitz: Kubische Gleichungen: Woher die komplexen Zahlen kommen. youtube ⇒ Video, 29. September 2017, abgerufen am 19. Januar 2026.

[54] Dörte Haftendorn: Kurven erkunden und verstehen. 7.6 Anwendungen der Kegelschnitte: „Kegelschnitt aus 5 Punkten“. Springer Spektrum, Wiesbaden 2017, ISBN 978-3-658-14748-8, S. 205.