同类推荐
-
-
几类初等几何不等式研究
-
¥98.00
-
-
数学太空漫游:21世纪的立体几何:solid geom…
-
¥68.00
-
-
数学太空漫游:21世纪的立体几何:solid geom…
-
¥68.00
-
-
数学太空漫游:21世纪的立体几何:solid geom…
-
¥68.00
-
-
从一道日本东京大学的入学试题谈起:兼谈π的方方面面
-
¥68.00
-
-
从一道日本东京大学的入学试题谈起:兼谈π的方方面面
-
¥68.00
-
-
从一道日本东京大学的入学试题谈起:兼谈π的方方面面
-
¥68.00
-
-
方程组解的可信计算
-
¥58.00
-
-
方程组解的可信计算
-
¥58.00
-
-
方程组解的可信计算
-
¥58.00
|
|
图书信息
|
|
|
|
Steiner问题:分角线相等的三角形：初等几何机器证明问题:triangles with equal bisectors: machine proof problem of elementary geometry
|
| ISBN： | 9787560390413 |
定价： | ￥48.00 |
| 作者： | 吴文俊著 |
出版社： | 哈尔滨工业大学出版社 |
| 出版时间： | 2020年11月 |
开本： | 23cm |
| 页数： | 76页 |
装祯： | 精装 |
中图法： | O124.1 |
相关供货商
|
供货商名称
|
库存量
|
库区
|
更新日期
|
|
|
|
|
|
|
其它供货商库存合计
|
347
|
|
2025-08-13
|
图书简介 | | 本书共分七个专题，从一个古老的问题：两条内分角线相等的三角形是等腰三角形、传统证法与机器证法，机器证法举例、机器证法大意、机器证法再举例、回到前面的古老问题、“两条外分角线相等的三角形是等腰三角形”，这个猜想成立吗？分别介绍了Steiner问题，给出了分角线相等的三角形的相关概念、原理以及一些在几何方面的应用，同时还介绍了有关初等几何机器证明问题的方法和原理。 |
|