证明:对任意实常量a和b,其中b>0,有
= θ(
) 。
以下解答。
根据θ的形式化定义,该问题可以表述为求证如下定义:
θ() = {
:存在正常量
、
和
,使得对所有n
,有0
} 。
我们分两步证明:
1. 证明存在正常量和
,使得对所有n
,有0
。
我们取=0,则
=0,因为只要n+a
0,则
必然也大于0,要使得n+a
0,则要求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中最大的那个。原不等式得证。