2020-2021:teams:legal_string:jxm2001:other:结论_2
差别
这里会显示出您选择的修订版和当前版本之间的差别。
| 两侧同时换到之前的修订记录 前一修订版 | |||
|
2020-2021:teams:legal_string:jxm2001:other:结论_2 [2021/03/06 11:43] jxm2001 [6、石子游戏] |
2020-2021:teams:legal_string:jxm2001:other:结论_2 [2021/05/23 09:22] (当前版本) jxm2001 |
||
|---|---|---|---|
| 行 64: | 行 64: | ||
| 详细见 [[https://wiki.buaaacm.com/doku.php?id=2020-2021:teams:legal_string:jxm2001:contest:cf_feb21#multiple_games|证明]] | 详细见 [[https://wiki.buaaacm.com/doku.php?id=2020-2021:teams:legal_string:jxm2001:contest:cf_feb21#multiple_games|证明]] | ||
| + | |||
| + | ===== 7、线性表示 ===== | ||
| + | |||
| + | 当 $a,b$ 互素时，$ax+by(x,y\ge 0)$ 不能表示的正数等价于所有形如 $ab-an-bm(n,m\ge 1)$ 的正数。 | ||
| + | |||
| + | 一方面，考虑 $ab-a-b=a(b-1)-b=b(a-1)-a$ 显然不能表示为 $ax+by(x,y\ge 0)$。 | ||
| + | |||
| + | 当 $k$ 不能表示为 $ax+by(x,y\ge 0)$ 时，显然 $k-a,k-b$ 均不能表示为 $ax+by(x,y\ge 0)$。 | ||
| + | |||
| + | 于是所有形如 $ab-an-bm(n,m\ge 1)$ 的正数均不能表示为 $ax+by(x,y\ge 0)$。 | ||
| + | |||
| + | 另一方面，考虑任意 $ax+by(x,y\ge 0)$ 不能表示的正数，这个数一定表示为 $ax'+by'$，调整 $x'$ 使得 $0\le x'\lt b$，于是有 $y'\lt 0$。 | ||
| + | |||
| + | 于是有 $ax'+by'=ab+a(x'-b)+by'$，令 $n=b-x',m=-y'$，于是有 $n,m\ge 1$。 | ||
| + | |||
| + | 故任意 $ax+by(x,y\ge 0)$ 不能表示的正数一定可以表示为 $ab-an-bm(n,m\ge 1)$。证毕。 | ||
2020-2021/teams/legal_string/jxm2001/other/结论_2.1615002216.txt.gz · 最后更改: 2021/03/06 11:43 由 jxm2001
