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

婆罗摩笈多《婆罗摩笈多修正体系》——零的运算

6世纪 | 婆罗摩笈多代数·数论突破

a + 0 = a  a − 0 = a a × 0 = 0 a ÷ 0 = 未定义 负数运算 + 二次方程含负根(628 年) 零的运算规则最早系统陈述
零的加减乘除法则

知识/定理

婆罗摩笈多(598–668):给出零的加减乘除法则(0 作除数除外)、负数运算、二次方程含负根。

公式

$a+0=a$;$a-0=a$;$a\times0=0$;$a\div0=\text{未定义}$;二次方程求根公式含负根。

证明思路

(运算规则)以负债/正负量的实际语义确定符号与零法则。

应用/例子

天文历算、商业盈亏。

意义/影响

零运算规则的最早系统陈述;为十进制位值制的「零」提供完整算术支撑。

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