涉及四个单形的一类不等式

本文研究了涉及四个单形的一类不等式问题.利用距离几何的理论和方法获得了两个单形的棱长与另两个单形的内点、中线、高、外接超球半径、内切超球半径、旁切超球半径以及n-1维侧面的体积、外接超球半径、内切超球半径的一类新的几何不等式.推广了文献([5])中的全部结果.     

以“kPA·kPB=常数”为背景的试题赏析

教材中有这样一道经典例(习)题:已知平面内的动点P与两定点A、B连线的斜率之积为定值,即kPA·kPB=非零常数m,求动点P的轨迹.若设两定点为A(-a,0)、B(a,0),则易知动点P的轨迹方程为mx2-y2=ma2(点A1、A2的坐标也满足).命题1当m<-1时,方程为x2a2+y2-ma2=1,轨迹是焦点在y轴上的椭圆;     

小度数图的邻点可区别全染色

本文研究了最大度为3且没有相邻最大度的图的邻点可区别全染色.利用边剖分的方法,构造了此类图更为一般的情形,得到了它们的邻点可区别全色数的上界.目前,未找到最大度为3的图且它的邻点可区别全色数是6.本文的结果部分地回答了这个问题.     

一类新的求解P_*(κ)阵线性互补问题的多项式内点算法

利用核函数及其性质,对P_*(k)阵线性互补问题提出了一种新的宽邻域不可行内点算法.对核函数作了一些适当的改进,所以是不同于Peng等人介绍的自正则障碍函数.最后证明了算法具有近似O((1+2k)n3/4log(nμ~0)/ε)多项式复杂性,是优于传统的基于对数障碍函数求解宽邻域内点算法的复杂性.     

椭圆和双曲线的其它形式方程

1.椭圆和双曲线的其它形式方程直线与x轴交于点(a,0),则称a为直线在x轴上的截距;直线与y轴交于点(0,b),则称b为直线在y轴上的截距.直线在x、y轴上的截距分别是a和b,且ab≠0时,直线有截距式方程:x/a+y/b=1.椭圆标准方程为x~2/a~2+y~2/b~2=1,a>b>0时,椭圆与x轴交于点(±a,0),与y轴交于点(0,土b),与直线的截距式方程类比,不妨也称椭圆的标准方程为椭圆的截距式方程.但根据不同的已知条件,直线还有以下     

点与平面相关位置的进一步探讨

本利用平面到点的离差对点与平面的相关位置作了进一步的探讨，得到了一系列判定结果。     

消点法解题数例分析

中国科学院院士张景中教授在攻克计算机的可读性证明时创立了平面几何命题论证的“消点法” .众所周知 ,机器证明是现代数学 (计算机 )对科学的重大贡献 ,自吴文俊教授创立了吴方法之后 ,这项研究取得了突破性的进展 ,但其证明方式仍是“纯机器”的———采用的是非常规的语言 ,不能被一般的人“读”懂 .中国科学院院士张景中教授首创机器的可读性证明 ,使我国在机器证明这一尖端领域的研究水平无可置疑地处于世界领先地位 .这是继“吴方法”之后更辉煌的成就 .有趣的是 ,机器证明中使用的“消点法”不仅适用于机器推理 ,而且还可“手工”操…     

乘积图的全色数

本文得到了有关乘积图的全色数的一些结果，并利用这些结果证明了Mesh图和Tours-图均满足全色数猜想．特别，几乎所有的Mesh-图都是第一类图．