有理数的乘方究竟怎么定义？一篇搞懂数学基础！
一、乘方的本质：从整数幂到有理数幂的自然延拓
乘方不是孤立的运算符号，而是重复相乘的简洁表达。当指数为正整数时，aⁿ（a∈ℚ，n∈ℕ⁺）严格定义为n个a连乘：aⁿ = a × a × … × a（n次）。这一定义在有理数集上完全成立，因为有理数对乘法封闭——任意两个有理数相乘结果仍为有理数。例如(2/3)³ = (2/3)×(2/3)×(2/3) = 8/27，分子分母分别按整数幂运算，结果仍在ℚ中。关键在于：有理数乘方的正整数指数情形，无需额外公理，仅依赖ℚ的代数结构与整数幂定义即可严格构建。国际数学教育委员会（ICME）《中学数学核心概念教学指南》明确指出，该阶段的教学应强调“运算一致性”——即有理数幂必须与整数幂在重合域（如整数）上取值完全一致，这是定义合法性的基本判据。
二、负整数指数：倒数运算的必然引入
当指数扩展至负整数时，定义不再依赖重复相乘，而需借助乘法逆元。对任意非零有理数a，规定a⁻ⁿ = 1/aⁿ（n∈ℕ⁺）。此定义并非约定俗成，而是由指数运算法则aᵐ × aⁿ = aᵐ⁺ⁿ唯一确定：若要求该法则在m = n与m = −n时均成立，则必有aⁿ × a⁻ⁿ = a⁰，进而导出a⁻ⁿ = 1/aⁿ。特别地，a⁰ = 1（a ≠ 0）由此成为逻辑推论而非新公设。这一定义在ℚ中完全可行，因为每个非零有理数均有唯一的有理数倒数——若a = p/q（p,q∈ℤ，q≠0，p≠0），则1/a = q/p ∈ ℚ。历史文献显示，16世纪韦达在《分析术引论》中已系统使用负指数表示倒数，其形式化基础正是有理数域的除法封闭性。
三、分数指数：根式与幂的统一刻画
分数指数a^(m/n)（m∈ℤ，n∈ℕ⁺，n > 1）的定义建立在n次方根存在性之上。对正有理数a，a^(m/n)定义为(a^(1/n))ᵐ，其中a^(1/n)是满足xⁿ = a的唯一正有理数x（当且仅当a是某个有理数的n次幂时成立）。例如(81/16)^(3/4) = ((81/16)^(1/4))³ = (3/2)³ = 27/8。需注意：并非所有正有理数都存在有理数n次方根（如2^(1/2) ∉ ℚ），因此a^(m/n)作为有理数仅在特定条件下成立；但作为实数，它恒有定义。《布尔巴基数学原理·代数卷》强调，分数指数的定义必须与极限连续性兼容，这为后续实数幂铺平道路，而有理数幂正是该理论链的第一环。
四、定义的边界：零与负底数的严格限制
零的乘方需分情况处理：0ⁿ（n∈ℕ⁺）= 0，符合重复相乘定义；但0⁰无定义，因极限lim_(x→0⁺) xˣ = 1与lim_(y→0) 0ʸ = 0矛盾，且指数律a⁰ = 1要求a ≠ 0。负有理数的分数指数则更受约束：当指数为最简分数m/n且n为偶数时，a^(m/n)在有理数范围内无定义（如(−4)^(1/2) ∉ ℚ），因负数无偶次有理方根。此限制源于ℚ的序结构——有理数域不包含虚数单位，亦无法通过有理运算生成实数范围外的解。19世纪戴德金在《连续性与无理数》中指出，此类缺失恰是实数扩张的原始动因，而有理数乘方的明确定义域，正是这一历史演进的精确起点。
