[논문 리뷰] Isoptic curves of conic sections in constant curvature geometries

Géza Csima, Jenő Szirmai|arXiv (Cornell University)|2013. 01. 29.

Advanced Numerical Analysis Techniques참고 문헌 4인용 수 8

한 줄 요약

이 논문은 타원, 쌍곡선, 포물선과 같은圆锥곡선이 고정된 각도로 보일 수 있는 점들의 집합인 이소픽 곡선을, 타원기하와 쌍곡기하를 포함한 일정 곡률 기하에서 계산하고 시각화하기 위한 사영 모델 기반 방법을 개발한다. 타원기하에서 타원, 쌍곡선, 포물선의 이소픽 곡선에 대해 명시적인 대수적 방정식을 유도하며, 이는 이전의 유클리드 기하 결과를 확장하고 타원기하 공간에서의 이소픽 곡선에 대한 첫 번째 체계적인 다루기이다.

ABSTRACT

In this paper we consider the isoptic curves on the 2-dimensional geometries of constant curvature $\bE^2,~\bH^2,~\cE^2$. The topic is widely investigated in the Euclidean plane $\bE^2$ see for example \cite{CMM91} and \cite{Wi} and the references given there, but in the hyperbolic and elliptic plane there are few results in this topic (see \cite{CsSz1} and \cite{CsSz2}). In this paper we give a review on the preliminary results of the isoptics of Euclidean and hyperbolic curves and develop a procedure to study the isoptic curves in the hyperbolic and elliptic plane geometries and apply it for some geometric objects e.g. proper conic sections. We use for the computations the classical models which are based on the projectiv interpretation of the hyperbolic and elliptic geometry and in this manner the isoptic curves can be visualized on the Euclidean screen of computer.

연구 동기 및 목표

• 유클리드 평면을 초월하여 이소픽 곡선—일정 각도로 곡선이 보이는 점들의 집합—을 쌍곡기하와 타원기하로 확장하는 것.
• 이전에 원추곡선의 이소픽 곡선에 대해 알려진 바가 없는 타원기하에서의 결과 부족을 보완하는 것.
• 비유클리드 일정 곡률 공간에서 이소픽 곡선을 유도하고 시각화하기 위한 사영 모델 기반 계산 프레임워크를 개발하는 것.
• 특정 원추곡선—타원, 쌍곡선, 타원기하 평면 내 적절한 초점이 있는 포물선—에 이 방법을 적용하는 것.
• 이러한 원추곡선의 타원기하에서의 이소픽 곡선에 대해 명시적인 대수적 방정식을 제공하는 것, 특히 직각 이소픽 곡선의 경우를 포함한다.

제안 방법

• 서명 (1,2)를 가진 로렌츠 공간에서 타원기하의 사영 모델을 사용하여 점들을 실 사영 공간 내 사영선으로 표현하고, 이에 대한 이차형식을 적용한다.
• 원추곡선(타원, 쌍곡선, 포물선)을 초점과 준선의 기하적 정의를 통해 사영 모델에서 표현한다.
• 이중선형형식을 통한 타원기하의 거리 공식을 적용하여 각도로의 가시성 조건을 계산한다.
• 이소픽 곡선을 유도하기 위해 다음 두 조건의 연립방정식을 해결한다: (1) 한 점에서 그은 두 탄젠트 선이 각도 α를 이룰 조건, (2) 원추곡선에 접선이 되는 조건.
• 음함수 미분과 대수적 소거를 통해 이소픽 위치의 닫힌 형태 방정식을 도출한다.
• 사영 모델을 사용하여 유클리드 화면에 결과 곡선을 시각화함으로써 수치적 및 그래픽 분석이 가능하도록 한다.

실험 결과

연구 질문

• RQ1 타원기하 평면에서 타원의 α-이소픽 곡선에 대한 대수적 방정식은 무엇인가?
• RQ2 타원기하에서의 쌍곡선과 포물선의 이소픽 곡선은 유클리드 기하의 그것들과 어떻게 다를까?
• RQ3 타원기하 원추곡선의 이소픽 곡선이 존재하기 위한 기하학적 및 각도 조건은 무엇인가?
• RQ4 타원기하 원추곡선의 직각 이소픽 곡선(α = π/2)은 알려진 대수적 곡선으로 표현될 수 있는가?
• RQ5 사영 모델은 비유클리드 일정 곡률 기하에서 이소픽 곡선의 계산과 시각화를 어떻게 촉진하는가?

주요 결과

• 타원기하 원추곡선(타원, 쌍곡선, 포물선)의 α-이소픽 곡선은 사영 모델 내에서 닫힌 형태의 대수적 방정식으로 주어진다.
• 타원기하 타원과 쌍곡선의 경우, 이소픽 곡선 방정식은 다음과 같다: $\cos^{2}(\alpha) = \frac{\left((1+f^{2})\cos(2a)(x^{2}+y^{2}+1)+f^{2}x^{2}-1\right)^{2}}{2(1+f^{2})y^{2}(f^{2}+x^{2})+(f^{2}-x^{2})^{2}+(1+f^{2})^{2}y^{4}}$.
• 타원기하 타원 또는 쌍곡선의 직각 이소픽 곡선(α = π/2)은 다음 방정식을 가진 타원이다: $(1+f^{2})\cos(2a)(x^{2}+y^{2}+1)+f^{2}x^{2}=1$.
• 타원기하 포물선의 이소픽 곡선은 다음과 같이 주어진다: $\cos(\alpha) = \frac{y(py+1)}{\sqrt{(x^{2}+1)((p^{2}(x^{2}+1)-2py+y^{2}+x^{2}))}}$.
• 타원기하 포물선의 직각 이소픽 곡선은 두 직선으로 이루어지며, 각각 $y = 0$ 과 $y = -1/p$ 이다.
• 타원기하 쌍곡선 이소픽 곡선의 존재 조건이 유도되었으며, 이는 각도 및 기하학적 매개변수에 의존한다: $\alpha \notin I$ 이고, $f$ 및 $a$ 에 대한 제약 조건이 있으며, 여기서 $I = \left(\arccos\left(\frac{(1+f^{2})\cos(2a)-1}{f^{2}}\right), \arccos\left(\frac{1-(1+f^{2})\cos(2a)}{f^{2}}\right)\right)$.