我恨数论
设:
p
=
⌊
a
b
⌋
p = \lfloor{\frac{a}{b}}\rfloor
p=⌊ba⌋
c
=
a
m
o
d
b
c = a \mod b
c=amodb
则
a
=
p
⋅
b
+
c
a = p \cdot b + c
a=p⋅b+c
设
m
=
g
c
d
(
a
,
b
)
m = gcd(a,b)
m=gcd(a,b)
n
=
g
c
d
(
b
,
c
)
n = gcd(b,c)
n=gcd(b,c)
证明
∵
m
=
g
c
d
(
a
,
b
)
\because m = gcd(a,b)
∵m=gcd(a,b)
∴
m
∣
a
且
m
∣
b
\therefore m \mid a 且 m \mid b
∴m∣a且m∣b
∵
m
∣
b
\because m \mid b
∵m∣b
∴
m
∣
(
b
⋅
p
)
\therefore m \mid (b \cdot p)
∴m∣(b⋅p)
∵
m
∣
a
\because m \mid a
∵m∣a
∴
m
∣
(
a
−
b
⋅
p
)
\therefore m \mid (a - b \cdot p)
∴m∣(a−b⋅p)
∵
a
=
b
⋅
p
+
c
\because a = b \cdot p + c
∵a=b⋅p+c
∴
c
=
a
−
b
⋅
p
\therefore c = a - b \cdot p
∴c=a−b⋅p
∴
m
∣
c
\therefore m \mid c
∴m∣c
∵
m
∣
b
且
m
∣
c
\because m \mid b 且m \mid c
∵m∣b且m∣c
∴
m
是
b
,
c
的
公
约
数
\therefore m是b,c的公约数
∴m是b,c的公约数
∵
n
是
b
,
c
的
最
大
公
约
数
\because n 是b,c的最大公约数
∵n是b,c的最大公约数
∴
m
≤
n
\therefore m \leq n
∴m≤n