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

논문 요약: 피타고라스 정리를 이용한 계수 순열에 대해 모두 정수 고유값을 갖는 행렬 생성

1. 문제 제기 (Problem)

이 논문은 고등학교 수학 교육 및 기타 맥락에서 유용하게 활용될 수 있는 정수 계수 (integer coefficients) 를 가지면서, 동시에 모든 정수 고유값 (integer eigenvalues) 을 갖는 $2 \times 2$ 행렬을 효율적으로 생성하는 방법을 다루고 있습니다.

• 핵심 질문: 4 개의 정수 $a, b, c, d$로 구성된 행렬 $\begin{pmatrix} a & b \\ c & d \end{pmatrix}$의 계수들을 임의로 순열 (permutation) 하여 만든 24 가지의 모든 행렬이 정수 고유값을 가지도록 하는 조건은 무엇인가?
• 기존 방법의 한계: 기존 연구 [1, 2, 3] 에서는 매개변수를 통해 적합한 행렬을 생성하는 방법이 알려져 있었으나, 하나의 매개변수 선택이 하나의 행렬만 생성하거나, 계수의 순열을 바꾸었을 때 정수 고유값 성질이 유지되지 않는 경우가 있었습니다.

2. 방법론 (Methodology)

저자는 행렬 이론의 기본인 고유값 방정식과 피타고라스 세 쌍 (Pythagorean triples) 을 결합한 새로운 접근법을 제시합니다.

• 수학적 기초:
  $2 \times 2$ 행렬의 고유값 $\lambda$는 이차방정식 $\lambda^2 - (a+d)\lambda + (ad-bc) = 0$의 해입니다. 계수가 정수일 때, 고유값이 정수가 되려면 판별식 $\Delta = (a+d)^2 - 4(ad-bc)$가 완전제곱수 ($u^2$) 여야 합니다.
  즉, $(a-d)^2 + 4bc = u^2$를 만족해야 합니다.

• 순열 불변성 조건:
  계수 $a, b, c, d$의 모든 24 가지 순열에 대해 정수 고유값을 갖기 위해서는, 계수들의 위치를 바꾸어도 위 조건이 성립해야 합니다. 이는 다음과 같은 6 개의 조건이 동시에 만족되어야 함을 의미합니다:

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

• 해법 유도 (Ansatz):
  저자는 계수들의 합에 대한 단순화 가정 (Ansatz) 을 도입하여 위 연립방정식을 풉니다.

  • 가정: $a + d = b + c = t$ (두 계수의 합이 나머지 두 계수의 합과 같음).
  • 이 가정을 적용하면 조건 (3)~(6) 은 자동으로 만족되며, 조건 (1) 과 (2) 는 다음과 같이 단순화됩니다.
    • $u^2 = t^2 + 4(a-b)(b-d)$
    • $v^2 = t^2 - 4(a-b)(b-d)$
  • 두 식을 더하고 빼서 정리하면 $(r, s, t)$가 피타고라스 세 쌍 ($r^2 + s^2 = t^2$) 을 이루게 됩니다.

3. 주요 결과 (Key Results)

• 정수 계수 행렬 생성 공식:
  임의의 피타고라스 세 쌍 $(r, s, t)$를 사용하여 정수 계수 행렬의 4 개 요소 $\{a, b, c, d\}$를 다음과 같이 생성할 수 있습니다.
  $$\{a, b, c, d\} = \left\{ \frac{t \pm r \pm \frac{s}{2}}{2} \right\}$$
  (단, $r, s, t$의 패리티 조건을 만족하도록 $k, l$을 적절히 선택하여 정수 해를 보장합니다.)

• 간단한 표준형 (Canonical Solution):
  피타고라스 세 쌍을 생성하는 매개변수 $f, g, h$를 활용하면, 계수들을 더 직관적인 형태로 표현할 수 있습니다.
  $$\{a, b, c, d\} = \{4m^2 \pm mn, n^2 \pm mn\}$$
  (여기서 $m, n$은 서로소이며 $n$은 홀수인 정수입니다.)

• 구체적 예시:

  • 피타고라스 세 쌍 (3, 4, 5): 계수 집합 $\{5, 3, 2, 0\}$을 생성.
  • 피타고라스 세 쌍 (5, 12, 13): 계수 집합 $\{12, 6, 7, 1\}$을 생성.
  • 이 집합의 원소들을 임의의 순서로 배치하여 만든 $2 \times 2$ 행렬은 모두 정수 고유값을 가집니다. 예를 들어, $\begin{pmatrix} 12 & 6 \\ 7 & 1 \end{pmatrix}$와 $\begin{pmatrix} 6 & 1 \\ 7 & 12 \end{pmatrix}$ 모두 정수 고유값을 가집니다.

• 무한한 해의 존재:
  하나의 피타고라스 세 쌍으로부터 정수 계수 행렬뿐만 아니라, 유리수 계수를 통해 생성된 후 정수화한 가산 무한 (countable infinity) 개의 비자명한 해를 생성할 수 있음을 보였습니다 (식 22 참조).

• 고유값의 명시적 표현:
  생성된 행렬들의 고유값은 피타고라스 세 쌍의 성분 $(r, s, t)$와 매개변수 $k, l$을 사용하여 명시적으로 $\frac{t \pm (r+s)}{2}, \frac{t \pm (r-s)}{2}, \{t, k\}, \{t, -k\}$ 등의 형태로 결정됩니다.

4. 의의 및 기여 (Significance)

1. 교육적 유용성: 수학 교사나 교육자가 4 개의 정수 계수만 주어지면, 이를 순열하여 24 개의 서로 다른 행렬을 만들 수 있으며, 이 모든 행렬이 정수 고유값을 갖는다는 것을 보여줍니다. 이는 학생들에게 행렬, 고유값, 피타고라스 정리를 연결하는 훌륭한 연습 문제를 제공합니다.
2. 계산 효율성: 기존 방법보다 효율적입니다. 하나의 피타고라스 세 쌍 선택으로 여러 개의 행렬을 생성할 수 있으며, 계수의 순열을 바꾸어도 성질이 유지됩니다.
3. 수학적 연결: 행렬 이론 (고유값) 과 고전적인 정수론 (피타고라스 세 쌍) 을 직관적이고 우아하게 연결했습니다.
4. 확장 가능성: $3 \times 3$ 행렬로 일반화할 수 있는지 여부에 대한 질문을 제기하며, 향후 연구의 방향을 제시했습니다.

5. 결론

이 논문은 피타고라스 세 쌍을 기반으로 한 간단한 공식을 통해, 계수의 순열에 관계없이 항상 정수 고유값을 갖는 $2 \times 2$ 정수 행렬의 무한한 집합을 생성하는 방법을 제시했습니다. 이 방법은 수학적 구조의 아름다움을 보여주며, 교육 및 연구 분야에서 유용한 도구가 될 수 있습니다.