[논문 리뷰] On the generation of Heronian triangles

Sascha Kurz|arXiv (Cornell University)|2014. 01. 11.

Analytic Number Theory Research참고 문헌 19인용 수 7

한 줄 요약

이 논문은 직경 $ n $ 이하인 모든 정수 헤론 삼각형(정수 변과 유리수 면적을 가진 삼각형)을 생성하기 위한 효율적인 알고리즘을 제시한다. 브라마굽타의 공식에서 분모를 제거하는 개선된 매개변수화를 통해 빠른 계산을 가능하게 한다. 저자들은 $ ϴ(n^{2+\varepsilon}) $ 시간 복잡도를 달성하고 $ n \leq 600000 $ 까지의 모든 삼각형을 열거하여, 완전한 피라미드와 면적과 둘레가 같은 헤론 삼각형의 집합과 같은 관련 기하 문제에 대한 새로운 통찰을 제공한다.

ABSTRACT

We describe several algorithms for the generation of integer Heronian triangles with diameter at most $n$. Two of them have running time $\mathcal{O}\left(n^{2+\varepsilon} ight)$. We enumerate all integer Heronian triangles for $n\le 600000$ and apply the complete list on some related problems.

연구 동기 및 목표

• 직경이 $ n $ 이하인 모든 정수 헤론 삼각형을 빠르게 생성하기 위한 알고리즘을 개발한다. 여기서 직경은 최대 변 길이를 의미한다.
• 브라마굽타의 원래 매개변수화에서 발생하는 계산 비효율성을 제거하기 위해, 새로운 매개변수화를 통해 분모를 제거한다.
• $ n = 600000 $ 까지의 모든 삼각형을 열거하여 디오판틴 기하학의 열린 문제에 대한 경험적 연구를 가능하게 한다.
• 완전한 목록을 활용해 관련 문제, 특히 완전한 피라미드의 존재성과 면적과 둘레가 같은 헤론 삼각형의 집합을 다룬다.

제안 방법

• 서로소인 정수 $ w_1, w_2, w_3, w_4 $와 제곱무효수 매개변수 $ s, u $를 사용해 헤론 삼각형의 새로운 매개변수화를 도입하여, 브라마굽타 공식의 분모를 제거한다.
• $ w_4 \leq 8n $임을 증명하여 분모 인자의 탐색 공간을 제한하고 효율적인 열거를 가능하게 한다.
• $ w_4 \mid 2(i+h) $ 및 $ w_4 \mid 8c $라는 항등식을 사용해 $ w_4 $의 가능한 값에 대한 제약을 설정하여 탐색 공간을 줄인다.
• 알고리즘 3.1을 구현하여 $ a $, $ w_4 $, $ a w_4 $의 인수 분해를 순환하며, 각 $ z $에 대해 $ x^2 + y^2 = z $를 해결한다.
• 정수 인수 분해를 중첩 루프로 사용해 매개변수 $ p, \alpha, u, x, y, \beta, w_1, v, \gamma, s, t $를 복원하고, 변 길이 $ a, b, c $를 계산한다.
• 두 번째 알고리즘은 $ ab $의 약수 개수를 기반으로 하며, $ \mathcal{L}_{\varphi(b_1,b_2)}(j) $를 사용해 후보 삼각형을 효율적으로 생성한다.

실험 결과

연구 질문

• RQ1 직경이 $ n $ 이하인 모든 정수 헤론 삼각형을 생성하는 데 가장 효율적인 방법은 무엇이며, 이는 $ \mathcal{O}(n^{2+\varepsilon}) $ 시간 내에 수행될 수 있는가?
• RQ2 면적 또는 부피가 같은 완전한 피라미드(모든 간선이 정수이고 면적과 부피가 유리수인 육면체)가 존재하는가?
• RQ3 면적과 둘레가 모두 같은 $ N \geq 11 $개의 짝별로 비유사한 헤론 삼각형의 집합이 존재하는가?
• RQ4 세 개의 유리수 중선을 가진 헤론 삼각형이 존재하는가? 만약 존재한다면, 그 최소 직경은 얼마인가?

주요 결과

• 저자들은 직경이 $ n = 600000 $ 이하인 모든 정수 헤론 삼각형을 성공적으로 열거하여 향후 분석을 위한 완전한 목록을 확보하였다.
• 시간 복잡도 $ \mathcal{O}(n^{2+\varepsilon}) $를 가지는 두 개의 알고리즘이 개발되었으며, 브루트 포스 열거보다 크게 향상되었다.
• 열린 문제인 세 개의 유리수 중선을 가진 헤론 삼각형에 대한 예시는 발견되지 않았으며, 이는 그러한 삼각형이 직경이 600000을 초과할 가능성이 있음을 시사한다.
• 모든 간선이 등차수열을 이루고 한 면의 면적이 유리수인 유일한 유리수 육면체는 스케일링을 제외하고 유일하다는 추측이 직경 600000까지 검증되었다.
• 면적이 같은 6개의 서로 다른 기초 완전한 피라미드를 발견했지만, 면적과 부피가 모두 같은 경우는 직경 600000까지 발견되지 않았다.
• 면적과 둘레가 같은 11개의 삼각형으로 이루어진 최소의 트리플릿은 둘레가 1,200,000를 초과하며, 이러한 구성의 어려움을 확인한다.