关于有限循环群的一个注记

最近史江涛给出了一个循环群的判定,并给出了初等简洁的证明.对此结论给出另一个初等简洁的证明,并应用此方法对循环群的另一个判定给出一个初等简洁的证明.     

Lagrange乘数法在一些初等不等式中的应用

利用Lagrange乘数法,对初等不等式进行研究,得到了证明不等式更加简明、快捷的方法。此外,介绍了用来证明初等不等式的微分法,并给出Hardy不等式和某个初等不等式之间的相互证明。特别地,针对经济学中的资本和生产量问题,利用Lagrange乘数法求解,得到最优方案,从而更具有说服力地阐释了Lagrange乘数法在现实生活中的作用。     

从蝴蝶定理的证明看高等几何对初等几何的作用

本文用高等几何方法证明了用初等几何方法较难证明的“蝴蝶定理”,并给出定理的推广命题,从中显示出高等几何在初等几何中的作用。     

Janous─Gmeiner不等式的初等证法

本文用初等方法证明Ｊａｎｏｕｓ－Ｇｍｅｉｎｅｒ不等式．     

S_5——模的基本性质

本文对S_5—模的基本性质用较为初等的方法给出了讨论证明。     

圆的切线直尺作图法

本文介绍一种圆的切线直尺作图法,并用初等几何知识证明其正确性     

几个关于初等对称多项式的不等式

本文将用初等的方法,建立几个关于初等对称多项式的不等式。     

蝴蝶定理及其推广

本文概述蝴蝶定理的简单历史,用不同方法将蝴蝶定理推广到一般二次曲线,得到定理2、3、4、5,证明蝴蝶定理及定理2～5均为二次曲线某一射影性质,即定理6的特例,最后给出定理6的另外几种特例,从一个侧面反映射影几何、仿射几何与初等几何的内在联系。     

立方补数的两个渐近公式

在通过对任一正整数提出另外一种唯一分解式的基础上,利用初等方法得到了关于立方补数的几个有趣的渐近公式。     

一个分析不等式的进一步推广

本文对文献[1]中提出的一个分析不等式进行了推广,而且证明的方法是初等简洁的。     

论证评估问题探析

论证评估是论证逻辑的核心问题之一。论证的评估是坚持真值标准 ,还是采用认识论标准是形式推理理论与新的论证理论的分水岭 ;论证的评估不只是一种“有效性”的评估 ,它是一种复杂的综合性评估 ;形式评估法不能对付论证中所使用的多种论证方式 ,只有全面的权衡才能作出恰当的评价     

论证明责任的阶段性

英美法系是以\     

谈谈叶果洛夫定理的教学

本文用集合论方法给出叶果洛夫定理的一个分析性证明．     

均值不等式的八种证法

由于不等式本身在数学中的重要地位以及不等式的证明的困难性,使不等式的证明方法成为数学领域内的热门问题.本文拟将介绍均值不等式的算术归纳法、局部调整法、排序原理、不等式法、几何方法、变量替换法、归纳原理、逐次调整法等八种证明方法,归纳总结出不等式证明技巧,进而提高学习者不等式探究能力和证明方法.     

Kakutani不动点定理的泛函分析证法

本文讨论了Ｋａｋｕｔａｎｉ不动点定理的泛函分析证法，给出了它的一个较简洁的证明。     

关于两个常见不等式的讨论

本文主要介绍了柯西不等式、平均值不等式的证明方法,以及它们在其它不等式方面的一些应用。简单阐述了两 个不等式的极限形式。     

双重维度看陷阱抗辩之证明责任

刑事诉讼中被告人以陷阱侦查作为其出罪的抗辩理由之一,此抗辩即为陷阱抗辩。出于对控辩双方证明能力和证明手段对比之考量,陷阱抗辩的证明责任分为客观合法性证明和主观倾向性证明两个层面,分别由控辩双方承担。这种独特的证明责任构成是诱惑侦查案件中重要的分配正义的方式之一。     

关于平面对称紧凸集不等式

本文简论平面对称紧凸集不等式问题,引伸Favard不等式,对不等式中的相关常数给出两种证法。     

WTO“合理期限”仲裁运行与实践

"合理期限"仲裁是DSU用以确立执行期限的三种方式之一,仲裁员的主要职责是根据当事方的请求对执行期限进行裁决,一般不涉及执行方法与途径.在实践中,此类仲裁举证责任经历了一个由当事方共同举证到后来由责任方承担首要举证义务的过程,国内强行法具有表面证据效力.裁决的合理期限应当是责任方执行DSB裁决及建议的最短期限,另外,责任方国内法的相关规定、执行方式及复杂程度、发展中国家的具体困难等方面都是仲裁员在决定合理期限时所需要考虑的因素.     

关于自然演绎逻辑的反思

自然演绎的本质在于证明中可以随时引入假设。在总结出各个自然演绎系统的几个区别性特征之后，本文提供了一个自然演绎的教学案例，案例通过采取一个有更多“有假设推演规则”的自然演绎系统，并用证明序列的左侧序号来编撰和追踪证明者的证明思路和证明策略，从而更有利于学生熟悉和掌握各种逻辑证明方法和证明策略，有助于激发学生自主思考，提高学生逻辑思维能力和元定理的证明能力。