个人简介
张景中,数学家,中国科学院院士,多年从事几何算法和定理机器证明研究,其成果曾获国家发明二等奖,中国科学院自然科学一等奖,国家自然科学二等奖。
热心数学教育,提出教育数学的思想,并从事中学教学改革和微积分教学改革的研究。
热爱科普事业,其所著《教育数学丛书》曾获中国图书奖,《数学家的眼光》等科普作品曾获国家科技进步二等奖、第六届国家图书奖、“五个一”工程奖、全国科普创作一等奖。
内容简介
本书分上下两篇,上篇通俗地阐述了作者所开创的几何解题的“消点法”,用这个方法可以机械地判定所谓“等式型可构造几何命题”的真假,命题成立时还能够产生人容易检验和理解的证明,即可读证明,书中先引入作者所发展的系统面积方法的两个基本工具,即共边定理和共角定理,接着在共边定理的基础上把面积方法算法化,系统地建立了面积消点方法,此外还进一步指出,消点不限于面积法,在全角法、三角法、向量法以及复数法的基础上也能建立消点法,下篇则对几何公理体系提出了新的见解,指出传统的欧几里得公理体系和希尔伯特公理体系的不足,并提出一个与面积法相适应的平面几何公理体系,证明了这个体系和希尔伯特公理体系的等价性。
本书可供中学数学教师、师范院校数学教师、数学爱好者、数学奥林匹克工作者和参赛者以及数学研究工作者参考。