Steiner問題--分角線相等的三角形(初等幾何機(jī)器證明問題)(精)/現(xiàn)代數(shù)學(xué)中的著名定理縱橫
定 價:48 元
叢書名:現(xiàn)代數(shù)學(xué)中的著名定理縱橫談叢書
- 作者:吳文俊 著
- 出版時間:2020/11/1
- ISBN:9787560390413
- 出 版 社:哈爾濱工業(yè)大學(xué)出版社
- 中圖法分類:O124.1
- 頁碼:76
- 紙張:
- 版次:1
- 開本:16開
本書通過一個古老問題:內(nèi)角或外角分角線相等的三角形是否等腰的研究,初步介紹了利用電子計算機(jī)證明初等幾何命題的一些概況,可作為電子計算機(jī)在邏輯證明方面應(yīng)用的啟蒙讀物。
本書可供中學(xué)師生、大學(xué)師生及數(shù)學(xué)愛好者參考閱讀。
吳文俊 1919年5月出生于上海,1940年畢業(yè)于上海交通大學(xué)數(shù)學(xué)系,著名數(shù)學(xué)家,中國科學(xué)院院士。
吳文俊院士的研究工作涉及數(shù)學(xué)的諸多領(lǐng)域,包括代數(shù)拓?fù)鋵W(xué)與微分拓?fù)鋵W(xué)、代數(shù)幾何學(xué)、微分幾何學(xué)、對策論及中國數(shù)學(xué)史、數(shù)學(xué)機(jī)械化理論、應(yīng)用數(shù)學(xué)等領(lǐng)域。在拓?fù)鋵W(xué)方面,他得到了關(guān)于示性類、示嵌類等領(lǐng)域內(nèi)許多獨特的見解,還得到了許多著名的公式,指出了這些理論和方法的廣泛應(yīng)用。這些重要成果被稱為“吳文俊示性類”“吳文俊公式”,此外他還引入了新的拓?fù)鋵W(xué)不變量。在機(jī)器證明方面,他提出了**性的概念、證明方法等內(nèi)容,解決了平面幾何與初等微分幾何的機(jī)器證明問題,并在電子計算機(jī)上得到了實現(xiàn),并且他還得到了用機(jī)器實現(xiàn)和創(chuàng)造定理的重大成果。在中國數(shù)學(xué)史方面,他提出了對中國古代在數(shù)論,代數(shù),幾何等方面成就的精辟見解。
吳文俊院士在數(shù)學(xué)上做出了許多重大貢獻(xiàn),至今還有許多重要成果被國際同行廣泛引用,影響深遠(yuǎn),享譽(yù)世界。
第1章 一個古老問題:兩條內(nèi)分角線相等的三角形是等腰三角形
第2章 傳統(tǒng)證法與機(jī)器證法
第3章 機(jī)器證法舉例
第4章 機(jī)器證法大意
第5章 機(jī)器證法再舉例
第6章 回到前面的古老問題
第7章 “兩條外分角線相等的三角形是等腰三角形”,這個猜想成立嗎?
附錄 大智為師——吳文俊先生訪談錄
進(jìn)一步閱讀的參考資料