《具体数学》第三章课后习题个人解答_具体数学第三章答案-CSDN博客

本文链接：https://blog.csdn.net/weixin_62916292/article/details/132407289

两边取对数， $lg(n)=lg(2^m+l)$ , $m=[lg(n)], l=n-2^m=n-2^{[lg(n)]}$
第一问对x-0.5取顶，第二问对x+0.5取底
$[[m\alpha]n/\alpha]=[(m\alpha-\{m\alpha\})n/\alpha]=mn$
not even wrong
$nx]=[n([x]+\{x\})]=n[x]+[n\{x\}]=n[x]$ ，得到 $0\le n\{x\}<1$
不知道。
$X_n=X_{n\ mod\ m}+[n/m]=n\ mod\ m+[n/m]$
使用反证法即可。
$\frac{m}{n}-\frac{1}{q}=\frac{mq-n}{nq}<\frac{m(n/m+1)-n}{nq}=\frac{m}{nq}<\frac{1}{q}$ ，因此不会出现相同表示。
原式= $\lceil x+1/2\rceil-[(2x+1)/4不是偶数]$ 。当{x}=1/2时，结果是其最近的偶数，否则是其最近的整数。
防止出现边界是整数的情形。
答案的方法比我想的好很多，建议直接看答案。我考虑分类讨论。
都是无理数：假设都是有理数，考虑二者分母分子的最小公倍数即可，因此至少有一个是无理数。然后只要证明， $1/\alpha+1/\beta=1$ ，即可证明都是无理数。

证明两个spec不相交，只要证明对于任意正整数n，前n个正整数一定都出现且仅出现在这两个spec之一中。
当n=0时，显然不成立。 $x\neq 0$ 时， $(x\ mod\ ny)mod\ y=(x-ny[x/ny])mod\ y=xmod\ y-0=xmod\ y$
有的。将(3.24)替换即可。记得使用性质(3.11)去除顶。
比较无脑，直接代入每种情况，解方程就行了。 $n\ mod\ 3=1+((\omega -1)\omega^n-(\omega+2)\omega^{2n})/3$
看书上答案。
书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$ 种可能。
若b不是整数，取 $x = b$ 即可，因此b一定是整数。b是整数时，使用底的定义，显然成立。
$\frac{x(\lfloor \beta/x\rfloor-\lceil \alpha/x\rceil+1)(\lfloor \beta/x\rfloor+\lceil \alpha/x\rceil)}{2}$ .和答案步骤一样。展开以后与答案相同。
$\lfloor M/lg10\rfloor+1$ ，lg以2为底。观察得到：对于第一个十进制下有n位的 $2^m$ ，其首位一定是1.
$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$ 就有点麻烦了，可能书上答案更好理解。
只要验证第 $\frac{m(m-1)}{2}+p, 0<p\le m$ 个元素是m，即 $m-1/2\le \sqrt{m(m-1)+2p}<m+1/2$ ，根号内配平即可证明成立。
在 $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{aligned} &\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{aligned}$
高德纳数定义： $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$ ，这是很容易使用归纳法证明的，因此可以得到结论：原命题成立，且加强命题成立。

书上答案提到了这种方法，但是给出了另一种方法的详细解答。
辅助约瑟夫数定义： $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}$ 成立，根据归纳法，原命题成立。
对于 $D_n=2^md-a, a\in\{0,1\}，D_{n+m}=3^md-a$ 。

又 $D_0=1=2^1\times1-1,D_1=1=2^1\times1-0$ ，因此奇数和偶数的个数均为无穷多个。
不会。
我放弃。
注意到 $\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}$ ，然后换为取顶的结果即可。
$\lfloor x\rfloor+\lfloor y\rfloor+\lfloor x+y\rfloor\le\lfloor2x\rfloor+\lfloor2y\rfloor$

$\iff \lfloor\{x\}+\{y\}\rfloor\le\lfloor2\{x\}\rfloor+\lfloor2\{y\}\rfloor$

可以分类讨论解出上式。
我放弃，这题还是看答案好了。
从几何角度考虑，棋盘每条直线与圆相交两次，共相交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是圆的半径，思考几何意义)。
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\lg2k\rceil=\lceil\lg k\rceil+1,\lceil \lg(2k-1)\rceil=\lceil \lg k\rceil+[k>1]$ 。因此，分奇偶考虑n＞3的情况，然后单独讨论n=3的情况即可。
泰勒展开，结果为 $n^2+3n+2\ mod\ n=2modn$
式子挺复杂的，考虑 $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}$
对于 $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=nq_m+r_m,k=nq_k+r_k$ ，右式= $\lfloor r_m^2/n\rfloor+nq_m^2+2q_mr_m-\lfloor f_{min}(r_m)^2/n\rfloor$ ，左式= $mq_m+\sum_{0\le k<n}(\lfloor \frac{r_m+r_k}{n}\rfloor-\lfloor \frac{r_k}{n}\rfloor)=mq_m+q_mr_m+\lfloor\frac{r_m^2}{n}\rfloor-\lfloor f_{min}(r_m)^2/n\rfloor$

左式与右式比较，只要 $mq_m+q_mr_m=nq_m^2+2q_mr_m$ 即可。将m用 $nq_m+r_m$ 代入即可证明。
放弃了，不做了。