(尚未完成)
多項式的基本定義
令表示一個變數(variable)。假設是實數,任何可以寫成形如
的樣子的都叫實係數多項式。所有的實係數多項式所構成的集合記為如果不等於零,我們就說是一個次多項式,而就稱為領導係數。(同理我們可以考慮整係數多項式,有理係數多項式與複係數多項式)我們記。 假設給兩個多項式
與
在不要求不為零的情況下,我們可以假設。我們定義兩多項式為
如果為一個數,則定義係數積為
所以就具有了加法與係數積的結構。如果將來你學習了線性代數得概念,就可以知道構成了一個向量空間(vector space)。甚至我們可以定義兩多項式相乘:
其中於是就構成了一個代數(algebra)。 附註:大致上來講,代數就是一個具有向量空間與向量乘法結構的的集合。更精確的說法是,代數是同時具有向量空間與環的結構的集合。如果是一個環,我們也可以考慮多項式環。
多項式函數
我們可以把多項式視為函數。令是一個複(實,有理,整係數)多項式,任給一個複數,我們定義
那麼就成為複數域上的函數(當然我們可以考慮實數域上的多項式函數)。如果複數滿足,則我們稱是的複數根。(同理,我們可以考慮有理根,實根等等。)
定理:假設是一個實多項式,其對應的多項式函數為連續函數。
定理:(連續函數得中間值性質)假設是上的一個多項式函數。假設為實數,且。則存在一實數使得。
給一個實函數。給定一個如果極限
存在,則我們令極限為稱為在的導數,並稱在可微分。而微分有下列性質:(第(1),(2)稱為線性。第(3)稱為微分得乘法律)
(1)
(2)
(3)
定理:任給一個多項式函數都是可微分函數,並且其微分如下:
利用微分的性質,我們發現,我們只需要驗證就可以推論出這個公式。而顯然。
驗證:我們用來驗證。而
於是
所以假設成立。利用與微分得乘法律可推得
也成立。利用數學歸納法我們知道對所有的自然數皆成立。
附註:關於微分,我會在另外的文章內談及。
歐幾里得長除法
假設任給兩個多項式則存在唯一的多項式與使得
其中或。當我們說整除並記為。
歐幾里得長除法的證明可以利用數學歸納法,在此我們就不證明。(定理的使用比證明本身還重要)。
定理:(餘式定理)假設式一個複係數多項式,是任意一個,且其中是一個複數。那麼
證明:(利用歐幾里得長除法)將代入中立刻得到。
由此我們可以推論整除若且唯若是的根。
所以利用餘式定理,我們馬上可以推論:
定理:(因式定理)是多項式的根的充要條件是。
公因式公倍式
因式:假設我們稱是的因式,而是的倍式。
公因式:如果且,則我們稱是的公因式。
公倍式:如果 我們稱是的公倍式。
最大公因式:如果是的公因式,並且如果任意一個的公因式使得我們稱是的一個最大公因式。
最小公倍式:如果是的公倍式使得對任意其他的公倍式恆有我們稱是的一個最小公倍式。
定理:給定兩多項式。
(1)如果是的最大公因式,則其中為一個常數。
(2)如果是的最小公倍式,則其中為一個常數。
換句話說,如果要求最大公因式或最小公倍式的最高次項的係數是時,我們能唯一的決定這個最小公倍式與最大公因式。此時我們記為最大公因式,為最小公倍式。
定理:令表示的最大公因式。存在兩多項式使得
。
配方法解二次多項式的根與判別式
這個部份我想來研究(實)二次多項式的零根。首先,我們來複習一下乘法公式。
令表示兩複數。則於是我們開始思考,是否能夠把變成型如的型式。由於是二次多項式,。所以我們把兩邊同除之後並把移項到等號右邊之後得到了
這時候我們令那麼我們自然會期待所以我們知道但為了得到,我們還必須在中加入所以我們把上式兩邊同時加入於是發現
左邊等於為一完全平方數。如果那麼方程式並沒有實數解。令,我們稱是的判別式。那麼原式可以改寫為
(1)當時,我們知道於是就是方程的兩組解。
(2)當時,我們知道為重根。
(3)時,我們有兩個共軛複數解。。其中。
韋達定理
假設是二次多項式的兩根。那麼我們知道。利用比較最高項係數,我們知道。換句話說。比較係數之後,我們可以得到
且。
假設是三次多項式的三根。利用類似的想法我們可以推得。如此一來:
,
令表示個相異複數。我們定義一次多項式如下
其中表示連乘積符號。(換句話說.)那麼。由於是次多項式,我們可以把改寫為那麼我們知道是的函數。事實上,對任意的恆有
舉例來說,, 定理(韋達定理一般型式)如果是一個複系數多項式,並且是此多項式的個根。則
假設是二次方程的兩根。那麼利用韋達定理我們知道且。如果我們考慮那麼利用乘法公式可知
我們令那麼我們立刻推得所以我們可以把這定義推廣到更一般的次多項式上。
定義:假設是相異複數,並且是次多項式的根。我們令
我們稱為多項式的判別式。
實係數多項式共軛根成對出現的證明
所謂的實係數多項式共軛根成對出現指的是:如果是實係數多項式的一根,那麼他的共軛複數也是多項式的一根。(稱為複數的共軛複數。) 證明:由於,因此
把此是取共軛複數之後,可知
利用共軛複數的性值可知道 且可知
由於均是實數,所以他們的共軛複數等於自己,換句話說,於是
由此可知
附註:本文尚未完成。