赵爽,又名婴,字君卿。中国古代数学家、天文学家。三国时
孙吴人,一说魏晋人,或
汉族,约生活于公元3世纪初。他研究过
张衡的天文数学著作和
刘洪的《乾象历》,也提到过《
九章算术》。
他的主要贡献是约在222年深入研究了《
周髀算经》,为该书写了序言,并作了详细注释。其中一段530余字的“勾股圆方图”注文是数学史上极有价值的文献。它记述了
勾股定理的理论证明,将勾股定理表述为:“勾股各自乘,并之,为弦实。开方除之,即弦。”证明方法叙述为:“按弦图,又可以勾股相乘为
朱实二,倍之为朱实四,以勾股之差自相乘为中黄实,加差实,亦成弦实。”
如图,2ab+(b-a)²=c²,化简便得a²+b²=c²。其基本思想是图形经过割补后,面积不变。
刘徽在注释《
九章算术》时更明确地概括为出入相补原理,这是后世演段术的基础。
赵爽在注文中证明了勾股形三边及其和、差关系的24个命题。例如 √(2(c-a)(c-b)) + (c-b) = a, √(2(c-a)(c-b)) + (c-a) = b, √(2(c-a)(c-b)) + (c-a) + (c-b) = c等等。他还研究了
二次方程问题,得出与
韦达定理类似的结果,并得到二次方程求根公式之一。此外,使用“齐同术”,在乘除时应用了这一方法,还在‘旧高
一笔画问题”中给出重差术的证明。
赵爽的数学思想和方法对中国古代数学体系的形成和发展有一定影响。
赵爽自称负薪余日,研究《
周髀算经》,遂为之作注,可见是一个未脱离体力劳动的天算学家。一般认为,《周算经》成书于公元前100年前后,是一部引用分数运算及
勾股定理等数学方法阐述盖天说的
天文学著作。而大约同时成书的《
九章算术》则明确提出了勾股定理以及某些解勾股形问题。赵爽《周髀算经注》逐段解释《周髀》经文。而最为精彩的是附录于首章的勾股圆方图,短短500余字,概括了《周髀算经》、《九章算术》《九章算术》以来中国人关于勾股算术的成就,其中包含了勾股定理勾股定理(这里以a,b,c分别代表
直角三角形的勾、股、弦三边之长)及其变形,
;有通过开带从平方求勾a,开平方求勾a,开带从平方求勾弦差c-a的方法,以及,,, 等公式,与上述公式对称,也有求及由求c, b的公式,又有由勾弦差、股弦差求勾、股、弦的公式以及勾股差b—a与勾股并b+a的关系式,, ,进而由此给出了求a,b的公式,最后给出了由弦与勾(或股)表示的股(或勾)弦并与股(或勾)弦差之差:
赵爽用出入相补方法对上述公式作了证明。这些公式大都与《
九章算术》及其
刘徽注所阐述的相同,证明方法也类似,只是最后两个公式为刘徽注所没有,所用术语也与刘徽稍异。可见,这些知识是汉魏时期数学家们的共识。《
畴人传》说勾股圆方图注“五百余言耳,而后人数千言所不能详者,皆包蕴无遗,精深简括,诚算氏之最也”。