[论文解读] Elementary results on the binary quadratic form a^2+ab+b^2

Umesh P. Nair|ArXiv.org|Aug 9, 2004

Advanced Mathematical Identities参考文献 2被引用 4

一句话总结

本文提供了二元二次型 $a^2 + ab + b^2$ 的基本数论证明，表明一个素数 $p$ 可以用此形式表示当且仅当 $p = 3$ 或 $p ≁ 1 \pmod{6}$，且任意正整数可表示当且仅当其所有满足 $\equiv 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 + ab + b^2$ 与经典平方和形式 $a^2 + b^2$ 之间建立类比，突出其结构相似性。

提出的方法

• 通过初等代数恒等变形与代入，证明 $a^2 + ab + b^2$ 恒为非负，并推导在给定 $a$ 和 $p$ 时 $b$ 的唯一解。
• 推导两个形如 $a^2 + ab + b^2$ 的数的乘积恒可表示为相同形式的恒等式，以证明其可表示性。
• 通过分析 $a$ 和 $b$ 的符号情况，证明任何可表示为 $a^2 + ab + b^2$（$a, b \in \mathbb{Z}$）的整数，同时也是非负整数的 $\mathcal{B}$-数。
• 素数表示的证明依赖模运算，特别是模 6，以表明仅当 $p \equiv 1 \pmod{6}$ 或 $p = 3$ 时，才能用该形式表示。
• 通过素因数分解及满足 $\equiv 2 \pmod{3}$ 的素因子指数必须为偶数的条件，推导出所有可表示整数的刻画。
• 关于表示数的猜想基于观察到的模式，并类比于平方和形式的表示。

实验结果

研究问题

• 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 + b^2$ 的表示理论相比，$a^2 + ab + b^2$ 的表示理论有何异同？
• RQ5 是否存在一个正整数在 $a^2 + ab + b^2$ 形式下的不同表示数的通用公式？

主要发现

• 素数 $p$ 可表示为 $a^2 + ab + b^2$ 当且仅当 $p = 3$ 或 $p \equiv 1 \pmod{6}$，其证明基于模运算的初等方法。
• 正整数 $n$ 可表示为 $a^2 + ab + b^2$ 当且仅当其素因数分解中所有满足 $\equiv 2 \pmod{3}$ 的素因子的指数均为偶数。
• 所有 $\mathcal{B}$-数 $n = a^2 + ab + b^2$（其中 $a$ 和 $b$ 为正整数且互素）的因数本身也可用相同形式表示。
• 两个形如 $a^2 + ab + b^2$ 的数的乘积也可用相同形式表示，且推导出了结果系数的显式公式。
• $a^2 + ab + b^2$ 与 $a^2 + b^2$ 具有强烈的结构类比，包括相似的因式分解与表示定理。
• 基于与 Jacobi 关于平方和公式类比，提出了一个关于正整数在 $a^2 + ab + b^2$ 形式下不同表示数的通用公式猜想。