中考备考数学文化与核心素养

田亩丈量和天文观测是我国古代几何学的主要起源，两者引出了面积问题和勾股测量问题，依据这些方面的经验成果，总结提升为一个简单明白的基本原理——出入相补原理，并将其应用于形形色色的实际问题中，这成为我国古代几何学的特色之一。所谓出入相补原理，就是指：“和平面图形从一处移至他处，面积不变。那如果把图形分割成若干块，那么各部分面积的和等与原来图形的面积，因而图形移置前后诸面积之间的和、差有简单的相等关系。立体的情形也是这样”。我国科学院院士、著名的数学家吴文俊在机器证明方面做出了很大的贡献。

20世纪70年代后期，在计算机技术广泛应用的背景下，他继承和发展了中国古代数学的算法思想，进行几何定理的机器证明研究，取得了一系列国际领先成果，并应用于国际上当前流行的符号计算软件，这些研究作为国际自动推理界先驱性工作，被称为“吴方法”，产生了很大影响。20XX年吴文俊荣获首届“国家最高科学技术奖”(20XX年度)。

---