胡翌霖 | 运算和证明
作者 胡翌霖 (清华大学助理教授)
责编 许嘉芩 刘愈
◆ ◆ ◆ ◆ ◆
在珠算流行之前,中国人的计算方式主要是筹算,算筹最初就是竹制的小圆棍(图1),也许与八卦的长短棍同源。所谓“运筹帷幄之中”就是运的这些小竹棍了。老子就说过“善数者不用筹策”,可见筹算至少在春秋时期就已经流行了。筹算法用横置的算筹表示1,竖置的算筹表示5,几组算筹横向排列,以十进制表示数字。筹算有一套四则运算的方式,并逐渐发展出开方、列方程等复杂的算法(图2)。
▲图1 汉代骨制算筹
▲图2 日本18世纪教科书讲解筹算
到晚近时期,算盘取代算筹成为主要的算术工具。无论是算筹还是算盘,与笔算相比,其优点和缺点都是可以抹去中间过程,中国的数学始终是重结果、重实用,而不重视过程和证明的。
中国古代的代数方法最初也是由算筹形式表现的,古代中国和古代希腊数学中都没有现代这样以x、y、z、a、b、c等符号表达的简洁的等式,希腊人以几何学的方式做代数问题,而中国人也以某种方式把代数问题空间化。例如汉代的《九章算术》中就用把算筹放在不同方格的形式表达多元一次方程。
在宋代,一套非常精致的代数表达和演算系统被发展出来,那就是“天元术”。天元术以表示常数的“太”出发,最多可以向四个方向延伸,分别为天、地、人、物,延伸的第1格为1次,第2格为2次,以此类推,在相应的格子里放入算筹,负数的话就多加一条斜线。如图3表示方程2x2 + 18x ? 316 = 0
▲图3
▲图4 朱世杰在天元术基础上发展出的四元术,可以处理四元高次方程。
天元术在明朝已经逐渐失传,直到清朝在西学东渐的刺激下,才被中国数学家重新发现其价值。相比西方近代的符号化代数,天元术看起来非常优美,但终究还是缺乏灵活性和普遍性。
在几何学方面,中国人虽然不擅长证明,但在测算方面有所特长,魏晋时期的刘徽《九章算术注》创立割圆术,通过圆内接正192边形的面积,得出π≈3.14,南北朝时期的祖冲之(429-500)父子更是计算到圆内接正6144边形和正12288边形的面积,得出π=3.1415926~3.1415927,领先西方人将近一千年。
刘徽还著有《海岛算经》(图5),用两次或多次测望所得的数据推算海岛的高度和远近,当然中国人也不是完全不会证明。约成书于公元前1世纪的《周髀算经》就记录了“勾三股四弦五”的规律(图6),但没有给出完整的证明,三国时期的赵爽就这一图解补写了一个漂亮的证明,大致意思是4个直角三角形(ab/2)和一个小正方形(b-a)2加起来等于c2。
▲图5 刘徽《海岛算经》
▲图6 《周髀算经》中的勾股定理
尽管赵爽的证明看起来比毕达哥拉斯学派的证明优美得多,但并不能掩盖中国古代数学与希腊几何学的明显差异。
【本文摘自《过时的智慧——科学通史十五讲》第六讲 独树一帜:中国科学史专题,上海教育出版社,2016年7月出版。】
▲《过时的智慧——科学通史十五讲》
延伸阅读
胡翌霖 | 我也来吐嘈《中国公民科学素质基准》
胡翌霖 | 互联网+房地产=免费?
胡翌霖 | 世界的“图层”——说说Pokemon GO与AR
胡翌霖 | 造超大对撞机值得吗?
胡翌霖 | 由史入思——吴国盛教授访谈
胡翌霖 | 技术的起源
胡翌霖 | 读李约瑟莫要“买椟还珠”——《文明的滴定》书评
胡翌霖 | 现代垃圾的形而上学基础
胡翌霖 | “学会”比特币的门槛更高吗?——兼谈技术知识的不同层面
胡翌霖 | 我所理解的现象学
胡翌霖 | 黑暗森林与进化法则,思维与表达——《三体》吐槽
胡翌霖 | 菜谱与科技史
胡翌霖 | “适者生存”的同义反复
胡翌霖 | 量子力学:引入了观察者or送走了上帝
胡翌霖 | 科学普及应该站在“创新”的对立面
胡翌霖 | 为什么害怕人工智能?——关于AlphaGo的杂谈
胡翌霖 | “人工智能”的现象学漫谈
胡翌霖 | 工业革命的经济背景
胡翌霖 | 蒸汽机的发明
胡翌霖 | 科学与工业的结盟
胡翌霖 | 培根科学的理论化
胡翌霖 | 法拉第——实验传统的巅峰
胡翌霖 | 达尔文与进化论
胡翌霖 | 工业革命——理论与实验的结合
胡翌霖 | 养生骗局的“锅”不该让观众背
胡翌霖 | 比特币:通俗介绍
胡翌霖 | 古老的希腊文明
胡翌霖 | 独特的城邦文化
胡翌霖 | 比特币:通俗介绍
胡翌霖 | 古老的希腊文明
胡翌霖 | 独特的城邦文化
胡翌霖 | 好斗的希腊人
胡翌霖 | 从体育馆到学园
胡翌霖 | 无用的学问
胡翌霖 | “自然”的发现
胡翌霖 | 自由的悖谬
胡翌霖 | 数理天文学的兴起
胡翌霖 | 宇宙论的两球模型
胡翌霖 | 柏拉图与“拯救现象”
胡翌霖 | 亚里士多德及其宇宙论
胡翌霖 | 亚历山大城的缪斯宫
胡翌霖 | 托勒密天文学
胡翌霖 | 古罗马及其学术状况
胡翌霖 | 罗马帝国的衰亡和古典学术的衰落
胡翌霖 | 古罗马及其学术状况
胡翌霖 | 阿拉伯人的数学和天文学贡献
胡翌霖 | 光学、医学、炼金术等
胡翌霖 | 阿拉伯科学的衰落
胡翌霖 | 李约瑟问题
胡翌霖 | 独特的史官文化
胡翌霖 | 皇家天文学
胡翌霖 | 天文推算的代数方法
- 因爱惜羽毛多次拒绝周星驰,星爷却说非他不可,最终证明没看
- 有多少朋友证明你有多少情商!
- 你想不想有个妹妹?研究证明有妹妹的会让你生活更开心更乐观
- 科学家们第一次证明了雷暴会引发裂变和反物质!
- 谁能证明他在这工作过?
- 这样吃鸡蛋等于慢性自杀,甚至致癌,老中医已证明,快告诉家里人
- 不瘦不许过年!新研究证明减肥一定能降低得乳癌风险
- 拿“伪造通知书”开购房证明被拒
- 身份证户口本也不能证明身份?这家派出所"怒怼"房管局
- 户口本身份证不能证明身份?房管局要开证明,被警察叔叔怼了回去