“x≥a,x≤2无解”即“a≤x≤2不成立”吗？

众所周知,"{x≥a x≤2无解"即"{x≥a x≤2的解集是φ",那么"a≤x≤2不成立"又是什么意思呢?     

用不等式sum from i=1 to n ((a_i)~2)≥2/(n-1)≤∑a_ia_j(1≤i

朱纯刚 《数学通讯》2006,(3)

不等式sinA/2sinB/2sinC/2≤1/8的一个隔离

在△ABC中，有一个熟知的不等式 sinA/2sinB/2sinC/2≤1/8. 本文给出它的一个隔离： sinA/2sinB/2sinC/2≤1/512（2sinA/2＋1）^2（2sinB/2＋1）^2（2sinC/2＋1）^2≤1/8.     

f~((k))(1≤k≤n-1)与原函数f和最高阶导数f~((n))之间的一个不等式

证明了f(k)(1≤k≤n-1)与原函数f和最高阶导数f(n)之间的一个不等式关系.     

f^（k）（1≤k≤n-1）与原函数f和最高阶导数f^（n）之间的一个不等式

证明了f^（k）（1≤k≤n-1）与原函数f和最高阶导数^（n）之间的一个不等式关系．     

n(2≤n≤4)次方程的一种统一解法

研究普通代数方程的解法,借助矩阵理论,给出了三次代数方程的解法,把n次(2≤n≤4)方程的解的形式统一到了一起,解法思路简单,解的形式简洁.     

正则m叉树T的S(n)={Ki:1≤i≤n}-因子数的递归公式

在正则m叉树T中,删除K2及端点关联边,通过所得子正则m叉树中分枝点、叶数和m之间内在联系,本文导出正则m叉树T的S(n)={Ki:1≤i≤n}-因子数递归公式.特别当m=2时,正则2叉树递归公式为:At=A2t/2+2A2t/4At/2,t为正则2叉树T的叶数.     

不等式（n∑i=1ai^3）（n∑i=1bi^3）（n∑i=1ci^3）≥（n∑i=1aibici）^3的恒等式构造

文[1]为证明2001年第42届IMO第2题而通过独特的思路给出了一个恒等式；设实数ai，bi∈R，A^3=n∑i=1ai^3，B^3=n∑i=1bi^3，且AB≠0，则有恒等式     

正则m叉树T的S(n)={Ki:1≤i≤n}-因子数的递归公式

在正则m叉树T中,删除K₂及端点关联边,通过所得子正则m叉树中分枝点、叶数和m之间内在联系,本文导出正则m叉树T的S⁽ⁿ⁾={K_i:1≤i≤n}-因子数递归公式.特别当m=2时,正则2叉树递归公式为:A_t=A_t/2²+2A_t/4² A_t/2,t为正则2叉树T的叶数.     

“x≥a and x≤2无解”即“a≤x≤2不成立”吗?

众所周知 ,“ ｘ≥ａｘ≤ 2 无解”即“ ｘ≥ａｘ≤ 2 的解集是 ” ,那么“ａ≤ｘ≤ 2不成立”又是什么意思呢 ?拙以为 ,设Ａ =ｘ ｘ≥ａｘ≤ 2 ,则ｘａ≤ｘ≤ 2不成立 =Ａ而Ａ =[ａ ,2 ]　　　 (ａ <2 ){ 2 }　　　　 (ａ=2 ) 　　　　　 (ａ>2 )故Ａ=(-∞ ,ａ) ∪ (2 , ∞ )　　 (ａ<2 )(-∞ ,2 ) ∪ (2 , ∞ )　　 (ａ=2 )　　　　Ｒ　　　　　　 (ａ>2 )再深究下去 ,“ａ≤ｘ≤ 2不成立 /　ａ >2”但“ａ >2 ａ≤ｘ≤ 2不成立”即“不等式ａ≤ｘ≤ 2不成立”是“ａ>2”的必要不充分条件 .文[1 ] 中介绍并解答了这样的问题 :已知集合…     

不等式n∑k=1 1/ak≥n2/n∑k=1ak(ak∈R+)的应用

近年来,在国内外数学竞赛及<数学通报>数学问题中,常出现一些高难度的分式不等式的证明问题.     

p~n(n≤4)阶capable群

一个群G能够充当另外一个群H的中商群,称群G是capable群.考虑的问题是:对于阶为p~n(n≤4)的p-群G,哪些群是capable群?完全决定了p~n(n≤4)阶的capable p-群G.     

Vertex-distinguishing E-total Coloring of Complete Bipartite Graph K_(7,n) when 7≤n≤95

Let G be a simple graph. A total coloring f of G is called an E-total coloring if no two adjacent vertices of G receive the same color, and no edge of G receives the same color as one of its endpoints. For an E-total coloring f of a graph G and any vertex x of G, let C(x) denote the set of colors of vertex x and of the edges incident with x, we call C(x) the color set of x. If C(u)≠ C(v) for any two different vertices u and v of V(G), then we say that f is a vertex-distinguishing E-total coloring of G or a VDET coloring of G for short. The minimum number of colors required for a VDET coloring of G is denoted by χ_(vt)~e(G) and is called the VDET chromatic number of G. The VDET coloring of complete bipartite graph K_(7,n)(7 ≤ n ≤ 95) is discussed in this paper and the VDET chromatic number of K_(7,n)(7 ≤ n ≤ 95) has been obtained.     

不等式2≤（1＋1/n）^n〈3的证明和加强

（1＋1/n）^n在高等数学中是非常重要的式子,体现在两个重要极限之一“limn→∞（1＋1/n）^n=e”,这个式子也往往被中学命题人看重而使之下放,考查学生构造法证明不等式的能力,     

构造a~2≤0解题

我们知道,对于任意实数a都有a2≥0,因此只要能构造出a2≤0便可得到a=0,那么如何构造a2≤0呢?常用的主要有以下几种方法:     

重要极限limn→∞(1+1/n)n存在性的简洁证法

利用均值不等式(n∏i=1ai)1/n≤1/nn∑i=1ai给出了重要极限limn→∞(1 1/n)n存在性的一种简洁证明方法,特别是数列{(1 1/n)n}的有界性的证明非常简洁.同时给出了均值不等式的一种初等证法.     

L_p(1≤p≤∞) APPROXIMATION BY AN n-DIMENSIONAL SUBSPACE ON A SET OF n 1 POINTS

Some new characterizations and immediate explicit expressions of best L_p(1≤p≤∞) approximation and their deviations by an n-dimensional subspace on a set of n 1 points are given.     

b≤200O,m≤1 O的广义Fermat素数

设b为偶数,本文基于作者的原有结果,进一步改进了算法,对于b≤2000,m≤10给出了所有广义Fermat素数F(b,m)＝b2m+1,其中最大的是16321024+1,有3290位.     

关于排序模型1｜·｜ri≥0｜ ∑n i=1 to n vi的注记

设J={J1,…,Jn}是n个工件的集合,M是一台机器.每个工件Ji要在机器M上加工一次,而且是相继只加工一次,即加工不能够中断.Ji的加工时间是pi,准备时间是ri,即Ji不能在ri之前加工,要求完工的期限是di,即工件Ji的加工应该在di之前完成.否则,这个工件将被拒绝放在一旁.我们的目的是寻找排序算法A,当使用到给定的J上时,使被拒绝的工件个数为最少. 1978年Kise，Ibaraki，Mine等在条件ri〈rj蕴涵di≤dj（对于任何1≤i，j≤n）下，对于任何给定的J找到算法A他们在论文[1]中“证明”算法A是最优算法．最近，李杉林给出一个例子说明他们的证明中的一个关键引理是错误的．本文作者在书[2]中也沿用了这个错误的“证明”．对于算法A的最优性，本文给出一个新的简单的证明．