铰链四杆机构曲柄存在条件的新推证

针对传统的铰链四杆机构曲柄存在条件推证中取曲柄的两个特殊位置进行证明的不足,在总结传统的证明方法基础之上,根据机构中三角形的边角关系,运用余弦定理建立关系式,并通过取三角函数极值,解不等式这一新的推证方法,得到了铰链四杆机构的曲柄存在条件连架杆和机架中必有一杆长度最短;最短杆和最长杆长度之和小于或等于另外两杆长度之和.这种推证方法较传统的推证方法更具严密性,易于理解和接受.     

推证棱镜光谱仪色分辨本领的一种简捷方法

本在推证棱境光谱仪分色辨本领中采用“等光程”概念，提出了一种与现行光学教科书中不同的方法，其推证过程简单明了，条理清晰，容易使学生理解．     

微分中值定理自动推证研究

应用积分辅助函数法给出了微分中值定理在计算机代数系统Maple下的自动推证的实现程序,特别是成功解决了Maple中符号积分缺陷问题.该程序方法简单,相应的计算机程序功能强大,操作性强.应用该程序可以成功解决一类有关问题的计算机自动推证,具有一定的推广价值.     

热力学函数偏微商推证法的探讨

对热力学函数偏微商的推证方法进行了概述与探讨,找到了适合于教学的简单易记的推证法.     

数学换元思维方法的应用

目的通过换元方式对微分方程通解的推证,突出换元思维解决问题的重要性。方法区别于传统形式的推证,从基本知识的学习中培养创新意识的形成。结论倡导多向思维能力的养成,注重解决问题方法的多样性及方法结构的改变。     

对共轴光具组成象理论推证的改进

利用牛顿型物象公式引出共轴光具组的焦距、主点和节点，并对共轴光具组成象理论进行了推证．推证过程比传统方法简单，紧凑，而且物理意义明确．     

普朗克的自然单位

本文介绍了自然界中唯一的自然单位——普朗克自然单位,并用量纲分析方法对该单位作了推证。     

杜阿美尔积分法求阻尼转矩和阻尼功率

提出了电力系统暂态稳定计算中计入同步电机阻尼功率的作用可以提高系统稳定性的基本概念；运用同步电机派克方程对暂态条件下的阻尼转矩及阻尼功率进行了严密的数学推证；采用杜阿美尔积分公式对推证结果实时域变换后，最终得出正确的阻尼功率和阻尼转矩的算法模型，以及阻尼转矩与阻尼转矩系数的关系式。     

分子按自由程分布的另一种推证方法

分子按自由程分布的另一种推证方法张绍鹏（物理系）分子按自由程的分布规律是热学课的难点之一，教材［１］中利用分析法求得了该分布规律．本文采用几率法来推证这一结果．由于这种方法简单，物理图象清楚，对于建立初步的几率概念、统计概念，学习和体会基本的统计方法...     

柱形波导中波型的正交性研究

由二维格林恒等式推证了柱形波导中本征函数及其导数及场分量的正交性.无论是本征函数之间或是场分量之间,都存在着一定的正交关系.     

n维空间中点到平面的距离方法新探

在平面与空间解析几何中,分别采用不同的几何方法推证了点到直线与点到平面的距离公式.本文采用一种更为简单的代数方法——借助 Schwarz不等式推证了 n 维空间中点到平面的距离公式,并由此导出了 n 维空间中两平行平面间的距离公式.这种方法不依赖于空间的维数.因此,对于平面与空间解析几何中的情形也同样适用.本文不仅统一了求距离的方法,也揭示了 Schwarz 不等式的重要性、应用的广泛性.     

麦克斯韦方程组的相对论协变性

本文在推证麦克斯韦方程组的相对论协变性的过程中,进一步阐明电荷密度和电流密度的相对性意义。     

理论力学中主转动惯量本征值求法的一个推证

给出了理论力学中将惯量张量矩阵对角化求主转动惯量和惯量主轴这种方法的一个推证。     

反射全息图

推证了反射全息图中布喇格面的走向和间距，说明了反射全息图相当于一个半波堆滤波器，并讨论了布喇格定律对反射全息图特性的控制。     

S-P表中注意指数的推证与应用分析

由S-P表的数学模型出发，对S-P表中注意指数的计算公式进行了数学推证，并简要讨论了在使用注意指数时应注意的几个问题。     

热学教材中的一处谬误及其纠正

本文指出了现行热学教材上对“理想气体定律的推证”一节内容中的逻辑循环问题;探讨了由此产生的热学教学过程中的危机;同时又举出了另一种简便的推证法,并论证了该推证法不存在,也不隐含逻辑循环。用它替代后,能避免危机的出现。     

空间n边形中的正弦定理

利用向量代数中的一个基本等式进行推证,得出了在空间 ｎ 边形中正弦定理的表现形式。使文［１］,［２］,［３］更加完整     

数学归纳法自动推证研究

数学归纳法广泛应用于数学以及其它学科上相关定理证明.　运用有关数学理论在计算机代数系统Maple下,　讨论了算法的实现技术,　分析了复杂度与输出结果的关系,　在此基础上,　设计并实现了数学归纳法可读型自动推证.　结果表明,　该算法简单正确,相应的程序操作简单,　功能强大,可以解决归纳法问题的自动推证问题,具有一定的推广价值.     

柱形波导中波型的正交性研究

由二维格林恒等式推证了柱形波导中本征函数及其导数及场分量的正交性，无论是本征函数之间或是场分量之间，都存在着一定的正交关系。     

探险家穿越沙漠的最优方案

先建立模型,再分析推证,得到探险家穿越沙漠的最优方案,最后验证了方案的可行性.