几类适宜用反证法证明的命题

否定命题判断的相反判断 ,从而肯定原来判断的正确性 ,这种证明法称为反证法。使用反证法的步骤可归纳为 :一、假设命题的结论不成立 ,即命题结论的否定方面成立 (每个否定方面均应考虑到 ) ;二、以命题的否定方面作为条件进行推理 ,得出和已知条件、公理、定义和定理等相矛盾或自相矛盾的结论 ;三、确认命题的所有否定方面不能成立 ,从而肯定命题的结论成立。哪些命题适宜用反证法证明 ,要一般地回答这个问题是不容易的 ,也不是绝对的 ,在此 ,提出如下几类适宜用反证法证明的命题 ,仅供参考。(一 )当命题含有涉及到各种“无限”形式的结论…     

Selmer多项式不可约性的一个新证明

由n次多项式f（x）的全部根α_1,α_2,…,α_n,构造一个关于根的对称多项式S（f）=∑（α_i-1/α_i）,如果多项式f（x）在Q[x]可以分解为多项式g（x）h（x）,利用恒等式S（f）=S（g）＋S（h）,得出多项式g（x）的可能形式,并利用上述方法给出Selmer多项式不可约性的一个统一证明.     

不可约多项式的判别

研究了不可约多项式的性质、应用,并且给出了几个不可约多项式的判别方法。     

反证法与命题代数中的等价命题

正确分析和使用反证法证题与命题代数中的等价命题。     

Fibonacci多项式的不可约性

设Fn(x)和Ln(x)表示Finbonacci多项式和Lucas多项式，令Fn(x)=x^n(F)Fn(x)和Ln(x)=x^n(L)Ln(x)，其中a(F)和α(L)分别表示Fn(x)和Ln(x)的最低次项的次数，本文中给出了Fn(x)和Ln(x)在有理数域上不可的充要条件。     

命题多项式与命题函数的解析化

本文提出了命题多项式，０－１命题多项式的概念，应用它们，实现了命题函数的解析化。     

某些多项式的特特性质

给出某些多项式的特征性质。     

一元多项式中一个整除性定理的证明

在实系数多项式团式分解定理[1]的证明中有“设f（x）是n次实系数多项式,由代数基本定理,f（x）有一复根a,那么在复数域上有f（x）＝（x-a）f1（x）若a为实数,则f1（x）是n－1次实系数多项式”。此处说“f1（x）是n-1次实系数多项式”实际上是用了下述定理。在下述定理中分别取P为实数域,P为复数域,即可得到上述结论。定理设P和P是两个数域且P是P的真子集,用P[x]和P[x]分别表示P和P上的多项式环,且设g（x）EP卜〕,／（X）EP卜〕,g（X）一0,如果存在人（X）E川x〕使＠这个定理在［卫］的12页中作了直观说明,下面给出这个…     

不可约多项式与本原多项式

本文从定义、特点、性质、关系和应用五个方面讨论了不可约多项式与本原多项式 ,从而使两者的本质差别显而易见 ,同时也指出了学生将二者混淆的主要原因     

关于多项式不可约性的几个定理

本给出两个定理，认证了Eisenstein定理与献[2]中定理的互效性，进而证明了两可以互相转化。     

不能用Eisenstein判别法判别的不可约多项式

给出经任何线形替换都不能用Eisenstein判别法判别的任意次整系数不可约多项式的例子。     

四元数多项式的因式分解

提出了不可约四元数多项式的概念,并得出了四元数多项式整除的重要性质,最后给出了四元数多项式因式分解的一般形式,为求四元数多项式方程的根提供了理论依据.     

虚二次域与整系数多项式不可约

本文用二次域的理论，得出了两个整系数多项式不可约的判定定理，其结果应用范围较广，且使用较方便。     

有理数域上多项式不可约的判定

艾森斯坦因判别法和它的等价判定定理都只是判定有理数域上多项式不可约的充分条件,不能用于判断形式下的多项式是否可约,针对这种情况给出了艾森斯坦因判别法的推广定理,并通过例题说明了它们之间没有必然的包含关系。     

不可约多项式的一个应用

从一个有名的问题及其几种解法入手,通过把这个问题进行一般化来检验这些解法的适用范围,由此说明在解题时,理解基本概念是非常必要的,运用基本概念进行推理有助于理解问题的本质.     

有限域上分圆多项式

探讨有限域上分圆多项式的计算性质,并给出有限域上分圆多项式不可约的条件,最后,给出由分圆多项式求有限域上给定次数的所有不可约多项式。为有限域上不可约多项式理论的完善和应用提供一些理论依据。     

有理数域上的不可约多项式

主要利用Eisenstein判别法及其一些推广来研究一些特殊的有理数域上的不可约多项式结构．通过对研究整系数不可约多项式所得的结果进行总结和归纳,对一些特殊的整系数多项式的不可约性给出了判断,并对文献中的两个定理给出了其他证明方法．     

整系数多项式不可约的一个判别法

本文将整系数多项式置于模p之下,然后在域p里添加其多项式的一个零点θ扩张为域p(θ)——calois域,由多项式所有零点在p(θ)域上的分布规律得出其不可约的一个判别法。     

关于不可约多项式性质定理的注记

本文对北京大学编《高等代数》中不可约多项式的两个性质定理给出四个注记,对教材内容作了必要的补充,注记4圆满地解决了不可约多项式f(x)的k重因式(k≥1)的判别条件。并且完整地加以证明。多项式理论以数域上一元多项式的因式分解理论为中心内容,不可约多项式是一等重要