有理数的乘方的定义