
牛頓恒等式:一次跨越時代的“再發(fā)現(xiàn)”如果說你之前追問的an+bna^n + b^nan+bn遞推公式是一顆種子,那么牛頓恒等式(Newton’s Identities)就是由這顆種子長成的參天大樹。它不是一個孤立的技巧,而是一座連接代數(shù)、組合學(xué)與物理學(xué)的橋梁。要理解它,我們必須回到1666年那個特殊的時刻。一、發(fā)現(xiàn)時刻:一場“無知”的天才創(chuàng)舉在17世紀,數(shù)學(xué)家們熱衷于研究多項式方程的根。給定一個方程,能否不求根,直接通過方程的系數(shù)(也就是那些a,b,c)就知道根的一些性質(zhì)?比如,所有根的和、平方和、立方和?早在1629年,法國數(shù)學(xué)家阿爾伯特·吉拉德(Albert Girard)就已經(jīng)發(fā)現(xiàn)了一些關(guān)于冪和與系數(shù)關(guān)系的初步結(jié)論。然而,在信息閉塞的17世紀,這份成果在很長一段時間內(nèi)并未引起廣泛關(guān)注。時間來到1666年前后。彼時,剛從劍橋大學(xué)回到伍爾索普莊園躲避瘟疫的牛頓,正在系統(tǒng)地研究多項式的對稱性。在完全不知道吉拉德先前工作的前提下,牛頓獨立地“重新發(fā)現(xiàn)”了這些關(guān)系。他沒有意識到自己是在重復(fù)前人的足跡,而是憑借一己之力,將這些零散的關(guān)系整理成了一個完整、系統(tǒng)且優(yōu)美的理論體系。二、核心思想:連接"冪和"與"系數(shù)"的橋梁牛頓到底發(fā)現(xiàn)了什么?簡單來說,他發(fā)現(xiàn)了兩個世界之間的精準對應(yīng)關(guān)系:左邊:根的kkk次冪之和,記作sk=x1k+x2k+?+xnks_k = x_1^k + x_2^k + \dots + x_n^ksk?=x1k?+x2k?+?+xnk?。右邊:方程的初等對稱多項式,也就是我們熟悉的韋達定理中的系數(shù),記作σ1,σ2,…,σn\sigma_1, \sigma_2, \dots, \sigma_nσ1?,σ2?,…,σn?。2.1 韋達定理的通用形式(地基)設(shè)一個nnn次多項式方程,首項系數(shù)歸一化為 1:xn+b1xn?1+b2xn?2+?+bn?1x+bn=0x^n + b_1 x^{n-1} + b_2 x^{n-2} + \cdots + b_{n-1}x + b_n = 0xn+b1?xn?1+b2?xn?2+?+bn?1?x+bn?=0它的nnn個根為x1,x2,…,xnx_1, x_2, \dots, x_nx1?,x2?,…,xn?。定義初等對稱多項式σ1,σ2,…,σn\sigma_1, \sigma_2, \dots, \sigma_nσ1?,σ2?,…,σn?如下:σ1=x1+x2+?+xn\sigma_1 = x_1 + x_2 + \cdots + x_nσ1?=x1?+x2?+?+xn?(所有根之和)σ2=x1x2+x1x3+?+xn?1xn\sigma_2 = x_1x_2 + x_1x_3 + \cdots + x_{n-1}x_nσ2?=x1?x2?+x1?x3?+?+xn?1?xn?(所有兩兩乘積之和)σ3=x1x2x3+x1x2x4+?\sigma_3 = x_1x_2x_3 + x_1x_2x_4 + \cdotsσ3?=x1?x2?x3?+x1?x2?x4?+?(所有三三乘積之和)?\cdots?σn=x1x2?xn\sigma_n = x_1x_2\cdots x_nσn?=x1?x2??xn?(所有根之積)韋達定理說:b1=?σ1,b2=σ2,b3=?σ3,? ,bk=(?1)kσk,? ,bn=(?1)nσnb_1 = -\sigma_1,\quad b_2 = \sigma_2,\quad b_3 = -\sigma_3,\quad \cdots,\quad b_k = (-1)^k \sigma_k,\quad \cdots,\quad b_n = (-1)^n \sigma_nb1?=?σ1?,b2?=σ2?,b3?=?σ3?,?,bk?=(?1)kσk?,?,bn?=(?1)nσn?也就是說:歸一化后的第kkk個系數(shù)bkb_kbk?,恰好等于(?1)k(-1)^k(?1)k乘以第kkk個初等對稱多項式σk\sigma_k