对数函数的定义及性质