🔢 mathematics

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

Este artigo fornece uma prova elementar utilizando o cálculo integral básico e uma interpretação geométrica para uma relação generalizada que conecta as áreas de setores da esquircla ( $x^4+y^4=1$ ) aos comprimentos de arco de segmentos da lemniscata, estendendo a conexão conhecida entre sua área total e comprimento sem depender de integrais elípticas ou da função gama.

Autores originais: Zbigniew Fiedorowicz, Muthu Veerappan Ramalingam

Publicado 2026-06-03

📖 5 min de leitura🧠 Leitura aprofundada

CC BY 4.0

Autores originais: Zbigniew Fiedorowicz, Muthu Veerappan Ramalingam

Artigo original sob licença CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta é uma explicação gerada por IA do artigo abaixo. Não foi escrita nem endossada pelos autores. Para precisão técnica, consulte o artigo original. Ler aviso legal completo

O Panorama Geral: Duas Formas Estranhas e uma Conexão Secreta

Imagine que você tem duas formas muito incomuns desenhadas em um pedaço de papel.

O Esfericírculo (Squircle): Este é um "círculo quadrado". Parece um círculo que foi gentilmente esmagado em um formato de quadrado. Matematicamente, é definido pela equação $x^4 + y^4 = 1$ .
A Lemniscata: Esta parece um número oito ou um símbolo de infinito torcido ( $\infty$ ). É definida pela equação $(x^2 + y^2)^2 = x^2 - y^2$ .

Por muito tempo, os matemáticos souberam que havia uma ligação misteriosa entre essas duas formas. Especificamente, eles sabiam que a área total dentro do esfericírculo e o comprimento total da lemniscata estavam relacionados por um número específico: $\sqrt{2}$ (aproximadamente 1,414).

No entanto, as provas antigas para isso eram como tentar resolver um quebra-cabeça usando uma marreta. Elas exigiam matemática avançada e complexa (integrais elípticas e funções gama) que apenas especialistas conseguiam entender.

Os autores deste artigo, Zbigniew Fiedorowicz e Muthu Veerappan Ramalingam, encontraram uma maneira "simples" de provar isso. Eles usaram o cálculo básico (aquele ensinado no ensino médio ou no início da faculdade) para mostrar que essa relação não é apenas sobre o tamanho total das formas, mas sobre como elas crescem juntas, peça por peça.

A História dos Dois Corredores

Para entender a prova, imagine dois corredores em duas pistas diferentes.

Corredor A (O Corredor do Esfericírculo): Este corredor está na pista do "Esfericírculo". Ele corre de uma maneira especial chamada "movimento Kepleriano". Imagine um planeta orbitando uma estrela; conforme ele se aproxima da estrela, ele acelera, e conforme se afasta, ele desacelera, mas ele varre áreas iguais em tempos iguais. Nosso corredor faz o mesmo: ele varre uma "fatia de torta" de área a uma taxa constante.
Corredor B (O Corredor da Lemniscata): Este corredor está na pista da "Lemniscata" (figura em oito). Ele corre a uma velocidade constante (movimento uniforme), exatamente como um carro em uma rodovia.

A Descoberta Mágica:
O artigo prova que, se você começar ambos os corredores ao mesmo tempo, há uma sincronização perfeita entre eles.

Se o Corredor A varrer uma quantidade específica de área no esfericírculo, o Corredor B terá percorrido uma distância específica ao longo da lemniscata. A relação é:

A distância que o Corredor B percorre é exatamente $\sqrt{2}$ vezes a área que o Corredor A varre.

É como se a "área" em uma forma fosse secretamente a mesma coisa que a "distância" na outra, apenas escalonada por um fator de $\sqrt{2}$ .

O Truque da "Projeção"

Como eles provam isso? Eles usam um truque geométrico envolvendo uma "sombra" ou uma "projeção".

Escolha um ponto no Esfericírculo.
Desenhe uma linha partindo do centro da forma através desse ponto até que ela atinja a Lemniscata.
O artigo mostra que, se você observar a distância do centro até o ponto na Lemniscata e elevar ao quadrado, ela se relaciona perfeitamente com a posição do ponto no Esfericírculo.

Os autores mostram que, se você pegar a área da "fatia de torta" no esfericírculo e multiplicá-la por $\sqrt{2}$ , isso será igual ao comprimento da curva na lemniscata, desde que você meça a curva da lemniscata começando de um ponto específico determinado pela posição do esfericírculo.

Por que isso é um "Grande Negócio"?

Normalmente, calcular a área de um esfericírculo ou o comprimento de uma lemniscata envolve integrais que são impossíveis de resolver com fórmulas simples. Você geralmente precisa de um computador ou de matemática muito avançada para obter um número.

A beleza deste artigo é que ele não te dá apenas um número; ele te dá uma história geométrica. Ele diz: "Você não precisa conhecer a forma inteira para entender a relação. Basta observar como esses dois corredores se movem, e você verá que seus movimentos estão travados pelo $\sqrt{2}$ ".

A Analogia do "Duplo Cobertura" (Double Cover)

O artigo também menciona um detalhe fascinante sobre como essas formas se conectam.

Imagine que a Lemniscata é uma pista de loop. O Esfericírculo é uma pista mais simples. O artigo sugere que, se você mapear o Esfericírculo sobre a Lemniscata, o Esfericírculo tem que dar duas voltas para que a Lemniscata dê uma volta.

Pense em um sistema de engrenagens:

O Esfericírculo é uma engrenagem pequena com 2 dentes.
A Lemniscata é uma engrenagem grande com 1 dente.
Conforme a engrenagem pequena gira uma vez, a engrenagem grande gira meia vez. Mas, devido à forma como a matemática funciona, o "corredor" na Lemniscata na verdade completa uma volta enquanto o "varredor" no Esfericírculo faz duas voltas.

Resumo dos Resultados

O Teorema Principal: Existe uma ligação direta, ponto a ponto, entre a área de um setor no esfericírculo e o comprimento de arco na lemniscata.
A Fórmula: Se $A$ é a área no esfericírculo e $L$ é o comprimento correspondente na lemniscata, então $L = A \times \sqrt{2}$ .
O Método: Eles provaram isso usando apenas o cálculo básico (derivação e integração), evitando a pesada maquinaria da análise avançada.
A Visão da "Física": Eles interpretam isso como uma conexão entre dois tipos de movimento: "movimento Kepleriano" (varrendo área) no esfericírculo e "movimento uniforme" (velocidade constante) na lemniscata.

Em suma, o artigo pega um fato matemático complexo e misterioso e o explica usando uma história visual simples de dois corredores em pistas diferentes que estão perfeitamente sincronizados por um fator de $\sqrt{2}$ .

Resumo Técnico: Uma Prova Elementar de uma Relação Notável Entre o Escuírculo e a Lemniscata

Enunciado do Problema
O artigo aborda uma relação conhecida, porém um tanto misteriosa, entre a geometria de duas curvas planas específicas: a lemniscata, definida por $(x^2 + y^2)^2 = x^2 - y^2$ , e o escuírculo (um caso específico de uma curva de Lamé), definido por $x^4 + y^4 = 1$ . Historicamente, foi estabelecido por Legendre e Dirichlet que o comprimento de arco total da lemniscata é $\sqrt{2}$ vezes a área total delimitada pelo escuírculo. Embora as provas padrão dependam da teoria das integrais elípticas e da função gama, este artigo busca generalizar essa relação global para uma relação local: relacionar o comprimento de arco de um setor específico da lemniscata com a área de um setor radial correspondente do escuírculo. Além disso, os autores visam fornecer uma prova elementar desta relação usando apenas o cálculo integral básico, evitando o aparato das funções elípticas.

Metodologia
Os autores empregam uma abordagem geométrica e analítica centrada em coordenadas polares e no teorema fundamental do cálculo.

Configuração Geométrica: O estudo foca no primeiro quadrante. Seja $B$ um ponto na lemniscata e $B'$ sua projeção radial sobre o escuírculo. Um ponto correspondente $C$ é definido na lemniscata tal que sua distância radial $OC$ é o quadrado da distância radial $OB$ (ou seja, $OC = OB^2$ ).
Formulação Integral: Os autores expressam o comprimento de arco $l$ $l$ da lemniscata da origem até $C$ $C$ e a área $a$ $a$ do setor escuircular definido por $B'$ $B^{'}$ como integrais definidas envolvendo o ângulo polar $\theta$ $θ$ .
- A integral do comprimento de arco da lemniscata envolve $\frac{1}{\sqrt{\cos(2\theta)}}$ .
- A integral da área do escuírculo envolve $\frac{1}{\sqrt{1 + \cos^2(2\theta)}}$ .
Estratégia de Diferenciação: Em vez de avaliar as integrais diretamente (que resultam em antiderivadas não elementares), os autores definem uma função $f(\alpha) = l - \frac{2a}{\sqrt{2}}$ , onde $\alpha$ é o parâmetro angular do ponto $B$ . Eles diferenciam esta expressão em relação a $\alpha$ . Ao aplicar a regra da cadeia e a relação implícita entre os ângulos dos pontos $B$ e $C$ (derivada de $OC = OB^2$ ), eles demonstram que a derivada é identicamente zero.
Condição de Contorno: Como a derivada é zero, a função é constante. Ao avaliar o limite conforme os pontos se aproximam da origem (ou do ponto inicial $(1,0)$ ), mostra-se que a constante é zero, provando que $l = \frac{2a}{\sqrt{2}}$ .
Interpretação Analítica: Os resultados geométricos são reinterpretados em termos de funções trigonométricas análogas de "squigonometria" e de "lemniscata". Os autores relacionam o cosseno da lemniscata padrão ($cl$) e as funções trigonométricas de $p=4$ ( $\cos_4, \sin_4$ ) para derivar uma identidade que liga os dois sistemas.
Prova Alternativa via Siegel: O artigo também apresenta uma prova alternativa baseada em um cálculo de Siegel envolvendo uma substituição entre integrais da forma $\int \frac{dr}{\sqrt{1-r^4}}$ e $\int \frac{dt}{\sqrt{1+t^4}}$ . Isso conecta o comprimento de arco da lemniscata à área do escuírculo através de uma configuração geométrica diferente envolvendo um ponto $D$ na lemniscata.

Contribuições Principais e Resultados

Teorema 1 (Resultado Principal): Os autores provam que para um ponto $B$ $B$ na lemniscata e sua projeção radial $B'$ $B^{'}$ no escuírculo, se $C$ $C$ é um ponto na lemniscata tal que $OC = OB^2$ $O C = O B^{2}$ , então o comprimento de arco da lemniscata da origem até $C$ $C$ é exatamente $\sqrt{2}$ $2$ vezes a área do setor escuircular definido por $B'$ $B^{'}$ .
- Matematicamente: $l = \frac{2a}{\sqrt{2}}$ .
Corolário 2 (Relação Global): Ao integrar sobre as curvas inteiras, os autores recuperam o resultado conhecido de que a área total do escuírculo é $\varpi\sqrt{2}$ , onde $\varpi$ é a constante da lemniscata (o comprimento de arco de um lobo da lemniscata).
Prova Elementar: O artigo fornece uma prova que depende exclusivamente do cálculo básico (diferenciação sob o sinal da integral e do teorema fundamental do cálculo), contornando a necessidade da teoria avançada de integrais elípticas.
Identidade Analítica (Teorema 9): A relação geométrica é traduzida em uma identidade analítica que relaciona a função cosseno da lemniscata $cl$ e as funções 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)}$
Interpretação Física: Os autores interpretam o resultado fisicamente: uma partícula movendo-se com "movimento Kepleriano" (velocidade areal constante) ao redor do escuírculo corresponde a um ponto movendo-se com velocidade uniforme ( $\sqrt{2}$ ) ao longo da lemniscata. Isso estabelece um mapeamento de cobertura dupla ramificada entre as duas curvas.
Conexão de Siegel: O artigo demonstra que o cálculo de Siegel referente ao dobro do comprimento da lemniscata fornece uma prova alternativa e independente do teorema principal, ligando a área do escuírculo ao comprimento de arco da lemniscata através de uma substituição algébrica específica.

Significância
O artigo reivindica significância principalmente em seu valor pedagógico e unificador. Ele desmistifica uma relação entre dois objetos geométricos distintos (o escuírculo e a lemniscata) que é usualmente tratada através do pesado aparato das funções elípticas. Ao fornecer uma prova elementar, os autores tornam o resultado acessível para aqueles que possuem apenas um conhecimento de cálculo básico.

Além disso, o trabalho destaca uma conexão estrutural mais profunda entre diferentes sistemas trigonométricos "análogos". Sugere que a relação entre comprimento de arco e área, que é trivial para o círculo (onde o comprimento de arco é o dobro da área do setor em radianos), generaliza-se de uma forma específica e não trivial para o par lemniscata e escuírculo. O artigo observa que esta relação geométrica específica foi descoberta numericamente anteriormente pelo segundo autor e está implicitamente presente no trabalho de Siegel sobre o teorema de Fagnano, mas este artigo oferece a primeira derivação elementar explícita e interpretação geométrica da correspondência local entre setores.