算法导论 3.1-2 又一道θ的证明题

证明：对任意实常量a和b，其中b>0，有  = θ() 。

以下解答。

根据θ的形式化定义，该问题可以表述为求证如下定义：

θ() = {：存在正常量、和，使得对所有n，有0} 。

我们分两步证明：

1. 证明存在正常量和，使得对所有n，有0 。

我们取=0，则=0，因为只要n+a0，则必然也大于0，要使得n+a0，则要求n-a，也就是说，存在=-a，对于所有n，有0 。故不等式得证。

2. 证明存在正常量和，使得对所有n，有0。

对不等式 进行一步步推导推导，可得    =>  由于b>0，对不等式两边进行取对数，得

(n+a)n    => 不等式两边各除以n，可得

 => 左边式子可以用对数形式描述，得

 => 由于b>0，去掉左右对数部分，可得

，因此只要证明存在正常量和，使得对所有n，有即可。

我们取=2，只要=a，则 必然小于等于2，并且它大于0，故成立。不等式得证。

结合1和2的分步骤论证，我们取1和2中最大的那个。原不等式得证。