1 张景中——面积法开辟平面几何新天地 提起张景中,景仰之情不禁油然而生,心底涌出一堆的形容词和感叹句。诸如百折不回燃烧生命、身居逆境不改其志、目光如炬睿智如芒、思维如风顶尖成就、平凡之中凸显伟大、横扫千军势如破竹、与时俱进思维超前、破除迷信引领革命,等等等等,都不足以概括张景中院士对中国教育数学的贡献,即使在整个中国科学界,诞生这样的科学巨人,也是 5 0 年来仅见。 张景中的伟大,不在于在高等数学的多少个领域内做出了贡献,恰恰在所有人都认为不可能有突破性进展的初等数学领域,其中最稳定、最古老、最不可能创新的欧式几何王国内,取得了划时代的进展,颠覆性的进展。从 1 7 世纪以来的 3 0 0 多年,世界范围内的大科学家,他们在科学理论上的所有发现,几乎没有普通中学生能够读懂的东西。在初等数学领域,代数是一潭百年死水,平面几何更是一潭千年死水,没有活水也没有新鲜氧气注入。 是张景中,也仅仅是张景中,只在三年的初中几何教学中,就发现了问题并开始思考教材的改革。在平面几何 2 0 0 0 多年的古老仓库中,捡起了从不被人重视的“面积方法”这件武器,将顽铁锻造成神器,像当年的孙悟空一样,从地下到天上,从 1 8 层地狱到 3 3 天兜率宫,将 2 3 0 0 年不变的并被公认为完美杰作的欧几里德几何体系从公理体系到定理体系,从思想方法到解题思路搅了个天翻地覆,将欧几里德几何体系彻底改造了一番,创造了一个面目一新的张氏几何,名曰新概念几何。上至各路神仙、下至黎民百姓,看得目瞪口呆,看得如醉如痴。 张景中的这项科学发现,比起 6 0 年来国内任何一个科学家的发现影响面都要大得多,因为他的受众是 8 7 0 0 万中学生!他影响的是整个中国的下一代。 张景中的脚步没有停歇,他的眼光自然而然地投向了机器证明几何定理这个百年难题。从莱布尼兹发明数值计算机械化以来,随着计算机科学的发展,机器证明几何定理也有了一定进展。中国老一辈数学家吴文俊将平面几何坐标化,创立了吴方法——代数消元法,开拓性地推进了机器证明几何定理的研究。由于这一世界最前沿的科学成就,吴文俊教授在 2 0 0 0 年获得了国家最高科学技术奖,并获得了 500 万元人民币的奖金。但吴方法没有解决机器证明的可读性问题,证明的结果是机器懂人不懂,动辄几十万行的计算过程,无法人工检验及判断真假。在有些著名的科学家看来,让计算机用统一的方法对千变万化的几何...