裴蜀等式——凑邮资问题

时间：2018-12-17 21:05:35 阅读：420 评论：0 收藏：0 [点我收藏+]

标签：mat ref dash inf 整数 play 技术分享大于 ctime

从一道“数学归纳法”例题说起

题目：当n≥17时，用面值4元和面值7元的邮票可支付任何n元邮资。即对于任意正整数n≥17，存在非负整数a,b，使得4a+7b=n

证明：（归纳法）

设P(n)表示“可以用面值4元和7元的邮票支付n元邮资”，令Q(n)=P(n)^P(n+1)^P(n+2)^P(n+3)，则

P(18)=2*7+4，P(19)=3*4+7，P(20)=5*4，P(21)=3*7，于是Q(18)为真。

假设对于k≥18，有Q(k)=P(k)^P(k+1)^P(k+2)^P(k+3)为真

则Q(k)=P(k+1)^P(k+2)^P(k+3)^P(k+4)也为真，因为P(k)成立，选用面值为4的邮票，P(k+4)也成立。

更一般的情况

令a和b是正整数，不失一般性地假设 gcd(a,b)=1 。则存在 n ，使得对所有的正整数 k≥n， k元的邮资都可以用 a 元的邮票和 b 元的邮票凑齐。

也即可以找到非负整数 s 和 t 使得 sa+rt=k ——这就是裴蜀等式。

定理1 对于不全为0的整数 $技术分享图片$ 和 $技术分享图片$ ，方程 $技术分享图片$ 存在整数解 $技术分享图片$ 和 $技术分享图片$ 当且仅当 $技术分享图片$ 。方程 $技术分享图片$ 称作裴蜀（Bezout）等式或贝祖等式。

对于裴蜀等式的解，有如下一般性结果：

定理2 假设 $技术分享图片$ 和 $技术分享图片$ 是不全为0的整数， $技术分享图片$ 和 $技术分享图片$ 是方程 $技术分享图片$ 的一组整数解，则方程 $技术分享图片$ 的所有解为： $技术分享图片$ ，其中 $技术分享图片$ 是整数。

证明：

“构成解”很容易验证。反过来，假设 $技术分享图片$ 和 $技术分享图片$ 是方程 $技术分享图片$ 的一组整数解，则有 $技术分享图片$ 。

于是 $技术分享图片$ ，由于 $技术分享图片$ 和 $技术分享图片$ 互素，有 $技术分享图片$ ，即得

技术分享图片

推论：假设整数 $技术分享图片$ 与 $技术分享图片$ 互素，则存在整数 $技术分享图片$ ， $技术分享图片$ ， $技术分享图片$ ， $技术分享图片$ 使得 $技术分享图片$ 及 $技术分享图片$ 。

我们反过来思考，假设a,b已知，且存在N，使得任意的n>N都能由a,b线性表示，求N的最小值。

面值的下界

定理： $技术分享图片$ 和 $技术分享图片$ 是互素的正整数，则当 $技术分享图片$ 时，方程 $技术分享图片$ 均有非负整数解，而 $技术分享图片$ 没有非负整数解。

证明：

假设 $技术分享图片$ ，方程 $技术分享图片$ 的所有整数解为 $技术分享图片$ ， $技术分享图片$ ，其中 $技术分享图片$ 。取 $技术分享图片$ ，使得 $技术分享图片$ ，则由 $技术分享图片$ ，有 $技术分享图片$ ，从而 $技术分享图片$ ，即 $技术分享图片$ 。于是 $技术分享图片$ 就是 $技术分享图片$ 的一个非负整数解。

另一方面，若非负整数 $技术分享图片$ 和 $技术分享图片$ 使得 $技术分享图片$ ，则 $技术分享图片$ 。于是 $技术分享图片$ ，由 $技术分享图片$ 有 $技术分享图片$ ，从而 $技术分享图片$ ；同样可知 $技术分享图片$ 。因此 $技术分享图片$ ，导致矛盾，所以 $技术分享图片$ 不存在非负整数解。

该定理表明，如果 $技术分享图片$ 和 $技术分享图片$ 是互素的正整数，则 $技术分享图片$ 具有这样的性质： $技术分享图片$ 元邮资无法用 $技术分享图片$ 元的邮票和 $技术分享图片$ 元的邮票凑齐；而对于每个大于 $技术分享图片$ 的正整数 $技术分享图片$ ， $技术分享图片$ 元的邮资都可以用 $技术分享图片$ 元的邮票和 $技术分享图片$ 元的邮票凑齐。