【小学堂·数学史话】第四季 课本里的中国数学家 第73期 吴文俊与几何图形的认识与证明

几何图形的认识与证明

翻开人教版四年级下册数学书，第五单元“三角形”和六年级上册“圆”的内容中，我们经常要和几何图形打交道，还要学会简单的几何证明。比如证明三角形内角和是180°，验证等腰三角形两腰相等、两底角相等，这些看似基础的结论，其实都是几何证明的雏形——用已知的规律，推导未知的结论，让图形的性质有了确凿的依据。

在小学数学里，几何证明大多靠动手操作：把三角形三个角剪下来拼一拼，就能直观看到它们组成一个平角；用尺子测量等腰三角形的边长和角的度数，就能验证性质。这些操作能帮我们建立对图形的认知，而随着知识积累，我们会发现，几何证明可以更严谨、更高效。而有一位中国数学家，不仅在高端几何领域成就斐然，还开创了用计算机自动证明几何定理的方法，让几何证明进入了“机械化”时代，他就是吴文俊。

几何证明的魅力，在于用逻辑串联图形的奥秘。在中国数学史上，吴文俊院士就是深耕几何与数学机械化领域的先驱者，他提出的“吴方法”，让原本依赖人工推导的几何证明，能通过计算机算法自动完成，既革新了数学研究方式，也和我们课本上的几何知识一脉相承。

第二部分  背后的数学家

吴文俊

“科技是国家强盛之基，创新是民族进步之魂”，这是吴文俊的信念，也是他一生的追求。1919年，吴文俊出生于上海，从小对数学有着浓厚的兴趣，尤其喜欢琢磨几何图形的规律。他求学期间踏实钻研，不仅打下了扎实的数学基础，还养成了敢于突破常规的思维习惯，这为他后来的研究埋下了伏笔。

在国外留学期间，吴文俊深耕拓扑学这一高端几何领域，提出了“吴示性类”“吴公式”等重要理论，为拓扑学的发展开辟了新方向，奠定了他在国际数学界的地位。而更令人惊叹的是，20世纪70年代，他跳出传统研究框架，将目光投向了中国古代数学和现代计算机技术的结合——中国古代数学注重算法和实用性，这让他萌生了用算法实现几何证明机械化的想法。

经过多年钻研，吴文俊提出了著名的“吴方法”，这是一种能通过计算机自动证明几何定理的有效算法。简单来说，就是把我们课本上的几何证明步骤，转化为计算机能识别的数学公式和运算规则，让计算机快速完成复杂的推导过程，甚至能发现新的几何定理。美国人工智能协会主席曾评价，吴文俊“独自使中国在该领域进入国际领先地位”，他的研究也为人工智能的发展提供了重要启发。

吴文俊不仅是顶尖的研究者，更重视数学的传承与普及。他认为中国古代数学有着独特的价值，始终致力于挖掘古算精髓，用科学方法解读中国古代数学成就，让世界看到中国数学的历史贡献。他还鼓励青少年多动手、多思考，不要局限于课本上的方法，培养创新思维。即便到了晚年，他依然关注数学教育，希望更多人能感受到数学的魅力。

从课本上剪拼三角形验证内角和，到吴文俊用“吴方法”实现几何证明机械化，我们能看到几何知识从基础到高端的跨越，也能感受到数学思维的无限可能。吴文俊用一生诠释了“传承与创新”的意义，他告诉我们：数学不仅是课本上的定理和公式，更是不断探索、突破自我的工具。学好几何知识，培养严谨的逻辑思维，我们也能在数学的世界里开拓属于自己的天地。

本期数学史话·小学堂到这里要和你说再见了，品读数学文化，领略数学家的魅力，数学的星空永远璀璨。

下期我们将深入探寻又一位中国数学家的奇妙故事，看看他如何为数学发展添上浓墨重彩的一笔，敬请期待！如果你有感兴趣的中国数学家，欢迎在评论区留言，说不定下期就能看到他的故事！再见！