跳至主要内容

波斯数学家欧玛尔·海亚姆生日


5 月 18 日是波斯数学家、天文学家、诗人欧玛尔·海亚姆的生日,2012 年的今天 Google 在首页纪念他诞辰 964 周年,他生于 1048 年(北宋庆历八年,戊子)的内沙布尔。海亚姆是一名什叶派穆斯林。

数学方面,海亚姆最著名的工作是对三次函数进行分类和求解,通过圆锥曲线的交点他提供了一种几何解法。他还对理解平行公设(欧几里德第五公设)有所贡献。

天文学上,海亚姆设计了 Jalali 日历,这种阳历在波斯被使用,其变体现在仍然在伊朗、阿富汗等地被使用。

作为诗人,海亚姆有诗集《鲁拜集》。《鲁拜集》是一种四行诗,好比中国古代的绝句。海亚姆的诗流传后世的只有 100 多首,其价值在于他的诗的思想深刻。“出世又入世”的内容广为后人喜爱。

下面是海亚姆的四句诗:

我怕,我怕今后在世上再难聚首,
怕今后无缘再逢挚友。
珍惜这眼前的瞬间吧,
或许片刻之后我们就永远分手。


补充:上面的内容本来是我昨天晚上准备好,设定时间在今天下午 12 点钟自动发表的。看起来,Google 今年又发布一个 Doodle 来纪念欧玛尔·海亚姆诞辰 971 周年。同一个人有多个 Doodle,这是比较少见的情况。今天的 Doodle 与之前的版本相比,我觉得突出了海亚姆在文学方面的成就,2012 年的那个 Doodle 则主要突出他在数学方面的建树。

海亚姆发明的 Jalali 历法包含 25 个普通年(365 天)和 8 个闰年(366 天),直到 20 世纪仍然被使用。在西方,海亚姆主要以他的诗作而为后世所纪念。1131 年(南宋绍兴元年,辛亥)12 月,海亚姆去世,享年 83 岁。

评论

此博客中的热门博文

Gboard 继续增加关键功能

在 Android 上,Google 拼音是一款简洁、高效的中文输入法,再加上 Google 手写输入,Google 给 Android 用户提供了一整套中文输入工具。 Google 拼音的 Windows 版本早已不再更新,用户无法同步自己的输入习惯,其 下载页面现在也无法找到了 。不过在我看来,Google 拼音仍然是 Windows 上少有的简单、可靠、美观、低调的中文输入法。这款软件即使不再更新,功能也不健全,但仍然特别好用。 在移动设备上,Google 在 Google 拼音等输入法之后又推出 Gborad,把移动设备上的输入体验提升到另外一个层次。 最近我注意到 Gboard Beta 版本增加了“剪贴板”功能。这个功能之前已有报道,现在终于可用,是一个重要的、有用的输入辅助工具。简单说就是,用户可以把自己复制的内容存放到剪贴板,如果有多次复制,剪贴板会记忆用户复制过的内容,方便用户随时选取使用。用户还可以固定某些复制的内容,使它们更为突出地显示在剪贴板里。 这显然是一个很有用的工具,如果用户经常在手机或平板上处理文字内容的话。否则,用户就必须把自己可能需要使用的复制的内容存在其他文档或者应用比如 Google Keep 里,然后一遍一遍地去复制、粘贴。这个功能使这些操作在 Gboard 应用里就可以实现。 Gboard 还改变了右下侧“确定”按钮的形状和功能。形状从圆形变成矩形。功能上,长按会出现单手操作和 Emoji(表情符号)按钮,如下图所示。这与左下角的 Emoji / 单手操作 / 设置综合按钮类似。 我认为唯一不足的地方是,Gboard(Android)中文输入法一直没有书名号(《》)按钮,只能以书名号的另外一种形式(『』)代替。 Gboard 重新设计了 Emoji 的布局,现在变成菜单在顶部,下滑式查看、选择表情符号的设计。以前是左右滑动。在贴纸、动态图(GIFs)搜索方面没有变化。 综合来看,Gboard 现在内置了包括 Google 搜索在内的 9 个关键功能,其中搜索、翻译等相关功能需要联入互联网,文本处理操作(移动光标、选取、复制、粘贴等)、剪贴板两个功能可以离线使用。主题、悬浮键盘则属于个性化键盘设置。 上述这些变化包括其他一些变化在 9To5Google 的一则报道 中有...

YouTube Music 增加播放本地音频的功能

YouTube Music 应用新增了 播放本地音频文件 的功能。如上图所示,打开 YouTube Music 后在“Library”(库)一栏可以找到单独的一个列表,显示出设备上可播放的文件。 我通过 Google Podcasts 下载的若干节目音频通过 YouTube Music 可以播放收听,而且能够背景播放。免费版 YouTube Music 流媒体播放音乐时,是不支持背景播放功能的。 注意,如果用户所处的国家或地区不支持 YouTube Music 服务,那么这个播放本地音频文件的功能就不可用,因为 YouTube Music 界面都不会正常显示。可是,当用户处于离线状态时,YouTube Music 却可以播放这些音频。令我感到奇怪的是,我下载的一些播客可以播放,新近下载的一些又不能播放,不知道具体机制是什么。 9To5Google 网站 认为这是 YouTube Music 取代 Google Play Music 作为 Android 默认音频播放器的重要一步。

Google Chrome 增加 DuckDuckGo 搜索

Google Chrome 浏览器增加了 DuckDuckGo(DDG)搜索引擎选项,据 TIME 报道。DuckDuckGo 是一款注重隐私的搜索引擎,它不记录用户的搜索历史,加密用户的搜索,不允许广告商追踪用户的浏览习惯。 Chrome 在全球 60 多个市场添加了 DDG 这个选项 ,给用户更多选择。法国用户还可以选择法国的搜索引擎 Qwant 作为自己的默认搜索。之前,用户需要安装 DDG 的 Chrome 扩展以切换到自己喜欢的搜索服务里。 DDG 创始人赞赏 Google 意识到给用户提供能够保护隐私的搜索服务这一选项的重要性。 DDG 的名称较长,用户记起来比较不容易。去年年底, Google 将自己所拥有的网址 Duck.com 移交给 DDG 。不清楚 DDG 是否因获得此域名而有掏钱给 Google。以前,用户输入 Duck.com 会被导向 Google 网站。Google 获得 Duck.com 域名是因为收购了视频技术公司 On2。Google 还拥有大量域名,包括对 Google 这个词拼写错误的很多情况。 Chrome 增加 DDG 搜索在当前显得尤为必要,因为不少用户希望使用更能保护自己隐私和数据安全的服务。Chrome 一直以来都默认提供若干搜索引擎供用户选择,在中国大陆有360、百度、搜狗、Bing。 DDG 的创始人 在 Quora 有文章 阐述 DDG 与 Google 搜索的不同及其优势所在。