反證法在多項(xiàng)式理論中的應(yīng)用

1、    反證法在多項(xiàng)式理論中的應(yīng)用    高巖摘 要多項(xiàng)式理論是高等數(shù)學(xué)研究的基本對象之一，它是一類最常見、最簡單的函數(shù)，它的應(yīng)用非常廣泛，它在高等代數(shù)中一個(gè)相對獨(dú)立的部分，與線性代數(shù)一起，構(gòu)成高等代數(shù)的整體內(nèi)容.反證法是一種間接地證明問題的方法，在數(shù)學(xué)的各個(gè)領(lǐng)域中均有應(yīng)用，本文討論它在多項(xiàng)式理論中的應(yīng)用.多項(xiàng)式理論中涉及許多命題的證明 ，其中有些命題無法或不易用直接證法證明 ，而用反證法來證明十分簡捷有效.關(guān)鍵詞反證法；多項(xiàng)式；互素；不可約一、多項(xiàng)式的基礎(chǔ)知識多項(xiàng)式理論是高等數(shù)學(xué)研究的重要內(nèi)容之一，它是高等代數(shù)中一個(gè)相對獨(dú)立的部分，與線性代數(shù)一起，構(gòu)成

2、高等代數(shù)的整體內(nèi)容.它的理論抽象，涉及的概念較多，一些問題直接利用定義證明較為困難，而使用反證法卻可以使論證的過程得到簡化.多項(xiàng)式是一類最常見、最簡單的函數(shù)，它的應(yīng)用非常廣泛.多項(xiàng)式理論是以代數(shù)方程的根的計(jì)算和分布作為中心問題的，也叫做方程論.研究多項(xiàng)式理論，主要在于探討代數(shù)方程的性質(zhì)，從而尋找簡易的解方程的方法.多項(xiàng)式代數(shù)所研究的內(nèi)容，包括整除性理論、最大公因式、重因式等。這些大體上和中學(xué)代數(shù)里的內(nèi)容相.多項(xiàng)式的整除性質(zhì)對于解代數(shù)方程是很有用的。解代數(shù)方程無非就是求對應(yīng)多項(xiàng)式的零點(diǎn)，零點(diǎn)不存在的時(shí)候，所對應(yīng)的代數(shù)方程就沒有解。下面結(jié)合實(shí)例來討論反證法在論證多項(xiàng)式理論中的應(yīng)用.二、反證法反證法

3、的定義：證明定理的一種方法，先提出和定理中的結(jié)論相反的假定，然后從這個(gè)假定中得出和已知條件相矛盾的結(jié)果來，這樣就否定了原來的假定而肯定了定理，也叫歸謬法.反證法的實(shí)質(zhì)：事實(shí)上，反證法就是去證明一個(gè)命題的逆否命題是正確的，這與直接證明是等價(jià)的，但是可能其逆否命題比較容易證明。上述的得出了矛盾，事實(shí)上就是得出了“假設(shè)與題設(shè)不相融”這個(gè)結(jié)論，所以我們不能接受這個(gè)假設(shè)，所以這個(gè)假設(shè)的反面就是正確的，從而命題得證。適用范圍：證明一些命題，且正面證明有困難，情況多或復(fù)雜，而否定則比較淺顯。反證法是從反面的角度思考問題的證明方法，即：肯定題設(shè)而否定結(jié)論，從而導(dǎo)出矛盾推理而得.法國數(shù)學(xué)家阿達(dá)瑪（hadamar

4、d）對反證法的實(shí)質(zhì)作過概括：“若肯定定理的假設(shè)而否定其結(jié)論，就會(huì)導(dǎo)致矛盾”.具體地講，反證法就是從否定命題的結(jié)論入手，并把對命題結(jié)論的否定作為推理的已知條件，進(jìn)行正確的邏輯推理，使之得到與已知條件、已知公理、定理、法則或者已經(jīng)證明為正確的命題等相矛，矛盾的原因是假設(shè)不成立，所以肯定了命題的結(jié)論，從而使命題獲得了證明.反證法所依據(jù)的是邏輯思維規(guī)律中的“矛盾律”和“排中律”.在同一思維過程中，兩個(gè)互相矛盾的判斷不能同時(shí)都為真，至少有一個(gè)是假的，這就是邏輯思維中的“矛盾律”；兩個(gè)互相矛盾的判斷不能同時(shí)都假，簡單地說“a或者非a”，這就是邏輯思維中的“排中律”.反證法在其證明過程中，得到矛盾的判斷，根

5、據(jù)“矛盾律”，這些矛盾的判斷不能同時(shí)為真，必有一假，而已知條件、已知公理、定理、法則或者已經(jīng)證明為正確的命題都是真的，所以“否定的結(jié)論”必為假.再根據(jù)“排中律”，結(jié)論與“否定的結(jié)論”這一對立的互相否定的判斷不能同時(shí)為假，必有一真，于是我們得到原結(jié)論必為真.所以反證法是以邏輯思維的基本規(guī)律和理論為依據(jù)的，反證法是可信的.反證法的證題模式可以簡要的概括我為“否定推理否定”.即從否定結(jié)論開始，經(jīng)過正確無誤的推理導(dǎo)致邏輯矛盾，達(dá)到新的否定，可以認(rèn)為反證法的基本思想就是“否定之否定”.應(yīng)用反證法證明的主要三步是：否定結(jié)論 推導(dǎo)出矛盾 結(jié)論成立.實(shí)施的具體步驟是：第一步，反設(shè)：作出與求證結(jié)論相反的假設(shè)；第

6、二步，歸謬：將反設(shè)作為條件，并由此通過一系列的正確推理導(dǎo)出矛盾；第三步，結(jié)論：說明反設(shè)不成立，從而肯定原命題成立.在數(shù)學(xué)解題中經(jīng)常使用反證法，牛頓曾經(jīng)說過：“反證法是數(shù)學(xué)家最精當(dāng)?shù)奈淦髦弧?一般來講，反證法常用來證明的題型有：命題的結(jié)論以“否定形式”、“至少”或“至多”、“唯一”、“無限”形式出現(xiàn)的命題；或者否定結(jié)論更明顯.具體、簡單的命題；或者直接證明難以下手的命題，改變其思維方向，從結(jié)論入手進(jìn)行反面思考，問題可能解決得十分干脆.針對高等代數(shù)中許多結(jié)論、定理的證明有時(shí)雖然可以用構(gòu)造法、數(shù)學(xué)歸納法等其他方法證明，但證明過程較復(fù)雜；有時(shí)結(jié)果雖然是數(shù)值卻無法用求解的方法來求解，提出了用反證法來證

7、明或求解的思想，從而達(dá)到了化復(fù)雜為簡明、化難為易的效果三、反證法在多項(xiàng)式理論中的應(yīng)用的實(shí)例1.關(guān)于不可約多項(xiàng)式的一個(gè)命題多項(xiàng)式理論中有幾類問題利用定義或等價(jià)證明比較方便，例如整除一般用定義直接證明，最大公因式和互質(zhì)則通常使用其等價(jià)定義或一些性質(zhì)定理證明，用不可約多項(xiàng)式的定義用起來就不太方便，而且對于多項(xiàng)式的不可約性又沒有定理或公理可利用，只有一個(gè)可以直接利用eisebstei判別法，故這一類問題的證明最適宜反證法。2.關(guān)于互素多項(xiàng)式的一個(gè)命題這類命題通常在互質(zhì)，最大公因式，多項(xiàng)式的根等問題中出現(xiàn)，結(jié)論里一般具備“唯一”“只有”等字樣，而直接證較困難，可假設(shè)另外存在“一個(gè)”推出矛盾.此命題的結(jié)論是互質(zhì)的等價(jià)定義.這類命題3.關(guān)于多項(xiàng)式重因式的一個(gè)命題判斷一個(gè)多項(xiàng)式有沒有重因式首先判斷多項(xiàng)式是否有重因式，即求出；其次，用除所得商式為，其中沒有重因式，與含有完全相同的不可約因式；然后，求的不可約因式，這樣不難求出其在中的重?cái)?shù).若多項(xiàng)式在f中沒有重因式，那么把看成含f的某一個(gè)數(shù)域g上的多項(xiàng)式時(shí)，也沒有重因式；若是的k重因式，則能整除、，但不能整除，這就知道與的關(guān)系了.此題推出結(jié)論的方法與例1類似都是在否定結(jié)論之后，利用已知條件推出了與命題的題設(shè)相矛盾的結(jié)論.4.關(guān)于實(shí)系數(shù)多項(xiàng)式根的一個(gè)命