这是负整指数幂的定义,无需证明.
可以根据同底数幂的乘法来说明：
设a≠0
a^n * a^(-n) = a^[n+(-n)] = a^0 = 1
∴ a^(-n) = 1 / a^n