삼각형 Yff점의 새로운 기하학적 성질

초록

본 논문은 1963년 Peter Yff가 정의한 Yff점에 대해, 컴퓨터 기반 실험과 기호 연산을 이용해 직각삼각형, 30°·60° 삼각형, 7각형 각을 갖는 삼각형, 그리고 조화삼각형 등 특수한 형태의 삼각형에서 새로운 공리와 정리를 발견하고 증명한다. 또한 기존 정리인 Y1Y2 ⟂ X1X3의 합성 기하학적 증명을 요구하는 열린 질문을 제시한다.

상세 분석

이 논문은 Yff점이라는 비교적 알려지지 않은 삼각형 중심에 대해 체계적인 탐구를 시도한다는 점에서 의미가 크다. 저자들은 먼저 Yff점의 정의를 바탕으로, 삼각형의 변 길이 a, b, c와 실근 u를 만족하는 3차 방정식 x³=(a−x)(b−x)(c−x) 로부터 유도된 좌표식을 바탕으로 바리센트릭 좌표계에서 모든 관련 점들을 표현한다. 이후 Mathematica를 활용해 무작위 삼각형을 생성하고, 다양한 정수 범위(1~30)에서 n, m을 바꾸어 Xₙ·Xₘ와 Yff점 사이의 평행·수직·동일 길이·동일 각도 관계를 수치적으로 탐색한다. 이러한 탐색 과정에서 기존 정리인 Y₁Y₂ ⟂ X₁X₃ 외에 새로운 관계가 발견되지 않았지만, 특수 삼각형(직각, 30°, 60°, 7각형 각을 가진 삼각형)에서는 추가적인 동시성·평행·비례 관계가 성립함을 확인한다.

각 정리에 대해 저자들은 바리센트릭 좌표를 이용해 직선과 점을 교차곱(Cross)으로 표현하고, 동시성 조건을 행렬식 형태로 전개한다. 특히 정리 2.1, 2.2, 3.1 등은 u를 포함한 복잡한 다항식 식을 얻고, 이를 u가 만족하는 3차 방정식과 함께 Gröbner basis를 이용해 u를 소거함으로써 최종적인 조건을 a, b, c만의 식으로 단순화한다. 이 과정은 계산량이 방대하지만, Mathematica의 자동화된 기호 연산 덕분에 실현 가능하였다.

그러나 증명의 대부분이 컴퓨터에 의존한다는 점에서 전통적인 합성 기하학적 증명과는 거리가 있다. 저자들은 각 정리마다 “순수 합성 증명이 가능한가?”라는 열린 질문을 제시함으로써, 향후 연구자들에게 보다 직관적인 증명 방법을 모색하도록 독려한다. 또한, 조화삼각형에 대한 정리(5.5 등)는 Yff점이 삼각형의 변 중 하나를 조화 평균으로 만드는 조건과 동등함을 밝혀, Yff점이 삼각형의 대칭성과 비율 구조에 깊게 얽혀 있음을 시사한다.

전반적으로 이 논문은 컴퓨터 실험과 기호 연산을 통해 Yff점에 대한 새로운 기하학적 현상을 발견하고, 이를 바리센트릭 좌표와 대수적 소거 기법으로 엄밀히 증명한 점에서 현대 기하학 연구의 흐름을 잘 반영한다. 다만, 증명의 복잡성으로 인해 일반 독자가 이해하기 어려운 부분이 존재하므로, 향후 순수 합성 증명이나 시각적 해석을 제공하는 후속 연구가 필요하다.