灯下 登录
数学 / 李冶天元术 / 差数作为约束

测圆海镜 · 小差入式

题目给出“小差”时,差数不是答案,而是把两个未知线段绑在一起的约束。

位格

天元术说法

现代记号

所求立天元一x
常数项太 / 实a0
一次项a1x
方程相消得式P(x)=0

测圆海镜 · 小差入式

若两段为 u、v,给出 u-v=d,再把 u、v 都写成 x 的表达式。

分步证明Step-by-step proof
1 / 3
  1. 把差数留作已知常量 d。

  2. 用 u=v+d 统一变量。

  3. 代入勾股式相消。

古代术文常把差数处理得很短,现代讲解要把“差是约束”这一步补出来。