对数运算推理过