카이리‑클라인 평면에서의 미켈‑슈타이너 정리와 그 일반화

초록

본 논문은 유클리드 평면의 미켈‑슈타이너 정리를 카이리‑클라인 체계로 확장한다. 타원·쌍곡·계량‑아핀(밀코프스키·갈릴레이) 평면에서 각 사변 삼각형의 외접원을 고려하면, 공통의 급선점(라디칼 센터)이 존재함을 보이고, 특수한 경우에는 무한선 위의 접점이나 이방성 점에서의 교차를 설명한다. 또한 완전 사변형에 대한 라디칼 중심, 라디칼 직선, 미켈‑슈타이너 삼각형 및 변환을 구체적인 동차좌표식으로 제시한다.

상세 분석

논문은 먼저 실벡터공간 U=ℝ³를 복소벡터공간 V=ℂ³에 포함시키고, 실프로젝티브 평면 P_U를 복소프로젝티브 평면 P_V에 매장한다. 절대원 K°는 실벡터에 대한 이차형 φ°의 영점집합으로 정의되며, φ°의 서명에 따라 타원, 쌍곡, 계량‑아핀(밀코프스키·갈릴레이) 평면으로 구분한다. 특히 계량‑아핀에서는 절대원이 이중선이 되고, 무한선 L_∞는 이중선 위의 모든 점을 포함한다.

다음으로, 각 평면에서 ‘이방성 점’(anisotropic point)과 ‘동형점’(congruent point)을 정의하고, 동형점 사이의 반사와 이동을 반사군(semi‑isometries)으로 다룬다. 삼각형 Δ₀(R,S,T) 을 포함한 네 종류의 삼각형을 도입하고, 동형점만을 정점으로 하는 삼각형에만 외접원을 정의한다. 동차바리센트릭 좌표를 사용해 삼각형 ABC 의 중심 G와 절대원 K° 의 식을 명시한다.

핵심 정리 1은 ‘완전 사변형’(complete quadrilateral)의 네 구성 삼각형의 외접원이 공통의 급선점, 즉 미켈‑슈타이너 점을 가진다는 것이다. 증명은 점 D,E,F 를 적절한 실수 l,m,n 으로 매개화하고, 각 외접원의 방정식을 동차 좌표식으로 전개한다. 급선선 L_A, L_B, L_C 를 두 외접원의 급선선으로 정의하고, 교차점 M_q = L_A×L_B = L_A×L_C 를 계산해 급선점이 존재함을 보인다.

정리 1b는 대칭성에 의해 ‘라디칼 직선’(Miquel‑Steiner line)의 존재를 선언한다. 네 구성 삼각형의 접원(접점이 두 개인 원)들이 서로 교차할 때, 그 외부 교점 여섯 개가 한 직선에 놓이며 이를 미켈‑슈타이너 직선이라 부른다.

정리 2는 미켈‑슈타이너 삼각형과 기본 삼각형 ABC  사이의 투시 관계를 제시한다. 오데날(Odehnal)의 변환 Q 을 구하고, 유클리드 평면에서는 이 변환이 오르센터를 고정점으로 갖지만, 타원·쌍곡 평면에서는 일반적으로 다른 고정점을 가진다. 고정점은 d_A−d_B=1/β−1/α, d_A−d_C=1/γ−1/α 와 같은 식으로 표현된다.

정리 3은 사변형 ABCD 의 대각점 P₁,P₂,P₃ 을 이용해 미켈‑슈타이너 점이 P₁×P₂ 위에 놓이는 필요충분조건을 제시한다. 이는 D 가 삼각형 ABC 의 외접원 위에 있을 때와 동치이며, 식 δ(d_A+d_B+d_C)=1 을 통해 검증한다. 정리 3b는 미켈‑슈타이너 직선이 존재하려면 사변형이 ‘접선 사변형’(tangent quadrilateral)이어야 함을 밝힌다.

전체적으로 논문은 동차 바리센트릭 좌표와 절대원을 이용해 전통적인 유클리드 기하학의 정리를 비유클리드·계량‑아핀 기하학으로 일반화하는 방법을 체계적으로 제시한다. 급선점, 급선 직선, 변환 고정점 등 주요 개념을 명시적 좌표식으로 제공함으로써 계산적 구현과 시각화가 가능하도록 한다.