NOIP2017小凯的疑惑

小凯的疑惑

(math.cpp/c/pas)
【问题描述】
小凯手中有两种面值的金币，两种面值均为正整数且彼此互素。每种金币小凯都有无数个。在不找零的情况下，仅凭这两种金币，有些物品他是无法准确支付的。现在小凯想知道在无法准确支付的物品中，最贵的价值是多少金币？注意：输入数据保证存在小凯无法准确支付的商品。

【输入格式】

两个正整数 a 和 b，表示小凯手中金币的面值。

【输出格式】

一个正整数 N，表示不找零的情况下，小凯用手中的金币不能准确支付的最贵的物品的价值。

【样例】

3 7

11

【数据规模与约定】

对于 30%的数据： 1 ≤ a，b ≤ 50。
对于 60%的数据： 1 ≤ a，b ≤ 10,000。
对于 100%的数据：1 ≤ a，b ≤ 1,000,000,000。

题解

ans=a*b-a-b。

证明

定理: 对于正整数p , q满足gcd(p, q) = 1, 我们有px + qy = n 无非负整数解的最大正整数n 为pq - p - q .
反证法证明px + qy ≠ pq - p - q :
我们假设存在正整数x 和y 使得px + qy = pq - p - q ,
则p(x + 1) + q(y + 1) = pq
∵ gcd(p, q) = 1,p | q(y + 1)
∴ p∣y+1
同理,q | x + 1
令y + 1 = pj , x + 1 = qk .
则pqk + qpj = pq
pq(j + k) = pq
注意到x, y≥ 0 , 我们有y+1≥1 且x+1≥1 , 因而j≥1 且k≥1 . 因而j+k≥2 , 因而假设不成立.