数论 I（整除性）

ExPtolemy

已于 2023-05-02 15:13:23 修改

阅读量222

点赞数 1

分类专栏：数论文章标签： c++ 算法

于 2022-09-03 10:41:50 首次发布

本文链接：https://blog.csdn.net/sight_720/article/details/126674702

版权

数论专栏收录该内容

3 篇文章 0 订阅

订阅专栏

数论 I（整除性）

>> 整除

定义

设 $a,b\in \mathbb{Z}$ ，并且 $a\neq0$ ， $\exists \ q\in \mathbb{Z}$ 使得 $a q = b$ ，则称 $b$ 能被 $a$ 整除（记做 $a\mid b$ ），否则称 $b$ 不能被 $a$ 整除（记做 $a\nmid b$ ）。

性质

#1 整除的传递性：若 $a\mid b$ 且 $\mid c$ ，则 $\mid c$ 。

$\quad\quad \because a \mid b$

$\quad\quad \therefore ax=b\ (x \in \mathbb{Z},x\neq0)$

$\quad\quad \because b \mid c$

$\quad\quad \therefore by=c\ (y\in \mathbb{Z},y\neq0)$

$\quad\quad \therefore axy=c\ (x\in \mathbb{Z},y\in \mathbb{Z},x\neq0,y\neq0)$

$\quad\quad \because xy \in \mathbb{Z}$

$\quad\quad \therefore a\mid c$

#2：若 $a\mid b$ 且 $a\mid c$ ，则 $\forall \ x,y$ 有 $a\mid (bx+cy)$ 。

$\quad\quad \because a\mid b$

$\quad\quad \therefore as=b\ (s\in \mathbb{Z},s\neq0)$

$\quad\quad \because a \mid c$

$\quad\quad \therefore at=c\ (t\in\mathbb{Z},t\neq0)$

$\quad\quad \therefore bx+cy=asx+aty=a(sx+ty)$

$\quad\quad \because x\in\mathbb{Z},y\in\mathbb{Z}$

$\quad\quad \therefore sx+ty\in\mathbb{Z}$

$\quad\quad \therefore a\mid (bx+cy)$

#3： $\exists \ m\neq 0$ 且 $a\mid b$ ，则 $\mid bm$ 。

$\quad\quad \because a \mid b$

$\quad\quad \therefore ax = b\ (x\in\mathbb{Z},x\neq0)$

$\quad\quad \therefore axm=bm\ (x\in\mathbb{Z},x\neq0)$

$\quad\quad \therefore am \mid bm$

#4：设 $x,y\in\mathbb{Z}$ 有 $a x + b y = 1$ ，且 $a\mid n,b\mid n$ ，那么 $\mid n$ 。

$\quad\quad \because a\mid n$

$\quad\quad \therefore as=n\ (s\in\mathbb{Z},s\neq0)$

$\quad\quad \because b\mid n$

$\quad\quad \therefore bt=n\ (t\in\mathbb{Z},t\neq0)$

$\quad\quad \therefore st=\dfrac{n^2}{ab}$

$\quad\quad \because ax+by=1$

$\quad\quad \therefore \dfrac{n}{s}x+\dfrac{n}{t}y=1$

$\quad\quad \therefore tx+sy=\dfrac{st}{n}$

$\quad\quad \therefore tx+sy=\dfrac{n}{ab}$

$\quad\quad \because x\in\mathbb{Z},y\in\mathbb{Z}$

$\quad\quad \therefore tx+sy\in\mathbb{Z}$

$\quad\quad \therefore (ab) \mid n$

#5：若 $b=dq+c\ (q\in\mathbb{Z})$ ，那么 $d\mid b$ 的充要条件为 $d\mid c$ 。

$\quad\quad$ 设 $d\mid b$ 成立，则 $dx=b\ (x\in\mathbb{Z},x\neq0)$

$\quad\quad \therefore dx=dq+c$

$\quad\quad \therefore c=d(x-q)$

$\quad\quad \because x\in\mathbb{Z},q\in\mathbb{Z}$

$\quad\quad \therefore x-q\in\mathbb{Z}$

$\quad\quad \therefore d\mid c$

$\quad\quad$ 设 $d\mid c$ 成立，则 $dy=c\ (y\in\mathbb{Z},y\neq0)$

$\quad\quad \therefore b=dq+dy$

$\quad\quad \therefore b=d(y+q)$

$\quad\quad \because y\in\mathbb{Z},q\in\mathbb{Z}$

$\quad\quad \therefore y+q\in\mathbb{Z}$

$\quad\quad \therefore d\mid b$

>> 模运算

定义

设 $a,b\in\mathbb{Z}$ ，其中 $b\neq0$ ，求 $a$ 除 $b$ 的余数，称为 $a$ 模 $b$ ，记做 $a\!\!\mod b$ 。

性质

#1 分配律： $\ \text{op} \ b) \!\!\mod m=(a \!\!\mod m \ \text{op} \ b \!\!\mod m) \!\!\mod m$ ，其中 $\text{op}$ 为 $+,-,\times$ 。

$\quad\quad$ （加法）

$\quad\quad$ 令 $a=mq_1+r_1,b=mq_2+r_2$ 。

$\quad\quad \therefore (a+b) \!\!\mod m=(mq_1+r_1+mq_2+r_2) \!\!\mod m$

$\quad\quad \quad\quad \quad\quad \quad\quad \quad\ \ \ =(m(q_1+q_2)+r_1+r_2) \!\!\mod m$

$\quad\quad$ 设 $K=(q_1+q_2),N=(r_1+r_2)$ ，

$\quad\quad$ 则 $a+b)\!\!\mod m=(mK+N) \!\!\mod m=N \!\!\mod m=(r_1+r_2)\!\!\mod m$

$\quad\quad$ 即 $(a+b)\!\!\mod m=(a\!\!\mod m+b\!\!\mod m) \!\!\mod m$ 。

$\quad\quad$ （减法同加法）

$\quad\quad$ （乘法）

$\quad\quad$ 令 $a=mq_1+r_1,b=mq_2+r_2$ 。

$\quad\quad \therefore (ab) \!\!\mod m=((mq_1+r_1)(mq_2+r_2)) \!\!\mod m$

$\quad\quad \quad\quad \quad\quad \quad\quad \ \ =(m^2q_1q_2+mq_1r_2+mq_2r_1+r_1r_2) \!\!\mod m$

$\quad\quad \quad\quad \quad\quad \quad\quad \ \ =(m(mq_1q_2+q_1r_2+q_2r_1)+r_1r_2) \!\!\mod m$

$\quad\quad$ 设 $K=(mq_1q_2+q_1r_2+q_2r_1),N=r_1r_2$ ，

$\quad\quad$ 则 $ab) \!\!\mod m = (mK+N) \!\!\mod m = N \!\!\mod m = (r_1r_2) \!\!\mod m$

$\quad\quad$ 即 $\!\!\mod m = (a \!\!\mod m+b\!\!\mod m) \!\!\mod m$ 。

#1*： $a^b\!\!\mod m=(a\!\!\mod m)^b\!\!\mod m$ 。

$\quad\quad$ （证明同乘法）

#2 放缩性：若 $\!\!\mod b = c$ ， $d\neq0$ 且 $d\in\mathbb{Z}$ ，则 $\!\!\mod (bd)=cd$ 。

$\quad\quad$ 令 $b q + c = a$ 。

$\quad\quad \therefore bdq+cd=ad$

$\quad\quad \therefore (ad) \!\! \mod (bd)=cd$

#3：若 $2$ 能整除数 $a$ 的最后一位，则 $2\mid a$ 。

$\quad\quad$ 设 $a=\overline{x_1x_2x_3\cdots x_{n-1}x_n}$ ，

$\quad\quad \therefore a = \overline{x_1x_2x_3\cdots x_{n-1}}\times 10+x_n$

$\quad\quad \because 2 \mid x_n,2\mid 10$

$\quad\quad \therefore 2 \mid a$

#3*：若 $4$ 能整除数 $a$ 的最后两位，则 $\mid a$ 。

$\quad\quad$ 设 $a=\overline{x_1x_2x_3\cdots x_{n-2}x_{n-1}x_n}$ ，

$\quad\quad \therefore a = \overline{x_1x_2x_3\cdots x_{n-2}}\times 100+\overline{x_{n-1}x_n}$

$\quad\quad \because 4 \mid \overline{x_{n-1}x_n},4\mid 100$

$\quad\quad \therefore 4 \mid a$

#4：若 $3$ 能整除数 $a$ 的各位数字之和，则 $\mid a$ 。

$\quad\quad$ 设 $a=\overline{x_1x_2x_3\cdots x_{n-1}x_n}$ ，

$\quad\quad \therefore 3\mid \sum_{i=1}^{n}x_i$

$\quad\quad \therefore \left(\sum_{i=1}^{n}x_i\right) \!\!\mod 3 = 0$

$\quad\quad \because a=10^{n-1}x_1+10^{n-2}x_2+\cdots+10x_{n-1}+x_n$

$\quad\quad \therefore a \!\!\mod 3=(10^{n-1}x_1+10^{n-2}x_2+\cdots+10x_{n-1}+x_n) \!\!\mod 3$

$\quad\quad \quad\quad \quad\quad \ \ \ \ =(10^{n-1}x_1 \!\!\mod 3+10^{n-2}x_2 \!\!\mod 3+\cdots+10x_{n-1} \!\!\mod 3+x_n \!\!\mod 3) \!\!\mod 3$

$\quad\quad \quad\quad \quad\quad \ \ \ \ =((10^{n-1}-1+1)x_1\!\!\mod 3+(10^{n-2}-1+1)x_2\!\!\mod 3+\cdots+(9+1)x_{n-1}\!\!\mod 3+x_n\!\!\mod 3)\!\!\mod 3$

$\quad\quad \quad\quad \quad\quad \quad=(x_1+x_2+x_3+\cdots+x_{n-1}+x_{n}) \!\!\mod 3$

$\quad\quad \quad\quad \quad\quad \quad=\left(\sum_{i=1}^nx_i\right) \!\!\mod 3$

$\quad\quad \quad\quad \quad\quad \quad =0$

$\quad\quad \therefore 3 \mid a$

#4*：若 $9$ 能整除数 $a$ 的各位数字之和，则 $\mid a$ 。

$\quad\quad$ 设 $a=\overline{x_1x_2x_3\cdots x_{n-1}x_n}$ ，

$\quad\quad \therefore 9\mid \sum_{i=1}^{n}x_i$

$\quad\quad \therefore \left(\sum_{i=1}^{n}x_i\right) \!\!\mod 9 = 0$

$\quad\quad \because a=10^{n-1}x_1+10^{n-2}x_2+\cdots+10x_{n-1}+x_n$

$\quad\quad \therefore a \!\!\mod 9=(10^{n-1}x_1+10^{n-2}x_2+\cdots+10x_{n-1}+x_n) \!\!\mod 9$

$\quad\quad \quad\quad \quad\quad \quad=(10^{n-1}x_1 \!\!\mod 9+10^{n-2}x_2 \!\!\mod 9+\cdots+10x_{n-1} \!\!\mod 9+x_n \!\!\mod 9) \!\!\mod 9$

$\quad\quad \quad\quad \quad\quad \quad=((10^{n-1}-1+1)x_1\!\!\mod 9+(10^{n-2}-1+1)x_2\!\!\mod 9+\cdots+(9+1)x_{n-1}\!\!\mod 9+x_n\!\!\mod 9)\!\!\mod 9$

$\quad\quad \quad\quad \quad\quad \quad=(x_1+x_2+x_3+\cdots+x_{n-1}+x_{n}) \!\!\mod 9$

$\quad\quad \quad\quad \quad\quad \quad=\left(\sum_{i=1}^nx_i\right) \!\!\mod 9$

$\quad\quad \quad\quad \quad\quad \quad=0$

$\quad\quad \therefore 9\mid a$

#5：若 $11$ 能整除数 $a$ 偶数位上各位数字之和与奇数位上各位数字之差，则 $11\mid a$ 。

$\quad\quad$ 设 $a=\overline{x_1x_2x_3\cdots x_{n-1}x_n}$ ，

$\quad\quad$ 当 $\!\!\mod 2=0$ 时， $((x_1+x_3+x_5+\cdots+x_{n-1})-(x_2+x_4+x_6+\cdots+x_n))\!\!\mod 11=0$

$\quad\quad$ 当 $\!\!\mod 2=1$ 时， $((x_2+x_4+x_6+\cdots+x_n)-(x_1+x_3+x_5+\cdots+x_{n-1})) \!\!\mod11=0$

$\quad\quad\because x\!\!\mod k=(-x) \!\!\mod k$

$\quad\quad\therefore$ 上述两种情况等价（以情况一为例）

$\quad\quad\because a=10^{n-1}x_1+10^{n-2}x_2+\cdots+10x_{n-1}+x_n$

$\quad\quad\therefore a \!\!\mod 11=(10^{n-1}x_1+10^{n-2}x_2+\cdots+10x_{n-1}+x_n) \!\!\mod 11$

$\quad\quad\quad\quad\quad\quad\quad\ \ =(10^{n-1}x_1 \!\!\mod 11+10^{n-2}x_2 \!\!\mod 11+\cdots+10x_{n-1} \!\!\mod 11+x_n \!\!\mod 11) \!\!\mod 11$

$\quad\quad\quad\quad\quad\quad\quad\ \ =((10^{n-1}-1+1)x_1\!\!\mod 9+(10^{n-2}+1-1)x_2\!\!\mod 9+\cdots+(9+1)x_{n-1}\!\!\mod 9+x_n\!\!\mod 9)\!\!\mod 9$

$\quad\quad\quad\quad\quad\quad\quad\ \ =((x_1+x_3+x_5+\cdots+x_{n-1})-(x_2+x_4+x_6+\cdots+x_n))\!\!\mod 11$

$\quad\quad\quad\quad\quad\quad\quad\ \ =0$

$\quad\quad\therefore 11\mid a$

#6：若 $7, 11, 13$ 能整除数 $a$ 末三位与末三位之前的数字所组成的数的差，则 $7\mid a,11\mid a,13\mid a$ 。

$\quad\quad$ 设 $a=\overline{x_1x_2x_3\cdots x_{n-1}x_n}$ ，

$\quad\quad\because \text{lcm}(7,11,13)=1001$

$\quad\quad\therefore 7\mid a,11\mid a,13\mid a$ 是 $1001\mid a$ 的充要条件。

$\quad\quad\therefore (\overline{x_{n-2}x_{n-1}x_n}-\overline{x_1x_2x_3\cdots x_{n-3}}) \!\!\mod 1001=0$

$\quad\quad\because a=10^{n-1}x_1+10^{n-2}x_2+\cdots+10x_{n-1}+x_n$

$\quad\quad\therefore a\!\!\mod 1001=(\overline{x_1x_2x_3\cdots x_{n-3}}\times1000+\overline{x_{n-2}x_{n-1}x_n}) \!\!\mod 1001$

$\quad\quad\quad\quad\quad\quad\quad\quad\ \ = (\overline{x_1x_2x_3\cdots x_{n-3}}\times1000 \!\!\mod 1001+\overline{x_{n-2}x_{n-1}x_n}\!\!\mod 1001) \!\!\mod 1001$

$\quad\quad\quad\quad\quad\quad\quad\quad\ \ = (\overline{x_1x_2x_3\cdots x_{n-3}}\times(1001-1) \!\!\mod 1001+\overline{x_{n-2}x_{n-1}x_n}) \!\!\mod 1001$

$\quad\quad\quad\quad\quad\quad\quad\quad\ \ =(\overline{x_{n-2}x_{n-1}x_n}-\overline{x_1x_2x_3\cdots x_{n-3}}) \!\!\mod 1001$

$\quad\quad\quad\quad\quad\quad\quad\quad\ \ =0$

$\quad\quad\therefore 1001\mid a$

$\quad\quad\therefore 7\mid a,11\mid a,13\mid a$

>> 同余

定义

设 $m\in\mathbb{Z}^+$ ，若 $\mid (a-b)$ ，则称 $a$ 与 $b$ 对模 $m$ 同余，记做 $a\equiv b\pmod m$ ，否则 $a$ 与 $b$ 对模 $m$ 一定不同余。

性质

#1 自反性： $a\equiv a\pmod m$ 。

$\quad\quad\because m\mid 0$

$\quad\quad\therefore m\mid(a-a)$

$\quad\quad\therefore a\equiv a\pmod m$

#2 对称性：若 $a\equiv b\pmod m$ ，则 $\equiv a\pmod m$ 。

$\quad\quad\because a\equiv b\pmod m$

$\quad\quad\therefore m\mid(a-b)$

$\quad\quad\because m\mid x=m\mid(-x)$

$\quad\quad\therefore m\mid(b-a)$

$\quad\quad\therefore b\equiv a\pmod m$

#3 传递性：若 $a\equiv b\pmod m$ 且 $b\equiv c\pmod m$ ，则 $a\equiv c\pmod m$ 。

$\quad\quad\because a\equiv b\pmod m$

$\quad\quad\therefore m \mid (a-b)$

$\quad\quad\because b\equiv c\pmod m$

$\quad\quad\therefore m\mid(b-c)$

$\quad\quad\therefore m\mid(a-b)+(b-c)$

$\quad\quad\therefore m\mid (a-c)$

$\quad\quad\therefore a\equiv c\pmod m$

#4 同加 / 减 / 乘性：若 $a\equiv b\pmod m$ ， $c\in\mathbb{Z}$ ，则 $(a\ \text{op}\ c)\equiv(b\ \text{op}\ c)\pmod m$ ，其中 $\text{op}$ 为 $+,-,\times$ 。

$\quad\quad$ （以加法为例）

$\quad\quad\because a\equiv b\pmod m$

$\quad\quad\therefore m \mid(a-b)$

$\quad\quad\therefore m \mid (a-b)+c-c$

$\quad\quad\therefore m \mid ((a+c)-(b+c))$

$\quad\quad\therefore (a+c)\equiv(b+c)\pmod m$

#5 同除性：若 $a\equiv b\pmod m$ ， $c\mid a$ ， $c\mid b$ 且 $\gcd(c,m)=1$ ，则 $\dfrac{a}{c}\equiv\dfrac{b}{c}\pmod m$ 。

$\quad\quad\because a\equiv b\pmod m$

$\quad\quad\therefore m\mid(a-b)$

$\quad\quad$ 令 $mk = a - b$

$\quad\quad$ 则 $mk + b = a$

$\quad\quad\therefore \dfrac{m}{c}k+\dfrac{b}{c}=\dfrac{a}{c}$

$\quad\quad\because c\mid a,c\mid b,\gcd(c, m)=1$

$\quad\quad\therefore \dfrac{a}{c}\in\mathbb{Z},\dfrac{b}{c}\in\mathbb{Z},\dfrac{m}{c}\notin\mathbb{Z},\dfrac{m}{c}\in\mathbb{R}$

$\quad\quad\therefore \dfrac{m}{c}k\in\mathbb{Z}$

$\quad\quad\therefore c\mid k$

$\quad\quad$ 令 $c x = k$ ，

$\quad\quad\therefore mcx+b=a$

$\quad\quad\therefore mx+\dfrac{b}{c}=\dfrac{a}{c}$

$\quad\quad\therefore \dfrac{a}{c}\equiv\dfrac{b}{c}\pmod m$

#6 同幂性：若 $a\equiv b\pmod m$ ， $c\in\mathbb{Z}^+$ ，则 $a^c\equiv b^c\pmod m$ 。

$\quad\quad\because a\equiv b\pmod m$

$\quad\quad\therefore a\!\!\mod m=b\!\!\mod m$

$\quad\quad\therefore (a\!\!\mod m)^c\!\!\mod m=(b\!\!\mod m)^c\!\!\mod m$

$\quad\quad\therefore a^c\!\!\mod m=b^c\!\!\mod m$

$\quad\quad\therefore a^c \equiv b^c\pmod m$

#7：若 $a\equiv b\pmod m$ ， $c\equiv d\pmod m$ ，则 $(a+c)\equiv(b+d)\pmod m$ 。

$\quad\quad\because a\equiv b\pmod m$

$\quad\quad\therefore m \mid (a-b)$

$\quad\quad\because c\equiv d\pmod m$

$\quad\quad\therefore m\mid(c-d)$

$\quad\quad\therefore m\mid((a-b)+(c-d))$

$\quad\quad\therefore m\mid((a+c)-(b+d))$

$\quad\quad\therefore (a+c)\equiv(b+d)\pmod m$

#8：若 $\!\!\mod p=x$ 且 $\!\!\mod q=x$ ， $\gcd(p,q)=1$ ，则 $a\!\!\mod(pq)=x$ 。

$\quad\quad\because a\!\!\mod p = x,a \!\!\mod q=x$

$\quad\quad\therefore a-x=pk_1,a-x=qk_2$

$\quad\quad\therefore a-x$ 为 $p, q$ 公倍数

$\quad\quad\because \gcd(p,q)=1$

$\quad\quad\therefore \text{lcm}(p,q)=pq$

$\quad\quad\therefore pq \mid (a-x)$

$\quad\quad\therefore pqk_3+x=a$

$\quad\quad\therefore a\!\!\mod (pq)=x$

>> 习题

#Task I

$\quad\quad$ 设奇数 $x=2k+1\ (k\in\mathbb{Z})$ ，

$\quad\quad$ 则 $2k+1)^2-1=4k^2+4k+1-1$

$\quad\quad\quad\quad\quad\quad\quad\quad\quad=4k(k+1)$

$\quad\quad$ 当 $\!\!\mod 2=1$ 时，原式 $=8\times\dfrac{k}{2}(k+1)$ ，则 $\mid 8\times\dfrac{k}{2}(k+1)$ ，

$\quad\quad$ 当 $\!\!\mod 2 = 0$ 时，原式 $=8k\times \dfrac{k+1}{2}$ ，则 $\mid 8k\times \dfrac{k+1}{2}$ 。

$\quad\quad$ 综上，任意奇数的平方为 $8$ 的倍数。

#Task 2

$\quad\quad$ 当 $\!\!\mod 2=0$ 时，

$\quad\quad\quad\quad3^n+1=3^n-1+2$

$\quad\quad\quad\quad\quad\quad\quad=2(3^{n-1}+3^{n-2}+\cdots+3+1)+2$

$\quad\quad\quad\quad\quad\quad\quad=2(3^{n-1}+3^{n-2}+\cdots+3+1+1)$

$\quad\quad\quad\quad\therefore 2 \mid 3^n + 1$

$\quad\quad$ 当 $\!\!\mod 2=1$ 时，

$\quad\quad\quad\quad3^n+1=4(3^{n-1}-3^{n-2}+\cdots+1)$

$\quad\quad\therefore 4 \mid 3^n + 1$

$\quad\quad$ 一般地，

$\quad\quad\quad\quad$ 由数学归纳法可得 $3^k\!\!\mod 8$ 的末尾为 $1, 3, 1, 3$ 的数列，进而 $3^k+1\!\!\mod 8$ 的末尾为 $2, 4, 2, 4$ 的数列，不可能被 $8$ 整除。

$\quad\quad\because \alpha>2$

$\quad\quad\therefore 2^\alpha\geqslant8$

$\quad\quad\therefore 2^\alpha \nmid 3^n+1$

#Task 3

$\quad\quad$ 当 $r\geqslant\dfrac{|b|}{2}$ 时， $a = q b + r = (q + 1) b - (b - r) = (q + 1) b + (r - b)$

$\quad\quad\therefore -\dfrac{|b|}{2}\leqslant r<\dfrac{|b|}{2}$

#Task 4

$\quad\quad$ 假设 $\mid 2a+3b$ 成立，

$\quad\quad2a+3b\equiv0\pmod {17}$

$\quad\quad13(2a+3b)\equiv0\pmod {17}$

$\quad\quad9a+5b\equiv 0\pmod {17}$

$\quad\quad$ 得证。

$\quad\quad$ 假设 $\mid 9a+5b$ 成立，

$\quad\quad9a+5b\equiv0\pmod {17}$

$\quad\quad4(9a+5b)\equiv 0\pmod {17}$

$\quad\quad2a + 3b\equiv0\pmod {17}$

$\quad\quad$ 得证。

#Task 5

$\quad\quad$ 当 $\!\!\mod 2=0$ 时，

$\quad\quad\quad\quad\because d_1d_k=n,d_2d_{k-1}=n,\cdots$

$\quad\quad\quad\quad\therefore d_1d_2d_3\cdots d_k=n^{\frac{k}{2}}$

$\quad\quad\quad\quad\therefore (d_1d_2d_3\cdots d_k)^2=n^k$

$\quad\quad$ 当 $\!\!\mod 2=1$ 时，

$\quad\quad\quad\quad\because d_1d_k=n,d_2d_{k-1}=n,\cdots$

$\quad\quad\quad\quad\therefore d_1d_2d_3\cdots d_k=n^{\frac{k-1}{2}}\times d_{\frac{k+1}{2}}$

$\quad\quad\quad\quad\therefore (d_1d_2d_2\cdots d_k)^2=n^{k-1}\times n=n^k$

#Task 6

$\quad\quad$ 手算。

$\quad\quad$ (1) $2$ (2) $17$ (3) $6$ (4) $23962230$

#Task 7

$\quad\quad\because \gcd(1485,1745)=5$

$\quad\quad\therefore 1485s+1745t=5$

$\quad\quad$ 解得 $s = - 47 + 439 k, t = 40 - 297 k$

#Task 8

$\quad\quad$ 设 $gcd(a^m-1,a^n-1)=a^s-1$

$\quad\quad$ 则 $a^s-1\mid (a^m-1),a^s-1\mid (a^n-1)$

$\quad\quad\therefore s \mid m,s\mid n$

$\quad\quad\therefore s_{max} = \gcd(m, n)$

$\quad\quad$ 即 $gcd(a^m-1,a^n-1)=a^{\gcd(n,m)} - 1$

#Task 9

$\qquad$ 设 $x=\gcd(a,b)$ ，则 $a=xk_1,b=xk_2,\gcd(k_1,k_2)=1$ ， $a,2a,3a\cdots ba$ 分别除以 $b$ 得 $\dfrac{k_1}{k_2},\dfrac{2k_1}{k_2},\cdots \dfrac{k_2k_1}{k_2},\dfrac{(k_2+1)k_1}{k_2}\cdots \dfrac{2k_2k_1}{k_2},\dfrac{(2k_2+1)k_1}{k_2},\cdots \dfrac{xk_2k_1}{k_2}$ 。由于 $gcd(k_1,k_2)=1$ ,，所以只有 $x$ 个数 $\dfrac{k_2k_1}{k_2},\dfrac{2k_2k_1}{k_2},\cdots \dfrac{xk_2k_1}{k_2} \in\mathbb{Z}$ 。