在《周髀算经》卷上之二中还有一段“荣方”与“陈子”的一段对话。陈子回答说:“若求邪(同斜——引者注)至日者,以日下为勾,日高为股,勾股各自乘,并而开方除之,得邪至日。从髀所旁至日所十万里。”[53]这其中,“勾股各自乘,并而开方除之”一句被认为是普遍勾股定理的明确表达。到三世纪,数学家赵君卿在《周髀算经》注中所作的“勾股方圆图”给予上述证明更直观的表达。其特点是将两个全等的直角三角形(三角形涂上朱色,它的面积叫作“朱实”)合起来成为一个矩形。四个这样的矩形围成一个大正方形,中间留出一个小正方形的空格(涂上黄色,其面积叫作“中黄实”,也叫“差实”),从而构成“弦图”结构。很显然,商高、陈子和赵君卿对勾股定理的证明是通过数值计算的方法给出的(李约瑟已认识到这一点[54]),而这个计算又是通过设置一个“背景”图形,通过“背景”图形与“弦图”的比较而给出的(见图7-2)。其证明(计算)的过程首先是从四个同等的矩形构成的大正方形入手的,即从整体出发,逐步分解小的图形。其计算过程也是从大的数值(49)减小的数值(24),最后得到所求的数值(25)。
相关影视:西瓜影院午夜电影在线观看视频下载