初等几何定理的机器证明

本文利用数学家吴文俊就几何命题机器证明创建的吴法对一非平凡的几何命题代数化，给出了两种不同于吴法的算法，并在Ｍａｐｌｅ环境下运行证明了该命题．     

正切定理的几何证明

15世纪，通过德国数学家雷格蒙塔努斯(Regiomontanus，1436-1476)、波兰天文学家哥白尼(N．Copernicus，1473～1543)、德国数学家雷提库斯(G．J．Raethicus，1514～1576)的工作，三角学在欧洲得到了复兴．伴随着三角学的复兴，不仅古代希腊人和阿拉伯人所知道的三角形边角关系(如余弦定理和正弦定理)被重新提出，而且各种新的三角恒等式也相继被发现．     

定理机器证明的图论法初探

机器定理证明是人工智能的重要分支学科之一 .定理的机器证明已经达到了相当成熟的水平 ,但有关利用图论方法进行定理的机器证明还不多见 .在这样的背景下 ,试图结合机器定理证明的经典方法 ,将图论思想引入进来 ,提出了一种初步的图论机器定理证明方法 ,解决了一类有关定理的机器证明问题 .     

也谈算术——几何平均值定理的证明

本文通过引入极限,完善了张启桂《算术——几何平均值定理的两种证法》中的证法一的证明。     

拉格朗日（Lagrange）中值定理的几何证明

文章应用几何上的转轴公式，讨论了拉格朗日中值定理的一种几何证明方法。     

对二次曲线“焦弦定理”的商榷及其几何证明

文[1]探究了二次曲线的一个重要性质“焦弦定理”,并且给出了解析法的证明,阅读完全文,感到这一几何特性很具有美感,能带给人们无尽的暇思．在感受“焦弦定理”的优美特性的同时,突然想到,     

从证明托勒密定理过程中感受初等几何的思维视角

初等平面几何中定理、性质、结论较多,运用广泛,在数学竞赛中,证明几何题方法灵活机动,可从代数、几何、三角知识作深入性思考,现结合托勒密定理证明作简单阐述,供参考.托勒密(Ptolemy)定理:圆内接四边形的两组对边的乘积之和等于两对角线的乘积.已知:四边形ABCD内接于圆O.证明:AB·CD+AD·BC=AC·BD.证法分析1此定理从几何角度证明方法较多,从中选     

关于构造辅助函数的几种方法--谈微分中值定理的证明

本文总结了证明微分中值命题时常用的五种构造辅助函数的方法，并给出了具体应用。     

关于正弦定理用来证明具有角平分线条件的几何问题的方法

如图1，AABC中，AD平分∠A交BC于D，由三角形内角平分线有AB/AC=BC/DC……（1）由正弦定理有：     

一个几何定理的证明方法初探

用三角形面积公式先证明推论 ,再用推论结果去证明定理 ,定理和推论都得以严格证明 ,学生易于理解和接受。     

例证法在定理机器证明中的应用

阐述了例证法的理论,分析、论证了例证法应用于定理机器证明的可行性,介绍了几何命题代数化的方法和步骤,并介绍了数值并行例证法和单例实验例证法的应用.     

中值定理证题法

利用中值定理来证明等式和不等式的证题方法.     

ADAMS在机械原理课程教学中的应用

机械原理课程抽象概念多,尤其是机构运动学分析部分。传统的图解法和解析法存在繁琐及难以实际操作的缺点,学生较难理解。将ADAMS软件引入机械原理课堂教学,应用虚拟样机技术对机构进行三维建模、动态仿真,可有效解决学生对机构运动特性不易理解掌握的问题,同时极大地提高学生的学习兴趣和课堂效果。     

韦达定理和逆定理在解析几何中的应用

平面解析几何,是用代数方法研究平面几何图形的一个教学分支,它所提出的问题以及问题的结论都是几何形式,而中间的论证和推导基本上是用代数方法。本文通过具体的例子,介绍了韦达定理和逆定理在解析几何中的应用。     

韦达定理在解析几何中的应用

在平面解析几何中,经常会遇到求二次曲线的中点弦,求弦的中点,求弦长,给了定弦求关于这弦的共轭直径等问题,这些问题都可借助于韦达定理而简捷地解决。     

Desargues定理——几何学中美的鉴赏

Desargues定理是射影几何中点线结合的重要定理,也是平面射影几何的基础之一.本文根据定理的构形,利用对偶原理,揭示了该定理所体现的图形之美以及应用之美.     

微分中值定理的证明及推广

本文给出了证明微分中值定理时构造辅助函数的两种方法以及微分中值定理在一元函数、多元向量值函数及抽象函数方面的推广 .     

五年高职机电专业立体几何的教学策略

笔者根据调查分析得到的五年制高职机电专业立体几何教学的现状,结合机电专业的特点提出了一些租浅的教学策略.主要有：第一、注重情感,培养学生的非认知能力;第二、夯实基础,有助学生建立初步的认知能力;第三、遵循认知规律,帮助学生发展认知能力;第四、循序渐进,促进学生完善认知能力.     

基于知识融合的机械设计教学法及资源开发

机械设计基础是机械类专业的必修课,针对传统教学存在的问题,结合高等职业技术教育培养应用人才的特点,提出了基于知识融合的机械设计教学法。以应用为目的,本着优化、适用、适度的原则,打破传统的工程力学、机械设计基础等课程的界限。将工程力学、常用机构、通用机械等教学内容有机的融合渗透,着力体现了高等职业教育的特色。开发了相应的教学资源,并在教学中进行了实际应用,取得了良好的效果。