证明1:对于正整数 a , b a,b a,b,有 a x + b y , ( ( a , b ) = 1 , x ∈ Z , y ∈ Z , x < 0 或 y < 0 ) ax+by ,((a,b)=1,x∈Z,y∈Z,x<0或y<0) ax+by,((a,b)=1,x∈Z,y∈Z,x<0或y<0)的最大值为 a ∗ b − a − b a*b-a-b a∗b−a−b.
- 正确性:
当 a x + b y = a ∗ b − a − b ax+by=a*b-a-b ax+by=a∗b−a−b时,构造一组解 { x 0 = b − 1 y 0 = − 1 \begin{cases} x_0=b-1 \\ y_0=-1 \\ \end{cases} {x0=b−1y0=−1
有通解: { x = x 0 − k ∗ b y = y 0 + k ∗ a \begin{cases} x=x_0-k*b \\ y=y_0+k*a \\ \end{cases} {x=x0−k∗by=y0+k∗a
而最靠近 x 0 , y 0 x_0,y_0 x0,y0的一组解为 { x 1 = − 1 y 1 = a − 1 \begin{cases} x_1=-1 \\ y_1=a-1 \\ \end{cases} {x1=−1y1=a−1
由于通解的定义,它们之间不存在另一组整数解,而观察通解形式,对于 x 0 ≤ x x_0\le x x0≤x, y y y总是 ≤ y 0 \le y_0 ≤y0,同理可得,没有解满足 x ∈ N 且 y ∈ N x\in N且y\in N x∈N且y∈N - 唯一性:
设 ∀ c > a b − a − b , a x + b y = c ∀c>ab−a−b,ax+by=c ∀c>ab−a−b,ax+by=c且 { 0 ≤ x < b y \begin{cases} 0\le x<b \\ y \\ \end{cases} {0≤x<by
∵ x ≤ b − 1 ∵x\le b-1 ∵x≤b−1
∴ a x ≤ a b − a ∴ax\le ab-a ∴ax≤ab−a
∵ b y = c − a x ∵by=c-ax ∵by=c−ax
∴ b y ≥ c − a b + a ∴by\ge c-ab+a ∴by≥c−ab+a
∴ b y > a b − a − b − a b + a ∴by> ab-a-b-ab+a ∴by>ab−a−b−ab+a
∴ b y > − b ∴by>-b ∴by>−b
∵ b > 0 ∵b>0 ∵b>0
∴ y > − 1 ∴y>-1 ∴y>−1
∴ y ≥ 0 ∴y\ge 0 ∴y≥0
证明2:对于正整数 a , b a,b a,b,有 0 ≤ a x + b y ≤ a ∗ b − a − b , ( ( a , b ) = 1 , x ∈ Z , y ∈ Z , x < 0 或 y < 0 ) 0\le ax+by\le a*b-a-b,((a,b)=1,x∈Z,y∈Z,x<0或y<0) 0≤ax+by≤a∗b−a−b,((a,b)=1,x∈Z,y∈Z,x<0或y<0)值的种数为 ( a − 1 ) ( b − 1 ) 2 \frac{(a-1)(b-1)}{2} 2(a−1)(b−1).
- 在
[
1
,
a
×
b
]
[1,a\times b]
[1,a×b]中,
a
a
a的倍数与
b
b
b的倍数一定不计入其中,还剩下
a
b
−
a
−
b
+
1
=
(
a
−
1
)
(
b
−
1
)
ab-a-b+1=(a-1)(b-1)
ab−a−b+1=(a−1)(b−1)个数,经过多次验证,发现它们成对出现,
无了