本書分上下兩篇。上篇通俗地闡述了作者所開創(chuàng)的幾何解題的“消點法”。用這個方法可以機械地判定所謂“等式型可構(gòu)造幾何命題”的真假。命題成立時還能夠產(chǎn)生人容易檢驗和理解的證明, 即所謂可讀證明。書中先引入作者所發(fā)展的系統(tǒng)面積方法的兩個基本工具, 即共邊定理和共角定理。接著在共邊定理的基礎(chǔ)上把面積方法算法化, 系統(tǒng)地建立了面積消點方法。此外還進一步指出, 消點不限于面積方法, 在全角法、三角法、向量法以及復(fù)數(shù)法的基礎(chǔ)上也能建立消點方法。下篇則對幾何公理體系提出了新的見解, 指出傳統(tǒng)的歐幾里德公理體系和希爾伯特公理體系的不足, 并提出一個與面積法相適應(yīng)的平面幾何公理體系, 證明了這個體系和希爾伯特公理體系的等價性。

更多科學(xué)出版社服務(wù)，請掃碼獲取。