定義
![初等對稱多項式](/img/9/fd4/wZwpmLyUDM0ADM0IDO0YzM1UTM1QDN5MjM5ADMwAjMwUzLygzL4gzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![初等對稱多項式](/img/b/848/wZwpmL1YDNwYzMwMzMzIDN0UTMyITNykTO0EDMwAjMwUzLzMzL4QzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
![初等對稱多項式](/img/a/e3f/wZwpmL1AzN1kDO3ATMwEDN0UTMyITNykTO0EDMwAjMwUzLwEzL4UzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![初等對稱多項式](/img/9/2ef/wZwpmLzEjN3MTOzIjN0YzM1UTM1QDN5MjM5ADMwAjMwUzLyYzLwQzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
設 為數域 上的 元多項式,如果任意交換兩個文字,多項式均不變,即對任意 都有
![初等對稱多項式](/img/c/57d/wZwpmLzczN1IzNykzN0YzM1UTM1QDN5MjM5ADMwAjMwUzL5czL3UzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
![初等對稱多項式](/img/9/fd4/wZwpmLyUDM0ADM0IDO0YzM1UTM1QDN5MjM5ADMwAjMwUzLygzL4gzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
則稱 為數域P上的一個 n元對稱多項式。下列n個對稱多項式
![初等對稱多項式](/img/d/30a/wZwpmL0MjMwIzNzcjN0YzM1UTM1QDN5MjM5ADMwAjMwUzL3YzL4gzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
![初等對稱多項式](/img/1/706/wZwpmLwQTO5gjN0gzN0YzM1UTM1QDN5MjM5ADMwAjMwUzL4czL4EzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
![初等對稱多項式](/img/b/797/wZwpmLwYzN3cDMzMDO0YzM1UTM1QDN5MjM5ADMwAjMwUzLzgzL0IzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
![初等對稱多項式](/img/9/3fd/wZwpmL0UTO3QjM0czNwMzM1UTM1QDN5MjM5ADMwAjMwUzL3czL3YzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
![初等對稱多項式](/img/b/686/wZwpmLyEzM3MjNxkzN0YzM1UTM1QDN5MjM5ADMwAjMwUzL5czL3MzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
稱為 初等對稱多項式 。
有關結論
(1) 對稱多項式的和、乘積仍是對稱多項式;對稱多項式的多項式仍是對稱多項式。
![初等對稱多項式](/img/9/fd4/wZwpmLyUDM0ADM0IDO0YzM1UTM1QDN5MjM5ADMwAjMwUzLygzL4gzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![初等對稱多項式](/img/2/761/wZwpmLzADO2QjMwMjN0YzM1UTM1QDN5MjM5ADMwAjMwUzLzYzL3QzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
![初等對稱多項式](/img/0/916/wZwpmL1ITO2kzM2IDO0YzM1UTM1QDN5MjM5ADMwAjMwUzLygzLxEzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
![初等對稱多項式](/img/0/bbe/wZwpmL4gzNyUTO5czN0YzM1UTM1QDN5MjM5ADMwAjMwUzL3czLyIzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
(2) 對稱多項式基本定理 設 為數域P上的一個n元對稱多項式,則存在惟一的n元多項式 ,使得, ,其中 為初等對稱多項式 。
將對稱多項式表示為初等對稱多項式
下面介紹兩種將對稱多項式表為初等對稱多項式的多項式的方法。
方法1
逐步消去首項法
這是推導對稱多項式基本定理時給出的方法,其一般步驟是:
![初等對稱多項式](/img/8/778/wZwpmL2MzN5UzM2MzNwIDN0UTMyITNykTO0EDMwAjMwUzLzczL4MzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![初等對稱多項式](/img/a/dad/wZwpmL3gTO0AzMxMjN0YzM1UTM1QDN5MjM5ADMwAjMwUzLzYzL0AzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
第一步 首先找出對稱多項式 的首項 ,則一定有
![初等對稱多項式](/img/6/88f/wZwpmL3gTM2YjM2ETN0YzM1UTM1QDN5MjM5ADMwAjMwUzLxUzLwEzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![初等對稱多項式](/img/8/778/wZwpmL2MzN5UzM2MzNwIDN0UTMyITNykTO0EDMwAjMwUzLzczL4MzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![初等對稱多項式](/img/0/7f5/wZwpmLyYzNzEDNyQzN0YzM1UTM1QDN5MjM5ADMwAjMwUzL0czL0czLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
第二步 由 的首項寫出 。
![初等對稱多項式](/img/2/bf1/wZwpmLxAjMyMTOxIjN0YzM1UTM1QDN5MjM5ADMwAjMwUzLyYzLzgzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
第三步 作 ,並展開化簡。
![初等對稱多項式](/img/2/a23/wZwpmLwITM2EDN2cjN1IDN0UTMyITNykTO0EDMwAjMwUzL3YzL4YzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
![初等對稱多項式](/img/0/fc5/wZwpmLxMjN0UzMzgTN0YzM1UTM1QDN5MjM5ADMwAjMwUzL4UzLxMzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
![初等對稱多項式](/img/f/1e5/wZwpmLwMDN3IDNxMzN0YzM1UTM1QDN5MjM5ADMwAjMwUzLzczL2UzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
再對 按第一、二、三步進行,構造 ,如此反覆進行,直至出現 ,則
![初等對稱多項式](/img/4/5e3/wZwpmL0QTM1kDNzgjN0YzM1UTM1QDN5MjM5ADMwAjMwUzL4YzL4UzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
方法2
待定係數法
![初等對稱多項式](/img/2/a23/wZwpmLwITM2EDN2cjN1IDN0UTMyITNykTO0EDMwAjMwUzL3YzL4YzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
設 是m次齊次對稱多項式,用待定係數法求解的一般步驟是:
![初等對稱多項式](/img/8/778/wZwpmL2MzN5UzM2MzNwIDN0UTMyITNykTO0EDMwAjMwUzLzczL4MzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![初等對稱多項式](/img/0/8d4/wZwpmL2EDMwkDO2kzN0YzM1UTM1QDN5MjM5ADMwAjMwUzL5czLzAzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
![初等對稱多項式](/img/e/8e8/wZwpmLwATOxYTO5UjN0YzM1UTM1QDN5MjM5ADMwAjMwUzL1YzLyYzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![初等對稱多項式](/img/c/462/wZwpmL0QTNzkzMxUTN0YzM1UTM1QDN5MjM5ADMwAjMwUzL1UzL0MzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
第一步 根據 的首項指標組寫出所有可能的指標組 ,這些指標組應滿足① ;② ;③前面的指標組先於後面的指標組。
![初等對稱多項式](/img/0/8d4/wZwpmL2EDMwkDO2kzN0YzM1UTM1QDN5MjM5ADMwAjMwUzL5czLzAzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
第二步 由指標組 寫出對應的初等對稱多項式的方冪的乘積
![初等對稱多項式](/img/1/ba4/wZwpmL1ETNycDNwADO0YzM1UTM1QDN5MjM5ADMwAjMwUzLwgzLxIzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
![初等對稱多項式](/img/8/778/wZwpmL2MzN5UzM2MzNwIDN0UTMyITNykTO0EDMwAjMwUzLzczL4MzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![初等對稱多項式](/img/8/778/wZwpmL2MzN5UzM2MzNwIDN0UTMyITNykTO0EDMwAjMwUzLzczL4MzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![初等對稱多項式](/img/a/392/wZwpmL4QzNxgjNyUzN0YzM1UTM1QDN5MjM5ADMwAjMwUzL1czL3MzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
第三步 設出 由所有初等對稱多項式的方冪乘積的線性表達式,其首項係數即為 的首項係數,其餘各項係數分別用 代替。
![初等對稱多項式](/img/8/128/wZwpmLxQjNyQDO3IjN0YzM1UTM1QDN5MjM5ADMwAjMwUzLyYzLwQzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
![初等對稱多項式](/img/0/bbe/wZwpmL4gzNyUTO5czN0YzM1UTM1QDN5MjM5ADMwAjMwUzL3czLyIzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
![初等對稱多項式](/img/8/778/wZwpmL2MzN5UzM2MzNwIDN0UTMyITNykTO0EDMwAjMwUzLzczL4MzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![初等對稱多項式](/img/a/392/wZwpmL4QzNxgjNyUzN0YzM1UTM1QDN5MjM5ADMwAjMwUzL1czL3MzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![初等對稱多項式](/img/a/392/wZwpmL4QzNxgjNyUzN0YzM1UTM1QDN5MjM5ADMwAjMwUzL1czL3MzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![初等對稱多項式](/img/8/778/wZwpmL2MzN5UzM2MzNwIDN0UTMyITNykTO0EDMwAjMwUzLzczL4MzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
第四步 分組選取適當的 的值,計算 及 ,代人第三步中設出的表達式得到關於 的線性方程組,解這個線性方程組求得 的值,最後寫出所求的 的表達式。
![初等對稱多項式](/img/8/778/wZwpmL2MzN5UzM2MzNwIDN0UTMyITNykTO0EDMwAjMwUzLzczL4MzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
注意:① 當 是非齊次對稱多項式時,可以將它表成若干齊次對稱多項式的和,把它的每一個齊次對稱多項式表為初等對稱多項式的多項式,再把所得到的各部分相加即可。
② 待定係數法是深入研究對稱多項式基本定理的證明過程而得出的簡化方法,要求熟練掌握 。