P3951 线性方程

题意

传送门 P3951 小凯的疑惑 / [蓝桥杯2013省]买不到的数目

题解

已知 $gcd(a,b)=1$，求不满足 $ax+by=c,x\ge 0,y\ge 0$ 最大的正整数 $c$。

设线性方程 $ax+by=c$ 的一组特解为 $x_0,y_0$，则通解为
$$\{\begin{array}{l}x=x_0+bt\\ y=y_0-at\end{array}$$ 其中 $t\in \mathbb{Z}$。目标是构造出一个 $c$ 使 $x,y$ 异号，设特解满足
$$\{\begin{array}{l}{x}_0>0,y_0<0,t\ge 0\\ x_0<0,y_0>0,t<0\end{array}$$ 那么得到 $$\{\begin{array}{l}0<x_0<b\\ -a<y_0<0\end{array}$$ 又由整数的离散性可知 $$\{\begin{array}{l}1\le x_0\le b-1\\ -a+1\le y_0\le -1\end{array}$$ 取 $x_0,y_0$ 的最大值，即 $x_0=b-1,y_0=-1$ 带入线性方程，得到
$$c=a\times (b-1)+b\times -1=ab-a-b$$ 数据保证存在这样的 $c$，那么最大值的存在性也可以这样解释：将 $x,y$ 参数方程联立，求解得直线方程
$$y=-\frac{a}{b}x+\frac{a}{b}{x}_0+y_0$$ 与坐标轴的交点为 $$(0,\frac{a}{b}{x}_0+y_0),(x_0+\frac{b}{a}{y}_0,0)$$ $c>0$，故直线与横纵坐标交点在正半轴上。当 $c,c\in \mathbb{Z}$ 增大，$x_0,y_0$ 随之线性增大，直线向上平移；在某个位置往上，直线在第一象限的部分必然会出现横纵坐标为整数的点。

#include <bits/stdc++.h>
using namespace std;
typedef long long ll;

int main()
{
    ll a, b;
    scanf("%lld%lld", &a, &b);
    printf("%lld\n", a * b - a - b);
    return 0;
}