論文要約：係数のすべての置換に対して整数固有値を持つ行列（ピタゴラスの定理による構成）

著者: Michael J.W. Hall (オーストラリア国立大学)
概要: この論文は、整数係数を持つ $2 \times 2$ 行列において、その 4 つの係数（$a, b, c, d$）を任意に並べ替えたすべての行列が、整数固有値を持つような係数の集合を生成する新しい手法を提案しています。この手法の核心は、ピタゴラス数（直角三角形の整数辺の長さの組）を用いて係数を構成することにあります。

以下に、問題設定、手法、主要な貢献、結果、および意義について詳細にまとめます。

---

1. 問題設定 (Problem)

数学教育の文脈（特に高校数学）において、教師は学生に素早く解ける整数係数の行列問題を提供したいと考えることがあります。特に、行列の係数 $a, b, c, d$ を任意に並べ替えた場合でも、すべての行列が整数固有値を持つような係数の集合を見つけることが課題です。

既存の手法では、パラメータを用いて行列を生成する方法は知られていましたが、それらの多くは「係数の置換に対して整数固有値を保証しない」か、あるいは「1 つのパラメータ選択に対して 1 つの行列しか生成しない」という制限がありました。
本論文は、**「1 つのパラメータ選択（ピタゴラス数）から、係数のすべての置換（$2 \times 2$ 行列の場合 24 通り）に対して整数固有値を持つ行列を生成する」**効率的な方法を確立することを目的としています。

2. 手法と導出 (Methodology)

基礎となる方程式

$2 \times 2$ 行列 $M = \begin{pmatrix} a & b \\ c & d \end{pmatrix}$ の固有値 $\lambda$ は、特性方程式 $\lambda^2 - (a+d)\lambda + (ad-bc) = 0$ の解として与えられます。
固有値が整数となるための必要十分条件は、判別式が完全平方数（整数の二乗）となることです。
$$u^2 = (a+d)^2 - 4(ad-bc) = (a-d)^2 + 4bc$$
ここで $u$ は整数です。さらに、係数の置換（対角成分の入れ替えや非対角成分の入れ替えなど）を含め、すべての 24 通りの行列が整数固有値を持つためには、以下の 6 つの条件（式 1〜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$

アンスァッツ（仮定）とピタゴラス数への帰着

著者は、以下の簡略化された仮定（アンスァッツ）を導入します。
$$a + d = b + c = t$$
（すなわち、2 つの係数の和が、残りの 2 つの係数の和に等しい）。

この仮定の下では、条件 (3)〜(6) は自動的に満たされ、条件 (1) と (2) は以下のように簡略化されます。
$$u^2 = t^2 + 4(a-b)(b-d)$$
$$v^2 = t^2 - 4(a-b)(b-d)$$
これらを組み合わせることで、以下の関係が導かれます。
$$u^2 + v^2 = 2t^2$$
$$u^2 - v^2 = 8(a-b)(b-d)$$
$u+v=2r, u-v=2s$ と置くと、$u^2+v^2 = 2(r^2+s^2)$ となるため、
$$r^2 + s^2 = t^2$$
が得られます。これは、$(r, s, t)$ がピタゴラス数（$r^2+s^2=t^2$ を満たす整数の組）であることを意味します。

3. 主要な貢献と結果 (Key Contributions & Results)

3.1 係数の一般解の導出

ピタゴラス数 $(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.2 標準解（Canonical Solution）

最も単純な解として、$k=r$（$t$ と同じ偶奇）、$l=s/2$ を選ぶ「標準解」が得られます。
$$\{a, b, c, d\} = \left\{ \frac{t \pm r \pm \frac{s}{2}}{2} \right\}$$
これにより、任意のピタゴラス数から整数係数の集合が生成されます。

• 例 1: $(3, 4, 5)$ の場合 $\rightarrow \{5, 3, 2, 0\}$
• 例 2: $(5, 12, 13)$ の場合 $\rightarrow \{12, 6, 7, 1\}$
  これら 4 つの数値を並べ替えて作られるすべての $2 \times 2$ 行列は、整数固有値を持ちます。

3.3 覚えやすいパラメータ形式

ピタゴラス数の一般形 $r=(f^2-g^2)h, s=2fgh, t=(f^2+g^2)h$ を用いると、係数は以下のように簡潔に表せます（$m, n$ は互いに素、$n$ は奇数）。
$$\{a, b, c, d\} = \{4m^2 \pm mn, n^2 \pm mn\}$$
（共通因子 $h$ を含めることも可能）。この形式は記憶・利用が容易であり、上記の例を再現します。

3.4 無限の解の生成

ピタゴラス数 1 組から、整数係数の行列を無限に生成できることが示されました。

• 非標準解: $k, l$ の選び方を変えることで、異なる係数集合（例: $\{6, 5, 0, -1\}$ など）が得られます。
• 有理数係数の拡張: $k, l$ を有理数に選んで得られた有理数係数に共通倍率を掛けることで、さらに多くの整数解が得られます（式 22 参照）。これにより、1 つのピタゴラス数から「可算無限個」の非自明な解が生成されることが証明されました。

3.5 固有値の明示的計算

生成された行列の固有値も、ピタゴラス数 $(r, s, t)$ とパラメータ $k, l$ を用いて明示的に計算可能です。

• 特定の行列配置では、固有値は $\{t \pm (r+s)/2\}$ や $\{t, k\}$ などの単純な形になります。
• 対角成分や非対角成分を入れ替えた行列でも、固有値のペアは同じか、あるいは $k, l$ の符号が変わった形になります。

4. 意義と結論 (Significance & Conclusion)

• 教育的価値: 数学の教師は、1 つのピタゴラス数（例: 5, 12, 13）から 4 つの数値を選び、それらを並べ替えるだけで 24 人（またはそれ以上）の学生に、すべてが整数固有値を持つ異なる行列問題を配布できます。これは、計算練習や行列の性質の理解を深めるための強力なツールとなります。
• 数学的 novelty: 既存の手法とは異なり、係数の「すべての置換」に対して整数固有値を保証する体系的な構成法を提供しました。また、ピタゴラス数と行列の固有値問題の間に、これほど直接的かつ多様な関係があることを明らかにしました。
• 今後の課題: 本論文では $2 \times 2$ 行列に焦点を当てていますが、同様の性質を持つ $3 \times 3$ 行列の存在（または非存在）は未解決の問題として残されています。また、$a+d=b+c$ という仮定が必要条件かどうかについても言及されています（$c=d=0$ のような自明な解を除けば、この仮定が本質的である可能性が高いと示唆されています）。

総括:
この論文は、ピタゴラス数という古典的な数学的概念を用いて、行列の固有値問題に対する新しいかつ実用的な解法を提示したものです。その手法はシンプルでありながら、無限の解を生み出す力を持ち、数学教育および数論的な興味深い構造の発見に寄与しています。