🔢 mathematics

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

Cet article fournit une preuve élémentaire utilisant le calcul intégral de base et une interprétation géométrique pour une relation généralisée reliant les aires des secteurs du squircle ( $x^4+y^4=1$ ) aux longueurs d'arc de segments de la lemniscate, étendant la connexion connue entre leur aire totale et leur longueur sans recourir aux intégrales elliptiques ou à la fonction gamma.

Auteurs originaux : Zbigniew Fiedorowicz, Muthu Veerappan Ramalingam

Publié 2026-06-03

📖 6 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Zbigniew Fiedorowicz, Muthu Veerappan Ramalingam

Article original sous licence CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète

La vue d'ensemble : Deux formes étranges et un lien secret

Imaginez que vous avez deux formes très inhabituelles dessinées sur une feuille de papier.

Le Squircle : C'est un « cercle carré ». Il ressemble à un cercle qui aurait été doucement aplati pour devenir un carré. Mathématiquement, il est défini par l'équation $x^4 + y^4 = 1$ .
La Lemniscate : Elle ressemble à un chiffre huit ou à un symbole de l'infini ( $\infty$ ) torsadé. Elle est définie par l'équation $(x^2 + y^2)^2 = x^2 - y^2$ .

Pendant longtemps, les mathématiciens ont su qu'il existait un lien mystérieux entre ces deux formes. Plus précisément, ils savaient que l'aire totale à l'intérieur du squircle et la longueur totale de la lemniscate sont liées par un nombre spécifique : $\sqrt{2}$ (environ 1,414).

Cependant, les anciennes preuves de ce fait étaient comme essayer de résoudre un puzzle avec une masse. Elles nécessitaient des mathématiques avancées et complexes (intégrales elliptiques et fonctions gamma) que seuls les experts pouvaient comprendre.

Les auteurs de cet article, Zbigniew Fiedorowicz et Muthu Veerappan Ramalingam, ont trouvé un moyen « simple » de le prouver. Ils ont utilisé le calcul de base (celui enseigné au lycée ou au début de l'université) pour montrer que cette relation ne concerne pas seulement la taille totale des formes, mais la façon dont elles croissent ensemble, pièce par pièce.

L'histoire des deux coureurs

Pour comprendre la preuve, imaginez deux coureurs sur deux pistes différentes.

Le Coureur A (Le coureur du Squircle) : Ce coureur est sur la piste du « Squircle ». Il court d'une manière spéciale appelée « mouvement képlérien ». Imaginez une planète en orbite autour d'une étoile ; à mesure qu'elle se rapproche de l'étoile, elle accélère, et à mesure qu'elle s'en éloigne, elle ralentit, mais elle balaie des aires égales en des temps égaux. Notre coureur fait la même chose : il balaie une « part de tarte » d'aire à un taux constant.
Le Coureur B (Le coureur de la Lemniscate) : Ce coureur est sur la piste de la « Lemniscate » (le chiffre huit). Il court à une vitesse constante (mouvement uniforme), tout comme une voiture sur une autoroute.

La découverte magique :
L'article prouve que si vous lancez les deux coureurs en même temps, il existe une synchronisation parfaite entre eux.

Si le Coureur A balaie une certaine quantité d'aire sur le squircle, le Coureur B aura parcouru une certaine distance le long de la lemniscate. La relation est la suivante :

La distance parcourue par le Coureur B est exactement $\sqrt{2}$ fois l'aire balayée par le Coureur A.

C'est comme si l'« aire » sur une forme était secrètement la même chose que la « distance » sur l'autre, simplement mise à l'échelle par un facteur de $\sqrt{2}$ .

L'astuce de la « Projection »

Comment le prouvent-ils ? Ils utilisent une astuce géométrique impliquant une « ombre » ou une « projection ».

Choisissez un point sur le Squircle.
Tracez une ligne partant du centre de la forme passant par ce point jusqu'à ce qu'elle touche la Lemniscate.
L'article montre que si l'on regarde la distance entre le centre et le point sur la Lemniscate, et qu'on l'élève au carré, cela se rapporte parfaitement à la position du point sur le Squircle.

Les auteurs montrent que si vous prenez l'aire de la « part de tarte » sur le squircle et que vous la multipliez par $\sqrt{2}$ , cela est égal à la longueur de la courbe sur la lemniscate, à condition de mesurer la courbe de la lemniscate en partant d'un point spécifique déterminé par la position du squircle.

Pourquoi est-ce une « grande affaire » ?

Habituellement, calculer l'aire d'un squircle ou la longueur d'une lemniscate implique des intégrales impossibles à résoudre avec des formules simples. On a généralement besoin d'un ordinateur ou de mathématiques très avancées pour obtenir un nombre.

La beauté de cet article est qu'il ne vous donne pas seulement un nombre ; il vous donne une histoire géométrique. Il dit : « Vous n'avez pas besoin de connaître toute la forme pour comprendre la relation. Observez simplement comment ces deux coureurs se déplacent, et vous verrez que leurs mouvements sont verrouillés ensemble par cette règle de $\sqrt{2}$ . »

L'analogie du « Double Recouvrement »

L'article mentionne également un détail fascinant sur la façon dont ces formes se connectent.

Imaginez que la Lemniscate soit une piste en boucle (loop-de-loop). Le Squircle est une piste plus simple. L'article suggère que si l'on projette le Squircle sur la Lemniscate, le Squircle doit faire deux tours pour que la Lemniscate en fasse un seul.

Pensez à un système d'engrenages :

Le Squircle est un petit engrenage avec 2 dents.
La Lemniscate est un grand engrenage avec 1 dent.
Alors que le petit engrenage tourne une fois, le grand engrenage tourne une demi-fois. Mais à cause de la façon dont les mathématiques fonctionnent, le « coureur » sur la lemniscate complète en réalité un tour complet pendant que le « balayeur » sur le squircle fait deux tours.

Résumé des résultats

Le Théorème Principal : Il existe un lien direct, point par point, entre l'aire d'un secteur sur le squircle et la longueur d'arc sur la lemniscate.
La Formule : Si $A$ est l'aire sur le squircle et $L$ est la longueur correspondante sur la lemniscate, alors $L = A \times \sqrt{2}$ .
La Méthode : Ils ont prouvé cela en utilisant uniquement le calcul de base (dérivation et intégration), évitant ainsi les outils lourds de l'analyse avancée.
La Vue « Physique » : Ils interprètent cela comme une connexion entre deux types de mouvement : le « mouvement képlérien » (balayer l'aire) sur le squircle et le « mouvement uniforme » (vitesse constante) sur la lemniscate.

En bref, l'article prend un fait mathématique complexe et mystérieux et l'explique à l'aide d'une histoire visuelle simple de deux coureurs sur des pistes différentes qui sont parfaitement synchronisés par un facteur de $\sqrt{2}$ .

Résumé Technique : Une Preuve Élémentaire d'une Relation Remarquable entre le Squircle et la Lemniscate

Énoncé du Problème
L'article traite d'une relation connue, bien que quelque peu mystérieuse, entre la géométrie de deux courbes planes spécifiques : la lemniscate, définie par $(x^2 + y^2)^2 = x^2 - y^2$ , et le squircle (un cas spécifique d'une courbe de Lamé), défini par $x^4 + y^4 = 1$ . Historiquement, il a été établi par Legendre et Dirichlet que la longueur d'arc totale de la lemniscate est $\sqrt{2}$ fois l'aire totale délimitée par le squircle. Alors que les preuves standards reposent sur la théorie des intégrales elliptiques et de la fonction gamma, cet article cherche à généraliser cette relation globale à une relation locale : relier la longueur d'arc d'un secteur spécifique de la lemniscate à l'aire d'un secteur radial correspondant du squircle. De plus, les auteurs visent à fournir une preuve élémentaire de cette relation en utilisant uniquement le calcul intégral de base, en évitant la machinerie des fonctions elliptiques.

Méthodologie
Les auteurs emploient une approche géométrique et analytique centrée sur les coordonnées polaires et le théorème fondamental du calcul.

Configuration Géométrique : L'étude se concentre sur le premier quadrant. Soit $B$ un point sur la lemniscate et $B'$ sa projection radiale sur le squircle. Un point correspondant $C$ est défini sur la lemniscate tel que sa distance radiale $OC$ est le carré de la distance radiale $OB$ (c'est-à-dire $OC = OB^2$ ).
Formulation Intégrale : Les auteurs expriment la longueur d'arc $l$ $l$ de la lemniscate de l'origine au point $C$ $C$ et l'aire $a$ $a$ du secteur squirculaire défini par $B'$ $B^{'}$ sous forme d'intégrales définies impliquant l'angle polaire $\theta$ $θ$ .
- L'intégrale de la longueur d'arc de la lemniscate implique $\frac{1}{\sqrt{\cos(2\theta)}}$ .
- L'intégrale de l'aire du squircle implique $\frac{1}{\sqrt{1 + \cos^2(2\theta)}}$ .
Stratégie de Différentiation : Au lieu d'évaluer directement les intégrales (qui produisent des primitives non élémentaires), les auteurs définissent une fonction $f(\alpha) = l - \frac{2a}{\sqrt{2}}$ , où $\alpha$ est le paramètre angulaire du point $B$ . Ils différencient cette expression par rapport à $\alpha$ . En appliquant la règle de la chaîne et la relation implicite entre les angles des points $B$ et $C$ (dérivée de $OC = OB^2$ ), ils démontrent que la dérivée est identiquement nulle.
Condition aux Limites : Puisque la dérivite est nulle, la fonction est constante. En évaluant la limite lorsque les points approchent l'origine (ou le point de départ $(1,0)$ ), la constante est montrée comme étant nulle, prouvant que $l = \frac{2a}{\sqrt{2}}$ .
Interprétation Analytique : Les résultats géométriques sont réinterprétés en termes de fonctions trigonométriques analogues de type « squigonométrique » et « lemniscatique ». Les auteurs relient le cosinus lemniscatique standard ($cl$) et les fonctions trigonométriques $p=4$ ( $\cos_4, \sin_4$ ) pour dériver une identité reliant les deux systèmes.
Preuve Alternative via Siegel : L'article présente également une preuve alternative basée sur un calcul de Siegel impliquant une substitution entre des intégrales de la forme $\int \frac{dr}{\sqrt{1-r^4}}$ et $\int \frac{dt}{\sqrt{1+t^4}}$ . Cela relie la longueur d'arc de la lemniscate à l'aire du squircle via une configuration géométrique différente impliquant un point $D$ sur la lemniscate.

Contributions Clés et Résultats

Théorème 1 (Résultat Principal) : Les auteurs prouvent que pour un point $B$ $B$ sur la lemniscate et sa projection radiale $B'$ $B^{'}$ sur le squircle, si $C$ $C$ est un point sur la lemniscate tel que $OC = OB^2$ $O C = O B^{2}$ , alors la longueur d'arc de la lemniscate de l'origine à $C$ $C$ est exactement $\sqrt{2}$ $2$ fois l'aire du secteur squirculaire défini par $B'$ $B^{'}$ .
- Mathématiquement : $l = \frac{2a}{\sqrt{2}}$ .
Corollaire 2 (Relation Globale) : En intégrant sur l'ensemble des courbes, les auteurs retrouvent le résultat connu selon lequel l'aire totale du squircle est $\varpi\sqrt{2}$ , où $\varpi$ est la constante lemniscatique (la longueur d'arc d'un lobe de la lemniscate).
Preuve Élémentaire : L'article fournit une preuve qui repose uniquement sur le calcul élémentaire (différentiation sous le signe intégral et le théorème fondamental du calcul), contournant le besoin de la théorie avancée des intégrales elliptiques.
Identité Analytique (Théorème 9) : La relation géométrique est traduite en une identité analytique reliant le cosinus lemniscatique $cl$ et les fonctions trigonométriques de $p=4$ :
$cl(\sqrt{2}t) = \frac{\cos_4^2(t) - \sin_4^2(t)}{\cos_4^2(t) + \sin_4^2(t)}$
Interprétation Physique : Les auteurs interprètent le résultat physiquement : une particule se déplaçant avec un « mouvement képlérien » (vitesse de surface constante) autour du squircle correspond à un point se déplaçant avec une vitesse uniforme ( $\sqrt{2}$ ) le long de la lemniscate. Cela établit un revêtement double ramifié entre les deux courbes.
Connexion de Siegel : L'article démontre que le calcul de Siegel concernant le doublement de la longueur d'arc de la lemniscate fournit une preuve alternative et indépendante du théorème principal, reliant l'aire du squircle à la longueur d'arc de la lemniscate par une substitution algébrique spécifique.

Signification

L'article revendique une importance principalement liée à sa valeur pédagogique et unificatrice. Il démystifie une relation entre deux objets géométriques distincts (le squircle et la lemniscate) qui est habituellement traitée par la lourde machinerie des fonctions elliptiques. En fournissant une preuve élémentaire, les auteurs rendent le résultat accessible à ceux qui ne possèdent qu'un bagage de calcul de base.

De plus, ce travail met en lumière une connexion structurelle plus profonde entre différents systèmes trigonométriques « analogues ». Il suggère que la relation entre la longueur d'arc et l'aire, qui est triviale pour le cercle (où la longueur d'arc est le double de l'aire du secteur en radians), se généralise d'une manière spécifique et non triviale au couple lemniscate-squircle. L'article note que cette relation géométrique spécifique avait été découverte numériquement par le second auteur et est implicitement présente dans les travaux de Siegel sur le théorème de Fagnano, mais cet article offre la première dérivation élémentaire explicite et l'interprétation géométrique de la correspondance locale secteur-à-secteur.