书目信息 机读格式(MARC)
Steiner问题:分角线相等的三角形：初等几何机器证明问题
| ISBN/价格： | 978-7-5603-9041-3:CNY48.00 |
|---|---|
| 作品语种： | chi |
| 出版国别： | CN 230000 |
| 题名责任者项： | Steiner问题/.吴文俊著 |
| 出版发行项： | 哈尔滨:,哈尔滨工业大学出版社:,2020.11 |
| 载体形态项： | 76页:;+图:;+23cm |
| 丛编项： | 现代数学中的著名定理纵横谈丛书 |
| 一般附注： | 国家出版基金项目 国家出版基金资助项目 |
| 提要文摘： | 本书共分七个专题，从一个古老的问题：两条内分角线相等的三角形是等腰三角形、传统证法与机器证法，机器证法举例、机器证法大意、机器证法再举例、回到前面的古老问题、“两条外分角线相等的三角形是等腰三角形”，这个猜想成立吗？分别介绍了Steiner问题，给出了分角线相等的三角形的相关概念、原理以及一些在几何方面的应用，同时还介绍了有关初等几何机器证明问题的方法和原理。 |
| 并列题名： | Steiner problem eng |
| 题名主题： | 平面三角 |
| 中图分类： | O124.1 |
| 个人名称等同： | 吴文俊 著 |
| 记录来源： | CN 人天书店 20210630 |