“容球旋转体的共性”再探

文[1]、文[2]、文[3]分别给出以下3个定理： 定理1 在存在内切球的前提下，多面体的体积均等于其表面积与相应内切球半径乘积的三分之一．     

非线性最优化的广义梯度投影法

梯度投影法已有许多有效算法,但这些算法还存在三个问题:1)为了保证算法的收敛性,在算法的每一迭代步,需要选取δ-主动约束集,计算量较大.2)在迭代过程中,需要跟踪主动约束集.3)只能处理非线性不等式约束问题.本文讨论非线性等式与不等式约束的优化问题,给出了一个广义梯度投影法,证明了算法的收敛性并且完满地解决了上述三个问题.本文算法结构简单且其处理技巧有普遍意义.     

集合与简易逻辑

1）重点：集合及子集、交集、并集、补集、空集、相等集合等概念的理解，元素与集合、集合与集合之间的关系及集合的运算的理解与应用；绝对值不等式、一元二次不等式的解法，二次不等式、二次方程和二次函数之间的联系与应用；逻辑联结词“且、或、非”及简单命题、复合命题等概念的理解，命题真假的判断与应用，四种命题及其关系；充分条件、必要条件、充要条件的概念及两命题间充要关系的判断与证明．     

正三角形和正四面体的优美定值

用解析法可以得到正三角形的一个优美定值如下： 定理1 若正三角形的边长为a，以其中心为圆心的圆半径为r．则该圆上任意一点与该正三角形各顶点连线段长度的平方和及四次方和均是定值．     

格值型Hahn-Dieudonné-Tong插入定理与层次结构

本文将关于半连续函数的Hahn-Dieudoné-Tong插入定理推广到值域为格L的惰形。我们是对格值半连续映射全体形成的拓扑进行考察,将这个问题归结为诱导空间的某种分离性问题来解决的。作为附产品,对相当广大一类格L,证明了诱导空间为正规当且仅当底空间是正规的。反例说明了对乙的限制的必要性。这些结果与反例说明诱导空间的正规性以及格值插入定理成立与值域乙的特征有密切关系。古典的插入定理的证明是分析式的且富有技巧性。与之相比,这里使用的称之为层次结构的新方法则相当朴素而自然。这方法基于对层次之间的拓扑关系有深入的认识。希望这种归纳地给出层次然后定出映射的方法还会得到进一步的应用。     

二元不等式（组）解集的图示及应用

对于不等式 ｇ(ｘ ,ｙ)≤ 0 ,或 ｇ(ｘ ,ｙ)≥0 ,若曲线 ｇ(ｘ ,ｙ) =0将平面分成两部分 ,则不等式的解集通常是其中的一部分 ,利用平面上的点集表示二元不等式 (组 )的解集 ,可为求以二元不等式 (组 )为约束条件的某些二元函数的最值提供方便 ,新教材中关于线性规划问题的求解正是这一思想的体现 .例 1　已知ｘ + ｙ≤ 4ｘ - 2 ｙ≤ 03ｘ - ｙ≥ 0( 1 )( 2 )( 3)求ｘ2 + ｙ2 的最大值 .图 1　例 1图解　如图 1 ,不等式 ( 1 )的解集是直线ｘ+ ｙ =4下方的半平面 .不等式 ( 2 )的解集是直线ｘ - 2 ｙ =0上方的半平面 .不等式 ( 3)的解集是直…