로바체프스키 삼각법의 혁신과 비유클리드 기하학의 근본적 역할

초록

이 논문은 로바체프스키가 비유클리드(하이퍼볼릭) 기하학에서 삼각법 공식을 단순한 계산 도구가 아니라 모든 정리의 기본 원리로 사용했음을 조명한다. 그는 유클리드 모델 없이 미분·적분을 전개하고, 하이퍼볼릭 공간 안에 구면·유클리드 기하학 모델을 구축함으로써 삼각법 공식의 정당성을 증명한다. 또한 하이퍼볼릭 기하가 모순될 경우 유클리드·구면 기하도 모순이 된다는 논리를 제시한다.

상세 분석

논문은 로바체프스키가 19세기 초 비유클리드 기하학을 체계화하면서 삼각법 공식(각‑변 관계)을 기하학의 공리적 기반으로 삼았다는 점을 강조한다. 기존 유클리드 기하학에서는 평행공준을 제외한 나머지 공리만으로 삼각법을 유도할 수 있었지만, 로바체프스키는 하이퍼볼릭 공간 자체에서 삼각법을 독립적인 정리로 도출하였다. 이는 “삼각법이 기하학의 기본 요소”라는 선언으로, 이후의 비유클리드 연구에서 삼각법이 정리·정리 증명의 핵심이 되는 전통을 만든다.

특히 논문은 두 가지 기술적 혁신을 상세히 분석한다. 첫째, 유클리드 모델 없이 하이퍼볼릭 미분·적분을 전개한 로바체프스키의 방법이다. 그는 하이퍼볼릭 공간의 거리와 각을 직접 정의하고, 구면 삼각법을 하이퍼볼릭 3차원 공간에 삽입된 구에 대해 적용함으로써 면적·부피 적분을 수행한다. 이 과정에서 그는 오늘날 ‘볼록성’과 ‘곡률’ 개념을 암묵적으로 사용했으며, 이는 베르트라미의 모델(1868) 이전에 내재적(내부) 해석학을 구현한 최초 사례라 할 수 있다.

둘째, 하이퍼볼릭 공간 안에 구면·유클리드 모델을 구축한 점이다. 로바체프스키는 하이퍼볼릭 평면에 평행선 개념을 두 종류(평행선, 초평행선)로 구분하고, 이를 이용해 하이퍼볼릭 3차원 공간에 ‘기하학적 구’를 정의한다. 구의 중심을 원점으로 잡고 반지름을 적절히 선택하면, 구 위의 대원(geodesic)들은 하이퍼볼릭 평면에 대한 구면 삼각법 공식을 그대로 만족한다. 따라서 구면 삼각법이 하이퍼볼릭 삼각법과 동일한 형태를 갖는다는 사실을 모델 이론을 통해 증명한다.

논문은 또한 로바체프스키가 제시한 논리적 귀결, 즉 “하이퍼볼릭 기하가 모순이면 유클리드·구면 기하도 모순이다”는 주장에 대해 비판적 검토한다. 이는 귀류법을 통한 독립성 증명의 초기 형태로, 현대 수리논리학에서 ‘공리계의 상대적 일관성’ 개념과 일맥상통한다.

마지막으로, 로바체프스키의 아이디어가 후대 수학자들에 의해 재발견된 과정을 서술한다. 베르트라미, 클라인, 푸앵카레가 각각 모델 구축, 프로젝트 모델, 그리고 복소평면 모델을 제시하면서 로바체프스키의 접근법을 확장·정형화했으며, 현대의 리만 기하와 텐서 해석에서도 그의 삼각법 기반 접근이 여전히 핵심 도구로 활용되고 있음을 강조한다.