【摘 要】
：
讨论了一类只含三角函数的三角形几何不等式的自动证明问题。运用代数方法将其有理化,在不新增加根式的条件下将问题转换为一个二元多项式不等式的证明,设计的基于胞腔分解和
【机 构】
：
四川省商贸学校,中国民航飞行学院德阳校区,四川建筑职业技术学院
论文部分内容阅读
讨论了一类只含三角函数的三角形几何不等式的自动证明问题。运用代数方法将其有理化,在不新增加根式的条件下将问题转换为一个二元多项式不等式的证明,设计的基于胞腔分解和实根分离的算法实现了二元多项式不等式的自动证明,输出的证明过程可以手工验证或借助一些数学软件进行理解。实验表明上述算法对一大批具有相当难度,特别是关于三角函数的几何不等式十分高效,并且能够解决三角形内角的任意有理倍数函数的不等式机器证明问题。
其他文献
【目的】探讨右美托咪定复合舒芬太尼用于骨科手术术后自控静脉镇痛(patient-controlledintravenousanalgesia,PCIA)的安全有效剂量。【方法】120例视觉模拟评分法(visual an
【目的】探讨显微血管减压手术治疗原发性三叉神经痛的手术效果。【方法】回顾性分析2009年1月-2013年5月在我科手术的90例原发性三叉神经痛病例,均采用枕下乙状窦后入路小骨
理论自觉和马克思主义哲学中国学术话语体系的当代建构是近年我国马克思主义哲学研究最具价值的进展。理论自觉蕴含两个维度:世界视野和中国语境。就前者而言,主要体现在两个
<正>读与写结合是以课文为载体,从文章的内容出发,设计与之相关"写"的训练,使阅读、写作、思维训练三者融为一体,通过以读带写、以写促读的读写训练,使学生的思维得到发展,能
2000年以来,我国价格总水平基本保持平稳,通货膨胀率处于较低水平,但是农产品价格上涨趋势明显。引起农产品价格上涨既有经济发展与产业结构调整等宏观原因,也有成本上升、供
随着时代的进步和经济的发展,行业间的竞争也在不断加强,为了满足自身的发展,符合社会的需求,医药流通业务也伴随着历史的潮流进行了相应的改革。然而改革的过程必然带来相关
商标的反向假冒行为不同于商标假冒的行为,在确定商标假冒行为的标准时,理论界存在不同的观点,同时商标法虽确认了反向假冒商标行为为侵权行为,但对于新出现的情况也存在着一
为探讨普洱茶(熟茶)对酒精诱发的酒精性脂肪肝大鼠脂质过氧化的影响;将60只Wistar大鼠随机分为阴性对照组、阳性对照组、保肝药物组、普洱茶(熟茶)(低、中、高)剂量组,每组10
<正> 去年大跃进以来全国各大城市的许多任务业企业中相继取消了计件工资,报刊上也发表了不少讨论计件工资问题的文章,但到目前为止,对取消计件工资的问题,看法还是很不一致
康熙是一位有作为的帝王,同时,康熙也是一位射箭高手,他的箭术以骑射为主,达到了极高的水平,在古代帝王之中,箭术无人能与之相比。在他的带动影响下,清朝国内射箭运动开展得