吴文俊与几何定理机械化证明  

作　　者：林玉忠 

机构地区：[1]安徽省天长中学

出　　处：《中学课程辅导（上旬刊）》2011年第7期121-122,共2页

摘　　要：吴文俊是我国当代享誉世界的杰出数学家，人教版《普通高中课程标准实验教科书数学（必修2）》第四章圆与方程中的阅读材料“坐标法与机器证明”一文中，简单地介绍吴文俊和他的几何定理机器证明的思想。本人在教学中发现，许多中学生并不知道这位数学家，更不用说几何定理的机械化证明。本文旨在向广大中学生宣传吴文俊的学术成就和治学精神，说明几何定理机械化证明的思想和方法，激发中学生科学探究的兴趣和爱国主义情感，实现数学教材中阋读材料的价值。

关 键 词：吴文俊 几何定理 机械化证明 

分 类 号：G641[文化科学—高等教育学]