重心坐标法证明几何定理

众所周知,在欧氏平面中,如取定一个标架后,可以用坐标的计算来做几何证明,类似地考虑,我们如取定一个三角形（它相当于一个标架）可以引入重心坐标。自然地可以用重心坐标来做几何。三角形是几何中最稳定的,而且很美。本文以重心坐标的方法来证明几道初等几何中的难题,以比较其与其它坐标的优缺点,并试图找出一个完善的理论,能解决所有的几何问题,这对机械化证明也许是有帮助的。     

一类构造性几何定理并行数值检验证明机

为实现构造性几何定理机器证明的数值并行法，作者提供了一个证明机，它适用于由所谓“直线程序”构造的语句。     

关于Desargues定理在平面射影几何中的几种证明

本文基于高等几何体系,利用射影几何的基础知识,技巧地给出了Desargues定理在平面上的证明,包括三点形与三线形的逆定理证明。     

泰勒中值定理在不等式证明中的应用

从不等式的特点出发,应用实际范例给出了泰勒公式中展开点选取的几种情况:区间的中点,已知区间的两端点,函数的极值点或最值点,已知区间的任意点。同时对各种情况的运用范围和特点作了说明,以便更好地运用泰勒中值定理证明不等式。     

几何定理可读证明的并行化方法

为了生成传统形式的几何定理可读证明,前推法必不可少。但是现有算法在实际应用中对复杂命题的解题效率还存在问题。文中尝试用并行计算方法来提高算法效率,分析了消息传递编程模型下的任务划分、通信组织、任务调度等问题,并在MPICH2下实现了并行前向推理算法,对算法的并行性能指标进行了测试。     

梅尼劳斯定理在教学中的应用

初等几何中,线的共点性与点的共线性,是很重要的一部分内容。关于此类问题,有一个著名的古典定理,即梅尼劳斯定理。该定理不仅叙述简洁,且形式优美,曾吸引了许多学者的研究兴趣。笔者将此定理略微修改,以便于学生记忆;并举例说明其应用,希望抛砖引玉。     

常值法在中值定理证明中的应用

在利用中值定理的证明中,往往采用构造辅助函数的方法。本文从罗尔中值定理出发,给出了一种构造辅助函数的方法——常值法。     

蝴蝶定理的射影证明及其推广

本文利用二次曲线内接完全四点形的调和性质,射影地证明了蝴蝶定理,并将定理推广到一般二次曲线(常态及变态)上.     

区间套定理在证明中值定理中的应用

对区间套定理给出一个推论,然后建立了四个引理.在此基础上通过构造区间套依次证明了罗尔中值定理、拉格朗日中值定理和柯西中值定理.     

跳点法在风暴潮数值预报模型中的应用

将跳点法的基本思想应用于求解二维水位抛物型方程，从而构造了一种用于风暴潮数值预报的高效率差分格式。文中给出了这一格式的稳定性证明，并通过对实际风暴潮过程的模拟，证实了这一格式的稳定性和时效性。     

重心坐标系下三次B样条奇拐点分析

首先介绍了三次C样条和重心坐标的定义,并且给出了重心坐标系下三次B样条的参数表示形式,通过对仿射不变量p的两种情况进行分类讨论,给出重心坐标系下三次B样条奇拐点判别的充要条件.在实际应用中只需要计算一些简单三角形的面积便可以判断奇拐点的情况,便于上机运算.     

极坐标下薄板弯曲问题的重心有理插值法

利用重心有理插值配点法(BRICM)研究了极坐标下薄板的弯曲问题,该方法是以重心有理插值近似未知函数强迫微分方程在离散节点处成立,得到微分方程的离散代数方程组,进而采用重心有理插值的微分矩阵将离散代数方程组表达为矩阵的形式。利用置换法施加边界条件,求解微分方程组。数值算例结果表明,该方法在解决极坐标下薄板弯曲问题上公式简单,程序实施方便且计算精度高。     

平面几何定值问题的证明

本文通过例题讲述了三种探求定值的基本方法。     

平面几何命题机器证明的Groebner基方法

探讨了初等平面几何命题机器证明的Groebner基方法,并给出了它的算法原理和实现方法,且通过实例说明了该方法简便易懂,用Maple实现也较易.     

多体系统运动学分析的自然坐标法

对多体系统运动学分析的新方法——自然坐标法进行了深入研究,先介绍该方法的特点,然后描述几类约束方程的引入,给出了运动学数值分析的过程,最后举了一个算例。     

几何关系的目标信息分坐标处理原理

由于传感器自身特性的限制,或在干扰的情况下,获得的目标信息有不完全的情况,为了充分利用获得不全的目标信息,提出了对目标信息进行分坐标处理的思路,给出了余切关系定理,总结和比较了其它定理和推论的应用方法,推导出许多有用的代数公式,从理论原理上得到了纯方位角、纯仰角、纯距离信息处理原理,较好地解决了方位角、仰角、距离等信息融合问题,使用这一原理方法向工程实现跨出了一大步.对比几个类似图形的几何定理及推论,归纳与总结这些代数关系,具有重要的理论意义.     

基于多项式组主项解耦消元法的几何定理机器证明

用多项式组主项解耦消元法 ,将几何定理的假设条件 (多项式组PS)化为主系数不含变元的三角型多项式组DTS ,可得到定理命题成立的不含变元的非退化条件 ,即充分必要或更接近充分必要的非退化条件 由于多项式主系数不含变元 ,已不存在DTS多项式之间的约化问题 ,故方法有普遍意义 文中例为西姆松定理的机器证明     

有限仿射几何中关于面的计数公式及应用

设AG(n,Fq)是一个n维仿射空间.计算了AG(n,Fq)中与任一个取定的面平行、相交、相斜的面的个数,并且给出了应用面构作认证码的例子.     

地球椭球面上另一种形式的测地坐标系的建立

提出了地球椭球面上另一种形式的测地坐标系,定义了两族互为正交的坐标曲线的参数,推导出测地平行线长度归化因子的计算公式,与习用的测地坐标系－－大地坐标系相比较,由此来表述地球椭球面上的点位,有其特有的优点,有利于在较大的局部地区中建立三维GIS可视化模型。     

极坐标系下等离子体模拟的粒子推进算法

提出了一种在极坐标系下快速推进带电粒子的等离子体粒子模拟算法,该算法在每个时间步长内对带电粒子位置附近的区域采用局部直角坐标系近似,并通过坐标变换,得到粒子运动方程求解的显式格式,从而避免了极坐标系下隐式格式直接迭代求解所带来的容许误差,并提高了计算效率.数值实验表明:显式粒子推进算法的计算速度比容许误差取10-3时的隐式算法提高了约1倍.该算法可用于轴向均匀等离子体器件和高功率微波器件的2 5维粒子模拟.