指数扩充运算的性质 晏运昌