[논문 리뷰] Cyclic polygons in classical geometry

Ren Guo, Nilgün Sönmez|arXiv (Cornell University)|2010. 09. 15.

Mathematics and Applications참고 문헌 9인용 수 5

한 줄 요약

이 논문은 유클리드 기하학, 쌍곡기하학, 원기하학에서 둘레 길이, 대각선 길이, 외접원 반지름을 포함한 공식들을 통합하는 프레임워크를 수립한다. 기하학에 따라 x/2, sinh(x/2), 또는 sin(x/2)로 대체되는 통합 함수 s(x)를 도입함으로써, 저자들은 유클리드 기하학에서의 다항식 관계가 비유클리드 기하학에서도 동일한 형태로 유지됨을 보이며, 푸타고라스의 정리와 푸르만의 정리와 같은 고전 정리를 통합하고 일반화한다.

ABSTRACT

Formulas about the side lengths, diagonal lengths or radius of the circumcircle of a cyclic polygon in Euclidean geometry, hyperbolic geometry or spherical geometry can be unified.

연구 동기 및 목표

• 유클리드, 쌍곡, 원기하학에서 순환 다각형에 대한 고전 공식들을 통합하기.
• 유클리드 기하학에서의 측면 길이, 대각선, 외접원 반지름 간의 다항식 관계가 비유클리드 기하학에서도 직접적인 대응을 갖는다는 것을 보여주기.
• 기존 유클리드 결과로부터 쌍곡기하학과 원기하학에서의 정리를 체계적으로 유도할 수 있는 방법을 제공하기.
• 모서리 길이 l/2를 sinh(l/2) 또는 sin(l/2)로 대체함으로써 쌍곡기하학 또는 원기하학에서 유효한 공식을 도출할 수 있는 원칙을 체계화하기.

제안 방법

• 기하학에 따라 x/2(유클리드), sinh(x/2)(쌍곡), sin(x/2)(원)로 매핑되는 통합 함수 s(x)를 도입하기.
• 유클리드, 쌍곡, 원기하학에서 유효한 관계를 각각 나타내는 다항식 집합 E_n, H_n, S_n를 정의하기.
• 구상 투영과 쌍곡/타원삼각함수 항등식을 사용하여 유클리드 평면의 구성과 쌍곡 평면 및 구면의 구성 간의 관계를 설정하기.
• 기하학적 및 대수적 사상의 연속을 통해 E_n, H_n, S_n가 동일함을 증명함으로써, 유클리드 기하학의 다항식 관계가 다른 기하학으로도 그대로 이행됨을 보여주기.
• 유클리드, 쌍곡, 원기하학 삼각형의 정현법칙을 활용하여 다양한 모델 간 기하 양의 척도 인자를 유도하기.
• 레마 4를 적용하여 다항식 항등식이 공통 인자에 의한 척도 조정을 거쳐도 유지됨을 보이며, 기하학 간 관계의 이행 가능성을 확보하기.

실험 결과

연구 질문

• RQ1 유클리드 기하학에서의 순환 다각형에 대한 고전 공식들이 체계적으로 쌍곡기하학과 원기하학으로 확장될 수 있는가?
• RQ2 측면 길이, 대각선, 외접원 반지름의 표현을 세 기하학 모두에서 통합할 수 있는 단일 함수 형태가 존재하는가?
• RQ3 l/2를 sinh(l/2) 또는 sin(l/2)로 대체하는 원칙이 순환 다각형 관계의 다항식 항등식을 유지하는가?
• RQ4 다양한 곡률 모델 간 E_n, H_n, S_n의 다항식 관계가 공식적으로 어떻게 동치임을 증명할 수 있는가?
• RQ5 이 통합 프레임워크를 통해 푸타고라스의 정리나 푸르만의 정리와 같은 알려진 정리들이 비유클리드 기하학으로 얼마나 일반화될 수 있는가?

주요 결과

• 함수 s(x)는 통합된 표현을 제공한다: 유클리드 기하학에서는 s(x) = x/2, 쌍곡 기하학에서는 sinh(x/2), 원기하학에서는 sin(x/2).
• 임의의 순환 다각형에 대해, s(a), s(b) 등으로 표현할 경우, 세 기하학 모두에서 외접원 반지름 공식은 동일한 대수적 형태를 가진다.
• 쌍곡기하학에서의 푸타고라스 정리는 s(e)s(f) = s(a)s(c) + s(b)s(d)로 표현되며, 유클리드 기하학과 동일한 구조를 가진다.
• 원기하학에서의 푸르만의 정리는 s(e)s(f)s(g) = s(a)s(a')s(e) + s(b)s(b')s(f) + s(c)s(c')s(g) + s(a)s(b)s(c) + s(a')s(b')s(c')로 표현되며, 유클리드 형태와 일치한다.
• 유효한 다항식 관계 집합 E_n, H_n, S_n가 동일함을 증명함으로써, 세 기하학 간 완전한 통합이 확립되었다.
• 이 방법을 통해 알려진 유클리드 순환 다각형 항등식으로부터 쌍곡기하학과 원기하학에서의 정리를 자동으로 유도할 수 있다.