Steiner問題：分角線相等的三角形（初等幾何機(jī)器證明問題）

　　本書通過一個古老問題：內(nèi)角或外角分角線相等的三角形是否等腰的研究，初步介紹了利用電子計(jì)算機(jī)證明初等幾何命題的一些概況，可作為電子計(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)許多獨(dú)特的見解，還得到了許多著名的公式，指出了這些理論和方法的廣泛應(yīng)用。這些重要成果被稱為“吳文俊示性類”“吳文俊公式”，此外他還引入了新的拓?fù)鋵W(xué)不變量。在機(jī)器證明方面，他提出了**性的概念、證明方法等內(nèi)容，解決了平面幾何與初等微分幾何的機(jī)器證明問題，并在電子計(jì)算機(jī)上得到了實(shí)現(xiàn)，并且他還得到了用機(jī)器實(shí)現(xiàn)和創(chuàng)造定理的重大成果。在中國數(shù)學(xué)史方面，他提出了對中國古代在數(shù)論，代數(shù)，幾何等方面成就的精辟見解。吳文俊院士在數(shù)學(xué)上做出了許多重大貢獻(xiàn)，至今還有許多重要成果被國際同行廣泛引用，影響深遠(yuǎn)，享譽(yù)世界。