《具体数学》第三章课后习题个人解答

1. 两边取对数，$lg(n)=lg(2^m+l)$, $m=[lg(n)],l=n-2^m=n-2^{[lg(n)]}$

2. 第一问对x-0.5取顶，第二问对x+0.5取底

3. [ [ m α ] n / α ] = [ ( m α − { m α } ) n / α ] = m n [[m\alpha]n/\alpha]=[(m\alpha-\{m\alpha\})n/\alpha]=mn [[mα]n/α]=[(mα−{mα})n/α]=mn

4. not even wrong

5. [ n x ] = [ n ( [ x ] + { x } ) ] = n [ x ] + [ n { x } ] = n [ x ] [nx]=[n([x]+\{x\})]=n[x]+[n\{x\}]=n[x] [nx]=[n([x]+{x})]=n[x]+[n{x}]=n[x]，得到 0 ≤ n { x } < 1 0\le n\{x\}<1 0≤n{x}<1

6. 不知道。

7. $X_n=X_{nmodm}+[n/m]=nmodm+[n/m]$

8. 使用反证法即可。

9. $\frac{m}{n}-\frac{1}{q}=\frac{mq-n}{nq}<\frac{m(n/m+1)-n}{nq}=\frac{m}{nq}<\frac{1}{q}$，因此不会出现相同表示。

10. 原式=$\lceil x+1/2\rceil -[(2x+1)/4不是偶数]$。当{x}=1/2时，结果是其最近的偶数，否则是其最近的整数。

11. 防止出现边界是整数的情形。

12. 答案的方法比我想的好很多，建议直接看答案。我考虑分类讨论。

13. 都是无理数：假设都是有理数，考虑二者分母分子的最小公倍数即可，因此至少有一个是无理数。然后只要证明，$1/\alpha +1/\beta =1$，即可证明都是无理数。

    证明两个spec不相交，只要证明对于任意正整数n，前n个正整数一定都出现且仅出现在这两个spec之一中。

14. 当n=0时，显然不成立。$x\ne 0$时，$(xmodny)mody=(x-ny[x/ny])mody=xmody-0=xmody$

15. 有的。将(3.24)替换即可。记得使用性质(3.11)去除顶。

16. 比较无脑，直接代入每种情况，解方程就行了。$nmod3=1+((\omega -1){\omega }^n-(\omega +2){\omega }^{2n})/3$

17. 看书上答案。

18. 书P74页相关内容。额外考虑到的实际上只有$k\ge n$的情况。注意条件判断右侧不等号，要求j至少有$n\alpha -v$，因此只要考虑$\lfloor n\alpha \rfloor$的情况，此时左侧不等号始终成立，只要考虑右侧情况，共有$\lceil (\lfloor n\alpha \rfloor +v){\alpha }^{-1}\rceil -n\le \lceil v{\alpha }^{-1}\rceil$种可能。

19. 若b不是整数，取$x=b$即可，因此b一定是整数。b是整数时，使用底的定义，显然成立。

20. $\frac{x(\lfloor \beta /x\rfloor -\lceil \alpha /x\rceil +1)(\lfloor \beta /x\rfloor +\lceil \alpha /x\rceil )}{2}$.和答案步骤一样。展开以后与答案相同。

21. $\lfloor M/lg10\rfloor +1$，lg以2为底。观察得到：对于第一个十进制下有n位的$2^m$，其首位一定是1.

22. $S_n={\sum }_{k\ge 1}\lfloor n/2^k+\frac{1}{2}\rfloor =n,T_n={\sum }_{k\ge 1}{2}^k\lfloor n/2^k+\frac{1}{2}{\rfloor }^2=n(n+1)$

    书上答案的递推式没有问题。可以从n的二进制表示出发，$S_n$的含义等价于n的二进制表示，$T_n$就有点麻烦了，可能书上答案更好理解。

23. 只要验证第$\frac{m(m-1)}{2}+p,0<p\le m$个元素是m，即$m-1/2\le \sqrt{m(m-1)+2p}<m+1/2$，根号内配平即可证明成立。

24. 在$Spec(\alpha )$中出现k次的正整数，会在 $Spec(\alpha /(\alpha +1))$出现k+1次。只要证明$\forall n\in N^{+},N(\alpha /(\alpha +1),n)-N(\alpha ,n)=n+1$即可。

    根据定理(3.14)，可以将上式化简为
    $$\begin{array}{rl}& \lceil (n+1)(\alpha +1)/\alpha \rceil -1-\lceil (n+1)/\alpha \rceil +1\\ & =n+1+\lceil (n+1)/\alpha \rceil -\lceil (n+1)/\alpha \rceil \\ & =n+1\end{array}$$

25. 高德纳数定义：$K_0=1,K_{n+1}=1+min(2K_{\lfloor n/2\rfloor },3K_{\lfloor n/3\rfloor })$

    如果$min(2K_{\lfloor n/2\rfloor },3K_{\lfloor n/3\rfloor })\ge n$，就可以证明$K_{n+1}\ge n+1$。

    对于n=0,1，成立；对于n>1，$min(2K_{\lfloor n/2\rfloor },3K_{\lfloor n/3\rfloor })\ge min(2\lfloor n/2\rfloor ,3\lfloor n/3\rfloor )$ ，通过这个式子并没有办法导出结论。注意到：可以证明加强命题$K_{n+1}\ge n+2$，这是很容易使用归纳法证明的，因此可以得到结论：原命题成立，且加强命题成立。

    书上答案提到了这种方法，但是给出了另一种方法的详细解答。

26. 辅助约瑟夫数定义：$D_0^{(q)}=1,D_n^{(q)}=\lceil \frac{q}{q-1}{D}_{n-1}^{(q)}\rceil$

    n=0时，结论成立；假设n＜k时结论成立，当n=k时，有$\lceil (\frac{q}{q-1}{)}^n\rceil \le D_n^{(q)}\le \lceil q(\frac{q}{q-1}{)}^n\rceil$，左侧不等号显然是原命题的加强结论，因此只要证明原命题右侧不等号正确即可。

    因为没办法直接看出怎么找到加强结论，假设存在与n无关的常数C，满足$D_n^{(q)}\le q(\frac{q}{q-1}{)}^n+C$。对于n+1，若$D_{n+1}^{(q)}=\lceil \frac{q}{q-1}{D}_n^{(q)}\rceil \le \lceil q(\frac{q}{q-1}{)}^{n+1}+Cq/(q-1)\rceil \le q(\frac{q}{q-1}{)}^{n+1}+C$成立，则可证明。只要$Cq/(q-1)+1\le C$成立，即$C\le 1-q$即可。其中，C=1-q对于$D_0^q$ 成立，根据归纳法，原命题成立。

27. 对于 D n = 2 m d − a , a ∈ { 0 , 1 } ， D n + m = 3 m d − a D_n=2^md-a, a\in\{0,1\}，D_{n+m}=3^md-a Dn​=2md−a,a∈{0,1}，Dn+m​=3md−a。

    又$D_0=1=2^1\times 1-1,D_1=1=2^1\times 1-0$，因此奇数和偶数的个数均为无穷多个。

28. 不会。

29. 我放弃。

30. 注意到$\alpha +{\alpha }^{-1}=m,{\alpha }^2+{\alpha }^{-2}=m^2-2,{\alpha }^4+{\alpha }^{-4}=(m^2-2{)}^2-2$，考虑是否对于所有n，${\alpha }^{2^n}+{\alpha }^{-2^n}$为整数。这很容易证明。同时注意到，由于$\alpha >1$，因此${\alpha }^{-2^n}<1,{\alpha }^{2^n}+{\alpha }^{-2^n}=\lceil {\alpha }^{2^n}\rceil$

    之后，使用数学归纳法，证明$X_n={\alpha }^{2^n}+{\alpha }^{-2^n}$，然后换为取顶的结果即可。

31. $\lfloor x\rfloor +\lfloor y\rfloor +\lfloor x+y\rfloor \le \lfloor 2x\rfloor +\lfloor 2y\rfloor$

       ⟺    ⌊ { x } + { y } ⌋ ≤ ⌊ 2 { x } ⌋ + ⌊ 2 { y } ⌋ \iff \lfloor\{x\}+\{y\}\rfloor\le\lfloor2\{x\}\rfloor+\lfloor2\{y\}\rfloor ⟺⌊{x}+{y}⌋≤⌊2{x}⌋+⌊2{y}⌋

    可以分类讨论解出上式。

32. 我放弃，这题还是看答案好了。

33. 从几何角度考虑，棋盘每条直线与圆相交两次，共相交8n-4次，因此答案为8n-4

    对于${\sum }_{k=1}^{n-1}f(n,k)$，自然想到k是高度(第k行的方格中，完全处于圆中的个数)，因此$f(n,k)=4\lfloor r^2-k^2\rfloor$是解(r是圆的半径，思考几何意义)。

34. 1. 设$n=2^m,f(2^{m+1})=f(2^m)+2^m(m+1)$，可以当作和式，解出$f(2^m)=(m-1)2^m+1$。然后应该不难推出通式。

       如果令$m=\lceil lgn\rceil$，则$f(n)=f(2^m)-m(2^m-n)=mn-2^m+1$

    2. 注意到，$\lceil \lg 2k\rceil =\lceil \lg k\rceil +1,\lceil \lg (2k-1)\rceil =\lceil \lg k\rceil +[k>1]$。因此，分奇偶考虑n＞3的情况，然后单独讨论n=3的情况即可。

35. 泰勒展开，结果为$n^2+3n+2modn=2modn$

36. 式子挺复杂的，考虑$S_{n+1}-S_n$，此时lglgk是固定值n，然后对于lgk进行分析，会得到$S_{n+1}-S_n=1/2^n,S_1=1,S_n=2-1/2^{n-1}$

37. 对于$m<n/2$，左式=0，右式=$\lfloor \frac{m^2}{n}\rfloor -\lfloor \frac{m^2}{n}\rfloor =0$

    对于$n/2\le m<n$，左式=${\sum }_{0\le k<m}[k\ge n-m]=m-(n-m)=2m-n$，右式=$\lfloor \frac{m^2}{n}\rfloor -\lfloor \frac{(n-m{)}^2}{n}\rfloor =2m-n$

    对于$m\ge n$，令$m=n{q}_m+r_m,k=n{q}_k+r_k$，右式=$\lfloor r_m^2/n\rfloor +n{q}_m^2+2q_m{r}_m-\lfloor f_{min}(r_m{)}^2/n\rfloor$，左式=$m{q}_m+{\sum }_{0\le k<n}(\lfloor \frac{r_m+r_k}{n}\rfloor -\lfloor \frac{r_k}{n}\rfloor )=m{q}_m+q_m{r}_m+\lfloor \frac{r_m^2}{n}\rfloor -\lfloor f_{min}(r_m{)}^2/n\rfloor$

    左式与右式比较，只要$m{q}_m+q_m{r}_m=n{q}_m^2+2q_m{r}_m$即可。将m用$n{q}_m+r_m$代入即可证明。

38. 放弃了，不做了。