排序方式： 共有1条查询结果，搜索用时 0 毫秒
1
1.
著名的Ｓｔｅｉｎｅｒ Ｌｅｈｍｅｓ定理旨在一定条件下判断１个三角形是否为等腰三角形,而王彦海把题设条件替换成了各种形式,并提出了９个猜想．用吴方法和ＭＭＰ软件证明了其中的３个,提出并解决１个新的猜想．余下的几个猜想由于题设条件转化成代数条件的多项式次数较高,ＭＭＰ软件运行时间太长而未能得到期望的结果． 相似文献
1