最后更新: 2025-03-08 12:01 查看: 152 次反馈同步训练

百鸡问题

## 百鸡问题
这是公元 5 世纪末，我国数学家张丘建在他所著《算经》里提出的一个著名的不定方程问题。百鸡问题通俗叙述为：

> 公鸡一只值五文钱，母鸡一只值三文钱，小鸡三只值一文钱，现在买了这三种鸡共一百只，恰用了一百文钱。问公鸡，母鸡，小鸡各买多少只？

古希腊伟大的数学家丢番图（Diophantus），在他所著《算术》中，共载有 189 个问题，对每个题都给出了出人意料的巧妙解法，启迪着人们的智慧。后人把这类关于不定方程的题目叫做丢番图问题。在求整系数方程的整数解时，这个方程就称为不定方程。一次不定方程（又称线性不定方程）的形式是

$$
a_1 x_1+a_2 x_2+\cdots+a_n x_n=k
$$

其中 $a_1, a_2, \cdots, a_n, k$ 都为整数。
该方程有解的充分必要条件是 $\left(a_1, a_2, \cdots, a_n\right) \mid k$ 。
设 $x=x_0, y=y_0$ 是不定方程 $a x+b y=k$ 的一个解，则它的一切解是

$$
x=x_0-\frac{b}{(a, b)} r, \quad y=y_0+\frac{a}{(a, b)} r,
$$

其中 $r$ 为任意整数．
对有些不定方程，由题目的特点，可以用更简捷和巧妙的方法去解。

## 求解
现在我们来解百鸡问题。
设 $x, y, z$ 分别表示公鸡，母鸡，小鸡的只数，由题意有

$$
\left\{\begin{array}{l}
5 x+3 y+\frac{1}{3} z=100 ...(1) \\
x+y+z=100  ...(2)
\end{array}\right.
$$

$(1) \times 3- (2)$得

$$
14 x+8 y=200
$$

这是个一次不定方程．用 $(14,8)=2$ 除，就有
$$
7 x+4 y=100  ...(3）
$$

即

$$
y=\frac{-7 x+100}{4}=-x+25+\frac{-3 x}{4}
$$

令 $-3 x / 4=z_1$ ，即

$$
3 x+4 z_1=0
$$

从而

$$
x=\frac{-4 z_1}{3}=-z_1+\frac{-z_1}{3}
$$

再令 $-z_1 / 3=t$ ，即 $z_1=-3 t$ ，代入 $x$ 的表达式，
得

$$
x=\frac{-4 \times(-3 t)}{3}=4 t
$$

再代入 $y$ 的表达式，得

$$
y=\frac{-7 \times 4 t+100}{4}=25-7 t
$$

于是由方程（2），得

$$
z=100-x-y=75+3 t
$$

因此有

$$
\left\{\begin{array}{l}
x=4 t, \\
y=25-7 t, \\
z=75+3 t,
\end{array} \quad t\right. \text { 为整数. }
$$

因 $x, y, z$ 是非负数，所以 $t$ 只能取 $0,1,2,3$ ，因此得四组解

$$
\left\{\begin{array} { l } 
{ x = 0 , } \\
{ y = 2 5 , } \\
{ z = 7 5 ; }
\end{array} \quad \left\{\begin{array} { l } 
{ x = 1 , } \\
{ y = 1 8 , } \\
{ z = 7 8 ; }
\end{array} \quad \left\{\begin{array} { l } 
{ x = 8 } \\
{ y = 1 1 , } \\
{ z = 8 1 ; }
\end{array} \quad \left\{\begin{array}{l}
x=12 \\
y=4 \\
z=84
\end{array}\right.\right.\right.\right.
$$

如果 $x, y, z$ 是正整数，那么只有后三组解．

## 思路总结
在解一次不定方程时，总的思路是导入新的未知数，使方程系数的绝对值逐渐减少，逐步归结为解与原方程同解的其他不定方程，最后变为有一个未知数的系数是 1 或 -1 的这种最简单的情况．在有的情况下，可以直接观察而找出解，如求出 $2 x+6 y=18$ 的所有解．该式除以公因子后，得 $x+3 y=$ 9 ，由观察法知 $y=0, x=9$ 是一组解，因此方程所有解可写为

$$
\left\{\begin{array}{l}
x=9+3 t, \\
y=-t,
\end{array} \quad \text { 其中 } t\right. \text { 为整数. }
$$

现在，我们给出解一次不定方程的另一个更好的方法，即用同余式去解不定方程。我们给出线性同余式

$$
a x \equiv b(\bmod m) .
$$

> 同余的定义： 若两个数 $a$ 与 $b$ 除以 $m$ 的余数相同，或说 $a-b$ 可被 $m$ 整除，则说 $a$ 与 $b$ 同余于 $m$ 或 $a$ 等于 $b$ 模 $m$ 。 详见[数论](https://kb.kmath.cn/kbase/detail.aspx?id=792)

一般将“ $a$ 与 $b$ 同余于 $m$ "记

免费注册看余下 50%

本站提供海里试题，欢迎使用，最低 8.2 元/月，非VIP每天12篇文章

赞助本站

上一篇：没有了

下一篇：聪明的囚徒

本文对您是否有用？有用 (0) 无用 (0)