- 证明
l
o
g
2
(
X
)
<
X
log_2(X)<X
log2(X)<X
证明:
< = > l o g 2 ( X ) < l o g 2 ( 2 X ) <=>log_2(X)<log_2(2^X) <=>log2(X)<log2(2X)
< = > 2 X − X > 0 <=>2^X-X>0 <=>2X−X>0
只要证明对于所有的 X > 0 X>0 X>0,都有 2 X − X > 0 2^X-X>0 2X−X>0即可。
令 f ( X ) = 2 X − X f(X)=2^X-X f(X)=2X−X,求导得到 f ′ ( x ) = 2 X l n 2 − 1 f'(x)=2^Xln2-1 f′(x)=2Xln2−1,这个函数是增函数,但是 f ′ ( 0 ) = l n 2 − 1 < 0 f'(0)=ln2-1<0 f′(0)=ln2−1<0,所以 f ( X ) f(X) f(X)先减后增。 f ( X ) f(X) f(X)的最小点在 f ′ ( X ) = 0 f'(X)=0 f′(X)=0上,这时 X = − l o g 2 l n 2 X=-log_2ln2 X=−log2ln2,带入 f ( X ) f(X) f(X)得到 f ( − l o g 2 l n 2 ) = 1 / ( l n 2 ) + l o g 2 l n 2 > 0 f(-log_2ln2)=1/(ln2)+log_2ln2>0 f(−log2ln2)=1/(ln2)+log2ln2>0,所以对于所有的 X > 0 X>0 X>0,都有 2 X − X > 0 2^X-X>0 2X−X>0,则 l o g 2 ( X ) < X log_2(X)<X log2(X)<X - 证明 l o g ( A B ) = B l o g A log(A^B)=BlogA log(AB)=BlogA
数据结构与算法第一章1.5小题证明
最新推荐文章于 2023-05-31 15:05:09 发布