[论文解读] 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 从这些定理的发展演变中，可获得哪些历史洞见？

主要发现

• 本文仅通过符号变化计数与数学归纳法，提供了笛卡尔符号法则的自包含、初等证明。
• 证明表明，布丹定理与傅里叶定理可通过系数序列上的类似组合论证推导。
• 追溯了这些定理的历史发展，揭示了它们之间的相互依赖性与概念演化过程。
• 德·瓜定理被证明是符号变化界限更广泛框架下的特例。
• 所有结果均未使用微积分或复分析推导，强调了可及性与清晰性。
• 统一的方法揭示了这些定理之间的结构相似性，从而增强了教学理解。