具體數學第二版第四章習題（4)

46　(1)假設$j^{'}j-k^{'}k=Gcd(j,k)$，那麼有$n^{j^{'}j}=n^{k^{'}k}n^{Gcd(j,k)}$，因此若是$n^{j^{'}j}=pm+1,n^{k^{'}k}=qm+1\rightarrow n^{Gcd(j,k)}=rm+1$

(2)假設$n=pq$而且$p$是$n$的最小素因子（若是$n$爲素數那麼$p=n$）。因此$2^{p-1}\equiv 1(mod(p))$。若是$2^{n}\equiv 1(mod(n))\rightarrow 2^{n}\equiv 1(mod(p))$。因此根據上面一個小題的結論,$2^{Gcd(p-1,n)}\equiv 1(mod(p))$。而因爲$p$是$n$的最小素因子，因此$Gcd(p-1,n)=1$。這會致使錯誤。因此$2^{n}\not\equiv 1(mod(n))$

47 $n^{m-1}\equiv 1(mod(m))\rightarrow n\perp m\rightarrow n^{t}\perp m\rightarrow \left ((n^{t})mod(m)  \right )\perp m,1\leq t <m$

假設：若是對於全部的$1\leq t <m$，$\left (n^{t}  \right )mod(m)$不是各不相同的，好比對$1\leq x < y < m$有$\left ((n^{x})mod(m)  \right )=\left ((n^{y})mod(m)  \right )$，那麼$n^{y-x}\equiv 1(mod(m))$,其中$y-x<m-1$

根據題目46第一小題的結論，$n^{y-x}\equiv 1,n^{m-1}\equiv 1\rightarrow n^{Gcd(y-x,m-1)}\equiv 1$，而$Gcd(y-x,m-1)<m-1$,因此存在一個素數$p$以及一個整數$q$知足$(y-x)q=\frac{m-1}{p}$,而$\left ( n^{\frac{m-1}{p}}=n^{(y-x)q} \right )\equiv 1$，而這與題目給出的$n^{\frac{m-1}{p}}\not\equiv 1$矛盾了。因此上面的假設錯誤。

對於全部的$1\leq t <m$，$\left (n^{t}  \right )mod(m)$各不相同，而且都與$m$互質，因此$1,2,3,...,m-1$都與$m$互質，因此$m$是素數

48 將每一個數字與其逆元相乘，能夠無論這些，那麼只剩下那些逆元是本身的數字，因此就是計算$\prod_{1\leq n < m,(n^{2})mod(m)=1}n$.根據$n^{2}\equiv 1(mod(m))$的解能夠獲得，當$m=4,p^{k},2p^{k}(p>２,k\geq 1)$答案爲-１，不然爲１

49 (1)首先考慮$m<n$，此時答案爲$\Phi (N)=\left (\sum_{k=1}^{N}\varphi (k)  \right )-1$,$m>n$也是這個，$m=n$時只有$m=n=1$成立，因此答案爲$R(N)=2\Phi (N)-1$

(2)由公式4.62能夠獲得$R(N)=2\Phi (N)-1=-1+\sum_{d\geq 1}\mu (d)\left \lfloor \frac{N}{d} \right \rfloor\left \lfloor \frac{N}{d}+1 \right \rfloor=\sum_{d\geq 1}\mu (d)\left \lfloor \frac{N}{d} \right \rfloor^{2}+\left (\sum_{d\geq 1}\mu (d)\left \lfloor \frac{N}{d} \right \rfloor-1  \right )$

因此如今只須要知足$\sum_{d\geq 1}\mu (d)\left \lfloor \frac{N}{d} \right \rfloor=1$便可

在公式4.61中，令$f(x)=[x\geq 1]\rightarrow g(N)=\sum_{d\geq 1}[\frac{N}{d}\geq 1]=N\rightarrow \sum_{d\geq 1}\mu (d)\left \lfloor \frac{N}{d} \right \rfloor=\sum_{d\geq 1}\mu (d)g(\left \lfloor \frac{N}{d} \right \rfloor)=\sum _{d\geq 1}\mu (d)g(\frac{N}{d})=f(N)=1$

50 (1) 設$f$是任意一個函數。$\prod_{0\leq k < m}f(k)=\prod_{d|m}\prod_{0\leq k < m}f(k)[d=Gcd(k,m)]=\prod_{d|m}\prod_{0\leq k < m}f(k)[\frac{k}{d}\perp \frac{m}{d}]=\prod_{d|m}\prod_{0\leq k < \frac{m}{d}}f(kd)[k\perp \frac{m}{d}]=\prod_{d|m}\prod_{0\leq k < d}f(k\frac{m}{d})[k\perp d]$

因此$z^{m}-1=\prod_{0\leq k < m}(z-\omega ^{k})=\prod_{d|m}\prod_{0\leq k < d,k\perp d}(z-\omega ^{\frac{km}{d}})=\prod_{d|m}\Psi _{m}(z)$

最後一步成立是由於$\omega^{\frac{km}{d}}=e^{\frac{2\pi i}{m}*\frac{km}{d}}=e^{\frac{2\pi i}{d}*k}$

(2)若是令$g(m)=z^{m}-1,f(m)=\Psi _{m}(z)$，也就是已知$g_{m}=\prod_{d|m}f(d)$而證實$f_{m}=\prod_{d|m}g(d)^{\mu (\frac{m}{d})}$，兩邊都取對數，就變成了公式4.56

51 $(x_{1}+x_{2}+...+x_{n})^{p}=\sum_{k_{1}+k_{2}+..+k_{n}=p,k_{i}\geq 0}\frac{p!}{k_{1}!k_{2}!..k_{n}!}x_{1}^{k_{1}}x_{2}^{k_{2}}..x_{n}^{k_{n}}$

若是全部的$k_{i}<p$，那麼$\frac{p!}{k_{1}!k_{2}!..k_{n}!}x_{1}^{k_{1}}x_{2}^{k_{2}}..x_{n}^{k_{n}}\equiv 0(mod(p))$

因此$(x_{1}+x_{2}+...+x_{n})^{p}\equiv x_{1}^{p}+x_{2}^{p}+..+x_{n}^{p}(mod(p))$。所以當$x_{i}=1$時有$n^{p}\equiv n(mod(p))$

52 若是$p>n$則必定成立。

若是$p\leq n$,那麼$p\perp x\rightarrow x^{p-1}\equiv 1(mod(p))\rightarrow x^{k(p-1)}\equiv 1(mod(p))$

因此只要計算$[１,n-1]$中有多少個數字是$p-1$的倍數便可。有$\left \lfloor \frac{n-1}{p-1} \right \rfloor$個。而因爲$p\leq n\rightharpoonup \frac{n-1}{p-1}\geq \frac{n}{p}$

53 若是$m\geq 6$而且$m$是合數，那麼$(m-2)!\equiv 0(mod(m))$

(1)若是$n<5$，只有$n=1$知足

(2)若是$n\geq 5$，而且$n$是素數，因爲$(n-1)!$沒有素數$n$，因此$n$不可能整除$\frac{(n-1)!}{n+1}$

(3)若是$n\geq 5$，而且$n$是合數，而且$n+1$也是合數，那麼$n$和$n+1$均可以整除$(n-1)!$，而且因爲$n\perp (n+1)$，因此$n(n+1)$能夠整除$(n-1)!$
(4)若是$n\geq 5$，而且$n$是合數，而且$n+1$是素數，那麼由威爾遜定理$n!\equiv -1(mod(n+1))\rightarrow (n-1)!\equiv 1(mod(n+1))$，因此$\left \lceil \frac{(n-1)!}{n+1} \right \rceil=\frac{(n-1)!+n}{n+1}$。而$(n-1)!\equiv 0(mod(n))$, 因此$(n-1)!+n$是$n$的倍數，並且$n$和$n+1$互質，因此$n$能夠整除$\frac{(n-1)!+n}{n+1}$

因此$n=1$或者$n$是大於5的合數

54 $\epsilon _{2}(1000!)>500,\epsilon _{5}(1000!)=249$，所以存在一個偶數$a$知足$1000!=a*10^{249}$

$1000=(13000)_{5}$ ，那麼由第40題的結論能夠獲得$\left (a*2^{249}=\frac{1000!}{5^{249}}  \right )\equiv -1(mod(5))$

另外有$2^{249}\equiv 2(mod(5))\rightarrow a\equiv 2(mod(5))$，因此$a=10k+2$或者$a=10k+7$

若是$a=10k+2$，那麼$\left (1000!=a*10^{249}=(10k+2)*10^{249}  \right )=2*10^{249}(mod(10^{250}))$

若是$a=10k+7$，答案也是這個

55 考慮每一個素數$p$在$P_{2n},P_{n}^{4}$中出現的次數。那麼只須要對於全部的$t\geq 1,p\geq 2\rightarrow \sum_{k=1}^{2n}\left \lfloor \frac{k}{p^{t}} \right \rfloor\geq 4\sum_{k=1}^{n}\left \lfloor \frac{k}{p^{t}} \right \rfloor\rightarrow\sum_{k=1}^{2n}\left \lfloor \frac{k}{m} \right \rfloor\geq 4\sum_{k=1}^{n}\left \lfloor \frac{k}{m} \right \rfloor,m\geq 2$

首先，證實下面的公式成立$\left \lfloor \frac{2n-1}{m} \right \rfloor+\left \lfloor \frac{2n}{m} \right \rfloor\geq 4\left \lfloor \frac{n}{m} \right \rfloor+[n\equiv m-1(mod(m))]-[n\equiv 0(mod(m))]$

首先，當$1\leq n \leq m$是成立。其次，當$n$每增長$m$，兩邊都同時增長４。因此成立。

而後將$n$取$1,2,3,...,n$的全部式子加起來，最後只須要證實$\sum_{k=1}^{n}[k\equiv m-1(mod(m))]=\sum_{k=1}^{n}[k\equiv 0(mod(m))]$便可。左邊等於$\left \lfloor \frac{n+1}{m} \right \rfloor$，右邊等於$\left \lfloor \frac{n}{m} \right \rfloor$。因此除了$n=tm-1$外，其餘的$n$都成立。

而當$n=tm-1$時能夠獲得$4\sum_{k=1}^{n}\left \lfloor \frac{k}{m} \right \rfloor=2t(t-1)m$,$\sum_{k=1}^{2n}\left \lfloor \frac{k}{m} \right \rfloor=t(2t-1)m-(2t-1)$

由$t(2t-1)m-(2t-1)-2t(t-1)m=km-2k+1\geq 1$

因此$\sum_{k=1}^{2n}\left \lfloor \frac{k}{m} \right \rfloor\geq 4\sum_{k=1}^{n}\left \lfloor \frac{k}{m} \right \rfloor,m\geq 2$恆成立

56 設$f(m)=\sum_{k=1}^{2n-1}min(k,2n-k)[m|k],g(m)=\sum_{k=1}^{n-1}(2n-2k-1)[m|(2k+1)]$

那麼對於質數$p$來講，在分子分母中出現的次數分別爲$\sum_{k\geq 1}f(p^{k}),\sum_{k\geq 1}g(p^{k})$。能夠證實只要$m$爲奇數，那麼有$f(m)=g(m)\rightarrow \sum_{k\geq 1}^{p^{k}}f(p^{k})=\sum_{k\geq 1}^{p^{k}}g(p^{k})$，那麼就獲得全部不是２的質數都會被消去，因此只剩下２了。

下面證實只要$m$爲奇數，那麼$f(m)=g(m)$

能夠分兩種狀況，第一種$2km\leq n < (2k+1)m$，第二種$(2k+1)m\leq n < (2k+2)m$

第一種狀況: $2km\leq n < (2k+1)m\rightarrow 4km\leq 2n < 2(2k+1)m\rightarrow 4k\leq \left \lfloor \frac{2n}{m} \right \rfloor<4k+2$，因此$\left \lfloor \frac{2n}{m} \right \rfloor$等於$4k$或者$4k+1$。當它爲$4k$時，$f(m)=g(m)=4kn-4k^2$;當它爲$4k+1$時，$f(m)=g(m)=2k(2k+1)n-(2k+1)^2$

第二種狀況計算方法相似

57 令$g(n)=\sum_{1\leq m \leq n}\sum _{d|m}\varphi (d)=\sum_{d\geq 1}\varphi (d)\left \lfloor \frac{n}{d} \right \rfloor$

那麼$g(m+n)-g(m)-g(n)=\sum_{d\geq 1}\varphi (d)(\left \lfloor \frac{n+m}{d} \right \rfloor-\left \lfloor \frac{n}{d} \right \rfloor-\left \lfloor \frac{m}{d} \right \rfloor)=\sum_{d\in S(n,m)}\varphi (d)$

另外，由公式4.54能夠獲得$g(n)=\sum_{1\leq m \leq n}\sum _{d|m}\varphi (d)=\sum_{1\leq m \leq n}m=\frac{n(n+1)}{2}$

因此$g(m+n)-g(m)-g(n)=mn$

58 首先$f(m)$是積性的，也就是說$m=p_{1}^{a_{1}}p_{2}^{a_{2}}...p_{t}^{a_{t}}\rightarrow f(m)=\prod_{k=1}^{t}(\sum_{r=0}^{a_{k}}p_{k}^{r})$.因此每一個因子都必須是2的冪。因此能夠假設$m=p^{k}$

這時候$f(m)=1+p+p^{2}+..+p^{k}$。首先$k$必須爲奇數而且$p$不是2.能夠證實$k$只能等於1且$p$爲梅森素數

假設$k=3\rightarrow f(m)=(1+p)(1+p^{2})$.若是$1+p$爲2的冪，假設$1+p=2^{x}$那麼$1+p^{2}=2^{2x}-2^{x+1}+2=2(2^{2x-1}-2^{x}+1)$不可能爲2的冪。$k$爲其餘奇數相似。

因此$m$只能爲若干梅森素數的乘積

59 證實那個更強的結果。

首先取$1$的時候，有$x_{1}=\alpha=2\rightarrow \alpha+1\leq e_{2},x_{1}(\alpha+1) \leq e_{1}e_{2}$

假設取$[1,n-1]$時均知足

當取$n$的時候，假設$x_{1}\leq x_{2}\leq .. \leq x_{n-1}\leq x_{n}$。分三種狀況：

（1）$\frac{1}{x_{1}}+\frac{1}{x_{2}}+..+\frac{1}{x_{n-1}}+\frac{1}{x_{n}-1}\geq 1,x_{n}>x_{n-1}$,這時候必定存在$\beta \geq x_{n}-1\geq x_{n-1}\rightarrow \beta^{-1}+\sum_{i=1}^{n-1}x_{i}^{-1}=1$,因此$x_{n}\leq \beta+1\leq e_{n}\rightarrow x_{1}x_{2}...x_{n-1}x_{n}\leq  x_{1}x_{2}...x_{n-1}(\beta+1)\leq e_{1}e_{2}...e_{n-1}e_{n}$.另外若是$\alpha^{-1}+\sum_{i=1}^{n}x_{i}^{-1}=1\rightarrow \alpha=\frac{x_{1}x_{2}...x_{n}}{m}$，其中$m$爲正整數，因此$\alpha\leq x_{1}x_{2}...x_{n}\leq e_{1}e_{2}..e_{n}=e_{n+1}-1\rightarrow \alpha + 1\leq e_{n+1}\rightarrow x_{1}x_{2}...x_{n}(\alpha+1)\leq e_{1}e_{2}...e_{n}e_{n+1}$

（2）$\frac{1}{x_{1}}+\frac{1}{x_{2}}+..+\frac{1}{x_{n-1}}+\frac{1}{x_{n}-1}\geq 1,x_{n}=x_{n-1}$,令$a=x_{n}\geq 4,a^{-1}+(a-1)^{-1}=(a-2)^{-1}+\zeta ^{-1}\rightarrow (a-2)(\zeta +1)\geq a^{2}$.存在$\beta \geq \zeta\rightarrow x_{1}^{-1}+..+x_{n-2}^{-1}+(a-2)^{-1}+\beta^{-1}=1\rightarrow x_{1}x_{2}..x_{n}\leq x_{1}x_{2}..x_{n-2}(a-2)(\zeta +1)\leq x_{1}x_{2}..x_{n-2}(a-2)(\beta +1)\leq e_{1}e_{2}..e_{n}$.這樣剩下的證實跟(1)同樣

（3）$\frac{1}{x_{1}}+\frac{1}{x_{2}}+..+\frac{1}{x_{n-1}}+\frac{1}{x_{n}-1}< 1$.令$a=x_{n},a^{-1}+\alpha^{-1}=(a-1)^{-1}+\beta^{-1}\rightarrow (a-1)(\beta+1)>a(\alpha+1)$，因此能夠用$a-1,\beta$來代替$x_{n},\alpha$直到(1)或者(2)知足。由於這個操做後，從新排列$x_{i}$後會使得$x_{n}$變小。

60 生成一個素數序列$p_{1},p_{2},..,p_{n-1},p_{n}$，知足$p_{n}\geq p_{n-1}^{3}$而且$p_{n}$最小。能夠證實若是$p_{1}$足夠大，那麼在$[p_{n-1}^{3},(p_{n-1}+1)^{3})$必定存在一個素數。不然，由題目給出的定理能夠獲得存在$p<p_{n-1}^{3}\rightarrow p+p^{\theta}\geq (p_{n-1}+1)^{3}\geq (p^{\frac{1}{3}}+1)^{3}\rightarrow p^{\theta}\geq 3p^{\frac{2}{3}}+3p^{\frac{1}{3}}+1$，可是若是$\frac{6}{11}<\theta<\frac{2}{3}$且$p$足夠大，這種狀況就不會出現。因此必定存在$p_{n}$知足$p_{n-1}^{3}\leq p_{n}<(p_{n-1}+1)^{3}$

令$a_{n}=3^{-n}ln(p_{n}),b_{n}=3^{-n}ln(p_{n}+1)\rightarrow a_{n-1}\leq a_{n}<b_{n}\leq b_{n-1}\rightarrow P=lim_{n\rightarrow oo}e^{a_{n}}$