🔢 mathematics

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

Dit artikel biedt een elementair bewijs met behulp van basisintegraalrekening en een geometrische interpretatie voor een gegeneraliseerde relatie die de oppervlakten van sectoren van de squircle ( $x^4+y^4=1$ ) verbindt met de booglengten van segmenten van de lemniscaat, waarbij de bekende verbinding tussen hun totale oppervlakte en lengte wordt uitgebreid zonder gebruik te maken van elliptische integralen of de gammafunctie.

Oorspronkelijke auteurs: Zbigniew Fiedorowicz, Muthu Veerappan Ramalingam

Gepubliceerd 2026-06-03

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Zbigniew Fiedorowicz, Muthu Veerappan Ramalingam

Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer

Het Grote Plaatje: Twee Vreemde Vormen en een Geheime Connectie

Stel je voor dat je twee zeer ongewone vormen op een vel papier hebt getekend.

De Squircle: Dit is een "vierkante cirkel". Het ziet eruit als een cirkel die voorzichtig is platgedrukt tot een vierkant. Wiskundig wordt het gedefinieerd door de vergelijking $x^4 + y^4 = 1$ .
De Lemniscate: Deze ziet eruit als een figuur-acht of een gedraaid oneindigheidssymbool ( $\infty$ ). Het wordt gedefinieerd door de vergelijking $(x^2 + y^2)^2 = x^2 - y^2$ .

Lange tijd wisten wiskundigen dat er een mysterieuze link bestond tussen deze twee vormen. Specifiek wisten ze dat de totale oppervlakte binnen de squircle en de totale lengte van de lemniscate gerelateerd zijn door een specifiek getal: $\sqrt{2}$ (ongeveer 1,414).

De oude bewijzen hiervoor waren echter alsof je een puzzel probeert op te lossen met een sloophamer. Ze vereisten geavanceerde, complexe wiskunde (elliptische integralen en gammafuncties) die alleen experts konden begrijpen.

De auteurs van dit artikel, Zbigniew Fiedorowicz en Muthu Veerappan Ramalingam, hebben een "eenvoudige" manier gevonden om dit te bewijzen. Ze gebruikten basiscalculus (het soort dat op de middelbare school of het vroege college wordt onderwezen) om aan te tonen dat deze relatie niet alleen gaat over de totale grootte van de vormen, maar over hoe ze samen groeien, stukje bij beetje.

Het Verhaal van de Twee Hardlopers

Om het bewijs te begrijpen, stel je twee hardlopers voor op twee verschillende banen.

Hardloper A (De Squircle-hardloper): Deze hardloper bevindt zich op de "Squircle"-baan. De hardloper rent op een speciale manier, genaamd "Keplerse beweging". Stel je een planeet voor die rond een ster draait; naarmate de planeet dichter bij de ster komt, versnelt hij, en naarmate hij verder weg komt, vertraagt hij, maar hij veegt in gelijke tijd gelijke oppervlaktes af. Onze hardloper doet hetzelfde: hij veegt een "taartpunt" van een oppervlakte af met een constante snelheid.
Hardloper B (De Lemniscate-hardloper): Deze hardloper bevindt zich op de "Lemniscate"-baan (de figuur-acht). De hardloper rent met een constante snelheid (uniforme beweging), net als een auto op de snelweg.

De Magische Ontdekking:
Het artikel bewijst dat als je beide hardlopers tegelijkertijd start, er een perfecte synchronisatie tussen hen bestaat.

Als Hardloper A een specifieke hoeveelheid oppervlakte afveegt op de squircle, zal Hardloper B een specifieke afstand hebben afgelegd langs de lemniscate. De relatie is:

De afstand die Hardloper B aflegt, is exact $\sqrt{2}$ keer de oppervlakte die Hardloper A afveegt.

Het is alsof de "oppervlakte" op de ene vorm in feite hetzelfde is als de "afstand" op de andere vorm, alleen geschaald door een factor $\sqrt{2}$ .

De "Projectie"-truc

Hoe bewijzen ze dit? Ze gebruiken een geometrische truc met een "schaduw" of een "projectie".

Kies een punt op de Squircle.
Teken een lijn vanuit het middelpunt van de vorm door dat punt totdat deze de Lemniscate raakt.
Het artikel laat zien dat als je naar de afstand van het middelpunt tot het punt op de Lemniscate kijkt, en deze kwadrateert, het perfect samenhangt met de positie van het punt op de Squircle.

De auteurs laten zien dat als je de oppervlakte van de "taartpunt" op de squircle neemt en deze vermenigvuldigt met $\sqrt{2}$ , dit gelijk is aan de lengte van de curve op de lemniscate, mits je de lengte van de lemniscate-curve meet vanaf een specifiek punt dat bepaald wordt door de positie van de squircle.

Waarom is dit een "Big Deal"?

Normaal gesproken vereist het berekenen van de oppervlakte van een squircle of de lengte van een lemniscate integralen die onmogelijk op te lossen zijn met eenvoudige formules. Je hebt meestal een computer of zeer geavanceerde wiskunde nodig om een getal te krijgen.

De schoonheid van dit artikel is dat het je niet alleen een getal geeft; het geeft je een geometrisch verhaal. Het zegt: "Je hoeft niet de hele vorm te kennen om de relatie te begrijpen. Kijk gewoon hoe deze twee hardlopers bewegen, en je zult zien dat hun bewegingen aan elkaar gekoppeld zijn door deze $\sqrt{2}$ -regel."

De "Double Cover"-analogie

Het artikel vermeldt ook een fascinerend detail over hoe deze vormen met elkaar verbonden zijn.

Stel je voor dat de Lemniscate een loop-de-loop baan is. De Squircle is een simpelere baan. Het artikel sugg�t dat als je de Squircle op de Lemniscate projecteert, de Squircle twee keer rond moet gaan om de Lemniscate één keer rond te laten gaan.

Denk aan een tandwielstelsel:

De Squircle is een klein tandwiel met 2 tanden.
De Lemniscate is een groot tandwiel met 1 tand.
Terwijl het kleine tandwiel één keer draait, draait het grote tandwiel een halve keer. Maar door de manier waarop de wiskunde werkt, voltooit de "hardloper" op de Lemniscate eigenlijk een volledige ronde terwijl de "veger" op de Squircle twee rondjes doet.

Samenvatting van de Resultaten

Het Hoofdstelling: Er is een directe, punt-voor-punt link tussen de oppervlakte van een sector op de squircle en de booglengte op de lemniscate.
De Formule: Als $A$ de oppervlakte op de squircle is en $L$ de bijbehorende lengte op de lemniscate, dan is $L = A \times \sqrt{2}$ .
De Methode: Ze hebben dit bewezen met enkel basiscalculus (differentiatie en integratie), waarbij ze de zware machines van de geavanceerde analyse hebben vermeden.
De "Fysica"-visie: Ze interpreteren dit als een verbinding tussen twee soorten beweging: "Keplerse beweging" (het afvegen van oppervlakte) op de squircle en "Uniforme beweging" (constante snelheid) op de lemniscate.

Kortom, het artikel neemt een complexe, mysterieuze wiskundige feit en legt het uit met een eenvoudig, visueel verhaal van twee hardlopers op verschillende banen die perfect door een factor $\sqrt{2}$ met elkaar gesynchroniseerd zijn.

Technische Samenvatting: Een Elementair Bewijs van een Opmerkelijke Relatie tussen de Lemniscaat en de Squircle

Probleemstelling
Het artikel behandelt een bekende, maar enigszins mysterieuze relatie tussen de geometrie van twee specifieke planaire curven: de lemniscaat, gedefinieerd door $(x^2 + y^2)^2 = x^2 - y^2$ , en de squircle (een specifiek geval van een Lamé-curve), gedefinieerd door $x^4 + y^4 = 1$ . Historisch gezien is door Legendre en Dirichlet vastgesteld dat de totale booglengte van de lemniscaat $\sqrt{2}$ keer de totale oppervlakte is die door de squircle wordt omsloten. Hoewel standaardbewijzen steunen op de theorie van elliptische integralen en de gammafunctie, streeft dit artikel ernaar om deze globale relatie te generaliseren naar een lokale relatie: het relateren van de booglengte van een specifieke sector van de lemniscaat aan de oppervlakte van een overeenkomstige radiale sector van de squircle. Bovendien beogen de auteurs een elementair bewijs van deze relatie te leveren met behulp van enkel basis integraalrekening, waarbij zij het mechanisme van elliptische functies vermijden.

Methodologie
De auteurs hanteren een geometrische en analytische benadering die gecentreerd is rond poolcoördinaten en de fundamentele stelling van de integraalrekening.

Geometrische Opzet: De studie richt zich op het eerste kwadrant. Laat $B$ een punt op de lemniscaat zijn en $B'$ de radiale projectie daarvan op de squircle. Een overeenkomstig punt $C$ wordt gedefinieerd op de lemniscaat zodanig dat de radiale afstand $OC$ het kwadraat is van de radiale afstand $OB $(d.w.z.$ OC = OB^2$).
Integrale Formulering: De auteurs drukken de booglengte $l$ $l$ van de lemniscaat vanaf de oorsprong tot $C$ $C$ en de oppervlakte $a$ $a$ van de squirculaire sector gedefinieerd door $B'$ $B^{'}$ uit als bepaalde integralen die de poolhoek $\theta$ $θ$ bevatten.
- De booglengte-integraal van de lemniscaat bevat $\frac{1}{\sqrt{\cos(2\theta)}}$ .
- De oppervlakte-integraal van de squircle bevat $\frac{1}{\sqrt{1 + \cos^2(2\theta)}}$ .
Differentiatiestrategie: In plaats van de integralen direct te evalueren (wat niet-elementaire primitieve functies oplevert), definiëren de auteurs een functie $f(\alpha) = l - \frac{2a}{\sqrt{2}}$ , waarbij $\alpha$ de hoekparameter van punt $B$ is. Zij differentiëren deze uitdrukking met betrekking tot $\alpha$ . Door de kettingregel toe te passen en de impliciete relatie tussen de hoeken van de punten $B$ en $C$ te gebruiken (afgeleid uit $OC = OB^2$ ), tonen zij aan dat de afgeleide identiek nul is.
Randvoorwaarde: Omdat de afgeleide nul is, is de functie constant. Door de limiet te evalueren naarmate de punten de oorsprong (of het startpunt $(1,0)$ ) naderen, wordt aangetoond dat de constante nul is, wat bewijst dat $l = \frac{2a}{\sqrt{2}}$ .
Analytische Interpretatie: De geometrische resultaten worden geherinterpreteerd in termen van "squigonometrische" en "lemniscaat" analogen van trigonometrische functies. De auteurs relateren de standaard lemniscaat-cosinus ($cl$) en de $p=4$ trigonometrische functies ( $\cos_4, \sin_4$ ) om een identiteit af te leiden die de twee systemen verbindt.
Alternatief Bewijs via Siegel: Het artikel presenteert ook een alternatief bewijs gebaseerd op een berekening door Siegel, waarbij een substitutie wordt toegepast tussen integralen van de vorm $\int \frac{dr}{\sqrt{1-r^4}}$ en $\int \frac{dt}{\sqrt{1+t^4}}$ . Dit verbindt de booglengte van de lemniscaat met de oppervlakte van de squircle via een andere geometrische configuratie waarbij een punt $D$ op de lemniscaat betrokken is.

Kernbijdragen en Resultaten

Stelling 1 (Hoofdresultaat): De auteurs bewijzen dat voor een punt $B$ $B$ op de lemniscaat en zijn radiale projectie $B'$ $B^{'}$ op de squircle, indien $C$ $C$ een punt op de lemniscaat is zodanig dat $OC = OB^2$ $O C = O B^{2}$ , de booglengte van de lemniscaat vanaf de oorsprong tot $C$ $C$ exact $\sqrt{2}$ $2$ keer de oppervlakte van de squirculaire sector gedefinieerd door $B'$ $B^{'}$ is.
- Wiskundig: $l = \frac{2a}{\sqrt{2}}$ .
Corollary 2 (Globale Relatie): Door over de gehele curven te integreren, herstellen de auteurs het bekende resultaat dat de totale oppervlakte van de squircle $\varpi\sqrt{2}$ is, waarbij $\varpi$ de lemniscaatconstante is (de booglengte van één lob van de lemniscaat).
Elementair Bewijs: Het artikel biedt een bewijs dat uitsluitend berust op basis van calculus (differentiatie onder het integraalteken en de fundamentele stelling van de integraalrekening), waarbij de noodzaak voor geavanceerde elliptische integraaltheorie wordt omzeild.
Analytische Identiteit (Stelling 9): De geometrische relatie wordt vertaald naar een analytische identiteit die de lemniscaat-cosinusfunctie $cl$ en de $p=4$ trigonometrische functies verbindt:
$cl(\sqrt{2}t) = \frac{\cos_4^2(t) - \sin_4^2(t)}{\cos_4^2(t) + \sin_4^2(t)}$
Fysieke Interpretatie: De auteurs interpreteren het resultaat fysiek: een deeltje dat met "Kepleriaanse beweging" (constante oppervlaktesnelheid) rond de squircle beweegt, komt overeen met een punt dat met een constante snelheid ( $\sqrt{2}$ ) langs de lemniscaat beweegt. Dit vestigt een dubbel vertakt dekking-mapping tussen de twee curven.
Siegel's Verbinding: Het artikel toont aan dat de berekening van Siegel betreffende de verdubbeling van de lemniscaat-booglengte een alternatief, onafhankelijk bewijs levert voor de hoofdstelling, waarbij de oppervlakte van de squircle aan de booglengte van de lemniscaat wordt gekoppeld via een specifieke algebraïsche substitutie.

Betekenis

Het artikel claimt zijn significantie primair in de pedagogische en verenigende waarde. Het ontmystifieert een relatie tussen twee verschillende geometrische objecten (de squircle en de lemniscaat) die gewoonlijk behandeld wordt met de zware machinerie van elliptische functies. Door een elementair bewijs te bieden, maakt het de resultaten toegankelijk voor degenen met enkel een achtergrond in basiscalculus.

Verder benadrukt het werk een diepere structurele verbinding tussen verschillende "analoge" trigonometrische systemen. Het suggereert dat de relatie tussen booglengte en oppervlakte, die triviaal is voor de cirkel (waar de booglengte tweemaal de oppervlakte van de sector is in radialen), op een specifieke, niet-triviale manier generaliseert naar het paar lemniscaat en squircle. Het artikel merkt op dat deze specifieke geometrische relatie eerder numeriek werd ontdekt door de tweede auteur en impliciet aanwezig is in het werk van Siegel over de stelling van Fagnano, maar dat dit artikel het eerste expliciete elementaire afleiding en de geometrische interpretatie van de lokale sector-naar-sector correspondentie biedt.