[논문 리뷰] Elementary results on the binary quadratic form a^2+ab+b^2

Umesh P. Nair|ArXiv.org|2004. 08. 09.

Advanced Mathematical Identities참고 문헌 2인용 수 4

한 줄 요약

이 논문은 이진 이차형식 $a^2 + ab + b^2$의 기본 성질에 대한 초등 수론적 증명을 제공한다. 소수 $p$가 이 형식으로 표현될 수 있는 것은 $p = 3$ 또는 $p ≁ 1 \pmod{6}$일 때에만이며, 모든 양의 정수는 그 소인수 분해에서 $2 \pmod{3}$과 합동인 소수들이 짝수 거듭제곱을 가져야만 표현 가능하다. 또한 이 형식은 곱셈에 대해 닫혀 있음을 증명하고, 서로 다른 표현의 수에 대한 공식을 제안한다.

ABSTRACT

This paper examines with elementary proofs some interesting properties of numbers in the binary quadratic form $a^2+ab+b^2$, where $a$ and $b$ are non-negative integers. Key findings of this paper are (i) a prime number $p$ can be represented as $a^2+ab+b^2$ if and only if $p$ is of the form $6k+1$, with the only exception of 3, (ii) any positive integer can be represented as $a^2+ab+b^2$ if and only if its all prime factors that are not in the same form have even exponents in the standard factorization, and (iii) all the factors of an integer in the form $a^2+ab+b^2$, where $a$ and $b$ are positive and relatively prime to each other, are also of the same form. A general formula for the number of distinct representations of any positive integer in this form is conjectured. A comparison of the results with the properties of some other binary quadratic forms is given.

연구 동기 및 목표

• 이항 이차형식 $a^2 + ab + b^2$의 성질에 대한 초등 수론적 증명을 확립하기 위해.
• 기초 수론을 사용하여 어떤 소수와 양의 정수가 이 형식으로 표현 가능한지 특성화하기 위해.
• 이 형식이 곱셈에 대해 닫혀 있고 인수 분해 성질을 보임을 보여주기 위해.
• 양의 정수가 이 형식으로 표현될 수 있는 서로 다른 표현의 수에 대한 일반 공식을 제안하기 위해.
• 이중 제곱의 고전적 형태인 $a^2 + b^2$와의 유사성을 비교하여, 구조적 유사성을 부각시키기 위해.

제안 방법

• 주어진 $a$와 $p$에 대해 $b$의 유일한 해를 유도하기 위해, $a^2 + ab + b^2$가 항상 음이 아닌 값을 가짐을 보이고, 간단한 대수적 변형과 치환을 사용한다.
• 두 수가 $a^2 + ab + b^2$ 형태일 때 그 곱이 동일한 형식으로 표현 가능하다는 것을 보이기 위해, 곱의 항등식을 유도한다.
• $a$와 $b$의 부호에 대한 경우 분석을 통해, $a, b \in \mathbb{Z}$일 때 $a^2 + ab + b^2$로 표현 가능한 모든 정수는 비음수 정수를 사용하는 $\mathcal{B}$-수임을 증명한다.
• 소수 표현의 증명은 특히 모듈로 6를 사용한 모듈로 산술에 기반하며, $p \equiv 1 \pmod{6}$ 또는 $p = 3$인 소수들만 이 형식으로 표현 가능하다는 것을 보인다.
• 모든 표현 가능한 정수의 특성은 소인수 분해와 결합하여 유도되며, $2 \pmod{3}$과 합동인 소수들은 반드시 짝수 거듭제곱을 가져야 한다는 조건이 적용된다.
• 표현 수에 대한 추측은 관찰된 패tern과 이중 제곱 형태와의 유사성에 기반한다.

실험 결과

연구 질문

• RQ1 비음수 정수 $a$와 $b$에 대해 어떤 소수들이 $a^2 + ab + b^2$로 표현될 수 있는가?
• RQ2 양의 정수가 $a^2 + ab + b^2$ 형태로 표현 가능한 데 필요한 필요충분 조건은 무엇인가?
• RQ3 서로소인 $a$와 $b$를 가진 $a^2 + ab + b^2$ 형태의 수의 모든 인수들은 동일한 형태로 표현 가능한가?
• RQ4 $a^2 + ab + b^2$의 표현 이론은 $a^2 + b^2$의 표현 이론과 어떻게 비교되는가?
• RQ5 양의 정수가 $a^2 + ab + b^2$ 형태로 표현될 수 있는 서로 다른 표현의 수에 대한 일반 공식이 존재하는가?

주요 결과

• 소수 $p$는 $p = 3$ 또는 $p \equiv 1 \pmod{6}$일 때에만 $a^2 + ab + b^2$로 표현 가능하며, 이는 모듈로 산술을 사용한 초등 증명으로 입증된다.
• 양의 정수 $n$은 $n$의 소인수 분해에서 $2 \pmod{3}$과 합동인 소수들이 모두 짝수 거듭제곱을 가져야만 $a^2 + ab + b^2$로 표현 가능하다.
• 양의 정수이자 서로소인 $a$와 $b$를 가진 $\mathcal{B}$-수 $n = a^2 + ab + b^2$의 모든 인수들은 동일한 형식으로 표현 가능하다.
• 두 수가 $a^2 + ab + b^2$ 형태일 때 그 곱도 동일한 형식으로 표현 가능하며, 결과 계수에 대한 명시적 공식이 유도되었다.
• $a^2 + ab + b^2$는 $a^2 + b^2$와 강력한 구조적 유사성을 가지며, 유사한 인수 분해 및 표현 정리가 존재한다.
• 이중 제곱 형태의 자카비 공식과의 유사성에 기반하여, 양의 정수가 $a^2 + ab + b^2$ 형태로 표현될 수 있는 서로 다른 표현의 수에 대한 일반 공식을 제안한다.