互质的两个数不能凑出的最大数

这个问题的数学描述是这样的，给你互质的两个数$a$和$b$，问$k_{1}a+k_{2}b(k_1>1,k_2>1)$不能等于的最大数是多少？

• 随便举几个例子比如$2,3,5,7,11......$这些数中随便拿出两个，通过打表找他们能够凑出哪些数可以发现，总能在某个位置之后能够凑出的数变得连续从而一直到无穷大都能达到，那么究竟它们不能凑出的最大数是多少呢？

事实上答案是$a\times b-a-b$

• 反证法证明这个数不能由$a$和$b$得到
  假设能，那么有$$ab-a-b=k_{1}a+k_{2}b$$从而$$(k_1+1)a+(k_2+1)b=ab$$因为$a,b$互质，根据整除的性质，可以得到$a\mid (k_2+1)$，那么$(k_2+1)\ge a$，从而$(k_2+1)b\ge ab$，同理可得$(k_1+1)a\ge ab$，那么左侧$\ge 2ab>ab$，显然左右不可能相等
• 接下来需要证明的是比它大的数能凑出来，也就是$ab-a-b+d=k_{1}a+k_{2}b(d>0)$，这个证明显得不太容易，还是参考别人的证明过程吧
  https://www.cnblogs.com/Yuzao/p/7074465.html