log a b=log c b/log c a 这个定理是怎么用定义推导出来的