我們用符號來表示所有實係數多項式所構成的集合,用符號表示所有實係數有理函數所構成得集合。本文中,所有的多項式均為實係數多項式,所有的有理函數均為實係數有理函數。本文中,我們要談有理函數的「部分分式」的理論。
形如的函數稱為有理函數,其中為多項式且不是0多項式。由歐幾里得長除法可知,可找到多項式與使得
,此處或。此時,
。
由此可知,不失一般性的情況下,我們假設。
【定義】給定多項式。
- 若可找到多項式使得,我們稱為的因式,稱為的倍式。
- 如果多項式滿足下列性質,我們稱為質多項式:如果且為多項式,則或為常數多項式。
- 如果是質多項式且為的因式,我們稱是的質因式。
【定義】 給定多項式。
1.如果多項式同時為的因式,我們稱是的公因式。
2. 如果多項式是的公因式且滿足下列條件,我們稱為的最大公因式:「若是的公因式,則。」
3. 我們使用符號來表示的最大公因式。由於最大公因式之間差一個非零的數,通常我們用來表示首項係數為1的之最大公因式。
【定義】給定多項式。
- 如果多項式同時為的倍式,我們稱是的公倍式。
- 如果多項式是的公倍式且滿足下列條件,我們稱為的最小公倍式:「若是的公倍式,則。」
- 我們使用符號來表示的最小公倍式。由於最小公倍式之間差一個非零的數,通常我們用來表示首項係數為1的之最大公因式。
【貝祖定理】
給定非零多項式。可找到多項式使得
其中。
證明: 考慮集合
。
令。由於是自然數集合的子集合,根據自然數的良序原理(well-ordering principle),有最小值。記。取使得。接著我們來驗證是最大公因式。
令,則。由於,可找到多項式使得
因此。我們接著來證明是的公因式。利用長除法,且。我們希望證明。假設不是非零多項式,則。由於,
,推得
。
可知,又此與產生矛盾,因此。同理,。所以我們推得是的公因式。由於,可知。根據與,可知,其中。所以為的最大公因式。
【定義】給定非零多項式。若,我們稱互質。
【推論1】若為互質多項式,則存在多項式使得
。
【推論2】給定非零多項式。若,且為互質的多項式,則存在多項式使得
。
證明:因為互質,取多項式使得。則
。
取,,則即為所求。
【推論3】給定非零多項式。若,且兩兩互質,則存在多項式使得
。
證明:我們使用歸納法證明。時顯然成立。假設時成立。
假設,取。由於兩兩互質,則與互質,且。根據推論2,可找到多項式使得
。
取,則。根據歸納法假設,
。
推得
。
因此時也成立。由數學歸納法可知,此式對任意的自然數恆成立。
【定理】在中,首項係數為的質多項式形如:
- ,其中
【定理】(多項式質因式分解定理)任何實係數多項式都可以唯一分解為
其中兩兩相異,且兩兩相異並滿足。
根據推論3與質因式分解定理,
(1.1)
此處與為多項式。根據(1.1)我們僅須研究型如與的有理函數。利用長除法,我們可以得到
。
則
(1.2) 。
利用長除法,我們可以得到
。
因此,
(1.3)
(1.1),(1.2),(1.3)我們得到了的部分分式分解。
你必須登入才能發表留言。