《分角线相等的三角形 初等几何机器证明问题》

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

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

三、机器证法举例7

四、机器证法大意15

五、机器证法再举例26

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

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

1985《分角线相等的三角形 初等几何机器证明问题》由于是年代较久的资料都绝版了,几乎不可能购买到实物。如果大家为了学习确实需要,可向博主求助其电子版PDF文件(由吴文俊,吕学礼著 1985 北京:人民教育出版社 出版的版本) 。对合法合规的求助,我会当即受理并将下载地址发送给你。

高度相关资料

几何与三角(1960 PDF版)
几何与三角
1960 北京:人民教育出版社
几何三角(1952 PDF版)
几何三角
1952
平面几何三角( PDF版)
平面几何三角
三角  初等数学( PDF版)
三角 初等数学
几何与三角( PDF版)
几何与三角
初等数学  三角(1973 PDF版)
初等数学 三角
1973 昆明师范学院数学系
几何定理机器证明的基本原理  初等几何部分(1984 PDF版)
几何定理机器证明的基本原理 初等几何部分
1984 北京:科学出版社
中国古代数学成就(1988 PDF版)
中国古代数学成就
1988 济南:山东教育出版社
三角形内角和等于180°吗?(1980 PDF版)
三角形内角和等于180°吗?
1980 北京:北京出版社
数学习题解  几何三角部分(1979 PDF版)
数学习题解 几何三角部分
1979 北京:北京出版社
怎样证明三角恒等式(1981 PDF版)
怎样证明三角恒等式
1981 北京:知识出版社
三角形的内角和等于180吗(1981 PDF版)
三角形的内角和等于180吗
1981 长沙:湖南人民出版社
初等几何(1975 PDF版)
初等几何
1975 北京:人民教育出版社
几何与三角(1955 PDF版)
几何与三角
1955 北京:高等教育出版社
初等几何(1986 PDF版)
初等几何
1986 武汉:湖北教育出版社