内容 四元术 · 07
原文定位
相消是四元术的核心动作：通过乘、减、合并，逐步减少元数。
四元式对照 table
古代位格 | 现代记号 | 读法 |
|---|---|---|
| 天 | x | 第一未知量 |
| 地 | y | 第二未知量 |
| 人 | z | 第三未知量 |
| 物 | w | 第四未知量 |
| 相消 | elimination | 消去变量 |
四元相消
现代符号还原 现代白话辅助
现代称 elimination。它和后来的结果式、Groebner 基不是同一体系，但目标相近：把多元问题降维。
分步证明Step-by-step proof
1 / 3选择要消去的元。
把两个式子配成同次。
相减后检查该元是否消失。
古今对照 context
讲现代对照时要守边界：可说“同属消元思想”，不说朱世杰已经使用现代代数几何。
我的笔记 自动保存