There is no Heron triangle with three rational medians

이 논문은 정수 변과 정수 중선을 가진 헤론 삼각형이 존재하지 않음을 증명하고, 그 과정에서 새로운 보조정리와 보편적 항등식을 도출하여 헤론 삼각형의 중선 문제에 대한 두 가지 미해결 문제를 해결합니다.

핵심

이 논문은 수학의 한 가지 아주 재미있고 난해한 수수께끼를 해결한 이야기입니다. 바로 **"세 변의 길이가 정수이고, 세 개의 중선 (꼭짓점에서 변의 중점을 잇는 선) 의 길이도 정수인 삼각형이 존재할까?"**라는 질문입니다.

논문의 저자 로그만 시할리예프는 이 질문에 대해 **"아니요, 그런 삼각형은 절대 존재하지 않습니다"**라고 결론 내렸습니다.

이 복잡한 수학 논리를 일반인도 쉽게 이해할 수 있도록 레고 블록과 거울에 비유해서 설명해 드릴게요.

---

1. 문제의 설정: 완벽한 정수 삼각형 찾기

상상해 보세요. 여러분이 레고 블록으로 삼각형을 만들려고 합니다.

• 조건 1: 세 변의 길이가 모두 정수 (1, 2, 3, 4...) 이어야 합니다. (이건 쉽죠?)
• 조건 2: 삼각형의 넓이도 정수여야 합니다. (이런 삼각형을 '헤로니안 삼각형'이라고 해요.)
• 조건 3: 여기서 가장 까다로운 조건! 삼각형의 세 꼭짓점에서 각각 마주보는 변의 중점으로 그은 **중선 (Median)**의 길이도 모두 정수여야 합니다.

수학자들은 오랫동안 이 조건을 모두 만족하는 삼각형이 있는지 찾아왔는데, 이 논문은 **"그런 삼각형은 세상에 하나도 없다"**라고 증명한 것입니다.

2. 첫 번째 발견: "짝꿍"의 존재 (Part I)

논문의 첫 부분은 아주 흥미로운 사실을 발견합니다.

"만약 정수 변과 정수 중선을 가진 삼각형이 하나라도 있다면, 반드시 그와 모양은 다르지만 똑같은 성질을 가진 '짝꿍' 삼각형이 하나 더 있어야 한다."

비유:
이건 마치 거울 앞에 서 있는 것과 같습니다. 만약 정수 삼각형이 하나 있다면, 거울 속에 똑같은 성질을 가진 또 다른 삼각형이 비춰져야 합니다. 하지만 이 두 삼각형은 서로 닮음 (비례) 관계가 아닙니다. 완전히 다른 모양입니다.

저자는 이 '짝꿍'을 만들어내는 기하학적 방법을 보여줍니다. 원래 삼각형의 중선들을 잘게 자르고 다시 이어붙여 새로운 삼각형을 만들면, 그 새로운 삼각형도 역시 정수 변과 정수 중선을 갖게 된다는 것입니다.

왜 중요한가요?
만약 이런 삼각형이 존재한다면, 그것은 홀수로 존재할 수 없습니다. 반드시 **짝 (Pair)**으로 존재해야 합니다. 이 사실은 나중에 모순을 이끌어내는 중요한 열쇠가 됩니다.

3. 두 번째 발견: 만능 공식 (Part II)

논문의 두 번째 부분은 더 강력합니다. 저자는 어떤 삼각형이든 상관없이 성립하는 **새로운 수학 공식 (항등식)**을 찾아냈습니다.

이 공식은 삼각형의 세 변의 길이와 세 중선의 길이, 그리고 넓이 사이의 관계를 아주 정교하게 연결해 줍니다.

비유:
마치 삼각형이라는 기계에 있는 모든 부품 (변, 중선, 넓이) 의 나사 하나하나가 서로 맞물려 있어야만 기계가 돌아가는 것과 같습니다. 저자가 찾아낸 공식은 "이 나사들이 정수일 때, 서로의 관계가 이렇게 되어야만 해!"라고 규정하는 법칙입니다.

4. 결론: 모순의 발견 (왜 존재할 수 없는가?)

이제 저자는 이 '만능 공식'을 이용해 정수 조건을 대입해 봅니다.

1. 정수 조건을 대입: 삼각형의 변과 중선이 모두 정수라고 가정합니다.
2. 수학적 계산: 저자가 찾아낸 공식에 정수들을 넣어서 계산해 보면, **모순 (불일치)**이 발생합니다.
   • 예를 들어, "한쪽은 짝수여야 하는데 계산 결과 홀수가 나온다"거나, "두 각이 동시에 90 도가 되어야 하는데 삼각형에 90 도 각이 두 개일 수는 없다"는 식의 모순이 나옵니다.
3. 피타고라스의 역설: 저자는 이 문제를 피타고라스의 정리를 이용해 설명합니다. 정수 조건을 만족하려면 삼각형이 직각삼각형이 되어야 하는데, 그렇게 되면 삼각형의 모양이 무너져 버립니다.

최종 결론:
"정수 변과 정수 중선을 가진 삼각형이 존재한다고 가정하면, 수학의 법칙 (공식) 이 깨집니다. 따라서 가정이 틀렸습니다."
즉, 세 변과 세 중선이 모두 정수인 삼각형은 존재하지 않습니다.

5. 한 줄 요약

이 논문은 수학자들이 오랫동안 찾아다녔던 **'완벽한 정수 삼각형'**이 실제로는 레고 블록으로 만들 수 없는, 상상 속에만 존재하는 기하학적 요정임을 증명했습니다.

저자는 새로운 기하학적 '짝꿍' 개념을 발견하고, 이를 바탕으로 삼각형의 변과 중선 사이의 숨겨진 법칙을 찾아냈으며, 그 법칙이 정수 조건과 충돌함을 보여줌으로써 이 오랜 수수께끼를 해결했습니다.

---

참고: 이 논문은 수학계에서 오랫동안 풀리지 않았던 난제 중 하나를 해결했다는 점에서 의미가 크며, 저자는 이 공식을 '시할리예프 정리 (Shihaliev's Theorem)'라고 명명했습니다.

기술 요약

논문 요약: 세 개의 정수 중선을 갖는 헤로니안 삼각형의 부존재 증명

1. 연구 배경 및 문제 제기 (Problem)

• 주제: 헤로니안 삼각형 (Heronian triangle, 세 변의 길이가 정수이고 넓이도 정수인 삼각형) 이 세 변에 대응하는 세 개의 중선 (medians) 모두를 정수로 가질 수 있는지 여부에 대한 수학적 난제입니다.
• 현재 상태: 이 문제는 오랫동안 해결되지 않은 오픈 문제 (Open Problem) 로 남아 있었습니다. 두 개의 정수 중선을 갖는 헤로니안 삼각형은 존재함이 알려져 있으나, 세 개 모두 정수인 경우는 아직 발견되지 않았습니다.
• 목표: 이 논문은 세 개의 정수 중선을 갖는 헤로니안 삼각형이 존재하지 않음을 증명하는 것을 목표로 합니다.

2. 연구 방법론 (Methodology)

저자는 논문을 두 부분으로 나누어 기하학적 변환과 대수적 항등식을 결합한 독특한 접근법을 사용했습니다.

• 제 1 부: 보조정리 (Lemma) 증명

  • 가정: 정수 변과 정수 중선을 갖는 삼각형이 존재한다고 가정합니다.
  • 기하학적 구성: 주어진 삼각형 $\triangle ABC$ 를 이용하여 새로운 삼각형 $\triangle A'B'C'$ 를 구성합니다. 이는 중선의 성질과 평행 이동을 통해 이루어지며, 새로운 삼각형의 변과 중선은 원래 삼각형의 중선과 변의 비율 ($\frac{2}{3}, \frac{1}{3}$ 등) 로 표현됩니다.
  • 논증: 만약 정수 변과 정수 중선을 갖는 삼각형이 존재한다면, 그와 닮음 (similar) 이 아닌 또 다른 정수 변/중선 삼각형이 반드시 존재해야 함을 보입니다. 즉, 이러한 삼각형은 반드시 쌍 (pair) 으로 존재해야 합니다.
  • 모순 유도: 두 삼각형의 면적 비율이 유리수의 제곱이 될 수 없다는 점을 지적하며, 이는 존재론적 모순을 시사합니다.

• 제 2 부: 새로운 항등식 유도 및 정리 증명 (Theorem)

  • 보편적 항등식 유도: 임의의 삼각형에 대해 성립하는 새로운 항등식을 유도했습니다. 이는 중선 ($m_a, m_b, m_c$), 변 ($a, b, c$), 그리고 삼각형의 넓이 ($\Delta$) 사이의 관계를 설명합니다.
    • 핵심 식: $8(m_a^2 - m_b^2)^2 + (3\Delta)^2 = 9c^2 m_c^2$ (및 그 순열)
  • 정수성 분석: 위 항등식을 정수 삼각형 (Heronian triangle) 에 적용하여 정수 조건을 분석했습니다.
  • 피타고라스 세 쌍 (Pythagorean Triple) 분석: 유도된 식을 피타고라스 정리의 형태 ($A^2 + B^2 = C^2$) 로 변환하여, 정수 해가 존재하기 위한 조건을 검토했습니다.
  • 홀짝성 (Parity) 및 모듈로 연산: 변의 길이가 2 나 4 로 나누어지는지 여부에 따라 중선의 홀짝성을 분석하고, 식의 좌우 변이 서로 다른 홀짝성을 가질 때 발생하는 모순을 증명했습니다.

3. 주요 기여 및 결과 (Key Contributions & Results)

• 새로운 보조정리 (Lemma): 정수 변과 정수 중선을 갖는 삼각형이 존재한다면, 반드시 그와 닮음이 아닌 또 다른 정수 삼각형이 존재해야 함을 증명했습니다. 이는 이러한 삼각형이 고립적으로 존재할 수 없음을 의미합니다.
• 샤할리예프 정리 (Shihaliev's Theorem): 임의의 삼각형에 대해 성립하는 새로운 보편적 항등식을 제시했습니다. 이 식은 중선, 변, 넓이 사이의 강력한 대수적 제약을 보여줍니다.
• 부존재 증명 (Main Result):
  1. 정수 중선과 정수 변을 갖는 삼각형이 존재한다고 가정할 때, 유도된 항등식과 피타고라스 세 쌍의 성질을 분석했습니다.
  2. 변의 길이가 4 의 배수인지 여부에 따라 중선의 홀짝성이 결정되는데, 이 과정에서 식의 좌우 변이 서로 다른 홀짝성 (한쪽은 짝수, 다른 쪽은 홀수) 을 갖게 되어 모순이 발생함을 보였습니다.
  3. 특히, $n=1, 2, 6$ 등 가능한 모든 경우의 수를 검토한 결과, 모순이 발생하거나 (예: 두 각이 동시에 직각이 되는 경우) 정수 조건을 만족할 수 없음을 확인했습니다.
• 결론: 세 개의 중선이 모두 정수인 헤로니안 삼각형은 존재하지 않습니다.

4. 의의 및 중요성 (Significance)

• 수학적 난제 해결: 수백 년간 해결되지 않았던 헤로니안 삼각형과 정수 중선에 관한 중요한 오픈 문제를 해결했습니다.
• 새로운 도구 제시: 기하학적 구성을 통해 새로운 대수적 항등식을 유도하는 방법은 삼각형의 성질을 연구하는 데 새로운 관점을 제시합니다.
• 수론과 기하학의 융합: 정수론 (정수 조건, 모듈로 연산, 피타고라스 세 쌍) 과 유클리드 기하학 (중선, 면적, 닮음) 을 긴밀하게 결합하여 문제를 해결한 사례로, 향후 유사한 디오판토스 방정식 문제 해결에 참고가 될 수 있습니다.

5. 요약 결론

Logman Shihaliev 는 기하학적 변환을 통한 보조정리와 새로운 대수적 항등식을 도출하여, 정수 변과 정수 중선을 동시에 갖는 헤로니안 삼각형이 존재할 경우 발생하는 수론적 모순 (홀짝성 불일치 및 피타고라스 세 쌍의 성질 위반) 을 증명했습니다. 이를 통해 "세 개의 정수 중선을 갖는 헤로니안 삼각형은 존재하지 않는다"는 명제가 수학적으로 증명되었습니다.