共查询到20条相似文献，搜索用时 78 毫秒
1.
文章定义了一种T几何凸函数,得到了几个T几何凸(凹)性函数构造性定理,并证明了关于T几何凸函数的几个积分不等式.由于T几何凸函数的广泛性,故其结果具有重要价值. 相似文献
2.
彭宏 《吉首大学学报(自然科学版)》1989,(1):17-21
本文用区域分析方法提出一种新的隐函数定理,并用区域收缩算法给出构造性证明,把经典隐函数定理作为推论,在较弱的条件下,得到它的构造性证明. 相似文献
3.
微分几何定理证明中最简单辅助条件的计算 总被引：1，自引：0，他引：1
在微分几何定理证明中，一个定理成立的辅助条件(非退化条件)不是惟一的，但越简单越好。对预先确定的标准如变元个数最少、导数算子阶数最低等，利用根微分理想分解的Rosenfeld—Groebner算法，给出了微分几何定理机器证明中最简单辅助条件的构造性算法。 相似文献
4.
本文通过无穷远元素利用欧氏几何定理证明射影几何命题和利用射影几何定理证明欧氏几何命题，探求应用射影几何指导中学几何教学的一条渠道。 相似文献
5.
6.
7.
陈庆文 《长春工程学院学报(自然科学版)》2006,7(3):80-81
用构造性代数几何方法,研究了3个截平面中有2个平行,另1个与其垂直时,3个隐式代数曲面GC1光滑拼接曲面的构造问题。得到了:GC0控制曲面存在的充分必要条件定理和光滑拼接曲面存在的充分必要条件定理。在此基础上又进行了三通管道工程上的应用研究。 相似文献
8.
甘向阳 《湘潭师范学院学报(自然科学版)》2001,23(3):11-15
中国传统数学的构造性和程序化思想启发和影响了吴俊的几何定理机器证明和数学机械化工作,表明在现代数学发展中中国传统数学仍有巨大的潜力。 相似文献
9.
10.
马玉峰 《甘肃联合大学学报(自然科学版)》2011,25(2):95-97
Desargues定理及其逆定理揭示了在两个三点形(初等几何中称为三角形)中存在着一种很重要的位置关系,因此,在证明初等几何中一些有关"点共线"或"线共点"的定理或命题时,常常用到它们.在应用Desargues定理(或其逆定理)时,其关键就在于正确确定两个满足定理条件且符合所证命题结论的三点形来.当然,这两个三点形有时并不是唯一的一对,可根据实际情况灵活地加以选用. 相似文献
11.
以纯向量为工具研究几何问题,将向量基本定理用几何形式表示,可以将几何中的基本元素点、线、面、体用一个公式表示,实现了几何问题与向量问题相互转化,从理论上给出了几何问题和代数问题相互转化的又一方法.这一方法不仅涵盖了笛卡儿的坐标法,而且从非正交的角度推广了笛卡儿的坐标法,并由此引出了许多新的结论、方法和题型,并从几何的角度推广了向量基本定理,给出了其确切的几何解释,形成了相应的向量几何理论.从实体几何的角度看,它解决了几何应用过程中的许多计算、证明和作图问题,并且丰富了欧几里得空间的内涵. 相似文献
12.
运用三角形的基本不等式及Stewart定理,建立涉及三角形内部两个动点的一个不等式,且应用该不等式导出一些已知和新的不等式,最后提出两个猜想。 相似文献
13.
一类3次代数曲线的光滑拼接及保凸性 总被引：1，自引：1，他引：0
研究了具有几何约束的一类3次代数曲线的光滑拼接及保凸性问题,得到2条3次代数曲线的G1、G2光滑拼接定理,以及2条3次代数曲线光滑拼接的保凸性定理和多条3次代数曲线光滑拼接的全凸性定理. 相似文献
14.
王银河 《内蒙古师范大学学报(自然科学版)》1996,(2):14-18
讨论了Ｓｎ＋ｐ（Ｃ）中具有平行平均曲率的紧致子流形，得到一个较文《欧氏空间中闭子流形的拓扑》中有关定理具有更强几何结论的定理． 相似文献
15.
积分中值定理的逆 总被引：1，自引：1，他引：0
余桂东 《安庆师范学院学报(自然科学版)》2001,7(1):63-64
从积分中值定理的几何意义出发 ,探讨出有关积分中值定理的逆 ,并进一步推出微分中值定理的逆 相似文献
16.
17.
我们将一元函数的Rolle中值定理与Lagrange中值定理推广到二元函数及多元函数中,并给出了他们的一些应用,与原来的多元函数的中值定理相比,它们具有更直观的几何意义。 相似文献
18.
谭杰锋 《重庆工商大学学报(自然科学版)》2007,24(5):435-438
探讨将行列式、向量代数、解析几何与微积分结合起来,用于微积分定理的证明,通过微分中值定理的归一性和微分中值定理与积分中值定理的联系等实际例子,讨论了行列式函数几何意义的应用. 相似文献
19.
20.
文章从积分中值定理的几何特征出发,对该定理作了一点补充说明,并通过实例进一步验证了这种改进的优点。 相似文献