关于OEIS序列A031363两种表达式等价性的证明求助

作为数论入门者，你已经通过验证小范围案例迈出了很棒的一步！下面是几个循序渐进的思路，帮你打通这个等价性的证明逻辑：

1. 正向推导：从$x^2 + xy - y^2$到$5a2 - b^2$ #

• 先做配方法变形：给第一个表达式乘以4后配方，这是关键突破口：

  4(x² + xy - y²) = (2x + y)² - 5y²
  

  你可以展开右边验证是否等于左边，这个式子把原式转化为了类似$u² - 5v²$的形式（令$u=2x+y$，$v=y$）。
• 现在我们有$4n = u² - 5v²$，目标是把$n$写成$5a² - b²$。不妨假设存在整数$a,b$满足$n=5a² - b²$，代入后整理得：

  u² + 4b² = 5(v² + 4a²)
  

  尝试找线性整数替换（比如令$u = b + 2a$、$v = 2b - a$这类组合），代入后验证等式是否成立，就能找到$x,y$和$a,b$的对应关系。

2. 反向推导：从$5a² - b²$到$x² + xy - y²$ #

• 把$5a² - b² = x² + xy - y²$看作关于$x$的一元二次方程：

  x² + xy - (y² + 5a² - b²) = 0
  

  用求根公式解$x$：

  x = \frac{-y \pm \sqrt{5y² + 4(5a² - b²)}}{2}
  

  要$x$是整数，根号内的表达式必须是完全平方数。试试令$y = b - 2a$或$y = 2a + b$这类线性替换，代入根号内计算，看看能否凑出平方数，进而得到整数$x$。

3. 模运算验证必要条件（辅助思路） #

• 先确认两个二次型表示的数在模5下的剩余类一致，这是等价的必要前提：
  • 对于$5a² - b²$，模5的结果就是$-b²$，而平方数模5只能是0、1、4，所以$-b²$模5的结果为0、4、1。
  • 枚举$x,y$模5的所有可能组合，计算$x² + xy - y²$的结果，会发现它的模5剩余类也只能是0、1、4。
    这个一致性说明两个二次型的数集合在模5下没有矛盾，为后续构造性证明铺垫。

4. 二次型等价的进阶视角 #

• 如果你后续接触到二次型理论，会知道这两个二次型是等价的：存在整数矩阵$P$，使得$P^T M_1 P = M_2$，其中$M_1$是$x²+xy-y²$的矩阵$\begin{pmatrix}1 & 1/2 \ 1/2 & -1\end{pmatrix}$，$M_2$是$5a² -b²$的矩阵$\begin{pmatrix}5 & 0 \ 0 & -1\end{pmatrix}$。找到这样的矩阵（比如调整$\begin{pmatrix}2 & 1 \ 1 & 1\end{pmatrix}$即可满足），就能直接证明它们表示的正整数集合完全相同。

内容的提问来源于stack exchange，提问作者Gareth Ma