[논문 리뷰] A new parameterisation of Pythagorean triples in terms of odd and even series

Anthony Overmars, Lorenzo Ntogramatzidis|arXiv (Cornell University)|2015. 04. 01.

Advanced Numerical Analysis Techniques참고 문헌 6인용 수 4

한 줄 요약

이 논문은 홀수 및 짝수 수열을 기반으로 한 피타고라스 삼중항의 새로운 매개변수화를 제안하며, 정수 매개변수 $n$ 및 $μ$를 통해 모든 기초 삼중항을 생성한다. 기초성의 필요 및 충분 조건을 제공하고, 세 원소가 모두 짝수인 비기초 삼중항을 배제함으로써 유클리드 공식과는 다른 구조적 통찰을 제공하는 보완적 접근을 제시한다.

ABSTRACT

In this paper we introduce a formula that parameterises the Pythagorean triples as elements of two series. With respect to the standard Euclidean formula, this parameterisation does not generate the Pythagorean triples where the elements of the triple are all divisible by 2. A necessary and sufficient condition is also proposed for a Pythagorean triple obtained from this formula to be primitive.

연구 동기 및 목표

• 측변 길이의 구조적 패턴에 초점을 맞춰, 홀수 및 짝수 수열을 기반으로 한 피타고라스 삼중항의 매개변수화를 개발한다.
• 측변 길이의 수열 기반 인덱싱을 통해 모든 기초 피타고라스 삼중항을 생성하는 완전하고 체계적인 공식을 규명한다.
• 이 매개변수화로 생성된 삼중항이 기초임을 판단하는 조건을 명확히 하여 유클리드 공식과는 다른 기준을 제시한다.
• 이 매개변수화가 세 원소가 모두 짝수인 비기초 삼중항을 배제함을 보여주며, 표준 유클리드 생성 방식이 다루지 않는 클래스를 다루지 않는다는 점을 설명한다.

제안 방법

• 매개변수화는 두 정수 매개변수 $n$ 및 $\mu$를 사용하며, $n \in \mathbb{N} \setminus \{0\}$, $\mu \in \mathbb{N} \setminus \{0\}$ 이다. 삼중항은 다음 식을 통해 생성된다: $a = \mu(2n + \mu)$, $b = 2n(n + \mu)$, $c = 2n^2 + \mu(2n + \mu)$.
• 이 방법은 $a$가 홀수이고 $b$가 짝수임을 보장하므로, $c - b$는 홀수이고 $c - a$는 짝수이며, 이는 홀수-짝수 수열 구조와 일치한다.
• 이 공식으로 생성된 삼중항이 기초임은 $n$과 $\mu$가 서로소일 때이고, 그 때에만 성립함을 증명한다.
• 이 매개변수화는 모든 기초 삼중항을 생성하며, 그림 3에 나타낸 바와 같이 격자 구조를 형성한다. 특수 케이스로는 홀수 삼중항의 피타고라스 가문과 짝수 삼중항의 플라톤 가문이 있다.
• 유클리드 공식과의 대조를 통해, 두 방법 모두 기초 삼중항을 생성하지만, 이 방법은 세 변이 모두 짝수인 비기초 삼중항을 배제함을 보여준다.

실험 결과

연구 질문

• RQ1 측변 길이의 차이를 기반으로 한 홀수 및 짝수 수열을 사용하여 피타고라스 삼중항을 체계적으로 매개변수화할 수 있는가?
• RQ2 이 수열 기반 매개변수화로 생성된 삼중항이 기초임을 판단하는 필수 및 충분 조건은 무엇인가?
• RQ3 왜 이 매개변수화는 유클리드 공식과 달리 세 원소가 모두 짝수인 비기초 삼중항을 생성하지 못하는가?
• RQ4 이 매개변수화에서 유래하는 특수 가문—피타고라스(홀수) 및 플라톤(짝수)—은 어떻게 도출되는가?
• RQ5 이 매개변수화와 표준 유클리드 공식 간의 삼중항 생성 집합에 대한 구조적 관계는 무엇인가?

주요 결과

• 매개변수화 $\mathfrak{P}(n, \mu)$ 는 두 개의 양의 정수 $n$ 및 $\mu$를 사용하여 모든 기초 피타고라스 삼중항을 생성하며, $a = \mu(2n + \mu)$, $b = 2n(n + \mu)$, $c = 2n^2 + \mu(2n + \mu)$ 이다.
• 생성된 삼중항이 기초임은 $n$과 $\mu$가 서로소일 때이고, 그 때에만 성립한다. 이는 기초성에 대한 명확한 기준을 제공한다.
• 이 매개변수화는 $a$, $b$, $c$가 모두 짝수인 모든 비기초 삼중항을 배제한다. 이 클래스는 유클리드 공식에 의해 생성되지만, 이 방법에선 생성되지 않는다.
• 홀수 삼중항의 피타고라스 가문 $(2n+1, 2n^2+2n, 2n^2+2n+1)$ 은 $\mathfrak{P}(1, n)$ 으로 유도되며, 짝수 삼중항의 플라톤 가문 $(4m^2-1, 4m, 4m^2+1)$ 은 $\mathfrak{P}(m, 1)$ 으로 유도된다.
• 피타고라스 가문과 플라톤 가문의 유일한 공통 삼중항은 $(3,4,5)$ 이며, 이는 $\mathfrak{P}(1,1)$ 에 해당한다.
• 그림 3의 격자 구조는 생성된 삼중항의 집합 $\widehat{\mathcal{C}} = \mathcal{E}$ 를 확인하며, 이 매개변수화가 유클리드 삼중항을 완전히 커버함을 보여준다.