关于拓扑学中两个基本定理的一种新的证明方法

在拓扑学定理的证明过程中,教材一般都是利用逆否命题的证明方法来加以证明,本文则是采用直接的证明方法对定理进行严格的证明。     

关于拓扑学中两个基本定理的一种新的证明方法

在拓扑学定理的证明过程中，教材一般都是利用逆否命题的证明方法来加以证明，本文则是采用直接的证明方法埘定理进行严格的证明。     

论证明标准在税务行政诉讼中的适用

证明标准是证据理论中的核心问题。一般认为证明标准可以分为优势证明标准、清楚而有说服力证明标准和排除合理怀疑证明标准三种。本文从一个实际案例出发,详细的分析了税务行政诉讼中证明标准的适用问题。     

导数在不等式证明中的应用

导数是研究函数性质的重要工具之一，也是中学数学中最基本和最重要的内容之一，利用导数的方法证明不等式是不等式证明中重要的组成部分。掌握导数在各种不等式中的证明方法和证明技巧对学好数学有很大的帮助。在数学教学中，将数学问题系列化，能够有效地提高学生解决数学问题的能力，本文将通过举例和评注的方式来阐述在不等式证明中导数的一些方法和一些技巧，提高学生利用导数证明不等式的能力。     

鲁金定理的一个简单证明

E是N维欧氏空间R~N 中的一个L可测集,其测度为mE<∞或mE=∞.现行教材中,关于鲁金定理的证明大多以叶果洛夫定理为工具,而叶果洛夫定理仅在mE<∞时才成立,因而鲁金定理的证明就必需分成两步,先对mE<∞的情况进行证明,再对mE=∞的情况进行证明.在复旦大学的教材〔1,131页〕中,鲁金定理的证明虽然未引用叶果洛夫定理,但其证明方法仍必需分成mE<∞和mE=∞两种情况进行证明.本文改进了中的证明方法,只需一步完成证明,使之无论对mE<∞或mE=∞都成立,而且证明的方法既初等又简单,在教学中可以采用.     

自动定量证明中的一个通用证明法

在自动定理证明中，我们发现一个卓有成效的证明方法－多余文字参数法。利用这一方法可以简单便捷地证明许多难以证明的各种推理策略中的完备性问题。本文列举了如何应用这一方法来证明自动定理证明中归结原理的完备性，语义归结完备性，线性归结的完备性以及输入归结和单位归结的等价性问题。     

多元统计中三个Jacobi行列式的简捷证明

在多元统计中经常要用到Ｊａｃｏｂｉ 行列式性质，它在理论推导中起着重要的作用．但是由于证明太冗长，一般不给出证明，即便给出证明，或只给出其中简单情况的证明，本文用统一的方式，给出了这三个重要Ｊａｃｏｂｉ 行列式的简捷证明．     

向量在证明不等式中的应用

证明不等式，一般采用综合法和分析法，这的确是行之有效的重要方法，但在证明过程中有些问题却过于复杂，不易证明和理解．向量是物理学和数学中应用较广泛的概念之一，好多问题用向量法证明，能够简明扼要．水文在N维欧氏空间中，构造适当的向量，利用两个向量数量的积和向量积的性质，证明不等式．     

试论我国刑事诉讼中证明责任的两个问题

本文旨在证明这样两点:一是在公诉案件中,证明责任的发生时间成立于审判阶段,检察机关是证明责任的唯一承担者;二是非法所得罪的证明责任由公诉人与被告人的双向证明责任关系构成,公诉人与被告人均负有各自的证明义务。     

关于Jordan—Dedekind链定理的注记

首先推出（１）中关于有限长半模偏序集满足Ｊｏｒｄａｎ－Ｄｅｄｅｋｉｎｄ链条件定理证明中仅假定两定点间存在一个有限极大链γ〃，而对γ〃的存在性并未给出严格证明，本文给出一种新的更为严密的证明方法，并指出完善（１）中证明的途径。     

一个定理的不恰当证明方法辨析

本文分析了Kolmogorov不等式的一个推论的证明过程,指出了证明过程中存在的问题,并通过实例分析了这种证明方法中的错误之处,进而给出了正确的证明过程。     

自动定理证明中的一个通用证明法

在自动定理证明中，我们发现一个卓有成效的证明方法——多余文字参数法．利用这一方法可以简单便捷地证明许多难以证明的各种推理策略中的完备性问题．本文列举了如何应用这一方法来证明自动定理证明中归结原理的完备性、语义归结的完备性、线性归结的完备性以及输入归结和单位归结的等价性问题．事实表明这些原本都是十分棘手的证明问题，由于使用了这一方法而变为十分简单而自然的工作，而且这些不同的完备性问题其证明步骤和过程也几乎是一样的     

王浩算法的Java实现

用Java语言实现数理逻辑中命题逻辑的机械证明,从而抛开繁重的脑力证明过程,可用计算机证明任何命题逻辑的定理和公式。     

几类多项式命题的反证法证明

多项式理论中涉及许多命题的证明 ,其中有些命题无法或不易用直接证法证明 ,而用反证法来证明十分简捷有效     

Philipp-Stout定理的补证

在文献[1]中W.Philipp和W.Stout得到了用正则布朗运动来逼近高氏序列的很好的结果(见[1]中定理5.1)。在该定理的证明中用到了重要引理5.3.1。可是此引理的叙述和证明都是错误的。本文给出此引理的正确叙述及其证明,从而完成了[1]中定理5.1的证明。 [1]中引理5.3.1的叙述和证明中均未提及随机变量序列{X_n}_(n=1)~∞是高氏序列。今举     

微积分在不等式证明中的应用

不等式是数学的重要内容,证明不等式的方法多种多样,有些不等式用初等方法来证明需要较高的技巧,甚至有时有些不等式根本无法用初等方法来证明.而有时利用高等数学中微积分的有关知识来证明不等式,可以使证明的思路变得简单,技巧性降低.在此总结出三个可直接用于证明不等式的命题,阐述如何利用高等数学中函数的单调性、拉格朗日中值定理、函数的板值与最值、函数凹凸性、泰勒公式、积分中值定理及其性质来证明不等式.     

代数不等式的证明

不等式的证明方法灵活多样,在历年的研究生入学考试及各种竞赛中都是一个重要考点,归纳总结了初等数学及高等数学中证明不等式的方法,展示出高等数学和初等数学证明不等式的各自的优势、不同证明法技巧.     

高中物理必修2中竖直平面内圆周运动极值条件的证明

对高中物理必修2中竖直平面内圆周运动极值条件进行了证明,意在帮助学生解除对圆周运动轨道变化的疑惑。证明分两步:第一,证明小球到达最高点的下一时刻依然在圆周上;第二,证明在平面直角坐标系第一象限中的任意时刻小球都在圆周上。还提示了在证明中结合学生自身实际要注意的机械能守恒和三角函数取值范围这两个问题。     

推广的Urysohn引理的改进证明

文[1]中给出Urysohn引理的一种推广,给出的证明是参考[2]中的证明.文章给出了该推广的改进证明.     

关于一类概率型算子的Lipschitz性质保存性的证明

利用Bemstein算子的数学期望表达式及概率论中相关的数字特征不等式来证明文献[4]中定理A，使其证明过程得到简化．并且我们把这种证明方法推广到一类概率型算子当中。