对数函数的性质及其应用