2.3.2数学归纳法应用举例

数学归纳法的发展及其在数学中的应用摘要：在数学论证中，数学归纳法是一种常用的数学方法，用途很广，对于某些结论是自然数的函数命题，往往都可以通过数学归纳法来加以证明。

本文叙述了数学归纳法名称的发展，数学归纳法内容的发展，并分别从良序原理、数学归纳法、第二数学归纳法、数学归纳法的有效性这四个方面对数学归纳法的原理做了介绍，都有相关的例子，能帮助读者深入的理解数学归纳法的原理。

本文也列举了几种常见的数学归纳法的形式，如第一数学归纳法、第二数学归纳法、倒推归纳法、螺旋式归纳法。

在了解数学归纳在数学中的应用后，本文重点叙述了数学归纳法在证明恒等式、证明不等式、证明整除问题、证明几何问题、探索与正整数有关的问题中的具体应用过程。

通过本文，能使读者更加深入的了解数学归纳法，并且能更好的运用数学归纳法解决数学学科中的一些问题。

关键词：数学归纳法发展原理应用一、数学归纳法的发展（一）数学归纳法名称的发展“数学归纳法”名称是由英国数学家创立, 并由英国教科书作者普遍采用推广。

在名称上迈出重要一步的是英国数学家德摩根。

1838年在伦敦出版的《小百科全书》中，德摩根在他的条目“归纳法里建议使用“逐收归纳法”。

但在该条目的最后他偶然地使用了术语数学归纳法，这是我们所能看到这一术语的最早使用。

无论是毛罗利科还是帕斯卡，也无论是伯努利还是其后的数学家们，虽然都在不断地使用数学归纳法，但在很长的时期内并授有给他们的方法以任何名称。

只是由于沃利斯以及雅各布·伯努利的工作，才引进了“归纳法”这一名称。

并在两种截然不同的意义上应用于数学：(1)以特此获得一般结论的沃利斯方式(2)指定的步骤论证，并且影响了其后的数学家们，使这种混用状态大约持续了140年。

到l9世纪上半叶，英国的数学家皮科克在他的《代数学》的排列与组合部分，谈到梅成的规律用归纳法延伸到任意数，是从预攫 f 意义上以沃利斯方式使用归纳法的。

后来，他又将从“到R+1的论证称之为证明归纳法。

数学归纳法及其应用举例(教案)章节一：数学归纳法的概念与步骤教学目标：1. 了解数学归纳法的定义与基本步骤。

2. 掌握数学归纳法的一般形式。

教学内容：1. 引入数学归纳法的概念。

2. 讲解数学归纳法的基本步骤。

3. 示例说明数学归纳法的应用。

教学活动：1. 引导学生思考数学归纳法的定义。

2. 通过具体例子讲解数学归纳法的步骤。

3. 让学生尝试使用数学归纳法解决简单问题。

作业与练习：1. 完成课后练习，巩固数学归纳法的概念与步骤。

2. 选取一些简单的数学问题，尝试使用数学归纳法解决。

章节二：数学归纳法的证明步骤教学目标：1. 掌握数学归纳法的证明步骤。

2. 能够运用数学归纳法证明简单的不等式或定理。

教学内容：1. 讲解数学归纳法的证明步骤。

2. 示例说明数学归纳法在证明不等式和定理中的应用。

教学活动：1. 引导学生理解数学归纳法的证明步骤。

2. 通过具体例子讲解数学归纳法在证明不等式和定理中的应用。

3. 让学生尝试使用数学归纳法证明简单的不等式或定理。

作业与练习：1. 完成课后练习，巩固数学归纳法的证明步骤。

2. 选取一些简单的不等式或定理，尝试使用数学归纳法进行证明。

章节三：数学归纳法的扩展与应用教学目标：1. 了解数学归纳法的扩展形式。

2. 掌握数学归纳法在解决实际问题中的应用。

教学内容：1. 讲解数学归纳法的扩展形式。

2. 示例说明数学归纳法在解决实际问题中的应用。

教学活动：1. 引导学生思考数学归纳法的扩展形式。

2. 通过具体例子讲解数学归纳法在解决实际问题中的应用。

3. 让学生尝试使用数学归纳法解决实际问题。

作业与练习：1. 完成课后练习，巩固数学归纳法的扩展形式。

2. 选取一些实际问题，尝试使用数学归纳法解决。

章节四：数学归纳法的局限性与改进教学目标：1. 了解数学归纳法的局限性。

2. 学会改进数学归纳法的证明过程。

教学内容：1. 讲解数学归纳法的局限性。

2. 示例说明如何改进数学归纳法的证明过程。

（人教课标版）普通高中课程标准实验教科书《数学》目录（B版）（人教课标版）普通高中课程标准实验教科书《数学》目录（B版）必修一第一章集合1.1集合与集合的表示方法1.1.1集合的概念1.1.2集合的表示方法1.2集合之间的关系与运算1.2.1集合之间的关系1.2.2集合的运算本章小结阅读与欣赏聪明在于学习，天才由于积累第二章函数2.1函数2.1.1函数2.1.2函数的表示方法2.1.3函数的单调性2.1.4函数的奇偶性2.1.5用计算机作函数的图象（选学）2.2一次函数和二次函数2.2.1一次函数的性质与图象2.2.3待定系数法2.3函数的应用（Ⅰ）2.4函数与方程2.4.1函数的零点2.4.2求函数零点近似解的一种计算方法——二分法本章小结阅读与欣赏函数概念的形成与发展第三章基本初等函数（Ⅰ）3.1指数与指数函数3.1.1实数指数幂及其运算3.1.2指数函数3.2对数与对数函数3.2.1对数及其运算3.2.2对数函数3.2.3指数函数与对数函数的关系3.3幂函数3.4函数的应用（Ⅱ）本章小结阅读与欣赏对数的发明必修二第一章立体几何初步1.1空间几何体1.1.1构成空间几何体的基本元素1.1.2棱柱、棱锥和棱台的结构特征1.1.3圆柱、圆锥、圆台和球1.1.4投影与直观图1.1.5三视图1.1.6棱柱、棱锥、棱台和球的表面积1.1.7柱、锥、台和球的体积实习作业1.2点、线、面之间的位置关系1.2.1平面的基本性质与推论1.2.2空间中的平行关系1.2.3空间中的垂直关系本章小结阅读与欣赏散发着数学芳香的碑文第二章平面解析几何初步2.1平面直角坐标系中的基本公式2.1.1数轴上的基本公式2.1.2平面直角坐标系中的基本公式2.2直线的方程2.2.1直线方程的概念与直线的斜率2.2.2直线方程的几种形式2.2.3两条直线的位置关系2.2.4点到直线的距离2.3圆的方程2.3.1圆的标准方程2.3.2圆的一般方程2.3.3直线与圆的位置关系2.3.4圆与圆的位置关系2.4空间直角坐标系2.4.1空间直角坐标系2.4.2空间两点的距离公式本章小结阅读与欣赏笛卡儿必修三第一章算法初步1.1算法与程序框图1.1.1算法的概念1.1.2程序框图1.1.3算法的三种基本逻辑结构和框图表示1.2基本算法语句1.2.1赋值、输入和输出语句1.2.2条件语句1.2.3循环语句1.3中国古代数学中的算法案例本章小结阅读与欣赏我国古代数学家秦九韶附录1解三元一次方程组的算法、框图和程序附录2Scilab部分函数指令表第二章统计2.1随机抽样2.1.2系统抽样2.1.4数据的收集2.2用样本估计总体2.2.1用样本的频率分布估计总体的分布2.2.2用样本的数字特征估计总体的数字特征2.3变量的相关性2.3.1变量间的相关关系2.3.2两个变量的线性相关本章小结阅读与欣赏蚂蚁和大象谁的力气更大附录随机数表第三章概率3.1事件与概率3.1.1随机现象3.1.2事件与基本事件空间3.1.3频率与概率3.1.4概率的加法公式3.2古典概型3.2.1古典概型3.2.2概率的一般加法公式（选学）3.3随机数的含义与应用3.3.1几何概型3.3.2随机数的含义与应用3.4概率的应用本章小结阅读与欣赏概率论的起源必修四第一章基本初等函数（Ⅱ）1.1任意角的概念与弧度制1.1.1角的概念的推广1.1.2弧度制和弧度制与角度制的换算1.2任意角的三角函数1.2.1三角函数的定义1.2.2单位圆与三角函数线1.2.3同角三角函数的基本关系式1.2.4诱导公式1.3三角函数的图象与性质1.3.1正弦函数的图象与性质1.3.2余弦函数、正切函数的图象与性质1.3.3已知三角函数值求角教学建模活动本章小结阅读与欣赏三角学的发展第二章平面向量2.1向量的线性运算2.1.1向量的概念2.1.2向量的加法2.1.3向量的减法2.1.4数乘向量2.1.5向量共线的条件与轴上向量坐标运算2.2向量的分解与向量的坐标运算2.2.1平面向量基本定理2.2.2向量的正交分解与向量的直角坐标运算2.2.3用平面向量坐标表示向量共线条件2.3平面向量的数量积2.3.1向量数量积的物理背景与定义2.3.2向量数量积的运算律2.3.3向量数量积的坐标运算与度量公式2.4向量的应用2.4.1向量在几何中的应用2.4.2向量在物理中的应用本章小结阅读与欣赏向量概念的推广与应用第三章三角恒等变换3.1和角公式3.1.1两角和与差的余弦3.1.2两角和与差的正弦3.1.3两角和与差的正切3.2倍角公式和半角公式3.2.1倍角公式3.2.2半角的正弦、余弦和正切3.3三角函数的积化和差与和差化积本章小结阅读与欣赏和角公式与旋转对称必修五第一章解三角形1.1正弦定理和余弦定理1.1.1正弦定理1.1.2余弦定理1.2应用举例本章小结阅读与欣赏亚历山大时期的三角测量第二章数列2.1数列2.1.1数列2.1.2数列的递推公式（选学）2.2等差数列2.2.1等差数列2.2.2等差数列的前n项和2.3等比数列2.3.1等比数列2.3.2等比数列的前n项和本章小结阅读与欣赏级数趣题无穷与悖论第三章不等式3.1不等关系与不等式3.1.1不等关系与不等式3.1.2不等式的性质3.2均值不等式3.3一元二次不等式及其解法3.4不等式的实际应用3.5二元一次不等式（组）与简单的线性规划问题3.5.1二元一次不等式（组）所表示的平面区域3.5.2简单线性规划本章小结选修1-1第一章常用逻辑用语1.1命题与量词1.1.1命题1.1.2量词1.2基本逻辑联结词1.2.1“且”与“或”1.2.2“非”（否定）1.3充分条件、必要条件与命题的四种形式1.3.1推出与充分条件、必要条件1.3.2命题的四种形式本章小结阅读与欣赏什么是数理逻辑第二章圆锥曲线与方程2.1椭圆2.1.1椭圆及其标准方程2.1.2椭圆的几何性质2.2双曲线2.2.1双曲线及其标准方程2.2.2双曲线的几何性质2.3抛物线2.3.1抛物线级其标准方程2.3.2抛物线的几何性质本章小结阅读与欣赏圆锥面与圆锥曲线第三章导数及其应用3.1导数3.1.1函数的平均变化率3.1.2瞬时速度与导数3.1.3导数的几何意义3.2导数的运算3.2.1常数与幂函数的导数3.2.2导数公式表3.2.3导数的四则运算法则3.3导数的应用3.3.1利用导数判断函数的单调性3.3.2利用导数研究函数的极值3.3.3导数的实际应用本章小结阅读与欣赏微积分与极限思想选修1-2第一章统计案例1.1独立性检验1.2回归分析本章小结“回归”一词的由来附表相关性检验的临界值表第二章推理与证明2.1合情推理与演绎推理2.1.1合情推理2.1.2演绎推理2.2直接证明与间接证明2.2.1综合法与分析法2.2.2反证法本章小结阅读与欣赏《原本》与公理化思想数学证明的机械化——机器证明第三章数系的扩充与复数的引入3.1数系的扩充与复数的引入3.1.1实数系3.1.2复数的引入3.2复数的运算3.2.1复数的加法和减法3.2.2复数的乘法和除法本章小结复平面与高斯第四章框图4.1流程图4.2结构图本章小结阅读与欣赏冯·诺伊曼选修2-1第一章常用逻辑用语1.1命题与量词1.1.1命题1.1.2量词1.2基本逻辑联结词1.2.1“且”与“或”1.2.2“非”（否定）1.3充分条件、必要条件与命题的四种形式1.3.1推出与充分条件、必要条件本章小结阅读与欣赏什么是数理逻辑第二章圆锥曲线与方程2.1曲线与方程2.1.1曲线与方程的概念2.1.2由曲线求它的方程、由方程研究曲线的性质2.2椭圆2.2.1椭圆的标准方程2.2.2椭圆的几何性质2.3双曲线2.3.1双曲线的标准方程2.3.2双曲线的几何性质2.4抛物线2.4.1抛物线的标准方程2.4.2抛物线的几何性质2.5直线与圆锥曲线本章小结阅读与欣赏圆锥面与圆锥曲线第三章空间向量与立体几何3.1空间向量及其运算3.1.1空间向量的线性运算3.1.2空间向量的基本定理3.1.3两个向量的数量积3.1.4空间向量的直角坐标运算3.2空间向量在立体几何中的应用3.2.1直线的方向向量与直线的向量方程3.2.2平面的法向量与平面的向量表示3.2.3直线与平面的夹角3.2.4二面角及其度量3.2.5距离（选学）本章小结阅读与欣赏向量的叉积及其性质选修2-2第一章导数及其应用1.1导数1.1.1函数的平均变化率1.1.2瞬时速度与导数1.1.3导数的几何意义1.2导数的运算1.2.1常数函数与冥函数的导数1.2.2导数公式表及数学软件的应用1.2.3导数的四则运算法则1.3导数的应用1.3.1利用导数判断函数的单调性1.3.2利用导数研究函数的极值1.3.3导数的实际应用1.4定积分与微积分基本定理1.4.1曲边梯形面积与定积分1.4.2微积分基本定理本章小结阅读与欣赏微积分与极限思想第二章推理与证明2.1合情推理与演绎推理2.1.1合情推理2.1.2演绎推理2.2直接证明与间接证明2.2.1综合法与分析法2.2.2反证法2.3数学归纳法2.3.1数学归纳法2.3.2数学归纳法应用举例本意小结阅读与欣赏《原本》与公理化思想第三章数系的扩充与复数3.1数系的扩充与复数的概念3.1.1实数系3.1.2复数的概念3.1.3复数的几何意义3.2复数的运算3.2.1复数的加法与减法3.2.2复数的乘法3.2.3复数的除法本章小节阅读与欣赏复平面与高斯选修2-3第一章计数原理1.1基本计数原理1.2排列与组合1.2.1排列1.2.2组合1.3二项式定理1.3二项式定理1.3.2杨辉三角本章小结第二章概率2.1离散型随机变量及其分布列2.1.1离散型随机变量2.1.2离散型随机变量的分布列2.1.3超几何分布2.2条件概率与事件的独立性2.2.1条件概率2.2.2事件的独立性2.2.3独立重复试验与二项分布2.3随机变量的数字特征2.3.1离散型随机变量的数学期望2.3.2离散型随机变量的方差2.4正态分布本章小结阅读与欣赏关于“玛丽莲问题”的争论第三章统计案例3.1独立性检验3.2回归分析本章小结阅读与欣赏“回归”一词的由来附表选修3-1第一讲早期的算术与几何一古埃及的数学二两河流域的数学三丰富多彩的记数制度第二讲古希腊数学一希腊数学的先行者二毕达哥拉斯学派三欧几里得与《原本》四数学之神──阿基米德第三讲中国古代数学瑰宝一《周髀算经》与赵爽弦图二《九章算术》三大衍求一术四中国古代数学家第四讲平面解析几何的产生一坐标思想的早期萌芽二笛卡儿坐标系三费马的解析几何思想四解析几何的进一步发展第五讲微积分的诞生一微积分产生的历史背景二科学巨人牛顿的工作三莱布尼茨的“微积分”第六讲近代数学两巨星一分析的化身──欧拉二数学王子──高斯第七讲千古谜题一三次、四次方程求根公式的发现二高次方程可解性问题的解决三伽罗瓦与群论四古希腊三大几何问题的解决第八讲对无穷的深入思考一古代的无穷观念二无穷集合论的创立三集合论的进一步发展与完善第九讲中国现代数学的开拓与发展一中国现代数学发展概观二人民的数学家──华罗庚三当代几何大师──陈省身选修3-2暂缺选修3-3第一讲从欧氏几何看球面一平面与球面的位置关系二直线与球面的位置关系和球幂定理三球面的对称性第二讲球面上的距离和角一球面上的距离二球面上的角第三讲球面上的基本图形一极与赤道二球面二角形三球面三角形1．球面三角形2．三面角3．对顶三角形4．球极三角形第四讲球面三角形一球面三角形三边之间的关系二、球面“等腰”三角形三球面三角形的周长四球面三角形的内角和第五讲球面三角形的全等1．“边边边”(s.s.s)判定定理2．“边角边”(s.a.s.)判定定理3．“角边角”(a.s.a.)判定定理4．“角角角”(a.a.a.)判定定理第六讲球面多边形与欧拉公式一球面多边形及其内角和公式二简单多面体的欧拉公式三用球面多边形的内角和公式证明欧拉公式第七讲球面三角形的边角关系一球面上的正弦定理和余弦定理二用向量方法证明球面上的余弦定理1．向量的向量积2．球面上余弦定理的向量证明三从球面上的正弦定理看球面与平面四球面上余弦定理的应用──求地球上两城市间的距离第八讲欧氏几何与非欧几何一平面几何与球面几何的比较二欧氏平行公理与非欧几何模型──庞加莱模型三欧氏几何与非欧几何的意义阅读与思考非欧几何简史选修3-4第一讲平面图形的对称群一平面刚体运动1．平面刚体运动的定义2．平面刚体运动的性质二对称变换1．对称变换的定义2．正多边形的对称变换3．对称变换的合成4．对称变换的性质5．对称变换的逆变换三平面图形的对称群第二讲代数学中的对称与抽象群的概念一n元对称群Sn二多项式的对称变换三抽象群的概念1．群的一般概念2．直积第三讲对称与群的故事一带饰和面饰二化学分子的对称群三晶体的分类四伽罗瓦理论选修4-1第一讲相似三角形的判定及有关性质一平行线等分线段定理二平行线分线段成比例定理三相似三角形的判定及性质1．相似三角形的判定2．相似三角形的性质四直角三角形的射影定理第二讲直线与圆的位置关系一圆周角定理二圆内接四边形的性质与判定定理三圆的切线的性质及判定定理四弦切角的性质五与圆有关的比例线段第三讲圆锥曲线性质的探讨一平行摄影二平面与圆柱面的截线三平面与圆锥面的截线选修4-2引言第一讲线性变换与二阶矩阵一线性变换与二阶矩阵（一）几类特殊线性变换及其二阶矩阵1.旋转变换2.反射变换3.伸缩变换4.投影变换5.切变变换（二）变换、矩阵的相等二二阶矩阵与平面向量的乘法（二）一些重要线性变换对单位正方形区域的作用第二讲变换的复合与二阶矩阵的乘法一复合变换与二阶矩阵的乘法二矩阵乘法的性质第三讲逆变换与逆矩阵一逆变换与逆矩阵1.逆变换与逆矩阵2.逆矩阵的性质二二阶行列式与逆矩阵三逆矩阵与二元一次方程组1.二元一次方程组的矩阵形式2.逆矩阵与二元一次方程组第四讲变换的不变量与矩阵的特征向量一变换的不变量——矩阵的特征向量1.特征值与特征向量2.特征值与特征向量的计算二特征向量的应用1.Ａa的简单表示2.特征向量在实际问题中的应用选修4-5第一章不等式的基本性质和证明的基本方法1．1 不等式的基本性质和一元二次不等式的解法1．2基本不等式1．3绝对值不等式的解法1．4绝对值的三角不等式1．5不等式证明的基本方法本章小结第二章柯西不等式与排序不等式及其应用2．1 柯西不等式2．2排序不等式2．3平均值不等式(选学)2．4最大值与最小值问题，优化的数学模型本章小结阅读与欣赏第三章数学归纳法与贝努利不等式3．1数学归纳法原理3．2用数学归纳法证明不等式，贝努利不等式本章小结阅读与欣赏附录部分中英文词汇对照表后记选修4-6引言第一讲整数的整除一整除1.整除的概念和性质2.带余除法3.素数及其判别法二最大公因数与最小公倍数1.最大公因数2.最小公倍数三算术基本定理第二讲同余与同余方程一同余1.同余的概念2.同余的性质二剩余类及其运算三费马小定理和欧拉定理四一次同余方程五拉格朗日插值法和孙子定理六弃九验算法第三讲一次不定方程一二元一次不定方程二二元一次不定方程的特解三多元一次不定方程第四讲数伦在密码中的应用一信息的加密与去密二大数分解和公开密钥学习总结报告附录一剩余系和欧拉函数附录二多项式的整除性选修4-7引言第一讲优选法一什么叫优选法二单峰函数三黄金分割法——0.618法1.黄金分割常数2.黄金分割法——0.618法阅读与思考黄金分割研究简史四分数法1.分数法阅读与思考斐波那契数列和黄金分割2.分数法的最优性五其他几种常用的优越法1.对分法2.盲人爬山法3.分批试验法4.多峰的情形六多因素方法1.纵横对折法和从好点出发法2.平行线法3.双因素盲人爬山法第二讲试验设计初步一正交试验设计法1.正交表2.正交试验设计3.试验结果的分析4.正交表的特性二正交试验的应用选修4-9引言第一讲风险与决策的基本概念一风险与决策的关系二风险与决策的基本概念1.风险（平均损失）2.平均收益3.损益矩阵4.风险型决策探究与发现风险相差不大时该如何决策第二讲决策树方法第三讲风险型决策的敏感性分析第四讲马尔可夫型决策简介一马尔可夫链简介1.马尔可夫性与马尔可夫链2.转移概率与转移概率矩阵二马尔可夫型决策简介三长期准则下的马尔可夫型决策理论1.马尔可夫链的平稳分布2.平稳分布与马尔可夫型决策的长期准则3.平稳准则的应用案例说明：A版适用于文件生使用，B版适用于理科生使用，B 版比A版略难。

《数学归纳法应用举例》讲义一、数学归纳法的基本原理数学归纳法是一种用于证明与自然数有关的命题的重要方法。

它基于两个基本步骤：基础步骤和归纳步骤。

基础步骤：证明当 n 取第一个值（通常是 1）时，命题成立。

归纳步骤：假设当 n ＝ k（k 是一个满足条件的自然数）时命题成立，然后证明当 n ＝ k ＋ 1 时命题也成立。

通过这两个步骤，就可以得出对于所有的自然数 n，命题都成立的结论。

二、简单的应用举例例 1：证明 1 ＋ 2 ＋ 3 ＋… ＋ n ＝ n(n ＋ 1) ／ 2基础步骤：当 n ＝ 1 时，左边＝ 1，右边＝ 1×（1 ＋ 1) ／ 2 ＝ 1，等式成立。

归纳步骤：假设当 n ＝ k 时等式成立，即 1 ＋ 2 ＋ 3 ＋… ＋ k ＝k(k ＋ 1) ／ 2 。

那么当 n ＝ k ＋ 1 时，左边＝ 1 ＋ 2 ＋ 3 ＋… ＋ k ＋（k ＋ 1) ，而右边＝（k ＋ 1)（k ＋ 2) ／ 2 。

左边＝ k(k ＋ 1) ／ 2 ＋（k ＋ 1) ＝（k ＋ 1)（k ＋ 2) ／ 2 ＝右边，所以当 n ＝ k ＋ 1 时等式也成立。

例 2：证明 1^2 ＋ 2^2 ＋ 3^2 ＋… ＋ n^2 ＝ n(n ＋ 1)（2n ＋ 1) ／6基础步骤：当 n ＝ 1 时，左边＝ 1^2 ＝ 1，右边＝ 1×（1 ＋ 1)×（2×1 ＋ 1) ／ 6 ＝ 1，等式成立。

归纳步骤：假设当 n ＝ k 时等式成立，即 1^2 ＋ 2^2 ＋ 3^2 ＋…＋ k^2 ＝ k(k ＋ 1)（2k ＋ 1) ／ 6 。

当 n ＝ k ＋ 1 时，左边＝ 1^2 ＋ 2^2 ＋ 3^2 ＋… ＋ k^2 ＋（k ＋1)＾2 ，右边＝（k ＋ 1)（k ＋ 2)（2k ＋ 3) ／ 6 。

左边＝ k(k ＋ 1)（2k ＋ 1) ／ 6 ＋（k ＋ 1)＾2 ，经过化简可得（k ＋ 1)（k ＋ 2)（2k ＋ 3) ／ 6 ＝右边，所以当 n ＝ k ＋ 1 时等式也成立。