数学可以这么玩：Google 涂鸦中的那些数学人文故事

1938 年，当美国数学家爱德华‧凯斯纳(Edwards Kasner) 定义了这样一个大数准备命名时，他九岁的外甥米尔顿‧塞勒塔(Milton Sirotta) 发表意见道:"这样大的数，非得用一个怪名Googol不可。"Googol 即由此得名。随后通过 Kasner 和 James Newman 合著的《数学与想象力》"Mathematics and the Imagination"一书广为流传。

瑞士数学家、自然科学家莱昂哈德·欧拉（Leonhard Euler ，1707.4.15～1783.9.18）是数学史上最多产的数学家，平均每年写出八百多页的论文，创立函数的符号，创立分析力学，解决了柯尼斯堡七桥问题，给出各种欧拉公式。数学家拉普拉斯说：“读读欧拉，他是所有人的老师。”

这个涂鸦设计正是展示了欧拉证明出来的各种重要的欧拉公式。

“自然和自然律隐没在黑暗中；神说，让牛顿去吧！万物遂成光明” ——牛顿 （1643.1.4--1727.3.20）。 在其全部科学贡献中，数学成就占有突出的地位：第一项数学成果就是二项式定理； 微积分的创立是其最卓越的数学成就；在《解析几何》中引入曲率中心，他给出密切线圆概念，提出曲率公式及计算曲线的曲率方法；证明广义二项式定理；提出“牛顿法”以趋近函数的零点；

Google创作了第一枚交互性 Doodle，很简单，用户点击上面的苹果，它会依照万有引力落地。

意大利数学家玛丽亚·阿涅西（Maria Gaetana Agnesi）（1718.5.16－1799.1.9），被称作希帕蒂娅之后首位重要的女性科学家，她是个神童，十三岁时就会说7国语言。20岁出版《哲学命题》，30岁，写出世上第一本微积分教科书，其中包含关于“阿涅西的女巫”的曲线(或箕舌线)的讨论，因此又被称作“微积分之母”。

这个涂鸦设计是为纪念玛利亚·阿涅西诞辰296周年，Doodle上的曲线正是著名的”阿涅西的女巫曲线”，点击播放按钮领略一下这个曲线的神奇吧。

海什木（965年-1040年）是阿拉伯学者、物理学家、数学家，全名穆哈默德·本·哈桑·本·海什木·巴士拉，西方人把它称作Al Hazen，中文译作“海桑”、“哈金”等。海什木是首位采用科学方法的人，被视为“第一位科学家”，加上他对心理学及视知觉方面取得的开拓性成果，使他被视为精神物理学和实验心理学的先驱。有大量著作和被现代科学证明了的科学发现，尤其在光学研究方面有突出成就。

“历史上最美貌并且杰出的女数学家”柯瓦列夫斯卡娅（1850年1月15日－1891年2月10日），近代第一位获得数学博士学位、担任数学教授的女性。她生于俄罗斯，在德国接受大学和研究生教育，在法国参加过巴黎公社，在瑞典出任大学教授，她的一生，短暂而丰富。她因为对刚体运动的研究获得了法国科学院的“博丹奖”（Prix Bordin），并于次年被任命为斯德哥尔摩大学的正式教授，也成为北欧第一个女数学教授。

涂鸦设计展示的正是她的数学论文《‍关于刚性物体绕固定点旋转的问题》。‍

2012年12月10日，谷歌搜索的首页上出现了一位身着长裙，用鸡毛笔书写计算机程序的女士的涂鸦（doodle），这是谷歌为纪念世界上第一位电脑程序员阿达·洛夫莱斯诞辰197周年而特别制作的。

她是穿孔机程序创始人、建立了循环和子程序概念、给出了第一份“程序设计流程图”，被誉为“第一个给计算机写程序的人”、“第一位软件工程师”。她和她举世闻名的父亲都仅在世36年，可惜！

在后世人看来，这位“软件之母”充满了神秘色彩，而在密友巴贝奇的眼中，她是一个迷人的“数字女巫”。但作为诗人拜伦的女儿，阿达更愿意将自己称为“诗意的科学家”。

约翰内斯·开普勒（德语：Johannes Kepler，1571.12.27－1630.11.15），德国天文学家、数学家。开普勒是十七世纪科学革命的关键人物。他最为人知的成就为开普勒定律（正是涂鸦设计所呈现的），这是稍后天文学家根据他的著作《新天文学》、《世界的和谐》、《哥白尼天文学概要》萃取而成的三条定律。这些杰作对艾萨克·牛顿影响极大，启发牛顿后来想出牛顿万有引力定律。

米哈伊洛·佩特罗维奇·阿拉斯（塞尔维亚西里尔文：Михаило Петровић Алас，拉丁化：Mihailo Petrović Alas，1868年5月6日－1943年6月8日），塞尔维亚数学家和发明家，贝尔格莱德大学特聘教授。

艾伦·麦席森·图灵（英语：Alan Mathison Turing；1912年6月23日－1954年6月7日），英国数学家、逻辑学家，他被视为计算机科学之父、人工智能之父。如果没有图灵，世人到今天或许还不知道计算机为何物。

谷歌涂鸦就是为了纪念计算机科学之父阿兰·图灵诞辰100周年，涂鸦中展示了阿兰·图灵提出的抽象计算模型──图灵机(Turing Machine)。一条纸带被分成多个小格，可以用鼠标操作模拟修改格子里值。

皮耶·德·费玛(Pierre de Fermat，1601年8月17日—1665年1月12日）法国著名数学家，被誉为“业余数学家之王”。他——法国图卢兹最高法院（Parlement of Toulouse）的一名律师和一位极有天赋的业余数学家——在微积分、概率论、几何学和数论等领域做出了重大贡献，但是他最广为人所知的就是他写在一本算术书的页边处的一条简短笔记。

而Google涂鸦所展示的正是这个猜想。只是将它写在一块黑板上，而不是页边，是为了弥补空间太小而写不下的遗憾吗？

费玛大定理：n>2是整数，则方程x^n+y^n=z^n没有满足xyz≠0的整数解。这个是不定方程，它已经由英国数学家怀尔斯证明了(1995年)，证明的过程是相当艰深的。

1+1=？Google首页涂鸦是一位慈祥的老人边品茗边思考数学问题，这正是华罗庚。

华罗庚（1910.11.12—1985.6.12.）世界著名数学家，是中国解析数论、矩阵几何学、典型群、自安函数论等多方面研究的创始人和开拓者。1910年11月12日出生于中国江苏金坛县，1985年6月12日病逝于日本东京。国际上以华氏命名的数学科研成果就有“华氏定理”、“怀依—华不等式”、“华氏不等式”、“普劳威尔—加当华定理”、“华氏算子”、“华—王方法”等。

葛丽丝·穆雷·霍普（Grace Murray Hopper，1906年12月9日－1992年1月1日）是世界最早一批的程序员之一，也是最早的女性程序员之一。她创造了现代第一个编译器A-0 系统，以及商用电脑编程语言“COBOL”，被誉为COBOL之母。霍普是计算机时代公认的伟大先驱之一,被誉为Cobol计算机语言之母,还被誉为“计算机软件第一夫人”。

阿布·瓦法(约940-06-10~997/998)中世纪阿拉伯数学家、天文学家。阿布·瓦法在数学方面的重要成就是在三角学方面，这些成就集中在他所著《天文全书》之中，此书与托勒玫所著《天文学大成》极相类似。书中有关于正弦的半角公式、倍角公式，并且给出了正弦加法定理的一种新的证明;与巴塔尼同时引入正切和余切的定义并由他自己引入了正割和余割的概念;给出了间隔为15'的正切函数表，还用新的方法给出了间隔为15'的正弦函数表;计算0.5度的正弦值精确到12位小数;关于球面三角法，他给出了任意三角形的正弦定理的新证法。

纳西尔．艾德丁．图西(Nasir al-Din al-Tusi)(1201-1274)阿拉伯学者，生于伊朗的图西，曾就学于当时著名学者伊本．尤尼斯。先後到过图西、巴格达、库赫斯坦等地，后来定居马拉格。纳西尔．艾德丁是阿拉伯的一位百科全书式学者，著有天文、三角、几何等多方面的著作。他所著的《论四边形》一书在三角学发展上享有特殊重要的地位，书中包含解球面直角三角形的六条基本公式，并指出用现今所谓的极三角形来解更一般的三角形的方法。

斯里尼瓦瑟·拉马努金（泰米尔文：ஸ்ரீனிவாஸ ராமானுஜன் ஐயங்கார்，拉丁化：Srinivasa Ramanujan，1887.12.22－1920.4.26），印度历史上最著名的数学家之一。没受过正规的高等数学教育，沉迷数论，尤爱牵涉π、质数等数学常数的求和公式，以及整数分拆。惯以直觉（或者是跳步）导出公式，不喜作证明（事后往往证明他是对的）。他留下的那些没有证明的公式，引发了后来的大量研究。1997年，《拉马努金期刊》（Ramanujan Journal）创刊，用以发表有关“受到拉马努金影响的数学领域”的研究论文。

比鲁尼（波斯语：ابوریحان محمد بن احمد بیرونی）是波斯著名科学家、史学家、哲学家。。青年时曾到朱尔占师从艾布·纳斯尔·曼苏尔等著名学者。他博览群书，广交学者，学识渊博，富有创造性，对史学、地理、天文、数学和医学均有很深的造诣。比鲁尼被后世学者誉为“百科式的学者”在伊朗科学文化史上享有崇高的声誉。他第一个建立了三角学，这门学科在后来逐渐发展成为数学的一个分支。

诗人数学家欧玛尔·海亚姆（Omar Khayyám，1048.5.18－1122.12.4），波斯诗人、数学家、天文学家。于1070年写下《代数学》，阐释了代数的原理，令波斯数学后来传至欧洲，最大的成就是用圆锥曲线解三次方程，正是google 涂鸦中所反映的。

ChristopherWren(1632 - 1723) 英国数学家和建筑师是因萨维尔在牛津天文学教授。圣保罗大教堂正由 Christopher Wren 爵士设计，并于1675年至1711年建成。大教堂建成后12年，81岁的Wren 爵士与世长辞，他被安葬在他的杰作——大教堂的唱诗台下，墓志铭上写道：如果你想看纪念碑，那就看看四周吧！

乔治·布尔（George Boole，1815.11.2～1864），1815年11月2日生于英格兰的林肯。 19世纪最重要的数学家之一，出版了《逻辑的数学分析》 ，这是它对符号逻辑诸多贡献中的第一次。1854年，他出版了《思维规律的研究》 ，这是他最著名的著作。在这本书中布尔介绍了现在以他的名字命名的布尔代数。

历史上最伟大的德国女数学家诺特（EmmyNoether，1882.3.23－1935.4.14）诞辰纪念日。爱因斯坦曾高度评价诺特的工作，称赞她是“自妇女接受高等教育以来最杰出的富有创造性的数学天才”。爱因斯坦指出，凭借诺特所发现的方法，“纯粹数学成了逻辑思想的诗篇”。

她彻底改变了环，域和代数的理论。在物理学方面，诺特定理解释了对称性和守恒定律之间的根本联系。

Julia分形方程集发明人法国数学家Gaston Julia (3 February 1893 – 19 March 1978)，他发现了在数论中有名的julia序列，就是在这个google LOGO上面看到的数学公式。通过这个数学公式可以在解析几何上实现很多不规则边的图形。学名叫作分形。

祖冲之一生钻研自然科学，其主要贡献在数学、天文历法和机械制造三方面。他在刘徽开创的探索圆周率的精确方法的基础上，首次将“圆周率”精算到小数第七位，即在3.1415926和3.1415927之间，他提出的“祖率”对数学的研究有重大贡献。直到16世纪，阿拉伯数学家阿尔·卡西才打破了这一纪录。

由他撰写的《大明历》是当时最科学最进步的历法，对后世的天文研究提供了正确的方法。其主要著作有《安边论》《缀术》《述异记》《历议》等。

贾希特·阿夫Cahit Arf（1910.10.11——1997.12.26）土耳其数学家。曾任土耳其数学学会主席。研究过拓扑结构、分叉理论、Arf半群、Arf环等。‍

数学家陈景润(1933.5.22~1996.3.19)诞辰。1966年发表《表达偶数为一个素数及一个不超过两个素数的乘积之和》(简称“1+2”)，成为“哥德巴赫猜想”研究上的里程碑。安德烈·韦伊曾说：陈景润先生做的每一项工作，都好像是在喜马拉雅山山巅上行走，危险，但是一旦成功，必定影响世人。