[논문 리뷰] The Descartes circles theorem and division by zero calculus

Hiroshi Okumura, Saburou Saitoh|arXiv (Cornell University)|2017. 11. 14.

Mathematics and Applications참고 문헌 7인용 수 25

한 줄 요약

이 논문은 0/0 = 1/0 = z/0 = 0인 제로 나눗셈 해석학을 적용하여, 직선과 점 원을 포함한 열화된 경우에 디스카르트의 원 정리를 확장한다. 곡률을 1/r로 재해석하고 특이점에서 제로 나눗셈 해석학을 사용함으로써, 저자들은 이론이 한계 경우에서도 유효하다는 것을 보이며, 백오프 원과 같은 새로운 기하적 통찰을 제공한다. 이는 직선의 경우(r = ∞ → 곡률 0)와 점 원의 경우(r = 0 → 곡률 0)에서도 일관된 곡률 해석을 가능하게 한다.

ABSTRACT

From the viewpoint of the division by zero $(0/0=1/0=z/0=0)$ and the division by zero calculus, we will show that in the very beautiful theorem by Descartes on three touching circles is valid for lines and points for circles except for one case. However, for the exceptional case, we can obtain interesting results from the division by zero calculus.

연구 동기 및 목표

• 직선과 점 원을 포함한 열화된 경우에 디스카르트의 원 정리를 확장하는 것, 이는 전통적으로 배제되는 경우이다.
• 제로 나눗셈 해석학(0/0 = 1/0 = z/0 = 0)이 원 기하학에서 특이한 극한을 분석하는 데 일관되고 의미 있는 프레임워크를 제공한다는 것을 보여주는 것.
• r₃ = 0(점 원) 또는 r₃ = ∞(직선)일 때 디스카르트 공식이 붕괴하는 것처럼 보이는 문제를 제로 나눗셈 해석학을 적용하여 해결하는 것.
• 이 해석학을 통해 자연스럽게 회복되는 기하적 구성—예를 들어 백오프 원과 아르벨로스 관련 원들—이 어떻게 유도되는지 보여주는 것.
• 제로 나눗셈 해석학이 직선과 점 원에 대해 곡률을 자연스럽고 통합적으로 해석함으로써 기하학적 직관과 일치하는지를 확립하는 것.

제안 방법

• 고립된 특이점인 r = 0과 r = ∞에서도 f(a) = C₀로 정의되는 로렌트 급수 전개를 통한 제로 나눗셈 해석학 적용, 즉 고립된 특이점에서도 함수의 상수항을 정의함.
• 두 주어진 원 C₁과 C₂에 접하는 원의 매개변수 표현을 z로 매개변수화하고, z → ∞(즉, r₃ → 0)로의 극한을 취함.
• 얻어진 방정식을 w = 1/z로 변환하고, w = 0에서 상수항, 일차항, 이차항을 평가함으로써 극한 기하 객체를 추출함.
• 곡률을 1/r로 재해석하고, r = 0(점 원)과 r = ∞(직선) 모두 곡률이 0이 되도록 하여 제로 나눗셈 해석학과 일관되게 함.
• 직각 또는 극한 원을 포함하는 기하적 구성의 해석을 위해 tan(π/2) = 0이라는 항등식을 활용함.
• 방정식 ax = b에 일반화된 역행렬(Moore-Penrose 역행렬)을 적용하고, a = 0, b ≠ 0일 때 x = 0으로 해석함으로써 불가능성 또는 이상점의 표현으로 삼음.

실험 결과

연구 질문

• RQ1 디스카르트의 원 정리가 하나 이상의 원이 직선이나 점 원으로 열화된 경우에도 의미 있게 확장될 수 있는가?
• RQ2 제로 나눗셈 해석학을 사용하여 디스카르트 공식을 열화된 경우에 적용했을 때 어떤 기하적 구성이 도출되는가?
• RQ3 r₃ = 0 또는 r₃ = ∞일 때 디스카르트 공식의 특이점은 제로 나눗셈 해석학을 통해 어떻게 해결되는가?
• RQ4 백오프 원과 아르벨로스 기하학에서 알려진 특수 원들이 이 해석학을 통해 디스카르트 공식의 극한 경우로 유도될 수 있는가?
• RQ5 제로 나눗셈 해석학 프레임워크 하에서 직선과 점 원의 곡률에 대한 기하학적 해석은 무엇인가?

주요 결과

• 한 직선과 두 원의 경우, 디스카르트 공식은 알려진 결과로 줄어든다: 1/√r₄ = 1/√r₁ + 1/√r₂ (내접원) 또는 1/√r₄ = 1/√r₂ - 1/√r₁ (다른 내접원), 여기서 r₃ = 0이다.
• 점 원(r₃ = 0)으로의 극한을 취할 때 제로 나눗셈 해석학은 비자명한 해를 도출한다: 1/r₄ = 1/r₁ + 1/r₂로, 이는 반지름이 r₁r₂/(r₁ + r₂)인 백오프 원에 해당한다.
• 제로 나눗셈 해석학은 C₁, C₂ 및 아르벨로스의 외부 원에 접하는 두 번째 극한 원을 생성하며, 반지름은 r₁r₂(r₁ + r₂)/(r₁² + r₁r₂ + r₂²)이다.
• 세 점 원(r₁ = r₂ = r₃ = 0)의 경우 공식은 r₄ = 0을 도출하며, 이는 접하는 원이 또한 점이 되는 열화된 경우로, 정리와 일치한다.
• 세 직선(r₁ = r₂ = r₃ = ∞)의 경우 곡률은 0이며, 공식은 r₄ = 0을 도출하여 비열화된 접하는 원이 존재하지 않음을 나타내며, 이는 기하학적 불가능성과 일치한다.
• 제로 나눗셈 해석학은 r₃ = 0에서 디스카르트 공식의 특이점을 해결하여, 제로 나눗셈 해석학이 새로운 기하 객체인 백오프 원을 드러내는 데 유한하고 의미 있는 값을 곡률과 반지름에 할당함.