[논문 리뷰] Historical account and ultra-simple proofs of Descartes's rule of signs, De Gua, Fourier, and Budan's rule

Michaël Bensimhoun|arXiv (Cornell University)|2013. 09. 24.

History and Theory of Mathematics참고 문헌 10인용 수 7

한 줄 요약

이 논문은 다항식의 근을 찾는 고전적 정리들—데카르트의 부호 법칙, 드 골라의 정리, 푸리에의 정리, 부단의 정리—에 대한 역사적 개요와 초보자 수준의 대수적·조합적 추론을 통한 매우 단순한 증명을 제공한다. 이는 이러한 결과들이 최소한의 전제 조건만으로 유도될 수 있음을 보여주며, 논리적 기초와 상호관계를 명확히 하는 접근 가능한 자가 포함된 증명을 제공한다.

ABSTRACT

It may seem a funny notion to write about theorems as old and rehashed as Descartes's rule of signs, De Gua's rule or Budan's. Admittedly, these theorems were proved numerous times over the centuries. However, despite the popularity of these results, it seems that no thorough and up-to-date historical account of their proofs has ever been given, nor has an effort been made to reformulate the oldest demonstrations in modern terms. The motivation of this paper is to put these strongly related theorems back in their historical perspective. More importantly, we suggest a way to understand Descartes's original statement, which yet remains somewhat of an enigma. We found that this question is related to a certain way of counting the alternations and permanences of signs of the polynomial coefficients, and may have been the convention used by Descartes. Remarkably, this convention not only provides a ultra-simple proof of Descartes's rule, but it can also be used to simplify the proofs of the titular theorems. Without claiming to be exhaustive, we shall present in this paper an historical account of these theorems and their proofs, and clarify their mutual relation. We will explain how a suitable convention can help understand the original statement of Descartes and greatly simplify its proof, as well as the proofs of the above-mentioned theorems. With the exception of the proof of Fourier's theorem and its generalizations, which run on rudiments of infinitesimal calculus (Taylor's theorem), the proposed demonstrations are so short and elementary they could be taught at the undergraduate level.

연구 동기 및 목표

• 다항식의 부호 변화와 실근에 관한 고전적 정리들에 대해 역사적으로 기초를 두고 초보자 수준의 증명을 제시하기 위해.
• 데카르트의 부호 법칙, 드 골라의 정리, 푸리에의 정리, 부단의 정리의 이해를 단순화하고 통합하기 위해.
• 이러한 결과들이 고급 도구 없이 기초 대수적 추론만으로 유도될 수 있음을 보여주기 위해.
• 이들 상호연관된 정리들 간의 논리적 관계와 역사적 발전을 명확히 하기 위해.
• 최소한의 수학적 배경을 가진 학생들과 연구자들에게 이러한 고전적 결과들을 접근 가능하게 하기 위해.

제안 방법

• 다항식 계수의 정호 변화를 분석하기 위해 기초 대수적 변형과 조합적 추론을 사용하기 위해.
• 다항식의 차수에 대한 귀납법과 케이스 분석을 적용하여 핵심 결과를 확립하기 위해.
• 직접적인 부호 변화 수와 근의 범위를 세는 방식으로 정리를 재구성하기 위해.
• 다항식의 재귀적 분해를 통해 실근 행동을 분리하기 위해.
• 미적분, 복소해석학 또는 고급 대수기하학을 피하는 증명을 제시하기 위해.
• 명확성과 교육적 가치를 높이기 위해 단계별로 자가 포함된 방식으로 증명을 구성하기 위해.

실험 결과

연구 질문

• RQ1 데카르트의 부호 법칙은 어떤 기초 대수적 기법만으로 증명될 수 있는가?
• RQ2 실근의 범위를 제한하는 데 있어 드 골라의 정리와 부단의 정리 사이의 논리적 관계는 무엇인가?
• RQ3 푸리에의 정리는 최소한의 가정만으로 독립적으로 도출될 수 있는가?
• RQ4 이러한 정리들이 다항식의 양의 실근 개수를 이해하는 데 어떻게 기여하는가?
• RQ5 이러한 정리들의 발전 과정에서 어떤 역사적 통찰을 얻을 수 있는가?

주요 결과

• 논문은 부호 변화 수와 귀납법만을 사용하여 데카르트의 부호 법칙에 대한 자가 포함된 초보자 수준의 증명을 제공한다.
• 부단의 정리와 푸리에의 정리는 계수 수열에 대한 유사한 조합적 추론을 통해 도출될 수 있음을 입증한다.
• 이러한 정리들의 역사적 발전 과정이 추적되어 상호의존성과 개념적 진화가 드러난다.
• 드 골라의 정리는 부호 변화 범위에 대한 일반적 프레임워크의 특수한 경우로 밝혀진다.
• 모든 결과들은 미적분이나 복소해석학 없이 도출되며, 접근 가능성과 명확성을 강조한다.
• 통합된 접근법은 정리들 간의 구조적 유사성을 드러내어 교육적 이해를 향상시킨다.