🔢 mathematics

An Elementary Proof of a Remarkable Relation Between the Squircle and Lemniscate

Diese Arbeit liefert einen elementaren Beweis unter Verwendung der grundlegenden Integralrechnung und einer geometrischen Interpretation für eine verallgemeinerte Beziehung, die die Flächen von Sektoren des Squircle ( $x^4+y^4=1$ ) mit den Bogenlängen von Segmenten der Lemniskate verbindet, wobei die bekannte Verbindung zwischen deren Gesamtfläche und Länge erweitert wird, ohne auf elliptische Integrale oder die Gammafunktion zurückzugreifen.

Ursprüngliche Autoren: Zbigniew Fiedorowicz, Muthu Veerappan Ramalingam

Veröffentlicht 2026-06-03

📖 5 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: Zbigniew Fiedorowicz, Muthu Veerappan Ramalingam

Originalarbeit lizenziert unter CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dies ist eine KI-generierte Erklärung des untenstehenden Papers. Sie wurde nicht von den Autoren verfasst oder gebilligt. Für technische Genauigkeit konsultieren Sie das Originalpaper. Vollständigen Haftungsausschluss lesen

Das große Ganze: Zwei seltsame Formen und eine geheime Verbindung

Stellen Sie sich vor, Sie haben zwei sehr ungewöhnliche Formen auf ein Blatt Papier gezeichnet.

Das Squircle: Dies ist ein „quadratischer Kreis“. Es sieht aus wie ein Kreis, der sanft in eine quadratische Form gedrückt wurde. Mathematisch wird es durch die Gleichung $x^4 + y^4 = 1$ definiert.
Die Lemniskate: Diese sieht aus wie eine Acht oder ein verdrehtes Unendlichkeitszeichen ( $\infty$ ). Sie wird durch die Gleichung $(x^2 + y^2)^2 = x^2 - y^2$ definiert.

Lange Zeit wussten Mathematiker, dass es eine mysteriöse Verbindung zwischen diesen beiden Formen gibt. Speziell wussten sie, dass die Gesamtfläche innerhalb des Squircles und die Gesamtlänge der Lemniskate durch eine bestimmte Zahl zusammenhängen: $\sqrt{2}$ (ungefähr 1,414).

Die alten Beweise für dies waren jedoch so, als würde man versuchen, ein Puzzle mit einem Vorschlaghammer zu lösen. Sie erforderten fortgeschrittene, komplexe Mathematik (elliptische Integrale und Gamma-Funktionen), die nur Experten verstehen konnten.

Die Autoren dieser Arbeit, Zbigniew Fiedorowicz und Muthu Veerappan Ramalingam, haben einen „einfachen“ Weg gefunden, dies zu beweisen. Sie nutzten die Basis-Analysis (die Art von Mathematik, die in der Oberstufe oder im frühen Studium gelehrt wird), um zu zeigen, dass diese Beziehung nicht nur über die Gesamtgröße der Formen besteht, sondern darüber, wie sie Stück für Stück gemeinsam wachsen.

Die Geschichte der zwei Läufer

Um den Beweis zu verstehen, stellen Sie sich zwei Läufer auf zwei verschiedenen Bahnen vor.

Läufer A (Der Squircle-Läufer): Dieser Läufer befindet sich auf der „Squircle“-Bahn. Er läuft auf eine spezielle Weise, die man „Keplersche Bewegung“ nennt. Stellen Sie sich einen Planeten vor, der einen Stern umkreist; während er näher an den Stern herankomt, beschleunigt er, und während er weiter entfernt ist, wird er langsamer, aber er umschließt in gleichen Zeiten gleiche Flächen. Unser Läufer tut dasselbe: Er umschließt eine „Tortenstück“-Fläche mit einer konstanten Rate.
Läufer B (Der Lemniskaten-Läufer): Dieser Läufer befindet sich auf der „Lemniskaten“-Bahn (der Acht-Bahn). Er läuft mit einer konstanten Geschwindigkeit (gleichförmige Bewegung), genau wie ein Auto auf einer Autobahn.

Die magische Entdeckung:
Die Arbeit beweist, dass es eine perfekte Synchronisation zwischen den beiden gibt, wenn man beide Läufer gleichzeitig starten lässt.

Wenn Läufer A eine bestimmte Fläche auf dem Squircle umschließt, hat Läufer B eine bestimmte Strecke entlang der Lemniskate zurückgelegt. Die Beziehung lautet:

Die Strecke, die Läufer B zurücklegt, ist exakt $\sqrt{2}$ mal die Fläche, die Läufer A umschließt.

Es ist, als ob die „Fläche“ auf der einen Form im Grunde dasselbe ist wie die „Distanz“ auf der anderen Form, nur skaliert um den Faktor $\sqrt{2}$ .

Der „Projektions“-Trick

Wie beweisen sie das? Sie nutzen einen geometrischen Trick involving eines „Schattens“ oder einer „Projektion“.

Wählen Sie einen Punkt auf dem Squircle.
Zeichnen Sie eine Linie vom Zentrum der Form durch diesen Punkt, bis sie die Lemniskate trifft.
Die Arbeit zeigt, dass, wenn man den Abstand vom Zentrum zum Punkt auf der Lemniskate betrachtet und diesen quadriert, er sich perfekt zur Position des Punktes auf dem Squircle verhält.

Die Autoren zeigen, dass wenn man die Fläche des „Tortenstücks“ auf dem Squircle nimmt und sie mit $\sqrt{2}$ multipliziert, dies der Kurvenlänge auf der Lemniskate entspricht, vorausgesetzt, man misst die Kurve der Lemniskate ausgehend von einem spezifischen Punkt, der durch die Position des Squircles bestimmt wird.

Warum ist das eine „große Sache“?

Normalerweise erfordert die Berechnung der Fläche eines Squircles oder der Länge einer Lemniskate Integrale, die mit einfachen Formeln unmöglich zu lösen sind. Man benötigt normalerweise einen Computer oder sehr fortgeschrittene Mathematik, um einen Wert zu erhalten.

Die Schönheit dieser Arbeit liegt darin, dass sie Ihnen nicht nur eine Zahl liefert; sie liefert Ihnen eine geometrische Geschichte. Sie sagt: „Sie müssen nicht die ganze Form kennen, um die Beziehung zu verstehen. Beobachten Sie einfach, wie sich diese zwei Läufer bewegen, und Sie werden sehen, dass ihre Bewegungen durch die $\sqrt{2}$ -Regel miteinander gekoppelt sind.“

Die „Doppelabdeckung“-Analogie

Die Arbeit erwähnt auch ein faszinierendes Detail darüber, wie diese Formen miteinander verbunden sind.

Stellen Sie sich vor, die Lemniskate ist eine Loop-de-Loop-Bahn. Das Squircle ist eine einfachere Bahn. Die Arbeit legt nahe, dass, wenn man das Squircle auf die Lemniskate abbildet, das Squircle zweimal umlaufen muss, damit die Lemniskate einmal umläuft.

Denken Sie an ein Getriebesystem:

Das Squircle ist ein kleines Zahnrad mit 2 Zähnen.
Die Lemniskate ist ein großes Zahnrad mit 1 Zahn.
Während das kleine Zahnrad einmal dreht, dreht das große Zahnrad eine halbe Runde. Aber aufgrund der Art und Weise, wie die Mathematik funktioniert, vollendet der „Läufer“ auf der Lemniskate tatsächlich eine volle Runde, während der „Flächen-Umschließende“ auf dem Squircle zwei Runden macht.

Zusammenfassung der Ergebnisse

Das Haupttheorem: Es gibt eine direkte, punktweise Verbindung zwischen der Fläche eines Sektors auf dem Squircle und der Bogenlänge auf der Lemniskate.
Die Formel: Wenn $A$ die Fläche auf dem Squircle und $L$ die entsprechende Länge auf der Lemniskate ist, dann gilt $L = A \times \sqrt{2}$ .
Die Methode: Sie haben dies unter Verwendung der Basis-Analysis (Differenzial- und Integralrechnung) bewiesen und dabei die schwere Maschinerie der fortgeschrittenen Analysis vermieden.
Die „Physik“-Perspektive: Sie interpretieren dies als eine Verbindung zwischen zwei Arten der Bewegung: „Keplerscher Bewegung“ (Fläche umschließen) auf dem Squircle und „gleichförmiger Bewegung“ (konstante Geschwindigkeit) auf der Lemniskate.

Kurz gesagt: Die Arbeit nimmt ein komplexes, mysteriöses mathematisches Faktum und erklärt es mithilfe einer einfachen, visuellen Geschichte von zwei Läufern auf unterschiedlichen Bahnen, die durch den Faktor $\sqrt{2}$ perfekt synchronisiert sind.

Technisches Resümee: Ein elementarer Beweis einer bemerkenswerten Beziehung zwischen der Scherkel und der Lemniskaten

Problemstellung
Die Arbeit befasst sich mit einer bekannten, jedoch etwas rätselhaften Beziehung zwischen der Geometrie zweier spezifischer ebener Kurven: der Lemniskate, definiert durch $(x^2 + y^2)^2 = x^2 - y^2$ , und dem Squircle (einem speziellen Fall einer Lamé-Kurve), definiert durch $x^4 + y^4 = 1$ . Historisch wurde von Legendre und Dirichlet etabliert, dass die Gesamtlänge des Bogens der Lemniskate das $\sqrt{2}$ -fache der von der Squircle eingeschlossenen Gesamtfläche ist. Während Standardbeweise auf der Theorie der elliptischen Integrale und der Gammafunktion beruhen, strebt diese Arbeit danach, diese globale Beziehung auf eine lokale zu generalisieren: die Relation der Bogenlänge eines spezifischen Sektors der Lemniskate zur Fläche eines entsprechenden radialen Sektors der Squircle. Darüber hinaus zielen die Autoren darauf ab, einen elementaren Beweis dieser Beziehung unter Verwendung lediglich der elementaren Integralrechnung zu liefern, wobei sie die Maschinerie der elliptischen Funktionen vermeiden.

Methodik
Die Autoren verwenden einen geometrischen und analytischen Ansatz, der auf Polarkoordinaten und dem Fundamentalsatz der Differential- und Integralrechnung basiert.

Geometrischer Aufbau: Die Untersuchung konzentriert sich auf den ersten Quadranten. Sei $B$ ein Punkt auf der Lemniskate und $B'$ dessen radiale Projektion auf die Squircle. Ein entsprechender Punkt $C$ wird auf der Lemniskate so definiert, dass sein radialer Abstand $OC$ das Quadrat des radialen Abstands $OB$ ist (d. h. $OC = OB^2$ ).
Integrale Formulierung: Die Autoren drücken die Bogenlänge $l$ $l$ der Lemniskate vom Ursprung bis zum Punkt $C$ $C$ sowie die Fläche $a$ $a$ des squircularen Sektors, der durch $B'$ $B^{'}$ definiert ist, als bestimmte Integrale unter Verwendung des Polwinkels $\theta$ $θ$ aus.
- Das Integral der Bogenlänge der Lemniskate beinhaltet $\frac{1}{\sqrt{\cos(2\theta)}}$ .
- Das Flächenintegral der Squircle beinhaltet $\frac{1}{\sqrt{1 + \cos^2(2\theta)}}$ .
Differenzierungsstrategie: Anstatt die Integrale direkt auszuwerten (was nicht-elementare Stammfunktionen ergibt), definieren die Autoren eine Funktion $f(\alpha) = l - \frac{2a}{\sqrt{2}}$ , wobei $\alpha$ der Winkelparameter des Punktes $B$ ist. Sie differenzieren diesen Ausdruck nach $\alpha$ . Durch Anwendung der Kettenregel und der impliziten Beziehung zwischen den Winkeln der Punkte $B$ und $C$ (abgeleitet aus $OC = OB^2$ ) zeigen sie, dass die Ableitung identisch Null ist.
Randbedingung: Da die Ableitung Null ist, ist die Funktion konstant. Durch Auswertung des Grenzwerts, wenn die Punkte gegen den Ursprung (oder den Startpunkt $(1,0)$ ) streben, wird gezeigt, dass die Konstante Null ist, woraus folgt: $l = \frac{2a}{\sqrt{2}}$ .
Analytische Interpretation: Die geometrischen Ergebnisse werden in Form von „squigonometrischen“ und „lemniskaten“ Analoga zu trigonometrischen Funktionen uminterpretiert. Die Autoren setzen die Standard-Lemniskaten-Cosinus-Funktion ($cl$) und die $p$ -Norm-trigonometrischen Funktionen ( $\cos_4, \sin_4$ ) in Beziehung, um eine Identität abzuleiten, die die beiden Systeme verknüpft.
Alternativer Beweis via Siegel: Die Arbeit präsentiert auch einen alternativen Bewweis basierend auf einer Berechnung von Siegel, die eine Substitution zwischen Integralen der Form $\int \frac{dr}{\sqrt{1-r^4}}$ und $\int \frac{dt}{\sqrt{1+t^4}}$ beinhaltet. Dies verbindet die Bogenlänge der Lemniskate mit der Fläche der Squircle über eine andere geometrische Konfiguration, die einen Punkt $D$ auf der Lemniskate involviert.

Wesentliche Beiträge und Ergebnisse

Theorem 1 (Hauptresultat): Die Autoren beweisen, dass für einen Punkt $B$ $B$ auf der Lemniskate und seine radiale Projektion $B'$ $B^{'}$ auf die Squircle, falls $C$ $C$ ein Punkt auf der Lemniskate ist, sodass $OC = OB^2$ $O C = O B^{2}$ , die Bogenlänge der Lemniskate vom Ursprung bis $C$ $C$ genau das $\sqrt{2}$ $2$ -fache der Fläche des squircularen Sektors ist, der durch $B'$ $B^{'}$ definiert wird.
- Mathematisch: $l = \frac{2a}{\sqrt{2}}$ .
Korollar 2 (Globale Beziehung): Durch Integration über die gesamten Kurven stellen die Autoren das bekannte Ergebnis wieder her, dass die Gesamtfläche der Squircle $\varpi\sqrt{2}$ ist, wobei $\varpi$ die Lemniskatenkonstante (die Bogenlänge eines Lobus der Lemniskate) ist.
Elementarer Beweis: Die Arbeit liefert einen Beweis, der ausschließlich auf der elementaren Analysis beruht (Differenzierung unter dem Integralzeichen und der Fundamentalsatz der Differential- und Integralrechnung) und dadurch die Notwendigkeit fortgeschrittener Theorie elliptischer Integrale umgeht.
Analytische Identität (Theorem 9): Die geometrische Beziehung wird in eine analytische Identität übersetzt, die den Lemniskaten-Cosinus $cl$ und die $p=4$ trigonometrischen Funktionen verknüpft:
$cl(\sqrt{2}t) = \frac{\cos_4^2(t) - \sin_4^2(t)}{\cos_4^2(t) + \sin_4^2(t)}$
Physikalische Interpretation: Die Autoren interpretieren das Ergebnis physikalisch: Ein Teilchen, das sich mit „Kepler’scher Bewegung“ (konstanter Flächengeschwindigkeit) um die Squircle bewegt, entspricht einem Punkt, der sich mit konstanter Geschwindigkeit ( $\sqrt{2}$ ) entlang der Lemniskate bewegt. Dies etabliert eine doppelt überlagerte Verzweigung (double branched cover mapping) zwischen den beiden Kurven.
Siegels Verbindung: Die Arbeit zeigt auf, dass Siegels Berechnung bezüglich der Verdopplung der Lemniskatenbogenlänge einen alternativen, unabhängigen Beweis des Haupttheorems liefert, der die Fläche der Squircle über eine spezifische algebraische Substitution mit der Bogenlänge der Lemniskate verknüpft.

Bedeutung
Die Arbeit beansprucht ihre Bedeutung primär durch ihren pädagogischen und vereinenden Wert. Sie entmystifiziert eine Beziehung zwischen zwei unterschiedlichen geometrischen Objekten (der Squircle und der Lemniskate), die üblicherweise durch die schwere Maschinerie elliptischer Funktionen behandelt wird. Durch die Bereitstellung eines elementaren Beweises macht die Arbeit das Ergebnis für diejenigen zugänglich, die lediglich über Kenntnisse der elementaren Analysis verfügen.

Darüber hinaus hebt die Arbeit eine tiefere strukturelle Verbindung zwischen verschiedenen „analogen“ trigonometrischen Systemen hervor. Sie legt nahe, dass die Beziehung zwischen Bogenlänge und Fläche, die für den Kreis (wo die Bogenlänge das Zweifache der Flächengeschwindigkeit im Bogenmaß ist) trivial ist, in einer spezifischen, nicht-trivialen Weise auf das Paar Lemniskate und Squircle verallgemeinert werden kann. Die Arbeit stellt fest, dass diese spezifische geometrische Beziehung zuvor numerisch vom zweiten Autor entdeckt wurde und implizit in Siegels Arbeit über das Fagnano-Theorem enthalten ist, aber diese Arbeit bietet die erste explizite elementare Herleitung und geometrische Interpretation der lokalen Sektor-zu-Sektor-Korrespondenz.