赵爽（Zhao Shuang，字君卿）
三国时代东吴数学家，以《周髀算经注》中的「弦图」证明勾股定理闻名，是中国古代几何直观证明的典范；生平不详，其工作是连接商高传说与刘徽理论化之间的关键一环。
一、生平与时代背景
赵爽，又名婴，字君卿，约生活于公元 3 世纪初（三国时期）。籍贯、生卒年皆不详，史料中关于其生平的直接记载几乎为零，只能从其著作的自注与后世文献中略作推断：
- 传本《周髀算经注》卷首题「赵君卿注」，书中注者多次自称「爽」，故后世断定注者名「爽」，「君卿」为其字（或号）；
- 书中两次提到孙吴颁行的历法，故一般定为三国吴人；但亦有「魏晋人」「汉人」等异说，未可定论；
- 赵爽自称「负薪余日，研究《周髀》，遂为之作注」，可见他是一位未脱离体力劳动的民间天算学者，并非显宦。
时代背景：东汉灭亡后中国进入三国（220—280）分裂期，但数学与天文学仍在传承。赵爽研究过张衡的天文数学著作《灵宪》与刘洪的《乾象历》，也提到《九章算术》，说明他处于汉代天算传统向魏晋理论化过渡的节点。其主要工作约完成于 222 年前后（深入研究并注释《周髀算经》）。
二、学术生涯年表
赵爽无可靠生卒年，以下年份多为据著作内容的间接推定。
| 年份 | 事件 |
|---|---|
| 约 3 世纪初 | 出生（存疑，三国吴地） |
| 约 222 年 | 深入研究《周髀算经》，撰写序言并作详细注释，附《勾股圆方图注》 |
| 约 3 世纪中 | 研究张衡《灵宪》、刘洪《乾象历》，疏解汉代勾股算术 |
| 后世 | 《周髀算经注》随《周髀算经》列入唐代《算经十书》，流传至今 |
三、核心成果（逐条技术解析）
1. 「弦图」证明勾股定理（《勾股圆方图注》）
问题背景：《周髀算经》与《九章算术》已使用勾股定理，但缺乏清晰的图形证明。赵爽在注《周髀》时，于卷首附录一篇 530 余字的《勾股圆方图注》（附插图，原图已佚，仅存文字），给出了一个极简洁的面积割补证明。
精确表述：赵爽将勾股定理表述为：
「勾股各自乘，并之，为弦实。开方除之，即弦。」
即 $a^2+b^2=c^2$。其证明方法（原文）：
「按弦图，又可以勾股相乘为朱实二，倍之为朱实四，以勾股之差自相乘为中黄实，加差实，亦成弦实。」
翻译成代数：以勾 $a$、股 $b$ 为直角边的直角三角形，面积为 $\tfrac{1}{2}ab$，四个这样的三角形（「朱实四」）面积为 $2ab$；中间以勾股差 $(b-a)$ 为边的小正方形（「中黄实」）面积为 $(b-a)^2$；两者拼成以弦 $c$ 为边的大正方形（「弦实」），故： $$c^2 = 2ab + (b-a)^2 = a^2 + b^2.$$
与前人关系：赵爽自注称「弦图又可以……」，一个「又」字暗示他认为商高答辞中已含一张弦图，自己的弦图是对商高的补充发挥（曲安京 1996 持此解读）。但目前能见到的无歧义的图形证明，最早即出自赵爽。
局限性：证明以 3-4-5 三角形为典型构造，但其代数推导 $2ab+(b-a)^2=a^2+b^2$ 对任意 $a,b$ 成立，实质上是一般性的，只是文字以特例言说。
2. 系统整理勾股形三边和差关系的 24 个命题
赵爽在《勾股圆方图注》中，以出入相补（图形割补面积不变）为统一方法，总结并证明了勾（$a$）、股（$b$）、弦（$c$）及其和、差之间互求的 24 个命题。例如：
- 由勾弦差、股弦差求勾、股、弦： $$a = \sqrt{2(c-a)(c-b)} + (c-b), \quad b = \sqrt{2(c-a)(c-b)} + (c-a),$$ $$c = \sqrt{2(c-a)(c-b)} + (c-b) + (c-a);$$
- 勾股并与勾股差的关系： $$(a+b)^2 = 2c^2 - (b-a)^2;$$
- 以及 $c=(c-a)+a$、$c+a=b^2/(c-a)$、$c-a=b^2/(c+a)$ 等对称公式。
这些公式「大都与《九章算术》及其刘徽注所阐述的相同，证明方法也类似」，可见是汉魏数学家的共识；但其中最后两式为刘徽注所无，术语亦稍异，部分为赵爽的独立整理或创获。
3. 二次方程求根与韦达型关系
赵爽在注文中研究了二次方程问题，得出与后世韦达定理类似的结果，并得到二次方程求根公式之一（基于「开带从平方」，即从几何平方根算法发展出的数值求根）。这是中国古代由几何平方根算法向代数方程求解过渡的重要环节。
4. 「齐同术」与重差术的证明
赵爽使用「齐同术」（分数通分与比率齐同的方法）于乘除运算，并在「日高图论」中利用几何图形面积关系，给出了重差术（两次测望求高远）的证明。重差术后由刘徽在《海岛算经》中系统化，但赵爽的「日高图」证明是其重要先声。
四、代表著作与文献
- 《周髀算经注》（约 222 年）：含序言、逐段注释，以及卷首附录的《勾股圆方图注》（530 余字，原图已佚仅存文字）。该书被收入唐代李淳风等编定的《算经十书》，是赵爽唯一传世的著作。
- 原始文献版本：钱宝琮校点《算经十书》上册（中华书局，1963）。
五、师承、学派与同时代交往
赵爽的师承无明确记载。从其工作看，他上承汉代《周髀算经》《九章算术》的勾股算术传统（研究过张衡、刘洪著作），与刘徽（约 225—295）大致同时而略早，但两人是否有直接交往无史料可证。赵爽偏南（东吴），刘徽偏北（曹魏），各自独立地推进了勾股定理的证明：赵爽以「弦图」，刘徽以「出入相补」，方法不同而殊途同归。
六、争议、公案与历史评价
- 生平与年代：赵爽的生卒年、籍贯不详，「又名婴」「东吴/魏晋/汉人」诸说并存，标存疑。其注《周髀》的「约 222 年」为学界通行推定，非有明确纪年。
- 证明的原创性归属：赵爽弦图究竟是原创证明，还是阐释商高/汉代已有的旧图，学界有分歧。曲安京认为赵爽是在研究商高答辞基础上「补充发挥」出弦图；亦有学者认为赵爽的证明是独立创作。稳妥说法：目前可见的最早无歧义图形证明出自赵爽，但其思想渊源可溯至汉代勾股算术。
- 历史评价：清阮元《畴人传》评《勾股圆方图注》：「五百余言耳，而后人数千言所不能详者，皆包蕴无遗，精深简括，诚算氏之最也。」这一评价高度肯定了其在极简篇幅内整合勾股算术的能力。
七、身后影响与学术谱系
- 赵爽的「弦图」成为中国古代证明勾股定理的标准范式，2002 年北京国际数学家大会的会徽即取材于赵爽弦图，足见其文化象征地位；
- 其出入相补思想被刘徽明确概括为「出入相补原理」，成为后世「演段术」（图形割补代数）的基础，影响直至宋元；
- 在「商高（特例）→ 赵爽（弦图证明）→ 刘徽（出入相补与理论化）→ 祖冲之/祖暅（球体积）」的中国古代几何主线上，赵爽承上启下，是从特例到一般证明的关键人物。
八、延伸阅读与权威来源
- 惠州学院：赵爽（《中国古代科学家传记》条目）：中文权威来源，引《勾股圆方图注》原文，述 24 命题与二次方程成果。
- 曲安京《商高、赵爽与刘徽关于勾股定理的证明》（《数学传播》1996，菏泽学院转载）：中文权威研究，分析赵爽弦图与商高答辞的关系。
- MacTutor: The Ten Mathematical Classics：介绍《周髀算经》与赵爽注释中的勾股定理证明。
- MacTutor: Overview of Chinese mathematics：综述赵爽在勾股定理证明史中的位置，并指出学术争议。
- Wikipedia: Zhoubi Suanjing：交叉核对赵爽注释的年代与证明归属的分歧。
- 人民网：勾股定理与赵爽注：普及性中文资料，引《周髀算经》「勾三股四弦五」原文。