[논문 리뷰] Roots of polynomials of degrees 3 and 4

Svante Janson|arXiv (Cornell University)|2010. 09. 13.

History and Theory of Mathematics참고 문헌 9인용 수 11

한 줄 요약

이 논문은 갈루아 이론과 유한 아벨 군 위의 푸리에 분석을 사용하여 삼차 및 사차 방정식의 대수적 해법을 제시하며, 고전적 공식들에 대한 현대적이고 군론적인 동기를 제공한다. 이는 삼차 방정식의 갈루아 군으로서 대칭군 A3과 사차 방정식의 갈루아 군으로서 클라인 사면체군의 구조에서 이러한 방정식의 가역성이 자연스럽게 유도됨을 보여준다. 특히 대칭 함수와 잠재 방정식을 통한 명시적 구성이 이루어진다.

ABSTRACT

We present the solutions of equations of degrees 3 and 4 using Galois theory and some simple Fourier analysis for finite groups, together with historical comments on these and other solution methods.

연구 동기 및 목표

• 갈루아 이론을 지침으로 삼아 삼차 및 사차 방정식의 고전적 해법을 재유도하는 것.
• 특히 갈루아 군과 그 부분군이 삼차 및 사차 다항방정식을 푸는 데 핵심적인 대수적 구성 요소를 자연스럽게 제안하는 방식을 보여주는 것.
• 유한 아벨 군 위의 푸리에 분석(예: C3 및 C2×C2)이 잠재 방정식과 대칭 함수 변환에 사용된 개념적 동기를 제공하는 방식을 보여주는 것.
• 판별식과 그 제곱근 δ가 갈루아 군 내에서 짝수 및 홀수 치환을 구분하는 데 핵심적인 역할을 하는 이유를 밝히는 것.
• 카르다노와 페르마의 역사적 방법과 대비하여, 차수 3 및 4 다항방정식의 가역성에 대한 통합적이고 개념적으로 타당한 접근 방식을 제공하는 것.

제안 방법

• 일반 삼차 방정식을 치환 x = y - b/3를 통해 x² 항이 없는 데프레스드 삼차 방정식으로 변환하여 근을 구하는 과정을 단순화하는 것.
• 근에 대한 대칭적 작용을 모델링하기 위해 갈루아 군 Gal(E/K(δ)) ≅ A3 ≅ C3를 사용하며, 이는 순환군 C3 위의 이산 푸리에 변환의 사용을 동기화한다.
• 근의 대칭 함수를 통해 삼차 잠재 방정식을 도입하며, 판별식 Δ = -4p³ - 27q²가 핵심 불변량이 된다.
• 사차 방정식의 경우, 페르마의 방법을 적용하여 이차형식의 제곱을 완성함으로써 잠재 삼차 방정식에 도달하는 것.
• 잠재 삼차 방정식 R(u) = 0을 통해 다항식이 두 개의 이차식으로 인수분해될 수 있는 매개변수 u를 찾는 것.
• 근은 이차 공식을 통해 회복되며, 기하학적으로는 포물선 w = y²와의 교점을 통해 얻어지는 두 직선으로 분해되는 특이한 이차곡선을 찾는 것으로 해석된다.

실험 결과

연구 질문

• RQ1 갈루아 이론을 어떻게 체계적으로 활용하여 삼차 및 사차 방정식의 고전적 해법을 동기화할 수 있는가?
• RQ2 삼차 및 사차 다항식의 경우, 갈루아 군이 잠재 방정식의 구조를 어떻게 제안하는가?
• RQ3 유한 아벨 군 위의 푸리에 분석(예: C3 및 C2×C2)이 해법에서 사용된 대칭 함수 구성에 어떻게 통찰을 제공하는가?
• RQ4 왜 판별식 Δ 및 그 제곱근 δ가 갈루아 군 내에서 짝수 및 홀수 치환을 구분하는 데 필수적인가?
• RQ5 페르마의 방법을 이차곡선의 직선군을 통한 기하학적 해석이 대수적 인수분해 과정을 어떻게 명확히 하는가?

주요 결과

• 서로 다른 근을 가진 삼차 방정식의 갈루아 군은 S3 또는 A3이며, δ(판별식의 제곱근)를 고정하는 부분군은 A3 ≅ C3로, 근에 대해 순환치환을 통해 작용한다.
• 데프레스드 삼차 방정식 y³ + py + q = 0의 경우, C3의 작용과 푸리에 분석을 통해 복소수 표현의 세제곱근을 포함하는 공식을 통해 근을 루트로 표현할 수 있다.
• 사차 방정식의 잠재 삼차 방정식의 근은 원래 사차 방정식의 근에 대한 대칭 함수이며, 특히 서로 다른 쌍에 대해 u = (αiαj + αkαl)/2로 주어지며, 이들의 근이 인수분해 매개변수를 결정한다.
• 페르마의 방법은 잠재 삼차 방정식 R(u) = 0이 근 u를 가질 경우 사차 방정식이 두 개의 이차식으로 분해됨을 보여주며, 이후 근은 이 두 이차식을 풀어 구한다.
• 기하학적 해석은 해가 직선군 내 특이 이차곡선을 찾는 것으로 나타나며, 이는 두 직선으로 분해되며, w = y²와의 교점이 근을 제공한다.
• 판별식 Δ ≠ 0일 경우 갈루아 군은 근에 대해 충실하게 작용하며, 분할체 E는 K(δ)에 대한 갈루아 확대이며, 삼차 방정식의 경우 갈루아 군은 A3, 사차 방정식의 경우 클라인 사면체군이 된다.