线性方程组与消元

鸡兔同笼，你其实早会了

鸡兔共 35 只，腿共 94 条，各几只？设鸡 x、兔 y：x + y = 35，2x + 4y = 94。这就是一个线性方程组——「线性」指未知数都是一次方，没有 x² 这类拐弯项。

类比：消元就是「配平购物单」

清单 A：1 鸡 1 兔 = 35 只；清单 B：2 鸡 4 兔 = 94 条腿。把 A 翻倍得「2 鸡 2 兔 = 70」，和 B 一减，鸡被消掉：剩 2 兔 = 24，兔 = 12，回代得鸡 = 23。这就是消元法，《九章算术》两千年前就系统讲过。

为什么值得单独研究

真实问题动辄几百个未知数：天气预报解上百万个方程。消元法的伟大在于它是一套机械流程，不看题目内容也能执行——这正是计算机最爱干的事。

三种可能的结局

解只有三种：唯一解（鸡兔同笼）、无解（x + y = 1 又要求 x + y = 2，自相矛盾）、无穷多解（两方程是同一条件，管不住两个未知数）。

常见误区：方程个数够就一定有解吗

不一定。3 个方程 3 个未知数，若有一个方程是另两个拼凑出的重复条件，照样解不出。关键不是方程个数，而是独立条件的个数——这直觉以后叫「秩」。

练一练：用消元法解 x + y = 10、3x + y = 22，说说每步消了什么。