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

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

微分中值定理的延伸及应用

微分中值定理是高等数学微分学的核心内容,在给出三个微分中值定理的基础上,进一步探究每个中值定理的推广延伸形式,并加以证明和运用.     

有关平均值的不等式及其证明

对两个平均值不等式，给出只用一元函数一阶导数的证明方法，同时对更为一般的平均值不等式，给出了统一的证明。     

巨额财产来源不明罪若干问题探析

本文主要分析探讨了巨额财产来源不明罪的罪名、客体、举证责任、巨额财产来源不明的证据与法定刑完善等问题。主张以拒不说明巨额财产真实来源罪作为本罪的罪名更为科学 ;本罪的客体是国家工作人员的职务廉洁性和国家机关的正常活动与威信 ;建议立法妥善解决说明是否圆满、财产持有人等问题 ;本罪的法定刑亟需完善     

关于离散Hopfield联想网络的权值设定及稳定性分析

本改进了Hopfield网络权值的设定，使之保证每一个存贮的模式为平衡状态，并且证明网络由任一模式出发，一定收敛到一个平衡态，且每一平衡态是Lyapunov意义下稳定的。     

第一西洛定理的若干注记

给出了第一西洛定理的三种不同的证明方法。     

论反例的作用与构造方法

通过具体的例子阐明高等代数中反例的作用与构造反例的方法。     

一般系统结构理论及其应用（Ⅱ）

在文献［１］的基础上首先通过对一般系统结构模型的数学分析，揭示一般系统原理及规律，从而从数学上取得一种新的面向问题、数学表达的一般系统理论，即一般系统结构理论；然后，应用一般系统结构理论研究一类专门系统——信息存储单元，包括：①推导存储单元结构模型；②揭示与存储单元工作速度有关的因子以及它与这些因子之间的数学关系；③提出改善存储单元工作速度的途径和方法．     

反演关系的机械化证明

反演关系是组合论中的一个重要内容，其证明十分繁杂，又要求很高的技巧，将近几年刚刚发展起来的证明组合恒等式的ＷＺ方法运用到反演关系的证明中，从而给出了两类反演关系的机械化证明方法。