摘要
一、几何定理证明——从Euclid,Descartes到Hilbert 定理证明是现代纯粹数学的主要活动形式,导源于古希腊,Euclid的《几何原本》是其代表著作.即使是平面欧氏几何,就有着无数美妙的定理,以下略举数例,以资说明. 例1.Feuerbach定理(1822).三角形的九点圆与其内切圆O以及傍切圆都相切. 例2.Morley定理(1900).三角形三个角的相邻三分角线相交成一个等边三角形. 例3.Thebault推测(1938).设三角形ABC,L是过顶点A的一直线,则在与底边BC,
基金
国家自然科学基金
