[논문 리뷰] Wasan geometry with the division by 0

Hiroshi Okumura|arXiv (Cornell University)|2017. 11. 19.

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

한 줄 요약

이 논문은 전통적인 일본 수학인 와산 기하학을 원이 선이나 점으로 변형되는 특이한 경우로 확장하기 위해 나눗셈 by zero(a/0 = 0)의 일관된 정의를 도입한다. 반지름을 선일 경우 0으로 재정의하고 원의 접선 방정식에 이 규칙을 적용함으로써, 기존의 관계 c = b²/(4a)가 a = 0일 때에도 유지됨을 보여주며, 원이 점이나 선이 되는 경우를 포함한 모든 구성에서 기하학적 일관성을 유지한다.

ABSTRACT

Results in Wasan geometry of tangents circles can still be considered in a singular case by the division by 0.

연구 동기 및 목표

• 원이 선이나 점으로 변형되는 특이한 경우에 와산 기하학을 확장함으로써, 표준 나눗셈에서 불가능한 상황을 다루는 것.
• 반지름이 0 또는 무한대에 수렴할 때 고전적 접선 정리에서 발생하는 모순을 해결하는 것.
• a/0 = 0의 일관된 정의를 사용하여 기하관계 c = b²/(4a)가 a = 0일 때에도 유지됨을 보여주는 것.
• 극한을 사용하지 않고도 원과 선의 접선을 통합적으로 다룰 수 있는 프레임워크를 제공하는 것.

제안 방법

• b ≠ 0일 경우 일반화된 함수 F(a,b) = a/b를 정의하고, F(a,0) = 0으로 정의함으로써 대수적으로 나눗셈을 0으로 확장한다.
• 일반 원 방정식 S(x,y) = a(x² + y²) + 2gx + 2fy + c = 0에 대해 a/0 = 0을 적용하고, 반지름을 R = √(g² + f² - ac)/|a|로 재정의함으로써 a = 0일 경우 R = 0이 됨을 보장한다.
• 좌표 기하학을 사용하여 원 α, β, γ의 방정식을 유도한 후, a → 0일 때의 특이한 극한에 나눗셈 by zero 규칙을 적용한다.
• a = 0일 경우 방정식을 분석하여 α가 원점, y축, 또는 직선 t가 되며, γ가 x축, y축, 또는 점 (0, 2b)가 됨을 보여준다.
• 직접 대입과 대수적 단순화를 통해 접선 조건과 관계 c = b²/(4a)가 모든 특이한 경우에서 유지됨을 입증한다.
• 비고 1을 활용하여 tan(π/2) = 0을 통해 수직성과 접선을 동치로 간주함으로써, 새로운 정의 하에서 기하학적 일관성을 뒷받침한다.

실험 결과

연구 질문

• RQ1 α가 점이거나 선이 되는 경우(즉, a = 0일 경우) 고전적 와산 접선 관계 c = b²/(4a)를 어떻게 확장할 수 있는가?
• RQ2 원 α의 반지름 a가 0에 수렴할 때 원 α, β, γ의 기하구성은 어떻게 변화하는가?
• RQ3 a/0 = 0의 정의가 극한을 사용하지 않고도 특이한 원(선과 점)을 일관되게 다룰 수 있는가?
• RQ4 α가 y축이나 원점이 되고, γ가 선이나 점이 되는 경우 β, α, γ 사이의 접선 조건은 여전히 유효한가?
• RQ5 나눗셈 by zero의 새로운 정의가 원기하학에서 기울기와 수직성의 해석에 어떻게 영향을 미치는가?

주요 결과

• a = 0일 경우 원 α의 방정식은 x² + y² = 0으로 간소화되며, 이는 원점과 일치하여 α가 점임을 일관되게 나타낸다.
• a → 0일 경우 원 α의 방정식은 x = 0이 되며, 이는 반지름이 0인 특이한 원으로 해석된다.
• a = 0일 경우 γ의 방정식은 x² + (y - 2b)² = 0으로 간소화되며, 이는 점 (0, 2b)를 나타내므로 γ가 이 극한에서 점이 됨을 보여준다.
• α가 y축일 경우 γ는 x축이 되며, 대칭적인 경우 α와 γ는 모두 y축과 일치한다. 이는 c = 0일 때 모두 일관된다.
• a = 0일 경우에도 관계 c = b²/(4a)는 유지되며, a/0 = 0의 정의 하에 c = 0이 방정식을 만족하므로 성립한다.
• 모든 특이한 경우에서 기하구성은 일관되며, 접선과 수직성 조건이 유지되어 나눗셈 by zero 정의의 유용성을 뒷받침한다.