有理指数幂

0. 基本信息

课程名称

高等微积分

课程ID

{课程ID}

章节/单元

1 实数与实数的运算

小节

1.4 实数的幂

知识点名称

有理指数幂

知识点ID

{项目组统一定义的知识点ID}

知识点类型

概念

知识点层级

一般

难度

3

重要程度

3

建议学习时长

30分钟

填写与复核

填写人： 孟广轩 复核人： {姓名}
版本与日期： v0.1，2026-07-23

1. 知识背景与应用

1.1 知识点概述

实数的幂是高中就使用过，但是没有严格定义过的，定义有理指数幂则是把指数推广到整个实数的基础。同实数的其他运算一样，本知识点需要一定抽象思维，学习过程中可以着重体会确界原理的强大威力。

1.2 与其他课程或知识点的联系

关联知识点 1

相关知识点ID： {相关知识点ID}

相关知识点名称： 确界原理

关系类型： 应用

关系说明： 确界原理保证了有理指数幂的存在唯一性。

关联知识点 2

相关知识点ID： {相关知识点ID}

相关知识点名称： 无理指数幂

关系类型： 前置

关系说明： 无理指数幂通过有理指数幂的上确界来定义

关联知识点 3

相关知识点ID： {相关知识点ID}

相关知识点名称： 初等函数的连续性

关系类型： 后续

关系说明： 指数函数、对数函数、幂函数的连续性都依赖于实数的幂

2. 知识点正文

实数的正整数次幂

本节约定 \(\mathbb{N}\) 表示正整数集。设 \(a\in\mathbb{R}\)，\(n\in\mathbb{N}\)，定义 \(a\) 的 \(n\) 次幂为

\[ a^n\coloneqq\underbrace{a\cdot a\cdots a}_{n\text{ 个因子}}. \]

特别地，\(a^1=a\)。由实数乘法的结合律和交换律，可以得到正整数次幂的基本运算律。设 \(a,b\in\mathbb{R}\)，\(m,n\in\mathbb{N}\)，则

\[ a^m a^n=a^{m+n}, \]

\[ (a^m)^n=a^{mn}, \]

\[ (ab)^n=a^n b^n. \]

正整数次幂的符号由底数和指数的奇偶性决定：当 \(a>0\) 时，\(a^n>0\)；当 \(a<0\) 时，若 \(n\) 为奇数，则 \(a^n<0\)，若 \(n\) 为偶数，则 \(a^n>0\)。此外，\(0^n=0\)。

对任意 \(x,y\ge0\)，如果 \(x<y\)，那么

\[ y^n-x^n =(y-x)\sum_{k=0}^{n-1}y^{n-1-k}x^k >0. \]

因此，函数 \(x\mapsto x^n\) 在非负实数集上严格单调递增。这个性质将用于证明正数 \(n\) 次方根的唯一性。

实数的整数次幂

对实数的正整数次幂，指数加法对应于幂的乘法，当相减的结果为正时，指数减法也对应幂的除法。我们希望这两条性质在实数的整数次幂仍然能够保留。因此首先定义

\[ a^0\coloneqq1, \qquad a\in\mathbb{R}\setminus\{0\}. \]

这样保持了 \(a^{n-n}=\frac{a^n}{a^n}=1\)。然后定义负整数次幂：

设 \(a\ne0\)，\(n\in\mathbb{N}\)，定义负整数次幂为

\[ a^{-n}\coloneqq\frac{1}{a^n}. \]

这样便定义了底数非零时的任意整数次幂，且正整数次幂的运算性质都被保留了下来。设 \(a,b\in\mathbb{R}\setminus\{0\}\)，\(m,n\in\mathbb{Z}\)，则仍有

\[ a^m a^n=a^{m+n}, \]

\[ (a^m)^n=a^{mn}, \]

\[ (ab)^n=a^n b^n. \]

\[ \frac{a^m}{a^n}=a^{m-n}. \]

负整数次幂要求底数非零，因为定义中需要取倒数。特别地，\(0^{-n}\) 没有定义。关于 \(0^0\)，本节也不作定义。

实数的有理数次幂

为了对任意有理数指数给出统一的实数值定义，以下先限定底数 \(a>0\)。

正数的 \(n\) 次方根

设 \(a>0\)，\(n\in\mathbb{N}\)。我们先证明方程

\[ x^n=a \]

在正实数范围内存在唯一解。

考虑集合

\[ S\coloneqq\{x\in\mathbb{R}\mid x\ge0,\ x^n\le a\}. \]

因为 \(0\in S\)，所以 \(S\ne\varnothing\)。令 \(M\coloneqq\max\{1,a\}\)。当 \(x>M\) 时，有 \(x>1\) 且 \(x>a\)，从而 \(x^n\ge x>a\)。因此 \(M\) 是 \(S\) 的一个上界。由确界原理，\(S\) 存在上确界。记

\[ \alpha\coloneqq\sup S. \]

下面证明 \(\alpha^n=a\)。

如果 \(\alpha^n<a\)，取 \(h\) 满足

\[ 0<h<\min\left\{1,\frac{a-\alpha^n}{n(\alpha+1)^{n-1}}\right\}. \]

利用幂差公式，并注意到 \(\alpha+h\le\alpha+1\)，可得

\[ \begin{aligned} (\alpha+h)^n-\alpha^n &=h\sum_{k=0}^{n-1}(\alpha+h)^{n-1-k}\alpha^k \\ &\le nh(\alpha+1)^{n-1} \\ &<a-\alpha^n. \end{aligned} \]

于是 \((\alpha+h)^n<a\)，所以 \(\alpha+h\in S\)，这与 \(\alpha\) 是 \(S\) 的上界矛盾。因此 \(\alpha^n\) 不可能小于 \(a\)。

如果 \(\alpha^n>a\)，则 \(\alpha>0\)。取 \(h\) 满足

\[ 0<h<\min\left\{\alpha,\frac{\alpha^n-a}{n\alpha^{n-1}}\right\}. \]

由幂差公式可得

\[ \begin{aligned} \alpha^n-(\alpha-h)^n &=h\sum_{k=0}^{n-1}\alpha^{n-1-k}(\alpha-h)^k \\ &\le nh\alpha^{n-1} \\ &<\alpha^n-a. \end{aligned} \]

因此 \((\alpha-h)^n>a\)。由于非负实数的 \(n\) 次幂严格递增，任意 \(x\in S\) 都必须满足 \(x<\alpha-h\)。这说明 \(\alpha-h\) 也是 \(S\) 的上界，与 \(\alpha\) 是最小上界矛盾。因此 \(\alpha^n\) 也不可能大于 \(a\)。

综上，\(\alpha^n=a\)，所以正实数解存在。又因为 \(x\mapsto x^n\) 在正实数集上严格单调递增，这个解是唯一的。

称这个唯一正实数解为 \(a\) 的算术 \(n\) 次方根，记为

\[ \sqrt[n]{a}. \]

也就是说，

\[ (\sqrt[n]{a})^n=a, \qquad \sqrt[n]{a}>0. \]

有理数次幂的定义

设 \(a>0\)，\(r\in\mathbb{Q}\)。取 \(m\in\mathbb{Z}\)、\(n\in\mathbb{N}\)，使得

\[ r=\frac{m}{n}. \]

定义

\[ a^r =a^{\frac{m}{n}} \coloneqq(\sqrt[n]{a})^m. \]

这一数也可以写为

\[ a^{\frac{m}{n}}=\sqrt[n]{a^m}. \]

当 \(m<0\) 时，右端按照负整数次幂的定义理解。

还需要说明上述定义与有理数 \(r\) 的分数表示无关。假设

\[ \frac{m}{n}=\frac{p}{q}, \qquad m,p\in\mathbb{Z}, \quad n,q\in\mathbb{N}. \]

令

\[ u=(\sqrt[n]{a})^m, \qquad v=(\sqrt[q]{a})^p. \]

因为 \(mq=pn\)，所以

\[ u^{nq}=a^{mq}=a^{pn}=v^{nq}. \]

又因为 \(u,v>0\)，而正实数的 \(nq\) 次幂严格单调递增，所以 \(u=v\)。因此 \(a^r\) 的值不依赖于 \(r\) 的具体分数表示，有理数次幂的定义是良好的。

有理数次幂的运算律

设 \(a,b>0\)，\(r,s\in\mathbb{Q}\)，则有

\[ a^r a^s=a^{r+s}, \]

\[ (a^r)^s=a^{rs}, \]

\[ (ab)^r=a^r b^r, \]

\[ \frac{a^r}{a^s}=a^{r-s}. \]

这些运算律可以通过把 \(r,s\) 通分，化为正整数次幂、整数次幂以及正数方根的唯一性来证明。

当底数为 \(0\) 时，可以对 \(r>0\) 定义 \(0^r=0\)，但 \(0^0\) 和 \(0^r\) 在 \(r<0\) 时没有定义。对于负底数，有些有理指数能够在实数范围内定义，有些则不能，而且结果会受到分母奇偶性的影响。为了使定义和值域统一，本节的有理数次幂默认以正实数为底数，后面的幂函数也只在正半轴上定义。

附录：主要依据与修订

主要依据

{简要列出教材章节与页码、课件页码、讲义位置或课程组自编说明。不需要建立资料 ID。}

复核确认

[ ] 基本信息与 Excel 一致。
[ ] 关联知识点与 Excel 一致。
[ ] 正文符合当前课程的教学范围。
[ ] 关键概念、公式、推导、图示和示例准确。
[ ] 正文易于同学连续阅读，不是机械拼接的栏目。
[ ] 未加入资料清单、题库、自测、答案或判分规则。

修订记录

版本	日期	修改人	修改内容	复核结论
v0.1	YYYY-MM-DD	{姓名}	初稿	{待复核 / 通过 / 需修改}