负指数幂的运算法则