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