检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
出 处:《南京信息工程大学学报(自然科学版)》2009年第2期134-141,共8页Journal of Nanjing University of Information Science & Technology(Natural Science Edition)
基 金:国家自然科学基金(10771077)
摘 要:著名的Steiner-Lehmes定理旨在一定条件下判断1个三角形是否为等腰三角形,而王彦海把题设条件替换成了各种形式,并提出了9个猜想.用吴方法和MMP软件证明了其中的3个,提出并解决1个新的猜想.余下的几个猜想由于题设条件转化成代数条件的多项式次数较高,MMP软件运行时间太长而未能得到期望的结果.The famous Steiner-Lehmes theorem is to determine whether a triangle under some conditions is isosceles or not. WANG Yanhai changed the conditions into other forms and gave nine conjectures. This paper proves three of them using Wu-method and MMP software, puts forward a new conjecture and solves it. The rest of the conjectures have not been proved because the degrees of polynomials are so high, when the geometrical conditions are changed to algebraic ones, that it causes MMP to operate too long a time and therefore cannot obtain the expected result.
关 键 词:Steiner—Lehmes定理 吴方法 MMP软件
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.222