商高（Shang Gao）
中国数学史上有文字可考的最早人物之一，以《周髀算经》中「勾三股四弦五」的记述闻名，但生平几无信史，其是否已「证明」勾股定理至今仍是数学史界的争议公案。
一、生平与时代背景
商高是西周初年（约公元前 11 世纪）的人物，传统上被视为中国最早的数学家。关于他的生平，可靠史料极其稀少，几乎全部来自后世著作中的追述，必须严格区分「信史」与「传说/后世附会」。
可视为信史的最早记载，是约成书于公元前 1 世纪（西汉）的天算典籍《周髀算经》。该书开篇以对话体记述「周公问于商高」，商高答辞中论述了勾股测量之法。三国吴人赵爽（约公元 3 世纪）为《周髀算经》作注时，仅有一句极简的身份说明：「商高，周时贤大夫，善算者也。」除此之外，早期正史（如《史记》《汉书》）中并无商高的独立传记，因此清代以前学者多将其视作半传说人物。
地方志提供的新线索（存疑）：1987 年，数学史家李继闵及其学生曲安京在编纂地方科技史时，从《商南县志》卷八「人物志」中检获一条记载：「[周]商高，黄帝之昆孙。以地得姓。周初封子男于商。精数学，《周髀》衍其说为算经。《国语》曰司商。」李继闵据此考证，认为商高为西周初期数学家「殆无疑问」。然而必须指出：地方志世代相传，有一定可信度，但《商南县志》成书年代远晚于西周，且「黄帝之昆孙」「封子男于商」等说法带有明显的后世谱系建构色彩，未见于先秦两汉正史，只能视为有待佐证的旁证，不能等同于信史。
时代背景上，商高被置于西周初年——周公旦摄政的时代（公元前 11 世纪）。这一时期中国已有较成熟的测地与天文观测传统（使用髀/表杆测影），但数学知识主要靠口传与简牍，专门的数学著作尚未出现。《周髀算经》将商高的答辞置于全书卷首，意在把中国数学与天文学的源流上溯至西周开国之际。
二、学术生涯年表
商高无可靠生卒年记录，以下年表仅列可系年的后世记载，凡不确定处皆标注「约」或「存疑」。
| 年份 | 事件 |
|---|---|
| 约前 11 世纪 | 传说中商高与周公旦答问，论勾股测量之法（见载于后世《周髀算经》） |
| 约前 1 世纪 | 《周髀算经》成书（保守估计），开篇追述周公—商高问答，保留「勾三股四弦五」文字 |
| 约公元 3 世纪 | 赵爽注《周髀算经》，称「商高，周时贤大夫，善算者也」，并以弦图疏解商高答辞 |
| 1987 年 | 李继闵、曲安京从《商南县志》检获商高生平记载（地方志，非正史，存疑） |
三、核心成果（逐条技术解析）
1. 「勾三股四弦五」——勾股定理的最早文字特例
问题背景：在测地与天文观测中，需要由直角三角形的两边求第三边。《周髀算经》卷上商高答周公问中给出了最经典的一组整数勾股数。
精确表述：商高答辞原文（81 字）为：
「数之法出于圆方，圆出于方，方出于矩，矩出于九九八十一。故折矩，以为句广三，股修四，径隅五。既方之，外半其一矩，环而共盘，得成三四五。两矩共长二十有五，是谓积矩。故禹之所以治天下者，此数之所生也。」
其中「句广三，股修四，径隅五」即 $3^2+4^2=5^2$，是勾股定理（勾²+股²=弦²）的一个特例。这是目前所知中国最早的勾股数文字记录，比毕达哥拉斯（约前 6 世纪）早约五百年。
与前人关系：商高之前，古巴比伦泥板（如 Plimpton 322，约前 1800 年）已记录多组勾股数，但中国此条是独立的文字记述，两者无证据表明有传播关系。
局限性：这是 3-4-5 的特例，并非对一般直角三角形 $a^2+b^2=c^2$ 的普遍陈述；一般性的勾股定理及证明，要到《九章算术》（约前 1 世纪—公元 1 世纪）与赵爽、刘徽的注释才明确出现。
2. 「数之法出于圆方」——早期数学抽象思想
商高答辞开头「数之法出于圆方，圆出于方，方出于矩，矩出于九九八十一」，是一句高度浓缩的数学哲学命题：
- 直觉：任何可测度的事物形态，不圆则方，故「数」（度量）的根本法则可归结为对圆与方的计算；
- 「圆出于方」：古人取 $\pi\approx 3$，于是圆周长、圆面积都可化为边长等于圆径的正方形来度量（圆:方 $=3:4$）；
- 「方出于矩」：方是矩形（矩）的特例；
- 「矩出于九九八十一」：矩形面积由长×宽得出，依赖乘法（九九乘法表）。
这体现了把万物抽象为「圆—方—矩—数」的还原论思路，是中国古代「寓理于算」传统的早期表达，为后世测地、天文计算奠定了观念基础。
3. （存疑）是否已给出勾股定理的一般性证明
这是 20 世纪以来数学史界反复讨论的公案：商高答辞中「既方之，外半其一矩，环而共盘」等语，是否构成对勾股定理的一般性证明？
- 1950 年代中国大陆学界曾就此热烈讨论，因原文过于隐晦而不了了之；
- 1982 年陈良佐、1989 年李国伟与程贞一、1993 年李继闵分别撰文，多主张商高已证明勾股定理；
- 曲安京（1996）进一步将「矩」释为长方形，复原出「既方之 → 外半之 → 环而共盘」的弦图构造，认为商高确实给出了证明；
- 但西方学者 Cullen（1996）在其英译《周髀算经》中质疑：认为《周髀》原文并不构成严格证明，后世相信其有证明，部分基于 Needham 的有瑕疵翻译（MacTutor「中国数学总览」亦指出此分歧）。
结论：商高是否「证明」了一般勾股定理，学界尚无定论。稳妥的表述是：商高给出了 3-4-5 特例与一套构造性的几何操作描述；而清晰、无歧义的图形证明（弦图）目前最早可归功于公元 3 世纪的赵爽。
四、代表著作与文献
商高本人无著作传世。其学说仅见载于：
- 《周髀算经》（约前 1 世纪成书）：卷上「周公问于商高」章，保留商高答辞 81 字。
- 赵爽《周髀算经注》（约公元 3 世纪）：疏解商高答辞，并以「弦图」阐发勾股定理。
五、师承、学派与同时代交往
商高被《周髀算经》设定为周公旦的「大夫」（答问对象），但师徒关系、学派归属均无史料可考。后世（如《商南县志》）将其附会为「黄帝之昆孙」，属于谱系建构，不可据为信史。他与周公的「问答」更可能是《周髀算经》作者采用的一种托古叙事体例，而非真实的师生对话记录。
六、争议、公案与历史评价
- 生平信史问题：商高在正史无传，仅见于《周髀算经》问答与赵爽一句注。其真实身份、是否确有其人，长期存疑；《商南县志》的记载提供了新线索但等级不足，标存疑。
- 「商高定理」命名：中文语境常把勾股定理称为「商高定理」，以纪念其最早的文字记录。但严格地说，商高只留下 3-4-5 特例；一般性定理的明确陈述在《九章算术》，图形证明目前最早见于赵爽。称「商高定理」是文化追认，不宜据此认定商高完成了普遍证明。
- 是否早于毕达哥拉斯：商高（约前 11 世纪）的记载在时间上早于毕达哥拉斯（约前 6 世纪），但两者是独立传统，且记录的可靠程度不同（商高为后世追述，毕达哥拉斯本人亦无著作传世）。比较「谁先发现」须谨慎。
七、身后影响与学术谱系
商高的答辞为《周髀算经》奠定了开篇基调，其「勾三股四弦五」成为中国古代勾股算术的经典出发点，直接影响了：
- 赵爽：以「弦图」疏解商高答辞，创「勾股圆方图说」；
- 刘徽：在《九章算术注》中以「出入相补」证明勾股定理，并系统发展勾股测量；
- 后世测地术、天文历法中的勾股测量传统。
在「商高 → 赵爽 → 刘徽 → 祖冲之/祖暅」这条中国古代勾股与几何主线上，商高被尊为源头，但应理解为文化符号意义上的源头，而非有完整著作传世的历史人物。
八、延伸阅读与权威来源
- MacTutor: Overview of Chinese mathematics：权威综述，述及《周髀算经》与勾股定理，并指出 Cullen 对「证明」一说的质疑。
- MacTutor: The Ten Mathematical Classics：介绍《周髀算经》成书年代与商高—周公问答的原文英译。
- Wikipedia: Zhoubi Suanjing：交叉核对《周髀》成书年代、商高身份及勾股定理证明归属的学术分歧。
- 曲安京《商高、赵爽与刘徽关于勾股定理的证明》（《数学传播》1996，菏泽学院转载）：中文权威研究，复原商高答辞的弦图构造，并披露《商南县志》商高记载。
- 惠州学院：赵爽（含商高答辞与勾股圆方图注原文）：中文权威来源，引《周髀算经》赵爽注原文。
- 国学大师：商高：辑录商高生平的传统史料，需与正史互校。