[논문 리뷰] Pythagorean Triples and a New Pythagorean Theorem

H. Lee Price, Frank R. Bernhart|ArXiv.org|2007. 01. 19.

Mathematics and Applications참고 문헌 5인용 수 6

한 줄 요약

이 논문은 직각삼각형에 내접한 두 개의 특정 정사각형의 빗변과 변들의 역수를 포함하는 새로운 피타고라스 항등식을 제안하며, $rac{1}{c^2} + rac{1}{h^2} = rac{1}{s^2}$로 표현되며, 여기서 $h$와 $s$는 각각 조화평균 정사각형과 심포닉 정사각형의 변 길이다. 이는 기존의 피타고라스 삼중항에서 새로운 변환—심포닉 도함수—를 이끌어내며, 이는 기존의 삼중항으로부터 새로운 원시 피타고라스 삼중항을 생성할 수 있게 하며, 수론 및 삼중항의 트리 기반 열거에 응용된다.

ABSTRACT

Given a right triangle and two inscribed squares, we show that the reciprocals of the hypotenuse and the sides of the squares satisfy an interesting Pythagorean equality. This gives new ways to obtain rational(integer)right triangles from a given one.

연구 동기 및 목표

• 직각삼각형 내에 내접한 정사각형의 변과 빗변의 역수를 연결하는 새로운 대수적 항등식을 수립하는 것.
• 조화평균 정사각형과 심포닉 정사각형의 기하학적 구성과 그 대수적 성질을 탐구하는 것.
• 기존의 원시 피타고라스 삼중항으로부터 새로운 원시 피타고라스 삼중항을 생성할 수 있는 변환—심포닉 도함수—를 개발하는 것.
• 기존 삼중항으로부터 유도된 삼중항을 복원하는 역도함수 문제를 조사하는 것.
• 주어진 원시 삼중항이 주요 또는 보조 심포닉 도함수로 표현될 수 있는지 판단하고, 이 둘이 상호 배타적임을 증명하는 것.

제안 방법

• 직각삼각형의 빗변이 $c$, 빗변에 인접한 두 변이 각각 $a$, $b$일 때, 내접한 조화평균 정사각형의 변 길이 $h = \frac{ab}{a+b}$와 심포닉 정사각형의 변 길이 $s = \frac{abc}{ab + c^2}$를 유도하는 것.
• 대수적 대입과 피타고라스 항등식 $c^2 = a^2 + b^2$를 사용하여 항등식 $\frac{1}{c^2} + \frac{1}{h^2} = \frac{1}{s^2}$를 확립하는 것.
• 두 변환—주요 도함수 $S: [a,b,c] \to [c(a+b), ab, c^2 + ab]$와 보조 도함수 $S': [a,b,c] \to [c|a-b|, ab, c^2 - ab]$—을 정의하는 것.
• 만약 $[a,b,c]$가 원시 피타고라스 삼중항이라면, $S$ 또는 $S'$에 의한 유도된 삼중항도 원시 삼중항임을 증명하는 것.
• 유도된 삼중항의 기본 생성자 $\frac{Q}{P}$를 사용하여 $a$와 $b$에 대한 이차방정식을 구성함으로써 원래 삼중항을 복원하는 역도함수를 가능하게 하는 것.
• 피에르 페르마의 삼중항을 분석하기 위해 이 방법을 적용하며, 소인수분해와 $4k+3$ 형식의 소수의 성질을 이용하여 이 삼중항이 주요 또는 보조 도함수로 생성되지 않음을 증명하는 것.

실험 결과

연구 질문

• RQ1 내접한 조화평균 정사각형과 심포닉 정사각형이 존재하는 모든 직각삼각형에서 항등식 $\frac{1}{c^2} + \frac{1}{h^2} = \frac{1}{s^2}$가 성립하는가?
• RQ2 심포닉 도함수 $S$와 $S'$는 기존의 원시 피타고라스 삼중항으로부터 새로운 원시 피타고라스 삼중항을 생성할 수 있는가?
• RQ3 한 개의 원시 삼중항이 동시에 주요 및 보조 심포닉 도함수일 수 있는가?
• RQ4 모든 원시 삼중항은 $S$ 또는 $S'$를 통해 다른 삼중항의 역도함수로 표현될 수 있는가?
• RQ5 주어진 삼중항이 심포닉 도함수임을 판단하는 조건은 무엇이며, 이를 알고리즘적으로 어떻게 테스트할 수 있는가?

주요 결과

• 항등식 $\frac{1}{c^2} + \frac{1}{h^2} = \frac{1}{s^2}$는 $h$와 $s$가 각각 조화평균 정사각형과 심포닉 정사각형의 변 길이로 정의될 때 모든 직각삼각형에서 성립한다.
• 변환 $S: [a,b,c] \to [c(a+b), ab, c^2 + ab]$는 임의의 원시 피타고라스 삼중항 $[a,b,c]$로부터 새로운 원시 피타고라스 삼중항을 생성하며, $[3,4,5]$의 예를 통해 검증되었고, 결과로 $[35,12,37]$이 도출된다.
• 보조 도함수 $S': [a,b,c] \to [c|a-b|, ab, c^2 - ab]$는 다른 유효한 원시 삼중항을 생성하며, 두 변환은 상호 배타적이다.
• 페르마의 삼중항 $[4565486027761, 1061652293520, 4687298610289]$는 소인수분해와 $c$에 포함된 $\equiv 3 \pmod{4}$ 형식의 소수의 존재를 통해 주요 또는 보조 심포닉 도함수가 아니라는 것이 입증되었다.
• 특히 $S$ 또는 $S'$에 의해 생성되지 않은 삼중항의 경우도 역도함수가 존재하며, 이는 복소수 또는 실수의 무리수 해를 낳을 수 있다; 예를 들어 $[15,8,17]$의 경우 역도함수는 각각 $\frac{1}{2}(5 \pm \sqrt{-7})$와 $\frac{1}{2}(3 \pm \sqrt{41})$이다.
• 주요/보조 정리에 따르면, 어떤 삼중항도 동시에 주요 및 보조 심포닉 도함수일 수 없으며, 이는 관련 이차방정식의 근에 대한 기하학적 및 대수적 조건이 모순되기 때문이다.