[논문 리뷰] On the construction of a triangle from the feet of its angle bisectors

Alexey V. Ustinov|ArXiv.org|2009. 10. 06.

Advanced Theoretical and Applied Studies in Material Sciences and Geometry참고 문헌 4인용 수 6

한 줄 요약

이 논문은 바이센트릭 좌표와 대수기하학을 사용하여 내부 각의 이등분선 발각으로부터 삼각형을 구성하는 것을 조사한다. 일반적으로 이러한 구성은 컴пас와 자를 사용할 수 없음을 증명한다. 이는 라이너스의 위치를 결정하는 기하학적 조건이 기하학적 방법으로 해결할 수 없는 기약 삼차방정식이기 때문이다. 비록 대수적으로 해가 존재하더라도 말이다.

ABSTRACT

We study the problem of construction of a triangle from the feet of its internal angle bisectors. It is proved that in general case ruler-and-compass solution of this problem is impossible.

연구 동기 및 목표

• 주어진 내부 각의 이등분선 발각으로부터 컴пас와 자를 사용한 고전 기하학적 도구를 이용해 삼각형을 재구성할 수 있는지 여부를 규명하는 것.
• 바이센트릭 좌표로 표현된 라이너스의 대수적 조건을 분석하여, 이러한 삼각형이 존재할 수 있는 조건을 규명하는 것.
• 구성 가능한 수의 맥락에서 유도된 방정식계의 가역성에 대해 연구하는 것.
• 유도된 삼차방정식에서 라이너스와 외심의 해를 구분하는 것.
• 삼각형 재구성 문제에서 대수적 해법 가능성과 기하학적 구성 가능성 사이의 이론적 경계를 설정하는 것.

제안 방법

• 기준 삼각형 $ABC$에 대한 라이너스 좌표 $(x:y:z)$ 를 사용하여 목표 삼각형 $A'B'C'$의 꼭짓점을 바이센트릭 좌표로 표현한다.
• 측변 길이 $a$, $b$, $c$ 와 라이너스의 바이센트릭 좌표 $x$, $y$, $z$ 를 연결하는 세 개의 대칭 방정식 시스템을 유도한다.
• 첫 두 방정식에서 유도된 비율 $t = z/(3y)$ 에 대한 기약 삼차방정식으로 시스템을 단순화한다.
• 삼차방정식 $t^3 + 74t^2 + 259t - 570 = 0$ 의 근을 분석하여 라이너스와 외심에 해당하는 근을 식별한다.
• 고전적 체 이론(Galois 이론)을 적용하여 실수 양근 $t_1 \approx 1.52$ 가 컴퍼스와 자로 구성될 수 없다는 결론을 이끌어낸다.
• 삼차방정식이 유리수 위에서 기약이며, 그 갈루아 군이 비가역적임을 이용하여 구성 불가능성을 증명한다.

실험 결과

연구 질문

• RQ1 내부 각의 이등분선 발각이 주어졌을 때, 컴퍼스와 자만을 사용하여 삼각형을 구성할 수 있는가?
• RQ2 라이너스의 바이센트릭 좌표가 기준 삼각형의 변 길이에 대해 만족해야 할 대수적 조건은 무엇인가?
• RQ3 유도된 삼차방정식의 근들은 잠재적 해의 삼각형 라이너스와 외심과 어떻게 관련이 있는가?
• RQ4 왜 삼각형 재구성 문제의 해는 대수적으로는 해가 있지만, 고전 도구로는 기하학적으로 불가능한가?
• RQ5 삼차방정식의 기약성은 삼각형의 이등분선 발각으로부터의 구성 가능성에 어떤 역할을 하는가?

주요 결과

• 내부 각의 이등분선 발각으로부터 컴퍼스와 자만을 사용하여 삼각형을 구성하는 것은 일반적으로 불가능하다.
• 목표 삼각형의 라이너스 좌표는 각의 이등분선 기하학과 변 길이 간의 관계에서 유도된 대칭 방정식 시스템을 만족한다.
• 특수한 경우 $a=2$, $b=3$, $c=\sqrt{7}$ 에서 시스템은 기약 삼차방정식 $t^3 + 74t^2 + 259t - 570 = 0$ 으로 단순화된다.
• 세 실근 중에서 오직 $t_1 \approx 1.52$ 만이 타당한 삼각형의 라이너스에 해당하며, 나머지 두 근은 다른 삼각형의 외심에 해당한다.
• 근 $t_1$ 은 삼차방정식이 기약이며 갈루아 군이 비가역적이므로 컴퍼스와 자로 구성될 수 없다.
• 따라서 대수적으로 해가 존재하더라도, 고전적 제약 조건 하에서는 기하학적 구성이 불가능하다.