[논문 리뷰] Hyperbolic trigonometry in two-dimensional space-time geometry

Francesco Catoni, Roberto Cannata외 2명|arXiv (Cornell University)|2005. 08. 03.

Algebraic and Geometric Analysis참고 문헌 3인용 수 6

한 줄 요약

이 논문은 초월수(예: z = x + hy, h² = 1)를 사용하여 2차원 시공간 기하학에 대한 쌍곡선 삼각법 프레임워크를 제안한다. 이는 유클리드 기하학에서 복소수의 역할과 유사하다. 로렌츠 군에 대한 불변성에 기반하여 스칼라 및 면적 불변량을 통해 쌍곡선 삼각함수를 정의함으로써, 특수상대성 이론과 일관된 자기일관성 있는 공리적 형식화를 가능하게 하여, 카르테시안 표현과 기본 대수적 방법을 통해 유클리드 삼각법과 유사한 의사유클리드 삼각법을 수립한다.

ABSTRACT

By analogy with complex numbers, a system of hyperbolic numbers can be introduced in the same way: z=x+h*y with h*h=1 and x,y real numbers. As complex numbers are linked to the Euclidean geometry, so this system of numbers is linked to the pseudo-Euclidean plane geometry (space-time geometry). In this paper we will show how this system of numbers allows, by means of a Cartesian representation, an operative definition of hyperbolic functions using the invariance respect to special relativity Lorentz group. From this definition, by using elementary mathematics and an Euclidean approach, it is straightforward to formalize the pseudo-Euclidean trigonometry in the Cartesian plane with the same coherence as the Euclidean trigonometry.

연구 동기 및 목표

• 2차원 시공간(의사유클리드 기하학)을 위한 기하학적 프레임워크를 수립하여 유클리드 기하학에서 복소수의 역할과 유사하게 하기.
• 로렌츠 군에 대한 불변량을 사용하여 쌍곡선 삼각함수를 정의함으로써 특수상대성 이론과의 일관성을 확보하기.
• 카르테시안 평면에서 대수적 및 기하적 방법을 사용하여 의사유클리드 삼각법을 공리적 형식화함으로써 직관적 시각화에 의존하지 않기.
• 유클리드 삼각법과 유사하게 체계적이고 공리적-연역적인 접근을 통해 쌍곡선 삼각형 문제를 해결하기.
• 쌍곡선 삼각형 문제의 해가 카르테시안 기하학과 대수적 시스템을 통해 유도될 수 있으며, 명확한 기하학적 해석이 가능함을 보여주기.

제안 방법

• h² = 1을 만족하는 초월수 z = x + hy를 도입하고, 초월수 켤레 z̃ = x - hy를 정의한다.
• 로렌츠 불변량으로서 제곱 모듈러스 |z|² = z z̃ = x² - y²를 정의하며, 이는 유클리드 노름과 유사하다.
• 클라인 군과 부호 규약(k = ±1 또는 ±h)을 사용하여 로렌츠 변환에 대해 불변인 성질을 바탕으로 쌍곡선 삼각함수(coshₑθ, sinhₑθ, tanhₑθ)를 정의한다.
• 스칼라 곱과 면적 불변량(벡터 곱의 크기)을 적용하여 쌍곡평면 내의 각도와 변 관계를 정의한다.
• 카르테시안 좌표계를 사용하여 쌍곡선 삼각형 문제를 해결: 정점들을 (0,0), (±d₃,0), 또는 (0,±d₃)에 위치시키고, 선형 및 쌍곡선 방정식의 연립방정식을 푼다.
• 해석기하학을 활용하여 직선(예: y = tanhₑθ₁ x)과 쌍곡선(예: (x - d₃)² - y² = D₁)의 교점을 통해 삼각형의 정점들을 구하며, 삼각법 법칙과 일치하는 해를 도출한다.

실험 결과

연구 질문

• RQ1 초월수를 어떻게 사용하여 2차원 시공간 기하학에서 일관된 삼각법을 정의할 수 있는가?
• RQ2 로렌츠 군에 대해 불변인 양은 무엇이며, 이를 바탕으로 쌍곡선 삼각함수를 정의하는 데 기초가 되는가?
• RQ3 의사유클리드 기하학에서의 코사인 및 사인 법칙은 유클리드 대비 해의 다중성과 기하학적 해석 측면에서 어떻게 다를 수 있는가?
• RQ4 카르테시안 표현과 대수적 방법이 의사유클리드 삼각법에서 직관적 기하학적 추론을 완전히 대체할 수 있는가?
• RQ5 쌍곡선 삼각형 문제의 해가 0개, 1개, 또는 2개 존재하는 조건은 무엇이며, 이러한 조건은 어떻게 대수적으로 유도할 수 있는가?

주요 결과

• 쌍곡선 삼각함수 coshₑθ, sinhₑθ, tanhₑθ는 로렌츠 군에 대한 불변성에 기반하여 정의되며, 부호 규약(k = ±1 또는 ±h)에 따라 sinhₑθ 및 coshₑθ의 크기에 따라 함수 유형이 결정된다.
• 두 변과 그 반대 각이 주어진 삼각형의 경우, coshₑθ₁ > sinhₑθ₁일 때 d₂ = d₃ coshₑθ₁ ± √(d₃² sinhₑ²θ₁ + D₁), coshₑθ₁ < sinhₑθ₁일 때 d₂ = -d₃ coshₑθ₁ ± √(d₃² sinhₑ²θ₁ - D₁)로 주어지며, 해의 존재 여부는 판별식에 따라 달라진다.
• D₁ > 0이고 d₁ > d₃일 경우 두 개의 해가 존재하며, sinhₑθ₁ = d₁/d₃일 경우 한 개의 해가 존재하고, sinhₑθ₁ > d₁/d₃일 경우 두 개의 해가 존재한다. 기하학적 해석은 직선과 쌍곡선의 교점으로 이루어진다.
• 두 각과 그들 사이의 변이 주어진 경우, 정점 P₃의 좌표는 직선 y = tanhₑθ₁ x와 y = -tanhₑθ₂ (x - x₂)의 연립방정식을 풀어 P₃ ≡ (x₂ tanhₑθ₂ / (tanhₑθ₁ + tanhₑθ₂), x₂ tanhₑθ₁ tanhₑθ₂ / (tanhₑθ₁ + tanhₑθ₂))로 구한다.
• D₃ < 0일 경우, 좌표계를 y축 기준으로 재설정하고, 방정식 x = tanhₑθ₁ y와 y - y₂ = -tanhₑθ₂ x를 사용하여 연립방정식을 재구성하며, 이 경우 P₃ ≡ (y₂ tanhₑθ₁ tanhₑθ₂ / (tanhₑθ₁ + tanhₑθ₂), y₂ tanhₑθ₂ / (tanhₑθ₁ + tanhₑθ₂))로 유도된다.
• 사인 법칙에 따르면 d₂ = d₃ sinhₑθ₂ / sinhₑθ₃이며, 여기서 θ₃ = -(θ₁ + θ₂)이고, sinhₑθ₃의 부호는 클라인 군 인덱스 k₃에 따라 결정되며, sinhₑθ₃ = sinh|θ₁ + θ₂| 또는 cosh(θ₁ + θ₂)가 된다.