發刊日期 |
2019年9月
|
---|---|
標題 | 一個關於完全齊次對稱多項式的恆等式 |
作者 | |
關鍵字 | |
檔案下載 | |
全文 |
本文旨在探討型如 \begin{eqnarray*} \sum_{i=1}^m \frac{a_i^n}{\displaystyle\prod_{j=1,j\not=i}^m(a_i\!-\!a_j)}&=&\frac{a_1^n}{(a_1\!-\!a_2)(a_1\!-\!a_3)\cdots(a_1\!-\!a_m)} +\frac{a_2^n}{(a_2\!-\!a_1)(a_2\!-\!a_3)\cdots(a_2\!-\!a_m)}\\[-8pt] &&+\cdots +\frac{a_m^n}{(a_m\!-\!a_1)(a_m\!-\!a_2)\cdots(a_m\!-\!a_{m\!-\!1})} \end{eqnarray*} 表示為諸 $a_i$ 之多項式的結果。 其中各 $a_i$ 皆相異, $n$ 為非負整數。 研究動機為如上型式的題目曾數次出現於國外數學競賽或國內高中教師甄試中。 茲舉三例:
由上述這些題目觀察到對於 $n=2, 3, 4$, 可將 $\sum\limits_{cyc} \dfrac{a^n}{(a-b)(a-c)}$ 表示為 $a, b, c$ 的完全齊次對稱多項式(complete homogeneous symmetric polynomial), 且其次數為分子與分母的次數差。 現探討此規律是否成立於更高次方, 乃至於更多元的情況。 我們先考慮一個更簡單的例子: 二元的情形, 即 $$\frac{a^n}{a-b}+\frac{b^n}{b-a}=\frac{a^n-b^n}{a-b}=a^{n-1}+a^{n-2} b+\cdots+b^{n-1},\quad n\ge 1.$$ 這個眾所周知的公式, 亦符合上文所述的規律性, 這個觀察使我們對該規律的一般性有了更多信心。 另外, 我們亦有興趣了解當分子的次數低於分母時的結果。 以下先列出本文結論:
現舉三元與四元各一例如下: \begin{eqnarray*} &&\hskip -20pt \frac{a^5}{(a-b)(a-c)}+\frac{b^5}{(b-a)(b-c)}+\frac{c^5}{(c-a)(c-b)}\\ &=&a^3+b^3+c^3+a^2 b+a^2 c+ab^2+b^2 c+ac^2+bc^2+abc,\\[6pt] &&\hskip -20pt \frac{a^5}{(a-b)(a-c)(a-d)}+\frac{b^5}{(b-a)(b-c)(b-d)}+\frac{c^5}{(c-a)(c-b)(c-d)}\\ &&+\frac{d^5}{(d-a)(d-b)(d-c)}\\ &=&a^2+b^2+c^2+d^2+ab+ac+ad+bc+bd+cd. \end{eqnarray*} 以下證明 \eqref{1.1} 與 \eqref{1.2} 式, 其內容主要應用下列三個知識:
一. 先證 \eqref{1.1} 式考慮 Lagrange 插值多項式 $$L(x)=\sum_{i=1}^m\Big (a_i^n \prod_{j=1,j\not=i}^m \frac{x-a_j}{a_i-a_j}\Big), \quad n\lt m-1,$$ 則 $\deg[L(x)-x^n]\le m-1$, 或 $L(x)-x^n$ 為零多項式。 又方程式 $L(x)-x^n=0$ 存在 $m$ 個相異根 $a_1, a_2, \ldots, a_m$, 由代數基本定理知, $L(x)-x^n$ 為零多項式, 從而 $x^{m-1}$ 項的係數 $= 0$, 故 \eqref{1.1} 式成立。 二. 再證 \eqref{1.2} 式我們先證明 \begin{equation} \sum_{i=1}^m \frac{a_i^{m-1}}{\prod\limits_{j=1,j\not=i}^m (a_i-a_j)}=1,\label{2.1} \end{equation} 考慮 Lagrange 插值多項式 $$L(x)=\sum_{i=1}^m \Big(a_i^{m-1} \prod\limits_{j=1,j\not=i}^m \frac{x-a_j}{a_i-a_j}\Big),$$ 則 $\deg[L(x)-x^{m-1}]\le m-1$, 或 $L(x)-x^{m-1}$ 為零多項式。 又方程式 $L(x)-x^{m-1}=0$ 存在 $m$ 個相異根 $a_1, a_2, \ldots, a_m$, 由代數基本定理知, $L(x)-x^{m-1}$ 為零多項式, 從而 $x^{m-1}$ 項的係數 $= 0$, 故 \eqref{2.1} 式成立。 類似的方法, 可得 \begin{equation} \sum_{i=1}^m \frac{a_i^{m}}{\prod\limits_{j=1,j\not=i}^m (a_i-a_j)}=\sum_{i=1}^m a_i=a_1+\cdots+a_m.\label{2.2} \end{equation} 在此只要令 $$L(x)=\sum_{i=1}^m \Big(a_i^m \prod\limits_{j=1,j\not=i}^m \frac{x-a_j}{a_i-a_j}\Big),$$ 則方程式 $x^m-L(x)=0$ 有 $m$ 個相異根 $a_1, a_2, \ldots, a_m$, 從而 $$ x^m-L(x)= \prod_{i=1}^m (x-a_i);$$ 比較 $x^{m-1}$ 項係數, 即得 \eqref{2.2} 式。 接著討論 \eqref{1.2} 式中, $n$ 值更大的情形。 這部分的證明會應用到取捨原理。 本文所用的「取捨原理」與一般用來計算集合元素「個數」之含義不同, 而是用來分析集合元素「內容」之方法。 說明如下: 令 $A$、$B$ 為兩個集合, 我們使用 --- $A+B$ 表示將 $A$、$B$ 兩集合的所有元素「混合」在一起的狀態; 而 $A-B$ 表示在 $A$ 集合中, 「去除」屬於 $B$ 集合的所有元素後的狀態 (對於屬於 $B$ 但不屬於 $A$ 的元素 $e$, 「去除」後將使 $e$ 的個數為負)。 在此我們亦使用 $\Sigma$ 符號來表示上述集合間「$+$」的運算, 則對於 $n$ 個集合 $A_1, A_2, \ldots, A_n$, 將有 \begin{eqnarray} A_1\cup A_2\cup \cdots \cup A_n&=&\sum_{i=1}^n A_i -\sum_{1\le i\lt j\le n} A_i\cap A_j+\cdots +(-1)^{n-1} A_1\cap \cdots \cap A_n\nonumber\\ &=&\sum_{k=1}^n (-1)^{k-1} \sum_{1\le i_1\lt \cdots \lt i_k\le n} A_{i_1}\cap \cdots \cap A_{i_k}.\label{2.3} \end{eqnarray} 現說明 \eqref{2.3} 式成立的理由: 若元素 $a\in A_1\cup A_2\cup \cdots \cup A_n$, 且諸集合 $A_i$ 中恰有 $k$ 個包含 $a$, 則在 \eqref{2.3} 的右式中, 元素 $a$ 的取捨次數為 $$C_1^k-C_2^k+\cdots+(-1)^{k-1} C_k^k=1;$$ 此等式可由 $(1-1)^k=C_0^k-C_1^k+\cdots +(-1)^k C_k^k$ 得到。 由上述知, \eqref{2.3} 式等號兩側的集合元素皆相同, 故等式成立。 令 $g(k)=\sum\limits_{k_1+k_2+\cdots +k_m=k,k_i\ge 0} a_1^{k_1}\cdot a_2^{k_2}\cdots a_m^{k_m}$ 為 $a_1, a_2, \ldots , a_m$ 的 $k$ 次完全齊次對稱多項式 (對於 $k_i=0$, $a_i^{k_i}$ 的值取 1)。 定義 $G[g(k)]$ 為以 $g(k)$ 的各項為元素所形成的集合, 則 \begin{equation} G[g(k+1)]=G[a_1\cdot g(k)]\cup G[a_2\cdot g(k)]\cup \cdots \cup G[a_m\cdot g(k)],\label{2.4} \end{equation} 而對所有 $g(k-i)$, $1\le i\le k$, 將有 \begin{equation} \left\{\begin{array}{l} G[a_r\cdot g(k)]\cap G[a_s\cdot g(k)]=G[a_r\cdot a_s\cdot g(k-1)],\qquad r\not=s\\ G[a_r\cdot g(k)]\cap G[a_s\cdot g(k)]\cap G[a_t\!\cdot\! g(k)]=G[a_r\!\cdot\! a_s\!\cdot\! a_t\!\cdot\! g(k-2)],\ r\not=s\not=t\\ \qquad \hskip 4cm \vdots\qquad\\ G[a_1\cdot g(k)]\cap \cdots \cap G[a_m\cdot g(k)]=G[a_1\cdots a_m\cdot g(k-m+1)]. \end{array}\right.\label{2.5} \end{equation} 令 $f(n)=\sum\limits_{i=1}^m \dfrac{a_i^n}{\prod\limits_{j=1,j\not=i}^m (a_i-a_j)}$, $n$ 為非負整數, 則對於不同的 $n$ 值, 存在 $m$ 階線性遞迴關係, 其特徵方程式為 \begin{equation} \prod_{i=1}^m (x-a_i)=0.\label{2.6} \end{equation} 由 \eqref{2.6} 式, 有 \begin{eqnarray} f(k+m)&=&\Big(\sum_{i=1}^m a_i\Big)\cdot f(k+m-1) - \Big(\sum_{1\le i\lt j\le m} a_i a_j\Big)\cdot f(k+m-2)+ \cdots \nonumber\\ && +(-1)^{m-1} a_1 a_2\cdots a_m \cdot f(k). \label{2.7} \end{eqnarray} 由 \eqref{1.1}, \eqref{2.1}, \eqref{2.2} 式, 我們已經有 $f(t)=0$ (當 $t\lt m-1$), $f(m-1)=g(0)=1$, $f(m)=g(1)=\sum\limits_{i=1}^m a_i$。 進一步地, 若對於非負整數 $r\le k$, 都有 $f(m+r-1)=g(r)$, 則可利用 \eqref{2.7} 式求得 $f(k+m)$: 觀察 \eqref{2.7} 的右式, 並引用 \eqref{2.3} 式所述之集合運算, 由上文知 \begin{eqnarray*} &&\hskip -20pt \Big(\sum_{i=1}^m a_i\Big)\cdot f(k+m-1)\ \hbox{的各項即}\ \sum_{i=1}^m G[a_i\cdot g(k)],\\ &&\hskip -20pt \Big(\sum_{1\le i\lt j\le m} a_i a_j\Big)\cdot f(k+m-2)\ \hbox{的各項即}\ \sum_{1\le i\lt j\le m} G[a_i\cdot a_j\cdot g(k-1)],\\ &&\vdots \end{eqnarray*} 其餘各項類推, 且對於 $t\lt m-1$, $f(t)=0$。 以下只要由 \eqref{2.7} 的右式作為起點, 依序應用 \eqref{2.5} 各式, \eqref{2.3} 式與 \eqref{2.4} 式, 配合數學歸納法, 即可得證 \eqref{1.2} 式。 ☐ 三. 與行列式的關聯上文所得到的結果, 另可用於求出型如 $$\left|\begin{array}{cccccc} ~1~&~a_1~&~a_1^2~&~\cdots ~&~a_1^{m-2}~&~a_1^n~\\ 1&a_2&a_2^2&\cdots &a_2^{m-2}&a_2^n\\ 1&a_3&a_3^2&\cdots &a_3^{m-2}&a_3^n\\ \vdots&\vdots&\vdots&\ddots&\vdots&\vdots\\ 1&a_m&a_m^2&\cdots &a_m^{m-2}&a_m^n\end{array}\right| \hbox{的行列式之值, 在此各 $a_i$ 皆相異, $n$ 為正整數。}$$ 我們所討論的 $$\sum_{i=1}^m \frac{a_i^n}{\prod\limits_{j=1,j\not=i}^m (a_i-a_j)},\ \hbox{就是多項式} L(x)=\sum_{i=1}^m \Big(a_i^n \prod\limits_{j=1,j\not=i}^m \frac{x-a_j}{a_i-a_j}\Big) \hbox{中, $x^{m-1}$ 項的係數。}$$ 其中 $L(x)$ 的次數不高於 $m-1$, 並通過 $(a_1,a_1^n), (a_2,a_2^n), \ldots , (a_m,a_m^n)$ 諸點。 在此我們由待定係數的角度, 來分析這個問題: 令 $L(x)=C_0+C_1 x+C_2 x^2+\cdots+C_{m-1} x^{m-1}$, 將 $(a_1,a_1^n), (a_2,a_2^n), \ldots , (a_m,a_m^n)$, 依序代入 $L(x)$, 得到關於 $C_0, C_1, \ldots , C_{m-1}$ 的線性聯立方程組 $$\left\{\begin{array}{l} C_0+a_1 C_1+a_1^2 C_2+\cdots+a_1^{m-2} C_{m-2}+a_1^{m-1} C_{m-1}=a_1^n\\ C_0+a_2 C_1+a_2^2 C_2+\cdots+a_2^{m-2} C_{m-2}+a_2^{m-1} C_{m-1}=a_2^n\\ \quad\hskip 3cm \vdots \\ C_0+a_m C_1+a_m^2 C_2+\cdots+a_m^{m-2} C_{m-2}+a_m^{m-1} C_{m-1}=a_m^n.\end{array}\right.$$ 對於 $C_{m-1}$ 的求值, 利用克拉瑪 (Cramer) 公式得 $C_{m-1}=\dfrac{\Delta_{m-1}}{\Delta}$, 其中 $$\Delta= \left|\begin{array}{cccccc} 1&a_1&a_1^2&\cdots &a_1^{m-2}&a_1^{m-1}\\ 1&a_2&a_2^2&\cdots &a_2^{m-2}&a_2^{m-1}\\ 1&a_3&a_3^2&\cdots &a_3^{m-2}&a_3^{m-1}\\ \vdots&\vdots&\vdots&\ddots&\vdots&\vdots\\ 1&a_m&a_m^2&\cdots &a_m^{m-2}&a_m^{m-1} \end{array}\right|, \quad \Delta_{m-1}=\left|\begin{array}{cccccc} 1&a_1&a_1^2&\cdots &a_1^{m-2}&a_1^n\\ 1&a_2&a_2^2&\cdots &a_2^{m-2}&a_2^n\\ 1&a_3&a_3^2&\cdots &a_3^{m-2}&a_3^n\\ \vdots&\vdots&\vdots&\ddots&\vdots&\vdots\\ 1&a_m&a_m^2&\cdots &a_m^{m-2}&a_m^n \end{array}\right|;$$ 這裡的 $\Delta$ 即是有名的 Vandermonde 行列式, 其值為 $\prod\limits_{1\le i\lt j\le m}(a_j-a_i)$。 利用我們之前已求得的 $C_{m-1}$, 可得到 $\Delta_{m-1}$ 的值: \begin{eqnarray*}&&\hskip -15pt \left|\begin{array}{cccccc} 1&a_1&a_1^2&\cdots &a_1^{m-2}&a_1^n\\ 1&a_2&a_2^2&\cdots &a_2^{m-2}&a_2^n\\ 1&a_3&a_3^2&\cdots &a_3^{m-2}&a_3^n\\ \vdots&\vdots&\vdots&\ddots&\vdots&\vdots\\ 1&a_m&a_m^2&\cdots &a_m^{m-2}&a_m^n\end{array}\right|\\ &=&\left\{\begin{array}{l}0,\qquad\qquad \hskip 3cm \hbox{當 $n\lt m-1$ (這個結果很容易由行列式的性質驗證)}\\ \prod\limits_{1\le i\lt j\le m}(a_j-a_i)\cdot\sum\limits_{k_1+k_2+\cdots+k_m=n-m+1,k_i\ge 0} a_1^{k_1}\cdot a_2^{k_2}\cdots a_m^{k_m}, \qquad\quad \hbox{當}\ n\ge m-1\ \end{array}\right. \end{eqnarray*} (對於 $k_i=0$, $a_i^{k_i}$ 的值取 1。) 這個結果或可視為 Vandermonde 行列式的推廣。 後語筆者偶然在網路上見到文首所列的三個題目, 對其呈現的規律性感到奧妙, 並發現其可推廣至更高次方與更多元的情況。 嘗試用本身極其有限的數學知識證明後, 特為文以分享。 ---本文作者任職新北市金鶯診所--- |