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