最新查询
内容简介
一、一个古老问题：“两条内分角线相等的三角形是等腰三角形”
二、传统证法与机器证法
三、机器证法举例
四、机器证法大意
五、机器证法再举例
六、回到前面的古老问题
七、“两条外分角线相等的三等形是等腰三角形”，这个猜想成立吗？
