分角线相等的三角形 初等几何机器证明问题PDF电子书下载

查看更多关于的内容

一、一个古老问题：“两条内分角线相等的三角形是等腰三角形” 1

二、传统证法与机器证法 5

三、机器证法举例 7

四、机器证法大意 15

五、机器证法再举例 26

六、回到前面的古老问题 37

七、“两条外分角线相等的三等形是等腰三角形”，这个猜想成立吗？ 43

查看更多关于的内容