>
本書通過一個古老問題:內角或外角分角線相等的三角形是否等腰的研究,初步介紹了利用電子計算機證明初等幾何命題的一些概況,可作為電子計算機在邏輯證明方面應用的啟蒙讀物。本書可供中學師生、大學師生及數學愛好者參考閱讀。