[논문 리뷰] A simplified expression for the solution of cubic polynomial equations using function evaluation

Ababu Teklemariam Tiruneh|arXiv (Cornell University)|2020. 02. 14.

Advanced Mathematical Theories참고 문헌 7인용 수 6

한 줄 요약

이 논문은 원래 계수를 다룰 필요 없이, 단일 점에서의 함수 값과 도함수 값만을 사용하여 삼차 다항방정식을 해결하는 간소화된 방법을 제시한다. 이 방법은 두 번째 도함수를 이용해 임계점을 특정하고, 함수 및 도함수 값에서 유도된 삼각법 또는 루트 기반 공식을 적용함으로써, 간결하고 기억하기 쉬우며 계산적으로 효율적인 해법을 제공한다.

ABSTRACT

This paper presents a simplified method of expressing the solution to cubic equations in terms of function evaluation only. The method eliminates the need to manipulate the original coefficients of the cubic polynomial and makes the solution free from such coefficients. In addition, the usual substitution needed to reduce the cubic equation is implicit in that the final solution is expressed in terms only of the function and derivative values of the given cubic polynomial at a single point. The proposed methodology simplifies the solution to cubic equations making them easy to remember and solve.

연구 동기 및 목표

• 원래 계수에 의존하지 않도록 삼차다항방정식의 해법을 단순화하는 것.
• 삼차방정식의 근을 원래 계수에 대한 참조 없이 단일 점에서의 함수 및 도함수 값으로만 표현하는 것.
• 기존의 루트 기반 공식보다 기억하고 적용하기 쉬운 방법을 개발하는 것.
• 기능 평가에 기반한 삼차방정식 해법의 교육적 대안을 제공하는 것.
• 이 방법을 사차방정식 및 해법 가능한 오차방정식과 같은 고차수의 해법 가능 다항방정식으로 확장할 수 있는지 탐색하는 것.

제안 방법

• 이 방법은 삼차식의 두 번째 도함수가 0이 되는 점 z를 식별하여 방정식을 단순화된 형태로 만든다.
• 이 점 z에서 함수 f(z)와 그 도함수 f'(z)를 평가하여 핵심 매개변수 Q와 R를 계산한다.
• 판별식 D < 0일 경우(세 개의 실근), 삼각함수 공식을 사용하고, D > 0일 경우(한 개의 실근, 두 개의 복소수 근)는 루트 표현식을 사용한다.
• 세 개의 실근의 경우, 근은 x_k = z + 2√(-Q)·cos((θ + 2π(k-1))/3)로 계산되며, 여기서 θ = cos⁻¹(R/√(-Q)³)이다.
• 한 개의 실근의 경우, 공식은 세제곱근을 사용한다: B = [R + √(R² + Q³)]^(1/3) + [R - √(R² + Q³)]^(1/3), 그리고 x₁ = z + B이다.
• 복소수 공액 근은 x₂,₃ = z - (1/2)B ± (√3/2)i√(B² + 4Q)로 계산된다.

실험 결과

연구 질문

• RQ1 일반 삼차방정식의 해를 원래 계수에 대한 참조 없이 표현할 수 있는가?
• RQ2 단일 점에서의 함수 및 도함수 값 평가만을 사용하여 삼차근에 대한 통합 공식을 유도할 수 있는가?
• RQ3 이 방법은 고전적인 카르다노 유형 공식에 비해 간단하고 기억하기 쉬운가?
• RQ4 이 접근법을 사차방정식 또는 해법 가능한 오차방정식과 같은 고차수 다항방정식으로 일반화할 수 있는가?
• RQ5 두 번째 도함수는 삼차방정식 해법 과정을 단순화하는 데 어떤 역할을 하는가?

주요 결과

• 이 방법은 원래 계수를 다루지 않고 f(z), f'(z), 그리고 f''(z) = 0을 만족하는 점 z만을 사용하여 삼차방정식의 근을 성공적으로 표현한다.
• f(x) = x³ - 6x² + 11x - 6에 대해, z = 2에서의 함수 및 도함수 평가를 통해 근은 x = {1, 2, 3}으로 산출된다.
• f(x) = x³ - 15x - 4에 대해, 이 방법은 근을 x = {4, -2 - √3, -2 + √3}로 정확히 계산하며, θ = cos⁻¹(0) = π/2이다.
• f(x) = x³ - 5x² + 9x - 9에 대해, 이 방법은 실근 x = 3과 복소수 공액 근 x = 1 ± √2i를 식별하며, Q = 2/9와 R = 44/27를 사용한다.
• 판별식 D = Q³ + R²는 근의 유형을 결정한다: D < 0이면 서로 다른 세 개의 실근, D > 0이면 한 개의 실근과 두 개의 복소수 공액 근을 의미한다.
• 이 방법은 계산적으로 효율적이며 교육적으로 유리하여, 기존의 루트 기반 해법 공식보다 더 단순하고 직관적인 대안을 제공한다.