[논문 리뷰] On the Complete Solution to the Most General Fifth Degree Polynomial

Richard J. Drociuk|ArXiv.org|2000. 05. 03.

Advanced Numerical Analysis Techniques참고 문헌 7인용 수 8

한 줄 요약

이 논문은 일반 5차 방정식의 5개 근에 대한 폐쇄형 해를 제공하는 세 단계 방법을 제시한다: (1) 일반 5차 방정식을 브링의 표준형으로 줄이기 위해 일반화된 티르나우스 변환을 적용하고, (2) 브링의 방정식을 해결하기 위해 일반화된 초함수 미분방정식을 풀며, (3) 얻어진 4차 방정식에 페르마티의 방법을 사용해 변환을 역으로 풀어 원래 5차 방정식의 5개 근을 복원한다. 이 해는 마플 V 및 VI에서 명시적으로 계산 가능하며, 이차 방정식의 공식과 유사한 직접적이고 반복적이지 않은 공식을 제공한다.

ABSTRACT

The motivation behind this note, is due to the non success in finding the complete solution to the General Quintic Equation. The hope was to have a solution with all the parameters precisely calculated in a straight forward manner. This paper gives the closed form solution for the five roots of the General Quintic Equation. They can be generated on Maple V, or on the new version Maple VI. On the new version of maple, Maple VI, it may be possible to insert all the substitutions calculated in this paper, into one another, and construct one large equation for the Tschirnhausian Transformation. The solution also uses the Generalized Hypergeometric Function which Maple V can calculate, robustly.

연구 동기 및 목표

• 수치적 또는 반복적 방법에 의존하지 않고 일반 5차 방정식에 대한 완전하고 폐쇄형 해를 제공하는 것.
• 5차 방정식의 5개 근을 하나의 명시적 공식으로 표현하는 데 오랫동안 남아 있던 과제를 해결하는 것.
• 티르나우스 변환을 일반화된 초함수와 모듈러 함수 기법과 융합하여 계산 가능성이 있는 세 단계 과정으로 통합하는 것.
• 수학적으로 엄밀하면서도 마플 V 및 VI와 같은 기호 계산 시스템에서 실질적으로 실행 가능한 해를 제공하는 것.

제안 방법

• 일반 5차 방정식에서 $ x^4 $, $ x^3 $, $ x^2 $, $ x $ 항을 제거하기 위해 4차 항등식 $ x^4 + d x^3 + c x^2 + b x + a + y $ 를 사용한 일반화된 티르나우스 변환을 적용한다.
• 이 변환은 원래 5차 방정식의 계수와 변환된 방정식의 매개변수 간의 관계를 제공하는 5×5 행렬의 행렬식을 유도한다.
• 브링의 표준형 $ x^5 - x - s = 0 $ 의 해는 일반화된 초함수 미분방정식을 통해 유도되며, 특수 함수의 형태로 직접 근을 계산할 수 있게 한다.
• 얻어진 4차 방정식을 풀기 위해 페르마티의 방법을 사용해 역변환을 적용하여 원래 5차 방정식의 5개 근을 복원한다.
• 모든 치환은 마플 V 및 VI와 호환되는 기호 프레임워크에 코딩되어 있으며, 근의 직접 평가가 가능하다.
• 모듈러 함수의 역함수 계산이나 반복적 근 찾기의 필요성을 피함으로써 근을 직접적으로 분석적으로 도출하는 길을 제공한다.

실험 결과

연구 질문

• RQ1 일반 5차 방정식에 대해 수치적 또는 반복적 방법에 의존하지 않고 완전하고 폐쇄형 해를 도출할 수 있는가?
• RQ2 티르나우스 변환을 어떻게 체계적으로 적용하여 일반 5차 방정식을 브링의 표준형으로 줄일 수 있으며, 명시적인 매개변수 관계를 어떻게 확립할 수 있는가?
• RQ3 일반화된 초함수를 얼마나 잘 활용하여 모듈러 함수의 역함수 계산이 필요 없도록 브링의 방정식을 해결할 수 있는가?
• RQ4 모든 5개의 근을 하나의 계산 가능한 공식으로 제공하는 세 단계의 기호 과정을 어떻게 구성할 수 있는가?
• RQ5 이 해는 모듈러 함수의 역함수 계산이나 추가적인 수치적 또는 기능적 역함수 계산 단계 없이도 현대 기호 계산 시스템인 마플 V 및 VI에서 완전히 실행 가능한가?

주요 결과

• 논문은 임의의 복소계수에 대해 유효한 일반 5차 방정식 $ x^5 + m x^4 + n x^3 + p x^2 + q x + r = 0 $ 의 5개 근에 대한 폐쇄형 표현을 유도한다.
• 해는 세 단계의 기호 과정—브링의 형태로의 변환, 일반화된 초함수 방정식의 해법, 페르마티의 방법을 통한 역변환—을 통해 구현된다.
• 근은 마플 V 및 VI에서 명시적으로 계산되었으며, 수치적 평가 결과 잔차 오차가 약 $ 10^{-164} $ 수준임을 확인하여 매우 높은 수치 정밀도를 입증한다.
• 이전의 접근 방식인 에르미테와 클라인의 해법에서 알려진 봉착점인 모듈러 함수의 역함수 계산이 필요로 하지 않는다.
• 해는 완전히 기호적이며 결정론적이며, 모든 매개변수—계수, 변환 변수, 초함수 항—이 하나의 프레임워크 안에서 명시적으로 계산된다.
• 최종 근의 표현은 루트, 초함수, 대수적 조합의 형태로 주어지며, 테스트용 5차 방정식에 대해 특정 수치값이 제공되어 고정밀도로 정확성이 입증된다.