关于牛顿一元整系数多项式一次因式寻找法的证明
A Proof of Newton’s Method for Finding the First Degree Factor of Monovariate Polynomials with Integer Coefficients
DOI: 10.12677/PM.2023.138239, PDF, HTML, XML, 下载: 187  浏览: 762 
作者: 杨欣童:清华大学科学史系,北京
关键词: 牛顿代数多项式一次因式《广义算术》Newton Algebra Polynomials First Degree Factors Arithmetica Universalis
摘要: 著名数学家牛顿在其数学专著《广义算术》中提出的一元整系数多项式一次因式寻找法简洁新颖,曾受到了莱布尼兹、约翰•伯努利和赫尔曼等多位数学家高度重视。后人对牛顿的这种方法有多种解释,但未见有证明。本文对这种方法进行深入分析,借助现代符号给出了一种严格证明。
Abstract: The famous mathematician Newton proposed a simple and novel method for finding the first-degree factor of a polynomial with integer coefficients in his mathematical monograph Arithmetica Universalis, which has been highly valued by mathematicians such as Leibniz, John Bernoulli, and Hermann. There are various explanations for Newton’s method, but no proof has been found. This article conducts an in-depth analysis of this method and provides rigorous proof using modern symbols.
文章引用:杨欣童. 关于牛顿一元整系数多项式一次因式寻找法的证明[J]. 理论数学, 2023, 13(8): 2319-2324. https://doi.org/10.12677/PM.2023.138239

1. 引言

作为历史上最伟大的数学家,牛顿(Isaac Newton, 1643~1727)不仅对于微积分有重要贡献 [1] [2] [3] [4] ,而且在代数学方面和几何学也做出了重大贡献 [5] - [12] 。1707年,牛顿出版了一部名为《广义算术》(Arithmetica Universalis)的代数学专著,其中包含了丰富的代数学知识,例如代数基本运算、多项式的因式分解法、根式化简和一元方程的求解法,等等 [5] [13] [14] 。其中,牛顿提出了一种求多项式一次因式方法,这种方法不仅易于操作,而且适用于所有系数为整数的一元多项式,是一种帮助求解整系数方程非常有用的方法。牛顿的方法在当时引起了著名数学家莱布尼兹(Gottfried Wilhelm Leibniz, 1646~1716)的高度关注。不过,莱布尼兹并似乎不怎么理解牛顿的这种方法 [15] [16] 。1708年,莱布尼兹分别写信向约翰·伯努利(Johann Bernoulli, 1667~1748)和赫尔曼(Jakob Hermann, 1678~1733)求助,很可惜,伯努利和赫尔曼也没有给出清楚的证明 [17] [18] 。此后迄今,也未见有相关证明公开发表。然而,对牛顿求一元多项式一次因子方法的证明无疑有助于后人对牛顿数学思想和方法的进一步理解和研究,无疑有助于人们对于牛顿科学的全面了解。故本文拟对牛顿一元整系数多项式一次因式寻找法做一证明,以求教于各位方家。

2. 牛顿寻找一元整系数多项式的一次因子的方法

牛顿在《广义算术》中给出的寻找一元整系数多项式的一次因子的方法是通过若干具体例子给出的。纵观这三个例子,其方法可总结为以下步骤 [19] :

第一步,将多项式按照其中字母的次幂从高到底进行排列;

第二步,用0在中间的一个降序整数数列分别替换这个字母,如3,2,0,−1,−2。并求出相应的值;

第三步,将得到的数值和其因子放在一起,同时将因子的符号也列出来,包括正的和负的。

第四步,在上述因子中找出与3,2,1,0,−1,−2顺序相同或者相反的因子列,从高到低列出来。要求,因子列之间的公差必须能够整除原多项式最高次项的系数。

第五步,找出上面因子列中与前面的0是相对应的数,以此为分子;

第六步,以上述分子除以因子列公差的相反数而得到的数为常数,做成一次式,此即为原多项式的可能的一次因式;

第七步,通过多项式除法,确定出真正的一次因式。

比如求多项式 x 3 x 2 10 x + 6 的一次因式。

因为其已经按照字母x的幂从高到低排列出来,所以直接从第二步开始。

用1,0,−1替换其中的x。这样得到三个数值,即−4,6,+14。将这些数分别写出来,如图1所示。并在其右侧写出与1,0,−1,在其左侧分别写出这三个数的所有因子。

Figure 1. The first example of finding first degree factors

图1. 求一次因式列式一

因为原多项式最高次项x3的系数仅能被单位1和−1整除,因此,在众多因子中找间隔为1和−1的数列。

每一行中选出一个数字,可以找到4,3,2和−4,−3,−2两个因子序列。

在这两个序列中,找与前面替换数1,0,−1中0对应的数,得到3和−3。

用得到3和−3分别除以其所在因子列公差的相反数,均得到3。这就得到一个可能的一次因式 x + 3

x + 3 为因子去除原多项式,得到的商是 x 2 4 x + 2 ,所以 x + 3 是原多项式的一个一次因式。

再比如求多项式 6 y 4 y 3 21 y 2 + 3 y + 20 一次因式。

也是直接从第二步开始即可。用2,1,0,−1,−2替换其中的字母y,得到30,7,20,31,34三个数字。

将这5个数的因子都列出来,像图1那样,则得到如图2样子的列式:

Figure 2. The second example of finding first degree factors

图2. 求一次因式列式二

图2中的因子中找等差的因子列,且其公差必须是6的因子。可以发现10,7,4,1,−2和−10,−7,−4,−1,2这两个数列满足条件。

在两个数列中找出与前面替换数2,1,0,−1,−2中0对应的数,得到4和−4。

用这两个数,分别除以自己所在等差数列公差的相反数,都得到 4 3 ,这样就得到一个一次二项式 y + 4 3 ,或 3 y + 4

y + 4 3 ,或 3 y + 4 去除原多项式,得结果为 2 y 3 3 y 2 3 y + 5 。所以, y + 4 3 ,或 3 y + 4 是原多项式的一个一次因式。

再比如求多项式 24 a 5 50 a 4 + 49 a 3 140 a 2 + 64 a + 30 的一次因式。

利用上述步骤得到的列式如图3所示(为了简洁,省略了相应的负数因子)。

由此看出,与替换数0对应的有三个数分别是−1,−5,−5。

让它们分别除以各自因子数列公差的相反数即2,4,6,得到三个一次因式 a 1 2 a 5 4 a 5 6

Figure 3. The third example of finding first degree factors

图3. 求一次因式列式三

用上述三个一次式去除原多项式,发现 a 5 6 ,即 6 a 5 可以整除原多项式,得到的商为 4 a 4 5 a 3 + 4 a a 20 a 6 。其余两个一次式不能,所以 a 5 6 6 a 5 是原多项式的一个一次因式。

3. 牛顿方法的数学语言表示

用数学语言表述上述方法即是:

设有一个整系数多项式 F n ( x ) = a n x n + a n 1 x n 1 + + a 1 x + a 0 ,对这个多项式做如下变换:

(1) 选取一个以0为中心的公差为1的等差数列: p , p 1 , p 2 , , 1 , 0 , 1 , , p

(2) 将上述等差数列的值分别带入上述多项式,求其值 F n ( i ) ,其中 p i p

(3) 找出每个 F n ( i ) 的整数因子 F n ( i ) j ,做成集合 { F n ( i ) j | j Z }

(4) 从上述每个集合 { F n ( i ) j | j Z } 各选取一个数值 m i , k ( 1 k j ),按照i取值降序的顺序组成等差数列: m p , k 1 , m p 1 , k 2 , m p 3 , k 3 , , m p , k 2 p + 1

(5) 在上述组成的所有等差数列中,找出公差为 d t 的等差数列。其中 d t (t为整数)为多项式首项 a n 的因子;

(6) 在找出的以 d t 为公差的数列中,取 m 0 , k 0 ,即与公差为1的等差数列中与0对应的数值的因子,也就是 F n ( 0 ) = a 0 的因子,做成一次式 ( d t x + m 0 , k 0 ) ,则这个一次式即是原多项式 F n ( x ) 潜在的一个因式;

(7) 重复步骤(5)和(6)即可找出所有原多项式 F n ( x ) 潜在的一次因式;

(8) 通过检验,最终确定 F n ( x ) 真正一次因式。

4. 牛顿方法的证明

引理一:设 ( d x + m ) 为整系数多项式 F n ( x ) = a n x n + a n 1 x n 1 + + a 1 x + a 0 的一个一次因式,则有: d | a n m | a 0

证明:因为 ( d x + m ) F n ( x ) = a n x n + a n 1 x n 1 + + a 1 x + a 0 的一次因式,

所以,

F n ( x ) = a n x n + a n 1 x n 1 + + a 1 x + a 0 = ( d x + m ) ( b n 1 x n 1 + b n 2 x n 2 + + b 0 )

故, a n = d b n 1 a 0 = m b 0

所以有: d | a n m | a 0

引理二:设有整系数多项式 F n ( x ) = a n x n + a n 1 x n 1 + + a 1 x + a 0 ,其一次因式为 ( d x + m ) ,则将以0为中心的公差为1的等差数列: p , p 1 , p 2 , , 1 , 0 , 1 , , p 分别带入多项式,并求其每个相应值 F n ( i ) (其中 p i p )的整数因子 F n ( i ) j 做成集合 { F n ( i ) j | j Z } ,从上述每个集合 { F n ( i ) j | j Z } 各选取一个数值 m i , k ( 1 k j ),按照i取值降序的顺序组成等差数列: m p , k 1 , m p 1 , k 2 , m p 3 , k 3 , , m p , k 2 p + 1 时,必定能找到以d为公差的等差数列。

证明:因为 ( d x + m ) F n ( x ) = a n x n + a n 1 x n 1 + + a 1 x + a 0 的一次因式,

所以,

F n ( x ) = a n x n + a n 1 x n 1 + + a 1 x + a 0 = ( d x + m ) ( b n 1 x n 1 + b n 2 x n 2 + + b 0 )

这样,当将0为中心的公差为1的等差数列: p , p 1 , p 2 , , 1 , 0 , 1 , , p 分别带入多项式时,必有 ( d i + m ) | F n ( i ) ,其中 p i p

而当i顺序取边 p , p 1 , p 2 , , 1 , 0 , 1 , , p 这些值的时候, d i + m 是一个公差为d的降序等差数列。

所以,在 F n ( i ) (其中 p i p )的整数因子 F n ( i ) j 做成集合 { F n ( i ) j | j Z } ,按照从每个集合 { F n ( i ) j | j Z } 选取一个数值的原则,必定能找到一个公差为d的降序等差数列。

牛顿求因子方法证明:

证明:由牛顿求因式的过程可以知道,其方法可以分成三个步骤。第一是找出一个公差为首项系数因子的等差数列;第二步是,构造一个一次式,找出潜在因子;第三步是通过整除确定因子。

对于第一步,由引理二可知,在整系数多项式存在一次因式的情况下,必能找到一个以d为公差的等差数列。而这个d,由引理一可知,必整除原多项式的首项系数 a n ,也就是d是 a n 的因子。所以,牛顿方法的第一步必能找出一个公差为原多项式首项系数因子的等差数列。

牛顿方法的第二步是,这之后,在上述等差数列中,取 m 0 , k 0 ,即 F n ( 0 ) = a 0 的因子,做成一次式 ( d t x + m 0 , k 0 ) 。由引理一可以知道, ( d t x + m 0 , k 0 ) 必是原多项式潜在的一个因式。所以,牛顿方法的第二步必能找出原多项式的潜在一次因式。

牛顿方法的第三步显然一定能确定出真正的一次因式,所以是合理的。

由此,牛顿求因式方法是合理的,必能找出原多项式真正的一次因式。

参考文献

[1] Frederick, R.V. (1987) Isaac Newton: Man, Myth, and Mathematics. The College Mathematics Journal, 18, 362-389.
https://doi.org/10.1080/07468342.1987.11973060
[2] Guicciardini, N. (2004) Isaac Newton and the Publication of His Mathematical Manuscripts. Studies in History and Philosophy of Science Part A, 35, 455-470.
https://doi.org/10.1016/j.shpsa.2004.06.002
[3] Galuzzi, M. (2010) Newton’s Attempt to Construct a Unitary View of Mathematics. Historia Mathematica, 37, 535-562.
https://doi.org/10.1016/j.hm.2010.05.002
[4] Whitrow, G.J. (1989) Newton’s Role in the History of Mathematics. Notes and Records of the Royal Society of London, 43, 71-92.
https://doi.org/10.1098/rsnr.1989.0006
[5] Guicciardini, N. (2009) Isaac Newton on Mathematical Certainty and Method (No. 4). MIT Press, Cambridge.
https://doi.org/10.7551/mitpress/9780262013178.001.0001
[6] Garrison, J.W. (1987) Newton and the Relation of Mathematics to Natural Philosophy. Journal of the History of Ideas, 48, 609-627.
https://doi.org/10.2307/2709690
[7] Kollerstrom, N. (1992) Thomas Simpson and “Newton’s Method of Ap-proximation”: An Enduring Myth. The British Journal for the History of Science, 25, 347-354.
https://doi.org/10.1017/S0007087400029150
[8] Kaplan, A. (2018) Analysis and Demonstration: Wallis and Newton on Mathematical Presentation. Notes and Records: the Royal Society Journal of the History of Science, 72, 447-468.
https://doi.org/10.1098/rsnr.2018.0025
[9] Folina, J. (2012) Newton and Hamilton: In Defense of Truth in Algebra. The Southern Journal of Philosophy, 50, 504-527.
https://doi.org/10.1111/j.2041-6962.2012.00131.x
[10] 杨欣童. 论牛顿的数学机械化思想[J]. 理论数学, 2023, 13(4): 829-838.
[11] Yang, X.T. (2023) The Mechanization Thought and Its Characteristics Contained in Newton’s Mathematics. Asian Research Journal of Mathematics, 19, 46-57.
https://doi.org/10.9734/arjom/2023/v19i9698
[12] Chin, S.A. (2022) Modern Light on Ancient Feud: Robert Hooke and Newton’s Graphical Method. Historia Mathematica, 60, 1-14.
https://doi.org/10.1016/j.hm.2021.11.002
[13] 杨欣童. 关于牛顿著作《广义算术》形成及其内容与影响的研究[J]. 交叉科学快报, 2023, 7(1): 10-16.
[14] Pycior, H.M. (1997) Symbols, Impossible Numbers, and Geometric Entanglements: British Algebra through the Commentaries on Newton’s Universal Arithmetick. Cambridge University Press, Cambridge.
https://doi.org/10.1017/CBO9780511895470
[15] Newton, I. and Whiteside, D.T. (2008) The Mathematical Papers of Isaac Newton (Vol. 5). Cambridge University Press, Cambridge.
[16] Leibniz, G.W. (1708) Leibniz’ Review of the Arithmetica. Acta Eruditorum, 1708, 519-526.
[17] Leibniz, G.W. and Bernoulli, J. (1745) Virorum Celeberr Gotgul Leibnitii et Johan Bernoullii Commercium Philosophicum Mathematicum (Tomus Secundus) Maci-michaelis bousquet & Socior, Lausannae & Genevae.
[18] Leibniz, G.W. (1859) Leibnizens Mathematische Schriften. Druck und Verlage, Schmidt.
[19] Newton, I. (1720) Universal Arithmetick: A Treatise of Arithmetrcal Composition and Resolution. J. Senex, W. Taylor, London, 30-100.