陈计
- 作品数:54 被引量:101H指数:5
- 供职机构:宁波大学更多>>
- 发文基金:国家自然科学基金宁波市自然科学基金更多>>
- 相关领域:理学文化科学自动化与计算机技术更多>>
- Bager第三图的完善被引量:1
- 1997年
- 1989年发表的 Bager 第三图,包含了关于三角形元素的17个一次规范函数之间的22个不等式。通过细致的分析,本文发现其中遗漏的7个基本不等式,并且给出了简洁的证明。
- 陈计庞火茂
- 关键词:线性不等式
- 一个三角不等式的简证及应用被引量:1
- 1995年
- 本文给出锐角△ABC中一个不等式:Π(seckA-1)≥(2k-1)3,(k≥1)的简单证明,并说明它的一个应用。
- 王振陈计
- 关键词:锐角三角形三角不等式
- 有奖解题擂台(7)
- 1994年
- 设正数a、b、c、d、e满足a+b+c+d+e=1,证明或否定:
- 陈计
- Ky Fan不等式的推广(英文)
- 1990年
- 记 R(p)=Mp(x)/M_p(1-x),0
- 王振陈计
- 关键词:幂平均单调性KY
- Euclid平面上8点间的不同距离
- 1999年
- 1946年Erdos提出“确定平面n点间不同距离个数最小值f(x)”的问题.作者证明f(8)=f(9)=4,并猜测f(10)=f(11)=f(12)=5.
- 许康华陈计
- 关键词:欧氏平面
- 一个三角形不等式的推广和加强被引量:2
- 1998年
- 本文将△ABC中的不等式:推广成:(n是大于1的奇数);加强成:.
- 陈计王振
- 关键词:余弦正弦三角形不等式
- 涉及两个单形的一类不等式被引量:36
- 1989年
- 本文中,我们建立了下列主要结果: 定理 设∑A和∑B为n维Euclid空间En(n>2)中的两个单形,它们的棱长分别是ai,bi(i=1,2,…,cn+12),它们的体积分别是V1和V2,则当θ∈(0。
- 陈计马援
- 关键词:单形不等式正则单形体积
- 有关四面体的一个不等式的加强被引量:1
- 1996年
- 1994年,彭诚建立了如下不等式:设四面体A1A2A3A4内一点P到Ai所对面的距离为ri(i=1,2,3,4);R、r分别为四面体的外接球与内切球的半径。
- 陈计
- 关键词:正四面体不等式等号成立内切球外接球引理
- 关于自然数倒数和的一个结论
- 2011年
- 我们知道,1+1/2+1/3+…+1/n(n∈N,n≥2)一定不是整数.
- 陈计许康华
- 关键词:自然数中学数学习题研究
- Bager第六图的完善被引量:1
- 1998年
- 1989年发表的Bager第六图,包含了关于三角形元素的5个负二次规范函数之间的48个不等式。通过细致的分析,找出了其中遗漏的12个基本不等式及其手工与机器证明。
- 陈计夏时洪虞立军
- 关键词:机器证明