【摘 要】
：
在江苏省吴县市召开的’９９全国不等式研究学术会议上，中国科学院成都计算机应用研究所杨路教授应用通用软件ＢＯＴＴＥＭＡ给出以下不等式的一个“机器证明”：若ａ、ｂ、ｃ为正数，则ａｂ＋ｃ＋ｂｃ＋ａ＋ｃａ＋ｂ＞２．这里，笔者给出此不等
论文部分内容阅读
在江苏省吴县市召开的’９９全国不等式研究学术会议上，中国科学院成都计算机应用研究所杨路教授应用通用软件ＢＯＴＴＥＭＡ给出以下不等式的一个“机器证明”：若ａ、ｂ、ｃ为正数，则ａｂ＋ｃ＋ｂｃ＋ａ＋ｃａ＋ｂ＞２．这里，笔者给出此不等式的一个简洁的“可读证明”．
At the ’99 National Inequality Research Conference held in Wu County, Jiangsu Province, Professor Yang Lu of the Chengdu Institute of Computer Applications of the Chinese Academy of Sciences applied a generic software BOTTEMA to give a “machine proof” of the following inequalities: If a, b, and c are positive numbers , then ab+c+bc+a+ca+b>2. Here, the author gives a concise “readable proof” of this inequality.
其他文献
今年秋季小学、初中从起始年级开始全面实施九年义务教育课程方案,使用义务教育教材.在初中数学教学中,如何把握和贯彻新大纲的精神,这对广大的数学教师来说至关重要.为了帮
已经证实,缺硒可使Ⅰ型脱碘酶(ID-Ⅰ)活性减弱,导致T4转化为T3受阻,T3下降.肾功能衰竭患者血硒及甲状腺激素(TH)水平均降低,且2者具有相关性[1,2].我们对40例慢性肾功能衰竭(CRF)患者全血硒、血清氧化指标、TH及甲状旁腺激素(PTH)含量进行了检测,并分析其相关性,旨在探讨血硒对CRF患者甲状腺功能的影响及其临床意义。
高磷在尿毒症心血管钙化中扮演着非常重要的作用。它与尿毒症患者的存活率有着一定的联系。本文就近期研究中与其相关的一系列机制展开讨论。
High phosphorus plays a very
纯水是一种无色、无味、无臭的透明体．在一大气压下，纯水的凝固点（冰点）是０℃，沸点是１００℃．水具有几种特殊物理性质：在所有固态和液态物质中，水的比热最大；和绝大多数物质的密度随着温度的
每年高考试题都会对社会，尤其是对中学教育产生较大的影响．由于改革力度的加大，今年高考所引起的震动更为强烈．作为第一线的教学工作者，有几点感想，总觉得不吐不块．现不惴冒昧地提出
从自然发病的病蚌中提取出病毒,经人工感染健康三角帆蚌后呈现出典型的病理变化。组织学观察显示消化腺、胃、肠、外套膜、斧足和鳃等均出现大量细胞空泡化、部分细胞肿大、
１９９９年全国初中数学竞赛试题１５：有人编了一个程序：从１开始，交错地做加法或乘法（第一次可以是加法，也可以是乘法）．每次加法，将上次的运算结果加２或加３；每次乘法，将上次的运算结果乘２或乘３．例如３０可以
带电粒子在电场中的运动问题属静电学和力学知识的综合运用问题。经常求解带电粒子在场中(如重力场、电场、磁场)的运动状态,在数学上不仅应用了代数方程,还会应用到三角方程
新世纪以来,文学创作走进历史深处并对其作还原、解构或重构式的表达,已经成为令人瞩目的文学存在。那些关乎历史的再叙述,激活了人们对已逝年代的多重想象。我们看到,在这些
通过理论依据与实验结果分析 ,说明含α -H的醛、酮和醇相似 ,也具酸性 ,也能与Na作用放出氢气。故不能一概而论“可用Na区别醛、酮与醇”。
Based on the theoretical basi