[論文レビュー] 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)|Sep 24, 2013

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 これらの定理の発展の歴史的洞察は何か？

主な発見

• この論文は、符号の変化の数え上げと帰納法のみを用いた、自己完結的で初等的なデカルトの符号の法則の証明を提供する。
• ブダンの定理とフォーリエの定理が、係数列における類似の組合せ的議論を通じて導かれることが確立される。
• これらの定理の歴史的発展がたどられ、互いの依存関係と概念的進化が明らかにされる。
• ド・グルーの定理が、符号の変化の上限というより広範な枠組みの特別な場合であることが示される。
• 微分積分学や複素解析学を一切用いずに、すべての結果が導かれる。アクセスのしやすさと明確さが強調される。
• 統一的なアプローチにより、これらの定理の構造的類似性が明らかになり、教育的理解が向上する。