Document ID: /fineweb-2-swissfilter-quality_10-filterrobots/filtered/03168.jsonl.gz/2607

Für die Herleitung der Gleichung gehe ich von der Transformation aus, welche ich auf der Seite Verzerrter Kreis an Parabel hergeleitet habe.
Die folgende Animation zeigt als grüne Kurve den verzerrten Krümmungskreis, wie er aus der Transformation der vorherigen Seite hervor geht. Mit dem Parameter q kann seine Form variiert werden. Je grösser der Wert von q ist, desto mehr nähert sich die Form der grünen Kurve der Ellipsenform (rote Kurve).
Beachte, dass sowohl die grüne Kurve als auch die rote Ellipse dieselbe Breite 2r wie der blaue Kreis mit Radius r im Scheitelpunkt der Parabel haben. Ebenso sind die Höhen der beiden Kurven bei x = x0 gleich 2r.
Für die Berechnung der Ellipse gehe ich von der folgenden Formel aus (Herleitung siehe Verzerrter Kreis an Parabel):
|(1)||

|mit|
|und|
|und|
|wobei'||

Anmerkung: Im Gegensatz zur Herleitung der Transformation kann ich hier darauf verzichten, nur mit positivem a zu rechnen und am Ende das Vorzeichen wieder einzufügen. Zum Beweis, einfach mal durchrechnen.
Wie wir am Modell oben sehen können, ergibt die Transformation für grosse Werte von q eine Ellipse (rot). Wir können also annehmen, dass q aus obiger Formel eliminiert werden kann, wenn wir q gegen Unendlich laufen lassen.
Zunächst fasse ich alle Terme zusammen, in denen q vorkommt und bringe diese auf einen Bruchstrich.
|(2)|
Ich berechne Zähler A und Nenner B separat.
|(3)|
|(4)|
|(5)|
Durch geeignetes Ausmultiplizieren versuche ich, Terme mit q zu separieren um zu sehen, ob sich einige solche Terme aufheben. Gleichzeitig lasse ich Terme der Form X + q stehen, denn diese können nachher vereinfacht werden:
|(6)|
Wie wir sehen, heben sich die farbigen Terme auf. Bei den verbleibenden Termen im rechten Bereich klammere ich nun noch q aus:
|(7)|
Jetzt berechne ich den Grenzwert des Zählers A für q → ∞:
|(8)|
Wenn q gegen Unendlich geht, verschwinden die roten Terme in den Summen
|(9)|
Die beiden grünen Terme können noch zusammengefasst und q kann schliesslich ausgeklammert werden:
|(10)|
Der Grenzwert des Nenners B ist besonders einfach, weil die roten Terme gegenüber q verschwinden:
|(11)|
Setzen wir Zähler und Nenner wieder zusammen, so kann q gekürzt werden:
|(12)|
und wir erhalten:
|(13)|
Damit ergibt sich folgende Formel für die Ellipse:
|(14)|
|(15)||

|mit|
Betrachten wir die Ellipsen-Funktion (15) genauer, fällt auf, dass sie sich aus der Kreisfunktion (blau) und einer Geraden-Funktion (grün) zusammensetzt:
|(16)|
Die Gerade erhalte ich, wenn ich eine Gerade h(x) mit Steigung 2·a·x0 durch den Punkt ( x0 , y(x0) ) lege:
|(17)|
|(18)|
Diese Gerade ist die Tangente an die Parabel im Punkt P. Da die Kreisfunktion einfach zu dieser Tangente hinzu addiert wird und so zur Ellipse wird, haben die Parabel und die Ellipse im Punkt P dieselbe Tangente, also dieselbe Steigung bzw. erste Ableitung.
Hier noch der mathematische Beweis, dass die erste und zweite Ableitung der Parabel im Punkt P = ( x0 , y(x0) ) gleich sind.
Die ersten Ableitungen der unteren Hälfte der Ellipsenfunktion und der Parabel sind:
|(19)|
Wenn wir für x = x0 einsetzen, sehen wir, dass die Ableitungen der beiden Funktionen bei P gleich sind:
|(20)|
Die zweiten Ableitungen der Ellipsenfunktion und der Parabel sind:
|(21)|
Wenn wir für x = x0 einsetzen, sehen wir, dass die zweiten Ableitungen der beiden Funktionen bei P ebenfalls gleich sind:
|(22)|
|weil|