数据结构与算法第一章1.5小题证明

1. 证明 $lo{g}_2(X)<X$
   证明：
   $<=>lo{g}_2(X)<lo{g}_2(2^X)$
   $<=>2^X-X>0$
   只要证明对于所有的$X>0$,都有$2^X-X>0$即可。
   令$f(X)=2^X-X$,求导得到$f^{\prime }(x)=2^{X}ln2-1$,这个函数是增函数，但是$f^{\prime }(0)=ln2-1<0$,所以$f(X)$先减后增。$f(X)$的最小点在$f^{\prime }(X)=0$上，这时$X=-lo{g}_{2}ln2$,带入$f(X)$得到$f(-lo{g}_{2}ln2)=1/(ln2)+lo{g}_{2}ln2>0$,所以对于所有的$X>0$,都有$2^X-X>0$，则$lo{g}_2(X)<X$
2. 证明 $log(A^B)=BlogA$