沁园春·数学之光
□ 贺玉生 刘方
学苑繁花,形山隐隐,数海茫茫。
览九章勾股①,绝伦精美。算筹珠算,源远流长。
刘徽割圆②,祖氏算率③,勾股方程数我邦。
傲天下,看文明国度,风采飞扬!
自欧陆数学彰,诸贤士,似雄狮渐昂。
有省身④华老⑤,闻名举世。朴实景润⑥,惊艳张杨⑦。
一代英才,家曦⑧哲轩⑨,克难攻坚震四方。
图强计,闯数学之路,无限荣光!
注释:
①九章勾股:我国的《九章算术》《周髀算经》中都给出了勾股定理的证明,他们的证明较西欧文明古国希腊数学大家欧几里德、毕达哥拉斯的证明早了一个多世纪。勾股定理是人类历史上第一个将数形联系起来的定理。勾股定理是证明方法最多的定理之一,迄今已有500多种不同的证明方法。
②刘徽割圆:魏晋时期数学家刘徽(约225年~约295年),为了计算圆周率、圆面积,不断倍增圆内接多边形边数,以求出圆周率的方法,是极限思想在数学探索中的最早应用。
③祖氏算率:祖冲之(429年~500年)是南北朝时期的大数学家,他是世界上第一个将圆周率数值推算到小数点后第七位的人,即3.1415926的精确值!今天,圆周率的精度已达到小数点后62.8万亿位。
④省身:即陈省身先生(1911年10月~2004年12月),是20世纪最伟大的几何学家之一,被誉为“整体微分几何之父”。他发展了Gauss—Bonnet(高斯-博内)公式,被命名为“Gauss-Bonnet-陈省身公式”,提出了“陈氏示性类(Chern Class)”,成为经典杰作。
⑤华老:即中国著名数学家华罗庚(1910年11月~1985年6月),他是中国科学院院士、美国国家科学院外籍院士、第三世界科学院院士、中国科学院数学研究所原所长,在解析数论、多复变函数论、矩阵几何学、高维数值积分、近代数论方法应用研究等领域均有卓越贡献。
⑥景润(1933年5月~1996年3月):他提出了陈氏定理,其定理是:“任何一个充分大的大偶数,均可表示为一个素数与一个然数(为不超过两个素数之积)的和”,亦称“1+2”。距哥德巴赫猜想的证明还有一步之遥。
⑦惊艳张杨:张杨,指张广厚(1937年1月~1987年1月)、杨乐(1939年11月~2023年10月),二者均为中国科学院院士、中国现代数学家,在中国科学院数学研究所任研究员,于上个世纪八十年代共同合作,开启了用计算机证明几何定理数值并行方法,并被命名为张杨定理,该定理是描述函数值分布中的两个主要概念:亏值与奇异方问之间具体联系的定理。被数学界视为“惊艳世界的成就”,具有划时代里程碑式意义,为推进数学科学研究工作出了令人折服的巨大贡献。
⑧家曦:指陆家曦(1935年6月~1983年10月),是中国现代数学家,国家自然科学奖一等奖获得者,历任内蒙古包头市第二十四中学、第九中学物理教师,长期从事组合数学研究,是世界跨世纪数学难题“柯克曼四元系列”命题攻克者。
⑨哲轩:即陶哲轩(1975年7月~),华裔数学家,菲尔茨奖获得者、英国皇家学会院士。