볼록 다각형 꼭짓점에서 서로 다른 거리 개수의 새로운 하한

초록

에르되시의 1946년 추측에 따라, 평면상의 n점이 볼록 위치에 있을 때 어떤 점은 최소 ⌊n/2⌋개의 서로 다른 거리를 만든다. 기존 최선 하한은 Dumitrescu가 2006년에 제시한 13n/36‑O(1)였으며, 본 논문은 이를 (13/36+ε)n‑O(1) (ε≈1/23000) 로 약간 개선한다. 핵심은 볼록 집합이 만들 수 있는 이등변 삼각형의 최대 개수에 대한 새로운 상한을 이용한 것이다.

상세 요약

이 논문은 에르되시가 제기한 “볼록 위치에 있는 n점 집합에서 어떤 점이 적어도 ⌊n/2⌋개의 서로 다른 거리를 만든다”는 추측에 대한 최신 진행 상황을 다룬다. 기존에 Dumitrescu가 2006년에 제시한 하한 13n/36‑O(1)은 이 문제에 대한 가장 강력한 결과였으며, 그 증명은 이등변 삼각형의 개수를 세는 방법에 기반하였다. 이등변 삼각형은 두 변의 길이가 같은 삼각형을 의미하는데, 한 꼭짓점에서 같은 거리의 두 다른 점을 연결하면 바로 이등변 삼각형이 형성된다. 따라서 한 점이 만들 수 있는 서로 다른 거리의 개수는 그 점을 꼭짓점으로 하는 이등변 삼각형의 개수와 직접적인 관계가 있다.

논문은 먼저 기존의 이등변 삼각형 상한을 재검토한다. Dumitrescu는 볼록 다각형 P에 대해 이등변 삼각형의 총 개수를 O(n²) 수준으로 제한했으며, 특히 “긴 변”과 “짧은 변”을 구분해 각각에 대한 별도 카운팅을 수행했다. 저자는 이 접근법을 정밀하게 다듬어, 특히 “짧은 변”에 해당하는 경우에 더 강력한 결합 정리를 적용한다. 구체적으로, 정다각형의 대칭성을 활용하고, 각 변을 기준으로 가능한 이등변 삼각형의 배치를 그래프 이론적 관점에서 분석함으로써, 기존 상한보다 약 1/23000 만큼 더 작은 상수를 얻는다.

핵심 기술은 두 단계로 나뉜다. 첫째, 볼록 다각형의 꼭짓점 순서를 고정하고, 각 꼭짓점 v에 대해 같은 거리 d를 갖는 다른 두 꼭짓점 (u, w)를 찾는 과정을 이중 카운팅한다. 이때, (u, w) 쌍이 형성하는 각도와 변의 길이 관계를 이용해 가능한 (u, w) 쌍의 수를 제한한다. 둘째, 이러한 제한을 전역적으로 합산하여 전체 이등변 삼각형의 개수를 추정한다. 저자는 특히 “거리가 중복되는 경우”와 “거리가 고유한 경우”를 구분해, 중복이 발생할 때 발생하는 구조적 제약을 정량화한다. 결과적으로, 전체 이등변 삼각형 수는 (13/36 + ε)·n·(n‑1)/2 이하임을 보이며, 여기서 ε≈1/23000이다.

이 상한을 기존의 “한 점이 만들 수 있는 서로 다른 거리 개수 ≥ (총 이등변 삼각형 수) / (n‑1)”라는 관계식에 대입하면, 바로 (13/36 + ε)n‑O(1)이라는 새로운 하한을 얻는다. 즉, 기존 13n/36‑O(1)보다 약간 더 큰 상수를 확보함으로써, 에르되시 추측에 한 걸음 더 근접한 결과를 제공한다.

이 논문의 기여는 두 가지로 요약될 수 있다. 첫째, 볼록 다각형에서 이등변 삼각형의 최대 개수에 대한 보다 정밀한 상한을 제시함으로써, 기존 결과를 미세하게 개선하였다. 둘째, 이러한 개선이 직접적으로 “한 꼭짓점이 결정하는 서로 다른 거리의 최소 개수”라는 문제에 어떻게 전이되는지를 명확히 보여주었다. 비록 ε가 매우 작아 실용적인 차이는 크지 않지만, 이론적으로는 에르되시 추측에 대한 이해를 심화시키는 중요한 단계이며, 향후 더 큰 ε를 얻기 위한 추가적인 구조적 분석의 가능성을 열어준다.