＜算法导论＞练习3.2

3.2-1
因为f(m),与g(m)单调递增，所以，在n>m时有：
$$\begin{gathered} f(m)<f(n)(1) \\ g(m)<g(n)(2) \end{gathered}$$
式(1)与（2）相加可得$f(m)+g(m)<f(n)+g(n)$,所以是单调递增的。

在m<n时，有g(m)<g(n),且f(x)单调递增，所以f(g(n))同样是单调递增的。

若f(m)与g(m)非负，则，f(m)g(m)<f(n)g(n) .所以是递增的。

3.2-2
$$a^{{\log }_{b}c}=a^{\frac{{\log }_{a}c}{{\log }_{a}b}}=(a^{{\log }_{a}c}{)}^{\frac{1}{{\log }_{a}b}}=c^{{\log }_{b}a}$$

3.2-3
在证明3.19前首先要证明，$lg(n)=O(n)$,根据O函数的定义,即存在常数c使得在$n>n_0$时存在$lgn<=c\ast n$,在c=1时很容易找到$n_0$使其成立，所以$lg(n)=O(n)$。
那么原式中代入斯特林公式就可以很容易的化简为：

要证明$f(n)=w(g(n))$就是证明:
$$\underset{n\to \infty }{\lim }\frac{f(n)}{g(n)}=+\infty$$
证明方式是代入斯特林公式然后放缩：

证明$f(n)=o(g(n))$就是证明：
$$\underset{n\to \infty }{\lim }\frac{f(n)}{g(n)}=0$$

3.2-6
把黄金分割率代入方程就可以证明了。

3.2-7

3.2-8
由对称性可知$klnk=\Theta (n)$等价于$n=\Theta (klnk)$
则：$lnn=\Theta (ln(klnk))=\Theta (lnk+lnlnk)=\Theta (lnk)$
二者相除即可得到：
$$\frac{n}{ln(n)}=\frac{\Theta (klnk)}{\Theta (lnk)}=\frac{klnk}{lnk}=\Theta (k)$$
再根据对称性换算一下即可。