(多项式的渐近行为)假设是一个关于n的d次多项式,其中,k是一个常量。使用渐近记号的定义来证明下面的性质。
a. 若,则。
b. 若,则。
c. 若,则。
d. 若,则。
e. 若,则。
解答:
a. 根据的形式化定义,有:
{ 存在正常量和,使得对所有,有 }。
套用到a中,则且。于是有
{ 存在正常量和,使得对所有,有 }。
我们取b等于中的最大绝对值,当,且时,有,由于,并且b是中的最大绝对值,所以对于中的每一个均中的任何一个,因此对于,存在正常量和,使得对所有,有,故a得证。
b. 根据的形式化定义,有:
{ 存在正常量和,使得对所有,有 }
套用到b中,则且。于是有
{ 存在正常量和,使得对所有,有 }。
取正常量令,计算,可得
已知,因此可得
对于式子中,由于,故,又因为,
当时,由于,且, 于是有,因此可得
。
于是可以得出,取,,则有,于是有
。b证明成立。
c. 当时,根据a和b的证明我们有且,于是有。
d和e证明过程和a、b相似,在此不再赘述。