DOXA · 数学编年史 · 知识详情

《九章算术》方程术——线性方程组消元

前1世纪 | 中国汉代数·数论突破

上禾 1 1 1 中禾 2 3 1 下禾 3 2 1 粟 39 34 26 ⇒ 直除 遍乘 → 逐行相减 消元至三角 = 高斯消元 《九章算术》方程术 · 世界最早的线性方程组解法
方程术「直除」= 高斯消元雏形

知识/定理

《九章算术》「方程」章:多(列)元线性方程组的消元解法——世界上最早的线性方程组系统解法。

公式

按列布筹;「遍乘直除」——对一列乘系数后逐行相减,消元至三角/对角形(高斯消元法)。

证明思路

(算法证明)刘徽注证「直除」逐步消元必然得解,过程即高斯消元。

应用/例子

粟米分配、征役、混合比例实际问题。

意义/影响

比欧洲高斯消元早约 1800 年;算法复杂度的古代典范。

所属:三 古印度与中国 | 难题证明状态 ↔ 数学难题编年