对数lg的运算法则及公式推论证明方法