[논문 리뷰] Points in a triangle forcing small triangles

Matthew Kahle|arXiv (Cornell University)|2008. 11. 15.

Mathematics and Applications참고 문헌 1인용 수 4

한 줄 요약

이 논문은 단위 면적 삼각형 내에 있는 다섯 점이 항상 면적이 최대 $6/25 = 0.24$인 삼각형을 형성한다는 것을 증명함으로써 이산 기하학의 고전 결과를 개선한다. 이는 이전에 알려진 $1/4 = 0.25$의 경계를 향상시킨 것이다. 증명은 애핀 불변성, 면적 기반 스트립 논증, 그리고 작은 정삼각형으로 분할된 삼각형의 조합적 분할을 사용하여 작은 삼각형을 피하는 구성이 불가능함을 입증하며, 최적 경계는 $1/6$일 것이라고 추측한다. 또한, $n$개의 점이 형성하는 작은 삼각형의 최소 수를 조사하여, $n \to \infty$일 때 약 $5/8$의 삼각형이 작은 삼각형이 되는 것으로 추측한다.

ABSTRACT

An old theorem of Alexander Soifer's is the following: Given five points in a triangle of unit area, there must exist some three of them which form a triangle of area 1/4 or less. It is easy to check that this is not true if "five" is replaced by "four", but can the theorem be improved in any other way? We discuss in this article two different extensions of the original result. First, we allow the value of "small", 1/4, to vary. In particular, our main result is to show that given five points in a triangle of unit area, then there must exist some three of them determining a triangle of area 6/25 or less. Second, we put bounds on the minimum number of small triangles determined by n points in a triangle, and make a conjecture about the asymptotic right answer as n tends to infinity.

연구 동기 및 목표

• 단위 면적 삼각형 내에 있는 임의의 다섯 점이 형성하는 삼각형의 최소 면적에 대한 기존 상한을 향상시키는 것.
• 다섯 점이 두 개 이상의 작은 삼각형(면적 $\leq 1/4$로 정의)을 형성해야 하는지, 그리고 만약 그렇다면 얼마나 많은지 조사하는 것.
• 단위 삼각형 내에 $n$개의 점이 있을 때 $n \to \infty$일 때 작은 삼각형(면적 $\leq 1/4$)의 점근적 최소 비율 $\alpha$를 결정하는 것.
• 기존의 $1/4$ 경계의 날카러움을 탐구하고, 최적 값 $s = 1/6$에 대한 추측을 제시하는 것.

제안 방법

• 애핀 불변성을 사용하여 단위 삼각형을 정삼각형으로 가정함으로써 면적과 거리 계산을 단순화한다.
• 원래 삼각형의 한 변 길이 $L$에 대해, 변 길이가 $L/10$인 100개의 합동인 작은 정삼각형으로 삼각형을 분할한다.
• 면적이 $\leq 6/25 = 24/100$인 삼각형을 '작은 삼각형'으로 정의하고, 기하학적 스트립 논증을 사용하여 주어진 한 쌍과 함께 작은 삼각형을 형성하는 점의 위치를 제한한다.
• 평행사변형 보조정리와 기하학적 제약 조건을 적용하여 점의 위치를 제한하고, 세 점이 작은 삼각형을 형성하지 않는다고 가정할 경우 모순이 발생함을 보인다.
• 다이아몬드, 사다리꼴 등의 영역에 점이 어떻게 분포되어 있는지에 기반한 케이스 분석을 통해 작은 삼각형을 피하는 구성들을 시스템적으로 제거한다.
• 콤���트성과 대칭성을 활용하여 문제를 유한 개의 구성으로 축소하고, 새로운 경계 하에 최소한 하나의 작은 삼각형이 존재함을 증명한다.

실험 결과

연구 질문

• RQ1 모든 다섯 점이 단위 면적 삼각형 내에 있을 때, 어떤 세 점이 형성하는 삼각형의 면적이 $\leq \sigma$가 되는 모든 $\sigma$의 하한 $s$는 무엇인가?
• RQ2 $1/4$의 경계를 향상시킬 수 있으며, 다섯 점에 대해 $6/25$가 가능한 최선의 경계인가?
• RQ3 단위 삼각형 내 다섯 점이 반드시 세 개 이상의 작은 삼각형(면적 $\leq 1/4$)을 형성해야 하는가?
• RQ4 $n \to \infty$일 때, 단위 삼각형 내에 있는 $n$개의 점이 형성하는 작은 삼각형(면적 $\leq 1/4$)의 점근적 최소 비율 $\alpha$는 무엇인가?
• RQ5 그림 17의 구성은 약 $5/8$의 삼각형이 작은 삼각형이 되게 하는 것으로, 점근적으로 최적인가?

주요 결과

• 논문은 단위 면적 삼각형 내에 있는 임의의 다섯 점 중에서 어떤 세 점이 형성하는 삼각형의 면적이 최대 $6/25 = 0.24$임을 증명한다. 이는 이전의 $1/4 = 0.25$ 경계를 향상시킨 것이다.
• 경계 $6/25$는 타당한 최소 경계로서, 모든 삼각형의 면적이 $> 6/25$이지만 $\leq 1/4$인 구성이 존재하므로 더 이상 낮은 보편 경계는 존재하지 않음을 보여준다.
• 논문은 $s$의 최적 값, 즉 어떤 세 점이 형성하는 삼각형의 면적이 $\leq \sigma$가 되는 모든 $\sigma$의 하한 $s$가 $1/6$일 것이라고 추측하며, 이 경계를 달성하는 구성도 제시한다.
• 다섯 점이 오직 세 개의 작은 삼각형(면적 $\leq 1/4$)만 형성할 수 있음을 보여, 세 개 이상의 작은 삼각형을 형성해야 한다는 추측은 타당하지만, 이 예시만으로는 이를 증명할 수 없다.
• 논문은 점근적 최소 비율이 $5/8$임을 추측하며, 이는 $n/4$개의 점을 네 개의 작은 영역에 배치한 구성에서 모든 삼각형의 약 $5/8$이 작은 삼각형이 되기 때문이다.
• 그림 17의 구성은 $A \leq 5/8$임을 보여주며, 논문은 이 값이 $n$이 매우 클 때 항상 $\alpha \binom{n}{3}$개 이상의 작은 삼각형을 형성하는 $n$개의 점에 대해 가능한 최대값 $A$임을 추측한다.