点击购买此书全本PDF电子书
一、一个古老问题：“两条内分角线相等的三角形是等腰三角形” 1
二、传统证法与机器证法 5
三、机器证法举例 7
四、机器证法大意 15
五、机器证法再举例 26
六、回到前面的古老问题 37
七、“两条外分角线相等的三等形是等腰三角形”，这个猜想成立吗？ 43