삼각형 힐브룰론 문제 상한 계산 자동 증명

초록

본 논문은 자동 정리 증명 프로그램을 이용해 단위 면적 삼각형 안에 N개의 점을 배치했을 때 가장 작은 삼각형의 면적에 대한 상한값을 계산한다. N=5,6,7에 대해 새로운 상한을 제시하고, 기존 결과와 비교해 개선된 값을 얻었다.

상세 분석

이 연구는 힐브룰론 삼각형 문제의 상한을 구하는 새로운 알고리즘적 접근법을 제시한다. 기본 아이디어는 단위 면적 삼각형 T 를 P × P 개의 작은 삼각형으로 격자화하고, 각 N‑uple (예: 5‑uple) 에 대해 가능한 모든 점 배치를 열거한 뒤, 그 중 세 점이 이루는 삼각형의 최대 면적을 계산하는 것이다. 구체적으로, 하나의 5‑uple 에 포함된 세 개의 작은 삼각형을 선택하면, 각 작은 삼각형의 세 꼭짓점으로 정의되는 27개의 후보 삼각형이 생성된다. 이 후보들 중 면적이 가장 큰 삼각형을 찾아 그 면적을 σ(5) 이라 정의한다. 모든 5‑uple 에 대해 σ(5) 의 최소값을 구하면, 이는 원래 문제의 상한 s 에 대한 엄격한 상한이 된다.

알고리즘의 핵심 최적화는 정수 좌표를 이용해 연산을 전부 정수 연산으로 변환한 점이다. 저자들은 T를 작은 변의 길이가 P 인 등변 직각삼각형으로 설정함으로써, 모든 면적 계산을 정수 비율로 수행하고 반올림 오류를 완전히 배제했다. 이는 “진정한” 상한을 제공한다는 주장에 설득력을 더한다.

실험에서는 P=10,15,20,25 등 다양한 격자 크기에 대해 계산을 수행했으며, P=25 일 때 σ(5)=121/625≈0.1936 이라는 상한을 얻었다. 이는 기존 Kahle (2008)의 0.24 보다 현저히 낮다. 또한, 점들이 삼각형의 가장자리 혹은 꼭짓점에 놓인다고 가정하면 P=150 에서 σ(5)≤87/500≈0.174 라는 더 강력한 상한을 도출했다.

N=6,7에 대해서도 동일한 절차를 적용했으며, 각각 σ(6)≤3/20=0.15, σ(7)≤23/200=0.115 라는 상한을 얻었다. 특히 σ(6)≤3/20 은 기존에 알려진 최적값 1/8 (0.125)보다 약간 큰 값이지만, 자동 증명 방식으로 얻은 명시적 구성(그림 7)과 함께 제시되어 검증 가능성을 높였다.

이 논문의 기여는 다음과 같다. 첫째, 힐브룰론 삼각형 문제에 대해 전산적 자동 증명을 적용한 최초 사례 중 하나이며, 전통적인 수학적 추론을 보완한다. 둘째, 격자 기반 전수조사와 정수 연산을 결합함으로써 계산 오류를 최소화하고, 상한값을 엄격히 증명한다. 셋째, 점들의 배치가 삼각형 경계에 국한된 경우에도 유용한 상한을 제공함으로써 하한과 상한 사이의 격차를 좁히는 데 기여한다. 마지막으로, 이 방법은 N 값이 증가함에 따라 계산 복잡도가 급격히 상승하지만, 병렬화와 효율적인 데이터 구조를 도입하면 더 큰 N 에 대해서도 적용 가능성을 시사한다.