Matrices with integer eigenvalues for all permutations of coefficients (thanks to Pythagoras!)

这是一份关于 Michael J.W. Hall 论文《具有整数特征值的系数全排列矩阵（感谢毕达哥拉斯！）》的详细技术总结。

1. 问题背景 (Problem)

该论文旨在解决一个数学教学与理论结合的问题：如何系统地生成具有整数系数且所有系数排列组合（permutations）后仍保持整数特征值的 $2 \times 2$ 矩阵。

• 背景动机：作者回忆高中数学老师通过快速生成整数解的代数问题来训练学生。如果涉及矩阵，老师可能会要求学生计算将直线变换为直线的缩放因子（即特征值）。
• 核心挑战：已知存在生成整数特征值矩阵的方法，但大多数方法生成的矩阵在系数重新排列后，特征值往往会变成非整数。作者希望找到一种方法，使得给定的一组四个整数 $\{a, b, c, d\}$，无论它们如何排列组成 $2 \times 2$ 矩阵，其 24 种可能的排列形式均拥有整数特征值。

2. 方法论 (Methodology)

作者从 $2 \times 2$ 矩阵的特征值方程出发，推导了整数特征值的充要条件，并引入毕达哥拉斯三元组（Pythagorean triples）作为生成解的核心工具。

2.1 基础方程推导

对于矩阵 $M = \begin{pmatrix} a & b \\ c & d \end{pmatrix}$，其特征值 $\lambda$ 满足二次方程：
$$\lambda^2 - (a+d)\lambda + (ad-bc) = 0$$
特征值为整数当且仅当判别式 $\Delta$ 是完全平方数。即存在整数 $u$ 使得：
$$u^2 = (a+d)^2 - 4(ad-bc) = (a-d)^2 + 4bc$$
为了使矩阵的所有 24 种排列都具有整数特征值，必须同时满足以下 6 个方程（对应不同的系数排列组合）：

1. $u^2 = (a-d)^2 + 4bc$
2. $v^2 = (b-c)^2 + 4ad$
3. $w^2 = (a-b)^2 + 4cd$
4. $x^2 = (c-d)^2 + 4ab$
5. $y^2 = (a-c)^2 + 4bd$
6. $z^2 = (b-d)^2 + 4ac$

2.2 引入假设 (Ansatz)

为了求解上述方程组，作者引入了一个简化假设：
$$a + d = b + c = t$$
其中 $t$ 为整数。这意味着矩阵中两对角系数之和等于另外两系数之和。

在此假设下：

• 方程 (3) 至 (6) 自动满足。
• 方程 (1) 和 (2) 简化为：
  $$u^2 = t^2 + 4(a-b)(b-d)$$
  $$v^2 = t^2 - 4(a-b)(b-d)$$
• 通过代数变换（令 $u+v=2r, u-v=2s$），推导出核心关系：
  $$r^2 + s^2 = t^2$$
  这表明 $(r, s, t)$ 必须构成一个毕达哥拉斯三元组。

2.3 参数化构造

基于毕达哥拉斯三元组 $(r, s, t)$，矩阵的四个系数 $\{a, b, c, d\}$ 可以表示为：
$$\{a, b, c, d\} = \left\{ \frac{t \pm k \pm l}{2} \right\}$$
其中 $k$ 和 $l$ 是满足 $kl = \frac{rs}{2}$ 的因子。

3. 主要贡献与结果 (Key Contributions & Results)

3.1 规范解 (Canonical Solution)

作者给出了最简洁的构造公式。对于任意毕达哥拉斯三元组 $(r, s, t)$，通过选择特定的 $k$ 和 $l$（利用 $r, s, t$ 的奇偶性性质），可以得到整数系数：
$$\{a, b, c, d\} = \left\{ \frac{t \pm r \pm \frac{s}{2}}{2} \right\}$$
或者利用互质整数 $m, n$ ($n$ 为奇数) 表示的更直观形式：
$$\{a, b, c, d\} = \{4m^2 \pm mn, \quad n^2 \pm mn\}$$
示例：

• 使用三元组 $(3, 4, 5)$ 生成系数集 $\{5, 3, 2, 0\}$。
• 使用三元组 $(5, 12, 13)$ 生成系数集 $\{12, 6, 7, 1\}$。
• 这些集合中的任意排列构成的 $2 \times 2$ 矩阵，其所有 24 种形式均拥有整数特征值。

3.2 非规范解与无穷多解

• 非规范解：即使 $k$ 和 $l$ 不取上述特定值，只要满足 $kl = rs/2$，也能生成解。例如，当$t$为奇数时，可取$k=rs/2, l=1$。
• 有理数扩展：即使 $k, l$ 为有理数导致 $a,b,c,d$ 为分数，也可以通过乘以公因子将其转化为整数解。
• 结论：单个毕达哥拉斯三元组实际上可以生成可数无穷多个非平凡的整数矩阵解。

3.3 特征值的显式表达

对于由三元组 $(r, s, t)$ 生成的矩阵，其排列后的特征值具有非常简洁的形式。例如，对于某些排列，特征值对为：
$$\left\{ \frac{t \pm (r+s)}{2} \right\}, \quad \left\{ \frac{t \pm (r-s)}{2} \right\}, \quad \{t, k\}, \quad \{t, -k\}, \dots$$
这表明特征值直接由生成三元组的参数决定。

4. 意义与影响 (Significance)

1. 教学价值：该方法为数学教师提供了一种极其高效的工具。教师可以选取一组简单的整数（如 $\{12, 6, 7, 1\}$），将其分配给 24 名学生，每个学生得到一种不同的排列矩阵。所有学生计算出的特征值都将是整数，便于课堂快速练习和互评。
2. 数学结构的揭示：论文揭示了矩阵特征值整数性与毕达哥拉斯三元组之间深刻的代数联系。它证明了通过简单的对称性假设（$a+d=b+c$），可以将复杂的矩阵排列问题转化为经典的数论问题。
3. 生成效率：相比以往文献中基于参数生成的方法，该方法具有“排列不变性”（Permutation Property），即一次参数选择即可生成 24 个有效矩阵，极大地扩展了可用解的空间。
4. 未来方向：作者在结论中提出，该方法是否适用于 $3 \times 3$ 矩阵是一个开放性问题（除了所有系数相等的平凡解外），这为后续研究留下了空间。

总结

Michael J.W. Hall 的这篇论文通过巧妙的代数假设，建立了一套基于毕达哥拉斯三元组的算法，能够系统性地生成具有“全排列整数特征值”性质的 $2 \times 2$ 矩阵。这不仅解决了特定的数学构造问题，也为数学教育提供了一套生动、可操作且理论深厚的教学素材。