Tiling a triangle into a prime number of congruent triangles

기술 요약: 삼각형을 소수 개의 합동인 삼각형들로 타일링하기

문제 정의
본 논문은 삼각형 $T$가 $N$개의 합동인 삼각형 $R$로 분할될 수 있는 정수 $N$의 특성을 규명하는 문제를 다룬다. 특히, $N$이 소수가 될 수 있는 조건에 대해 조사한다. 이 연구는 비정사각형 타일링에 관한 에르되시(Erdős) 문제 633(타일링이 존재하지 않는 $N$의 특성) 및 에르되시 문제 634에 대한 기존 연구를 바탕으로 한다. 핵심 질문은 다음과 같다: 알려진 예외들을 제외하고, 삼각형을 $N > 3$인 소수 개의 합동인 삼각형들로 타일링하는 것이 가능한가?

방법론
저자는 타일 모양의 분류와 각도 및 변의 길이의 가측성(commensurability)에 근거한 사례별 분석을 채택한다. 방법론은 다음과 같이 진행된다:

1. 사례 분류: 분석은 삼각형 $T$가 정삼각형인지, 이등변삼각형인지, 또는 부등변삼각형인지, 그리고 그 각들이 가측(유리수 배의 $\pi$)인지 또는 비가측인지에 따라 구분한다.
2. 기존 결과 활용: 본 논문은 정삼각형, 이등변삼각형, 또는 각도가 가측인 경우의 $T$를 배제하기 위해 확립된 정리들(Laczkovich, Beeson 등의 저작에서 인용됨)을 활용한다. 이러한 기존 결과들은 해당 삼각형들의 경우 $N$이 소수가 아니거나 $N=2, 3$과 같은 특정 작은 값으로 제한됨을 입증한다.
3. 비가측 각도에 집중: 본 논문의 핵심은 $T$가 비가측 각도를 가지고, 정삼각형이나 이등변삼각형이 아니며, 각도가 $(\alpha, \beta, \gamma)$인 타일 $R$로 타일링되는 경우를 다루는 것이다.
   • 정리 2에 의해, $R$이 비가측 각도를 가지고 $T$와 닮지 않았다면, $R$은 가측인 변의 길이를 가져야 한다. 이를 통해 $R$의 변을 정수 $(a, b, c)$로 취급할 수 있다.
   • 분석은 $3\alpha + 3\beta = \pi$라는 조건(즉, $\gamma = 2\pi/3$임을 의미)에 의해 정의되는 "그룹 2" 타일링에 집중한다. 그룹 1 타일링($3\alpha + 2\beta = \pi$)은 이미 해결되었다.
4. 대수적 수론: 그룹 2의 네 가지 가능한 $T$의 형태에 대해, 저자는 타일의 변의 길이에 관한 $N$의 명시적 공식을 유도한다.
   • 사인 법칙과 넓이 방정식을 사용하여, $T$의 변의 길이를 타일의 변들로 표현한다.
   • $T$의 변과 원시 정수 삼조(primitive integer triple) 사이의 비례 계수 $\lambda$가 정수임을 증명한다(보조정리 14).
   • $T$의 넓이를 $N$ 곱하기 타일의 넓이와 같다고 놓음으로써, $\lambda$와 타일의 변의 길이에 관한 $N$의 인수분해를 얻는다.

주요 기여 및 결과
본 논문은 만약 삼각형 $T$가 $R$로 $N$-타일링 되어 있고 ($T$가 $R$과 닮지 않은 경우), $N > 3$이라면, $N$은 소수가 될 수 없음을 증명한다.

비가측 그룹 2의 네 가지 $T$ 형태에 대한 구체적인 결과는 다음과 같다:

• 사례 1: $T$가 각 $(\alpha, 2\alpha, 3\beta)$를 갖는 경우. 타일의 개수는 $N = 3\lambda^2(a + 2b)(a + b)$이다. $a, b, \lambda$가 양의 정수이므로 $N$은 합성수이다.
• 사례 2: $T$가 각 $(\alpha, 2\beta, 2\alpha + \beta)$를 갖는 경우. 타일의 개수는 $N = \lambda^2(2a + b)(a + b)$이며, 이는 합성수이다.
• 사례 3: $T$가 각 $(\alpha, \alpha + \beta, \alpha + 2\beta)$를 갖는 경우. 타일의 개수는 $N = \lambda^2(a + b)/b$이다. 저자는 $a+b$가 합성수임을 증명하여(보조정리 15), $N$이 소수가 아님을 보장한다.
• 사례 4: $T$가 각 $(2\alpha, 2\beta, \alpha + \beta)$를 갖는 경우. 타일의 개수는 $N = \lambda^2(a + 2b)(2a + b)$이며, 이는 합성수이다.

의의 및 주요 정리
본 논문은 정리 22를 통해 결론을 맺는다: 삼각형 $T$가 $T$와 닮지 않은 타일에 의해 $N$-타일링 된다고 하자. 이때 $N > 3$이면, $N$은 소수가 아니다.

렙타일링(reptilings, 타일이 $T$와 닮은 타일링)에 관한 기존 결과 및 알려진 예외들(이등변 $N=2$, 정삼각형 $N=3$, 그리고 특정 직각삼각형)과 결합하여, 본 논문은 소수 타일링에 대한 완전한 특성을 따름정리 23에서 제공한다:

• 어떤 삼각형이 소수 $N$으로 타일링 될 수 있는 필요충분조건은 다음과 같다:
  • $N = 2$ (높이에 의해 잘린 모든 이등변삼각형);
  • $N = 3$ (30-60-90 직각삼각형);
  • $N \equiv 1 \pmod 4$ ($N = M^2 + K^2$를 만족하는 $M/K$ 비율의 두 변을 가진 직각삼각형).

결과적으로, 어떤 삼각형도 $N$개의 합동인 삼각형들로 타일링 될 수 없는 소수 $N$의 집합은 정확히 3보다 크고 $3 \pmod 4$인 소수들로 구성된다.

겸손함과 범위
본 논문은 "불도저 방식(bulldozer-style)"의 논증이 유한한 수의 사례를 검토하는 과정을 포함하고 있음을 인정한다. 또한, 이 과정에 사용된 수론이 비정합 타일링(non-square tilings)을 다루며 타원 방정식을 필요로 했던 관련 에르되시 문제 633보다 더 단순하다는 점을 언급하며, 주요 난점은 이미 기존 문헌에서 해결된 이등변삼각형을 다루는 데 있음을 밝힌다. 마지막으로, 본 논문은 보조정리 14와 보조정리 16의 발견이 AI 어시스턴트(Claude Fable)의 도움을 받았음을 명시하며, 기하학적 증명 내의 특정 수론적 단계를 검증하는 데 있어 계산 도구의 역할을 강조한다.