🔢 mathematics

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

이 논문은 타원 적분이나 감마 함수에 의존하지 않고, 스쿼클( $x^4+y^4=1$ )의 부채꼴 넓이와 레므니스케이트(lemniscate)의 선분 호 길이 사이의 알려진 관계를 확장하여, 이들 사이의 일반화된 관계를 기초적인 적분학 및 기하학적 해석을 사용하여 증명하는 초보적인 증명을 제공한다.

원저자: Zbigniew Fiedorowicz, Muthu Veerappan Ramalingam

게시일 2026-06-03

📖 4 분 읽기🧠 심층 분석

CC BY 4.0

원저자: Zbigniew Fiedorowicz, Muthu Veerappan Ramalingam

원본 논문은 CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) 라이선스로 제공됩니다. ✨ 이것은 아래 논문에 대한 AI 생성 설명입니다. 저자가 작성하거나 승인한 것이 아닙니다. 기술적 정확성을 위해서는 원본 논문을 참조하세요. 전체 면책 조항 읽기

개요: 두 가지 기묘한 도형과 그 사이의 비밀스러운 연결 고리

종이 위에 그려진 아주 특이한 두 가지 모양을 상상해 보세요.

스쿼클 (Squircle): 이것은 "정사각형인 원"입니다. 원이 사각형 모양으로 부드럽게 찌그러진 듯한 모습이죠. 수학적으로는 $x^4 + y^4 = 1$ 이라는 방정식으로 정의됩니다.
레므니스케이트 (Lemniscate): 이것은 숫자 8 모양이나 꼬인 무한대 기호( $\infty$ )처럼 생겼습니다. 방정식은 $(x^2 + y^2)^2 = x^2 - y^2$ 입니다.

오랫동안 수학자들은 이 두 도형 사이에 신비로운 연결 고리가 있다는 사실을 알고 있었습니다. 구체적으로, 스쿼클 내부의 전체 면적과 레므니스케이트의 전체 길이가 특정 숫자 $\sqrt{2}$ (약 1.414)와 관련이 있다는 것을 알고 있었죠.

하지만 이 관계를 증명하는 기존의 방식들은 마치 망치를 사용해 퍼즐을 푸는 것과 같았습니다. 전문가들만이 이해할 수 있는 타원 적분(elliptic integrals)이나 감마 함수(gamma functions) 같은 매우 복잡하고 고급 수학을 필요로 했기 때문입니다.

이 논문의 저자들인 지브지엔 피에도로비치(Zbigniew Fiedorowicz)와 무투 비라판탐 라말링감(Muthu Veerappan Ramalingam)은 이 관계를 증명하는 "간단한" 방법을 찾아냈습니다. 그들은 고등학교나 대학교 초급 수준에서 배우는 기초 미적분학을 사용하여, 이 관계가 단순히 도형의 전체 크기에 관한 것이 아니라, 조각조각 어떻게 함께 성장하는지에 관한 것임을 보여주었습니다.

두 명의 주자 이야기

이 증명을 이해하기 위해, 서로 다른 트랙 위를 달리는 두 명의 주자를 상상해 보세요.

주자 A (스쿼클 주자): 이 주자는 "스쿼클" 트랙 위를 달립니다. 이 주자는 "케플러 운동(Keplerian motion)"이라는 특별한 방식으로 달립니다. 행성이 항성 주위를 공전하는 모습을 상상해 보세요. 행성이 별에 가까워지면 빨라지고, 멀어지면 느려지지만, 일정한 시간 동안 같은 면적을 쓸어냅니다(sweeps out). 우리 주자도 똑같이 행동합니다. 즉, 일정한 속도로 "파이 조각" 형태의 면적을 쓸어냅니다.
주자 B (레므니스케이트 주자): 이 주자는 "레므니스케이트"(8자 모양) 트크 위를 달립니다. 이 주자는 고속도로 위의 자동차처럼 일정한 속도(등속 운동)로 달립니다.

마법 같은 발견:
논문은 두 주자가 동시에 출발한다면, 이들 사이에 완벽한 동기화가 일어난다는 것을 증명합니다.

주자 A가 스쿼클에서 특정 면적을 쓸어내면, 주자 B는 레므니스케이트를 따라 특정 거리를 이동하게 됩니다. 그 관계는 다음과 같습니다:

주자 B가 이동한 거리는 주자 A가 쓸어낸 면적에 정확히 $\sqrt{2}$ 를 곱한 값과 같습니다.

마치 한 도형의 "면적"이 다른 도형의 "거리"와 비밀스럽게 연결되어 있으며, 단지 $\sqrt{2}$ 라는 계수에 의해 크기만 다를 뿐인 것과 같습니다.

"투영(Projection)" 기법

그들은 어떻게 이를 증명했을까요? "그림자" 또는 "투영"을 이용한 기하학적 기법을 사용합니다.

스쿼클 위의 한 점을 선택합니다.
중심에서 그 점을 통과하여 레므니스케이트에 닿을 때까지 선을 긋습니다.
논문은 중심에서 그 점까지의 거리와 그 제곱이 스쿼클 위 점의 위치와 완벽하게 연관되어 있음을 보여줍니다.

저자들은 스쿼클의 "파이 조각" 면적에 $\sqrt{2}$ 를 곱하면, 스쿼클의 위치에 의해 결정된 특정 지점부터 측정한 레므스케이트 곡선의 길이와 같아진다는 것을 보여줍니다.

이것이 왜 "중요한 일"인가요?

보통 스쿼클의 면적이나 레므니스케이트의 길이를 계산하려면 간단한 공식으로는 풀 수 없는 적분이 필요합니다. 보통 컴퓨터나 매우 고급 수학이 필요하죠.

이 논문의 아름다움은 단순히 숫자를 주는 데 그치지 않고, 하나의 기하학적인 이야기를 제공한다는 점에 있습니다. "전체 모양을 다 알 필요는 없다. 그저 두 주자가 어떻게 움직이는지 관찰하기만 하면 된다. 그러면 그들의 움직임이 $\sqrt{2}$ 라는 규칙에 의해 서로 묶여 있다는 것을 알게 될 것이다"라고 말해주는 것입니다.

"이중 피복(Double Cover)" 비유

논문은 또한 이 두 도형이 어떻게 연결되는지에 대한 흥미로운 세부 사항을 언급합니다.

레므니스케이트를 루프데루프(loop-de-loop) 트랙이라고 상상해 보세요. 스쿼클은 더 단순한 트랙입니다. 논문은 스쿼클을 레므니스케이트로 매핑할 때, 레므스케이트가 한 바퀴를 돌 때 스쿼클은 두 번 돌아야 한다고 제안합니다.

이것은 마치 기어 시스템과 같습니다:

스쿼클은 2개의 이빨을 가진 작은 기어입니다.
레므스케이트는 1개의 이빨을 가진 큰 기어입니다.
작은 기어가 한 번 돌 때, 큰 기어는 반 바퀴를 돕니다. 하지만 수학적 원리에 따르면, 레므스케이트 위의 "주자"가 한 바퀴를 완주하는 동안 스쿼클 위의 "면적을 쓰는 자"는 두 바퀴를 돌게 됩니다.

결과 요약

주요 정리: 스쿼클의 부채꼴 면적과 레므니스케이트의 호 길이 사이에는 직접적인 점 단위의 연결 고리가 존재합니다.
공식: 만약 $A$ 가 스쿼클의 면적이고 $L$ 이 그에 대응하는 길이라면, $L = A \times \sqrt{2}$ 입니다.
방법: 그들은 고급 해석학의 무거운 도구들을 피하고, 오직 기초 미적분(미분과 적분)만을 사용하여 이를 증명했습니다.
"물리학적" 관점: 그들은 이를 두 종류의 운동, 즉 스쿼클에서의 "케플러 운동"(면적을 쓰는 운동)과 레므니스케이트에서의 "등속 운동"(일정한 속도) 사이의 연결로 해석합니다.

요약하자면, 이 논문은 복잡하고 신비로운 수학적 사실을, 서로 다른 트랙 위에서 $\sqrt{2}$ 라는 계수에 의해 완벽하게 동기화되어 달리는 두 명의 주자라는 단순하고 시각적인 이야기로 설명해 줍니다.

기술 요약: 스쿼클(Squircle)과 레므니스케이트(Lemniscate) 사이의 놀라운 관계에 대한 초등적 증명

문제 제기
본 논문은 두 가지 특정 평면 곡선의 기하학적 구조 사이에 존재하는, 다소 신비로운 것으로 알려진 관계를 다룬다. 대상이 되는 곡선은 $(x^2 + y^2)^2 = x^2 - y^2$ 로 정의되는 **레므니스케이트(lemniscate)**와, $x^4 + y^4 = 1$ 로 정의되는 스쿼클(라메 곡선의 특수한 경우)이다. 역사적으로 르장드르(Legendre)와 디리클레(Dirichlet)는 레므니스케이트의 전체 호의 길이(arc length)가 스쿼클이 둘러싼 전체 면적의 $\sqrt{2}$ 배라는 사실을 확립하였다. 표준적인 증명들은 타원 적분(elliptic integrals)과 감마 함수(gamma function)의 이론에 의존하지만, 본 논문은 이 전역적(global) 관계를 국소적(local) 관계로 일반화하여, 특정 레므니스케이트 섹터의 호의 길이를 그에 대응하는 방사형 스쿼클 섹터의 면적과 연결하고자 한다. 또한, 저자들은 타원 함수라는 복잡한 도구 없이 기초적인 적분학만을 사용하여 이 관계에 대한 **초등적 증명(elementary proof)**을 제공하는 것을 목표로 한다.

방법론
저자들은 극좌표계와 미적분학의 기본 정리(fundamental theorem of calculus)를 중심으로 하는 기하학적 및 해석적 접근법을 사용한다.

기하학적 설정: 연구는 제1사분면에 집중한다. $B$ 를 레므니스케이트 위의 점이라 하고, $B'$ 를 스쿼클 위로의 방사형 투영점이라 하자. 이에 대응하는 점 $C$ 는 $OC $가$ OB $의 제곱($ OC = OB^2$)이 되도록 레므니스케이트 위에 정의된다.
적분 정식화: 저자들은 폴라 각도(polar angle) $\theta$ $θ$ 에 관한 정적분 형태로서 레므니스케이트의 원점부터 $C$ $C$ 까지의 호의 길이 $l$ $l$ 과 스쿼클 섹터의 면적 $a$ $a$ 를 표현한다.
- 레므니스케이트의 호 길이 적분은 $\frac{1}{\sqrt{\cos(2\theta)}}$ 를 포함한다.
- 스쿼클의 면적 적분은 $\frac{1}{\sqrt{1 + \cos^2(2\theta)}}$ 를 포함한다.
미분 전략: 적분을 직접 계산하는 대신(직접 계산 시 비초등적 부정적분이 발생함), 저자들은 $f(\alpha) = l - \frac{2a}{\sqrt{2}}$ 라는 함수를 정의하며, 여기서 $\alpha$ 는 점 $B$ 의 각도 매개변수이다. 이 식을 $\alpha$ 에 대해 미분함으로써, 체인 룰(chain rule)과 점 $B$ 와 점 $C$ 의 각도 사이의 암시적 관계( $OC = OB^2$ 로부터 유도됨)를 적용하여 미분값이 항등적으로 0임을 입증한다.
경계 조건: 미분값이 0이므로, 이 함수는 상수 함수이다. 점들이 원점(또는 시작점 $(1,0)$ )으로 접근하는 극한값을 평가함으로써, 이 상수가 0임을 보여 $l = \frac{2a}{\sqrt{2}}$ 임을 증명한다.
해석적 해석: 기하학적 결과는 "스쿼니고메트릭(squigonometric)" 및 "레므니스케이트(lemniscate)" 아날로그 삼각함수의 관점에서 재해석된다. 저자들은 표준 레므니스케이트 코사인($cl $)과$ p$-노름(p-norm) 삼각함수( $\cos_4, \sin_4$ )를 연관시켜 두 체계를 잇는 항등식을 유도한다.
Siegel을 통한 대안적 증의: 논문은 또한 $\int \frac{dr}{\sqrt{1-r^4}}$ 와 $\int \frac{dt}{\sqrt{1+t^4}}$ 형태의 적분 사이의 치환을 포함하는 Siegel의 계산을 바탕으로 한 대안적 증명을 제시한다. 이는 점 $D$ 가 있는 레므니스케이트의 기하학적 구성을 통해 레므니스케이트의 호 길이를 스쿼클의 면적과 연결한다.

주요 기여 및 결과

정리 1 (주요 결과): 저자들은 레므니스케이트 위의 점 $B$ $B$ 와 그 방사형 투영점 $B'$ $B^{'}$ 에 대하여, 만약 $C$ $C$ 가 $OC = OB^2$ $O C = O B^{2}$ 를 만족하는 레므니스케이트 위의 점이라면, 원점부터 $C$ $C$ 까지의 레므니스케이트 호의 길이는 $B'$ $B^{'}$ 에 의해 정의된 스쿼클 섹터 면적의 정확히 $\sqrt{2}$ $2$ 배가 된다는 것을 증명한다.
- 수식: $l = \frac{2a}{\sqrt{2}}$ .
따름 정리 2 (전역적 관계): 곡선 전체에 대해 적분함으로써, 저자들은 스쿼클의 전체 면적이 $\varpi\sqrt{2}$ (여기서 $\varpi$ 는 레므니스케이트의 한 엽(lobe)의 호 길이인 레므니스케이트 상수)라는 기존의 결과를 회복한다.
초등적 증명: 본 논문은 타원 적분론의 고급 이론을 우회하여, 미분 가능한 적분(differentiation under the integral sign)과 미적분학의 기본 정리만을 사용하는 증명을 제공한다.
해석적 항등식 (정리 9): 기하학적 관계는 레므니스케이트 코사인 함수 $cl $과$ p=4$ 삼각함수 사이의 다음과 같은 해석적 항등식으로 변환된다:
$cl(\sqrt{2}t) = \frac{\cos_4^2(t) - \sin_4^2(t)}{\cos_4^2(t) + \sin_4^2(t)}$
물리적 해석: 저자들은 이 결과를 물리적으로 해석한다: 스쿼클 주위를 "케플러 운동"(일정한 면적 속도)으로 움직이는 입자는 레므니스케이트를 따라 일정한 속도( $\sqrt{2}$ )로 움직이는 점에 대응한다. 이는 두 곡선 사이의 이중 분지 피복(double branched cover) 사상을 확립한다.
Siegel과의 연결성: 논문은 레므니스케이트 호의 배가(doubling)에 관한 Siegel의 계산이 스쿼클의 면적을 레므니스케이트의 호 길이와 연결하는 특정 대수적 치환을 통해 주 정리의 독립적인 대안적 증명을 제공함을 보여준다.

의의
본 논문은 주로 그 교육적 및 통합적 가치에서 의의를 갖는다. 이 논문은 보통 타원 함수라는 무거운 도구를 통해 다루어지는 두 가지 서로 다른 기하학적 대상(스쿼클과 레므니스케이트) 사이의 관계를 명료하게 설명한다. 초등적 증명을 제공함으로써, 저자들은 이 결과를 기초적인 미적분학 배경만을 가진 사람들도 접근 가능하게 만든다.

나아가, 이 연구는 서로 다른 "아날로그" 삼각 체계 간의 더 깊은 구조적 연결을 강조한다. 이는 원에서 (라디안 단위의) 부채꼴 면적이 호의 길이의 절반인 것과 같이, 호의 길이와 면적 사이의 관계가 레므니스케이트와 스쿼클 쌍에서도 특정한, 비자명한 방식으로 일반화될 수 있음을 시사한다. 논문은 이 특정한 기하학적 관계가 이전에 제2저자에 의해 수치적으로 발견되었으며, Siegel의 파가노 정리(Fagnano's theorem)에 암묵적으로 존재하지만, 본 논문은 최초로 명시적인 초등적 유도와 기하학적 해석을 제공한다고 밝히고 있다.