当x=log2 k 时1/x=log2 证明