对数运算性质的应用