幾何專家Java版下載,《幾何專家》提供了幾何動(dòng)態(tài)圖形變換與板塊操作,可以自動(dòng)證明定理,并產(chǎn)生簡(jiǎn)單、漂亮的證明過程,還可以自動(dòng)發(fā)現(xiàn)幾何圖形的豐富性質(zhì)。自從吳文俊教授七十年代末提出幾何定理自動(dòng)證明的吳方法以來,中國學(xué)者在這方面的研究可謂異彩紛呈,成果累累,屢獲國內(nèi)外大獎(jiǎng)。幾何圖形、函數(shù)圖象、平面曲線、與軌跡圖形,可用于平面幾何、解析幾何、函數(shù)、與物理的學(xué)習(xí)與教學(xué)。
作為一個(gè)定理證明器,《幾何專家》使用作者的獲獎(jiǎng)研究成果,不僅可以證明大部分平面幾何定理、產(chǎn)生簡(jiǎn)短可讀的證明,還可以自動(dòng)發(fā)現(xiàn)幾何圖形的所有可能的性質(zhì)、為使用者自動(dòng)生成幾何圖形的題庫。《幾何專家》不僅可以幫助使用者解決難題、還可以教會(huì)使用者解題的方法。
幾何學(xué)(幾何)是數(shù)學(xué)的一個(gè)基礎(chǔ)分支,主要研究形狀、大小、圖形的相對(duì)位置等空間區(qū)域關(guān)系以及空間形式的度量。幾何學(xué)可見的特性讓它比代數(shù)、數(shù)論等數(shù)學(xué)領(lǐng)域更容易讓人接觸,不過一些幾何語言已經(jīng)和原來傳統(tǒng)的、歐幾里得幾何下的定義越差越遠(yuǎn)。幾何學(xué)開始的最早記錄可以追蹤到公元前2世紀(jì)的古代埃及和美索不達(dá)米亞。