🔢 mathematics

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

Este artículo proporciona una demostración elemental utilizando cálculo integral básico y una interpretación geométrica para una relación generalizada que conecta las áreas de los sectores del escuádril (o esquirla) ( $x^4+y^4=1$ ) con las longitudes de arco de segmentos de la lemniscata, extendiendo la conexión conocida entre su área total y su longitud sin depender de integrales elípticas o de la función gamma.

Autores originales: Zbigniew Fiedorowicz, Muthu Veerappan Ramalingam

Publicado 2026-06-03

📖 5 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Zbigniew Fiedorowicz, Muthu Veerappan Ramalingam

Artículo original bajo licencia CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

La visión general: Dos formas extrañas y una conexión secreta

Imagina que tienes dos formas muy inusuales dibujadas en un papel.

La Esquirla (Squircle): Es un "círculo cuadrado". Parece un círculo que ha sido suavemente aplastado para darle forma de cuadrado. Matemáticamente, se define por la ecuación $x^4 + y^4 = 1$ .
La Lemniscata: Tiene la apariencia de un ocho o un símbolo de infinito retorcido ( $\infty$ ). Se define por la ecuación $(x^2 + y^2)^2 = x^2 - y^2$ .

Durante mucho tiempo, los matemáticos supieron que existía un vínculo misterioso entre estas dos formas. Específicamente, sabían que el área total dentro de la esquirla y la longitud total de la lemniscata están relacionadas por un número específico: $\sqrt{2}$ (aproximadamente 1.414).

Sin embargo, las pruebas antiguas para esto eran como intentar resolver un rompecabezas usando un mazo. Requerían matemáticas avanzadas y complejas (integrales elípticas y funciones gamma) que solo los expertos podían entender.

Los autores de este artículo, Zbigniew Fiedorowicz y Muthu Veerappan Ramalingam, han encontrado una forma "simple" de probarlo. Utilizaron cálculo básico (el que se enseña en la secundaria o al principio de la universidad) para demostrar que esta relación no se trata solo del tamaño total de las formas, sino de cómo crecen juntas, pieza por pieza.

La historia de los dos corredores

Para entender la prueba, imagina a dos corredores en dos pistas diferentes.

Corredor A (El corredor de la Esquirla): Este corredor está en la pista de la "Esquirla". Corre de una manera especial llamada "movimiento Kepleriano". Imagina un planeta orbitando una estrella; a medida que se acerca a la estrella, acelera, y a medida que se aleja, desacelera, pero barre áreas iguales en tiempos iguales. Nuestro corredor hace lo mismo: barre una "rebanada de pastel" de área a un ritmo constante.
Corredor B (El corredor de la Lemniscata): Este corredor está en la pista de la "Lemniscata" (figura en ocho). Corre a una velocidad constante (movimiento uniforme), tal como un coche en una autopista.

El descubrimiento mágico:
El artículo demuestra que si haces partir a ambos corredores al mismo tiempo, existe una sincronización perfecta entre ellos.

Si el Corredor A barre una cantidad específica de área en la esquirla, el Corredor B habrá recorrido una distancia específica a lo largo de la lemniscata. La relación es:

La distancia que recorre el Corredor B es exactamente $\sqrt{2}$ veces el área que barre el Corredor A.

Es como si el "área" en una forma fuera secretamente lo mismo que la "distancia" en la otra, solo que escalada por un factor de $\sqrt{2}$ .

El truco de la "Proyección"

¿Cómo lo prueban? Utilizan un truco geomético que involucra una "sombra" o una "proyección".

Elige un punto en la Esquirla.
Dibuja una línea desde el centro de la forma pasando por ese punto hasta que golpee la Lemniscata.
El artículo muestra que si observas la distancia desde el centro hasta el punto en la Lemniscata, y la elevas al cuadrado, se relaciona perfectamente con la posición del punto en la Esquirla.

Los autores demuestran que si tomas el área de la "rebanada de pastel" en la esquirla y la multiplicas por $\sqrt{2}$ , esto es igual a la longitud de la curva en la lemniscata, siempre que midas la curva de la lemniscata comenzando desde un punto específico determinado por la posición de la esquirla.

¿Por qué es esto "importante"?

Normalmente, calcular el área de una esquirla o la longitud de una lemniscata implica integrales que son imposibles de resolver con fórmulas simples. Normalmente necesitas una computadora o matemáticas muy avanzadas para obtener un número.

La belleza de este artículo es que no solo te da un número; te da una historia geométrica. Dice: "No necesitas conocer la forma completa para entender la relación. Solo observa cómo se mueven estos dos corredores y verás que sus movimientos están bloqueados por esta regla de $\sqrt{2}$ ".

La analogía de la "Doble Cubierta"

El artículo también menciona un detalle fascinante sobre cómo se conectan estas formas.

Imagina que la Lemniscata es una pista de loop-de-loop. La Esquirla es una pista más simple. El artículo sugiere que si mapeas la Esquirla sobre la Lemniscata, la Esquirla tiene que dar dos vueltas para que la Lemniscata dé una vuelta.

Piensa en esto como un sistema de engranajes:

La Esquirla es un engranaje pequeño con 2 dientes.
La Lemniscata es un engranaje grande con 1 diente.
Mientras el engranaje pequeño gira una vez, el engranaje grande gira media vez. Pero debido a la forma en que funciona la matemática, el "corredor" en la Lemniscata en realidad completa una vuelta completa mientras el "barredor" en la Esquirla hace dos vueltas.

Resumen de los resultados

El Teorema Principal: Existe un vínculo directo, punto por punto, entre el área de un sector en la esquirla y la longitud de arco en la lemniscata.
La Fórmula: Si $A$ es el área en la esquirla y $L$ es la longitud correspondiente en la lemniscata, entonces $L = A \times \sqrt{2}$ .
El Método: Lo demostraron utilizando únicamente cálculo básico (derivación e integración), evitando la pesada maquinaria del análisis avanzado.
La Visión de la "Física": Lo interpretan como una conexión entre dos tipos de movimiento: "movimiento Kepleriano" (barrer área) en la esquirla y "movimiento uniforme" (velocidad constante) en la lemniscata.

En resumen, el artículo toma un hecho matemático complejo y misterioso y lo explica usando una historia visual simple de dos corredores en pistas diferentes que están perfectamente sincronizados por un factor de $\sqrt{2}$ .

Resumen Técnico: Una prueba elemental de una relación notable entre la escuádrula y la lemniscata

Planteamiento del problema
El artículo aborda una relación conocida, aunque algo misteriosa, entre la geometría de dos curvas planas específicas: la lemniscata, definida por $(x^2 + y^2)^2 = x^2 - y^2$ , y la escuádrula (un caso específico de una curva de Lamé), definida por $x^4 + y^4 = 1$ . Históricamente, se estableció que Legendre y Dirichlet que la longitud de arco total de la lemniscata es $\sqrt{2}$ veces el área total encerrada por la escúadrula. Mientras que las pruebas estándar dependen de la teoría de las integrales elípticas y la función gamma, este artículo busca generalizar esta relación global a una local: relacionar la longitud de arco de un sector específico de la lemniscata con el área de un sector radial correspondiente de la escúadrula. Además, los autores pretenden proporcionar una prueba elemental de esta relación utilizando únicamente el cálculo integral básico, evitando la maquinaria de las funciones elípticas.

Metodología
Los autores emplean un enfoque geométrico y analítico centrado en las coordenadas polares y el teorema fundamental del cálculo.

Configuración geométrica: El estudio se centra en el primer cuadrante. Sea $B$ un punto en la lemniscata y $B'$ su proyección radial sobre la escúdrula. Se define un punto correspondiente $C$ en la lemniscata tal que su distancia radial $OC$ es el cuadrado de la distancia radial $OB$ (es decir, $OC = OB^2$ ).
Formulación integral: Los autores expresan la longitud de arco $l$ $l$ de la lemniscata desde el origen hasta $C$ $C$ y el área $a$ $a$ del sector de la escúdrula definido por $B'$ $B^{'}$ como integrales definidas que involucran el ángulo polar $\theta$ $θ$ .
- La integral de la longitud de arco de la lemniscata involucra $\frac{1}{\sqrt{\cos(2\theta)}}$ .
- La integral del área de la escúdrula involucra $\frac{1}{\sqrt{1 + \cos^2(2\theta)}}$ .
Estrategia de diferenciación: En lugar de evaluar las integrales directamente (lo que produce antiderivadas no elementales), los autores definen una función $f(\alpha) = l - \frac{2a}{\sqrt{2}}$ , donde $\alpha$ es el parámetro angular del punto $B$ . Diferencian esta expresión con respecto a $\alpha$ . Al aplicar la regla de la cadena y la relación implícita entre los ángulos de los puntos $B$ y $C$ (derivada de $OC = OB^2$ ), demuestran que la derivada es identicamente cero.
Condición de contorno: Dado que la derivada es cero, la función es constante. Al evaluar el límite cuando los puntos se aproximan al origen (o al punto de partida $(1,0)$ ), se demuestra que la constante es cero, probando que $l = \frac{2a}{\sqrt{2}}$ .
Interpretación analítica: Los resultados geométricos se reinterpretan en términos de funciones trigonométricas análogas de la "esquigonometría" y de la lemniscata. Los autores relacionan el coseno de la lemniscata estándar ($cl$) y las funciones trigonométricas de $p=4$ ( $\cos_4, \sin_4$ ) para derivar una identidad que vincula ambos sistemas.
Prueba alternativa vía Siegel: El artículo también presenta una prueba alternativa basada en un cálculo de Siegel que involucra una sustitución entre integrales de la forma $\int \frac{dr}{\sqrt{1-r^4}}$ y $\int \frac{dt}{\sqrt{1+t^4}}$ . Esto conecta la longitud de arco de la lemniscata con el área de la escúdrula mediante una configuración geométrica diferente que involucra un punto $D$ en la lemniscata.

Contribuciones clave y resultados

Teorema 1 (Resultado principal): Los autores demuestran que para un punto $B$ $B$ en la lemniscata y su proyección radial $B'$ $B^{'}$ en la escúdrula, si $C$ $C$ es un punto en la lemniscata tal que $OC = OB^2$ $O C = O B^{2}$ , entonces la longitud de arco de la lemniscata desde el origen hasta $C$ $C$ es exactamente $\sqrt{2}$ $2$ veces el área del sector de la escúdrula definido por $B'$ $B^{'}$ .
- Matemáticamente: $l = \frac{2a}{\sqrt{2}}$ .
Corolario 2 (Relación global): Al integrar sobre las curvas completas, los autores recuperan el resultado conocido de que el área total de la escúdrula es $\varpi\sqrt{2}$ , donde $\varpi$ es la constante de la lemniscata (la longitud de arco de un lóbulo de la lemniscata).
Prueba elemental: El artículo proporciona una prueba que depende únicamente del cálculo básico (diferenciación bajo el signo de la integral y el teorema fundamental del cálculo), evitando la necesidad de la teoría avanzada de las integrales elípticas.
Identidad analítica (Teorema 9): La relación geométrica se traduce en una identidad analítica que relaciona la función coseno de la lemniscata $cl$ y las funciones trigonométricas de $p=4$ :
$cl(\sqrt{2}t) = \frac{\cos_4^2(t) - \sin_4^2(t)}{\cos_4^2(t) + \sin_4^2(t)}$
Interpretación física: Los autores interpretan el resultado físicamente: una partícula que se mueve con "movimiento kepleriano" (velocidad de área constante) alrededor de la escúdrula corresponde a un punto que se mueve con velocidad uniforme ( $\sqrt{2}$ ) a lo largo de la lemniscata. Esto establece un mapeo de recubrimiento de doble rama entre las dos curvas.
Conexión de Siegel: El artículo demuestra que el cálculo de Siegel respecto a la duplicación de la longitud de arco de la lemniscata proporciona una prueba alternativa e independiente del teorema principal, vinculando el área de la escúdrula con la longitud de arco de la lemniscata a través de una sustitución algebraica específica.

Significancia
El artículo reclama su significancia principalmente por su valor pedagógico y unificador. Desmitifica una relación entre dos objetos geométricos distintos (la escúdrula y la lemniscata) que usualmente se trata mediante la pesada maquinaria de las funciones elípticas. Al proporcionar una prueba elemental, los autores hacen que el resultado sea accesible para aquellos que solo poseen conocimientos de cálculo básico.

Además, el trabajo destaca una conexión estructural más profunda entre diferentes sistemas trigonométricos "análogos". Sugiere que la relación entre la longitud de arco y el área, que es trivial para el círculo (donde la longitud de arco es el doble del área del sector en radianes), se generaliza de una manera específica y no trivial para el par lemniscata-escúdrula. El artículo señala que esta relación geométrica específica fue descubierta numéricamente previamente por el segundo autor y está implícitamente presente en el trabajo de Siegel sobre el teorema de Fagnano, pero este artículo ofrece la primera derivación elemental explícita y la interpretación geométrica de la correspondencia local entre sectores.