关于指数运算性质a^m × a^n =a^(m+n)对分数情况成立的证明问询

嘿，这个问题问得特别好——整数指数的情况直观易懂，但分数指数确实需要从定义出发拆解，咱们一步步来捋清楚：

首先得明确分数指数的定义：对于任意整数p、q（q>0），我们规定a^(p/q)等于a^p的q次算术根，也就是a^(p/q) = √[q]{a^p}，同时它也等价于(√[q]{a})^p（在a≥0的实数范围内，这两种表达是一致的，这也是定义的核心逻辑）。

接下来我们用这个定义推导性质，假设m和n都是分数：

• 设m = p/q，n = r/s，其中p、q、r、s都是整数，且q>0、s>0
• 先展开左边的乘积：a^m × a^n = a^(p/q) × a^(r/s)，根据定义转化为根式就是√[q]{a^p} × √[s]{a^r}

为了方便计算，我们把两个根式统一成同次根式：找q和s的最小公倍数k（比如k=q×s，若q、s互质的话），将两个根式转化为k次根号：

• √[q]{a^p} = √[k]{a^(p×s)}（因为1/q = s/k，结合整数指数性质(x^b)^c = x^(b×c)，(a^p)^(s/k) = √[k]{a^(p×s)}）
• √[s]{a^r} = √[k]{a^(r×q)}（同理，1/s = q/k，所以(a^r)^(q/k) = √[k]{a^(r×q)}）

现在两个同次根式相乘，结果就是k次根号下两个被开方数的乘积：
√[k]{a^(p×s)} × √[k]{a^(r×q)} = √[k]{a^(p×s) × a^(r×q)}

根据咱们已经认可的整数指数性质，里面的乘积可以合并为a^(p×s + r×q)，所以左边最终变为√[k]{a^(p×s + r×q)}

再看右边的a^(m+n)：

• 先计算m+n的和：m+n = p/q + r/s = (p×s + r×q)/(q×s) = (p×s + r×q)/k
• 根据分数指数定义，a^(m+n) = a^[(p×s + r×q)/k] = √[k]{a^(p×s + r×q)}

你看，左边和右边的结果完全一致，这就证明了a^m ×a^n =a^(m+n)在m、n为分数时成立。

那如果a本身也是分数呢？比如a = c/d（c、d为非零整数），我们可以利用整数指数的性质(c/d)^x = c^x / d^x来推导：
(c/d)^m × (c/d)^n = (c^m / d^m) × (c^n / d^n) = (c^m ×c^n)/(d^m ×d^n)
对分子分母分别用上面刚证明的分数指数性质，得到c^(m+n)/d^(m+n) = (c/d)^(m+n)，所以a为分数时性质也成立。

⚠️ 小提醒：这里我们默认在实数范围内讨论，且a≥0——如果a是负数，分数指数可能会涉及虚数，情况会更复杂，不过常规的实数域讨论中，我们都限定a≥0来保证分数指数有意义。

备注：内容来源于stack exchange，提问作者Shyam