不知名的碎片 9

变形

我们的目标是对上式进行一系列变形变为 。

变量替换：对称区间化

平移变换消去区间不对称性

原积分区间为 ，中点为 。设 （即 ），则：

当 时， ；当 时， ，积分区间变为对称区间 。

微分关系： 。

三角函数化简：利用诱导公式 ，故 。

多项式部分的代数变形

展开

将 代入多项式部分：

展开后得：

若要使多项式化为平方差形式 ，需满足交叉项系数为 0 且常数项匹配：

令 （消去一次项 ），解得 。

代入常数项： ，需进一步令 ，则 。

此时多项式简化为：

引入有理数假设与积分规范化

假设 为有理数

若 是有理数，设 （ 为互质正整数），则 ，代入多项式得：

为使被积函数系数为整数，分子分母同乘 ，并结合 规范化，最终得：

整合结果

将变量替换、多项式化简和有理数假设代入原积分，得到：

其中关键参数对应关系为 、 ，且积分变量 替换回 （哑变量无关性）。

验证与核心逻辑

变量替换合理性：通过 实现区间对称化，简化被积函数奇偶性分析。

多项式构造技巧：选择 消去一次项，确保多项式为平方差形式，为后续递推和估值奠定基础。

有理数假设作用：引入 因子后，积分 在 为有理数时成为整数，与 “积分可任意小” 矛盾，最终证明 π 的无理性。

这一变形展现了从一般多项式积分到特殊对称积分的构造过程，是尼文 无理性证明的核心步骤。

证明 π 是无理数

要证明 是无理数，可通过构造积分

的递推关系，结合反证法导出矛盾。以下是具体步骤：

反证法假设与积分构造

假设 为有理数：设 （ 为互质正整数），则 。

定义积分：

对称区间：积分区间 关于原点对称，被积函数 为偶函数，可简化为 。

多项式性质： ，通分后分子为整系数多项式，乘以 后变为整数多项式，确保积分的整数性基础。

分部积分与递推公式推导

第一步 分部积分：设 ， ，则 ， 。积分化为：

边界项 （因 时 ），剩余积分：

第二步分部积分：设 ， ，则 ， 。

整理后得递推关系：

初始条件：

（整数）；

（整数）。

整数性证明

归纳法：

基础情形： ， 均为整数。

归纳假设：设 为整数，由递推公式 ，因 为整数，故 为整数的线性组合，仍为整数。

核心结论：对所有 ， 为正整数（因被积函数在区间内恒正，积分值为正）。

积分估值与矛盾

被积函数有界性：在区间 上， ，且 ，故：

积分估计：

因 （常数），当 时，分母 增长速度远超分子指数项，故 。

矛盾：存在充分大的 使得 ，但 为正整数，这与 “正整数至少为 1” 矛盾。

结论

原假设 “ 是有理数” 不成立，故 为无理数。

该证明通过对称区间积分构造、递推关系推导和极限估计，简洁地导出矛盾，是尼文证明的变体形式，体现了分析学与数论的巧妙结合 。

这一方法的核心价值在于：通过多项式规范化（ 因子）和对称区间设计，同时保证了积分的整数性和可任意小性。