OSDN Git Service

fix: linebreak
authorksyx <18738953+ksyx@users.noreply.github.com>
Sun, 1 Nov 2020 12:05:10 +0000 (20:05 +0800)
committerGitHub <noreply@github.com>
Sun, 1 Nov 2020 12:05:10 +0000 (20:05 +0800)
co-authored by: GNAQ<me@GNAQ.cat>

docs/math/gcd.md

index 3abc22f..a7a01a3 100644 (file)
 
 * * *
 
-设 $a=bk+c$ ,显然有 $c=a \bmod b$ 。设 $d \mid a\ \ \ d \mid b$ ,则 $c=a-bk$  $\frac{c}{d}=\frac{a}{d}-\frac{b}{d}k$ 由右边的式子可知 $\frac{c}{d}$ 为整数,即 $d \mid c$ 所以对于 $a,b$ 的公约数,它也会是 $a \bmod b$ 的公约数
+设 $a=bk+c$ ,显然有 $c=a \bmod b$ 。设 $d \mid a,~d \mid b$ ,则 $c=a-bk, \frac{c}{d}=\frac{a}{d}-\frac{b}{d}k$
 
-反过来也需要证明
+由右边的式子可知 $\frac{c}{d}$ 为整数,即 $d \mid c$ 所以对于 $a,b$ 的公约数,它也会是 $a \bmod b$ 的公约数。
 
-设 $d \mid b\ \ \ d \mid (a \bmod b)$ ,我们还是可以像之前一样得到以下式子 $\frac{a\bmod b}{d}=\frac{a}{d}-\frac{b}{d}k$  $\frac{a\bmod b}{d}+\frac{b}{d}k=\frac{a}{d}$ 因为左边式子显然为整数,所以 $\frac{a}{d}$ 也为整数,即 $d \mid a$ ,所以 $b,a\bmod b$ 的公约数也是 $a,b$ 的公约数。
+反过来也需要证明:
+
+设 $d \mid b,~\mid (a \bmod b)$ ,我们还是可以像之前一样得到以下式子 $\frac{a\bmod b}{d}=\frac{a}{d}-\frac{b}{d}k,~\frac{a\bmod b}{d}+\frac{b}{d}k=\frac{a}{d}$。
+
+因为左边式子显然为整数,所以 $\frac{a}{d}$ 也为整数,即 $d \mid a$ ,所以 $b,a\bmod b$ 的公约数也是 $a,b$ 的公约数。
 
 既然两式公约数都是相同的,那么最大公约数也会相同。