这里开始是从的整的，之前是视频课。

良序集 是指集合的任意元素都能比较大小，且任意子集都有最小元素的集合。 良序定理(Well Ordering Principle,WOP)：任何自然数集合都包含一个最小元素。

证明范式

1. 验证边界后，考虑集合包含不符合命题的 #### 2. 利用良序定理，存在最小元素

3. 利用命题，得到更小元素或得到矛盾

示例

连续自然数求和

显然时成立。假设集合包含所有不满足上述的。假设非空，根据，存在最小元素。那么对于所有命题都成立，那么就有满足命题，那么

两侧同时加上就得到对命题也成立，矛盾，从而实际上为空集，命题成立。

正有理数都能写成最简分数

证明任何正有理数都能写成最简分数（即，且），我们可以这样做：

构造整数集合：

设是所有可以作为的分母的正整数组成的集合。

应用良序定理：

因为是有理数，所以一定是非空的。根据正整数集的良序定理，内部一定存在一个最小的正整数，记为。
对应分子：

既然，那么一定存在对应的正整数，使得。
证明最简性（反证法）：

假设。

那么我们可以同时除以，得到和。

此时，且也是一个正整数。

由于，显然有。
得出矛盾：

这说明也应该在集合中，但我们之前假设是中最小的元素。产生矛盾！

因此，最初的假设不成立，即已经是最简分数。

方程无正整数解

没 有 正 整 数 解 。

设集合。根据良序定理，由于是正整数集的非空子集，它一定包含一个最小元素，记为。相应的解记为。观察等式：

第一步：关于

左边和都是偶数，所以必须是偶数。

这意味着本身必须是偶数。设，其中。

代入原式：。

两边同时除以 2，得到：。
第二步：关于

在新的等式中，和都是偶数，所以必须是偶数。

这意味着是偶数。设，其中。

代入上式：。

两边同时除以 2，得到：。
第三步：关于

现在，和都是偶数，所以必须是偶数。

这意味着是偶数。设，其中。

代入得到：。

两边最后一次除以 2，得到：。

导出矛盾：

观察最后得到的等式，这说明也是该方程的一组正整数解。

这意味着。

但是，根据前面的构造，，由于是正整数，显然有：

这与我们最初的假设—— 是集合中的最小元素——直接矛盾。

结论

由于假设“存在解”会导致逻辑矛盾（永远能找到更小的解），根据反证法，该方程在正整数范围内没有解。

实际上，我们可以发现这个结果可以推广一下，多几个未知数也行，例如

也可以同样地证明无解。以此类推，有：

无解，类似可以证明。当然这也不局限是，可以推广到素数和任意次方：

也可以完全类似地证明。

离散值的不等式

对正整数成立。首先对于是显然的，设不满足的正整数构成非空集合，根据其有最小元素。那么则有，两边同乘就有：

那么只需要说明就能得到矛盾，移项得到：

计算得到右侧为显然符合的取值，从而矛盾，故原不等式成立。

有限非空实数集有最小元素

我们需要一点巧妙的转换，因为良序原理通常是针对自然数（）定义的。

第一步：反证法假设

假设存在某些有限非空的实数集没有最小元素。

第二步：构建自然数集合

我们将所有“不具备最小元素”的有限实数集的**大小（元素个数）**组成一个集合。

存 在 一 个 大 小 为 的 实 数 集 没 有 最 小 元 素

第三步：应用良序原理

根据我们的假设，是一个非空的自然数集合。根据良序原理，必须有一个最小元素，我们称之为。

这意味着：

大小为的某个实数集没有最小元素。
任何大小小于的非空实数集都一定有最小元素（因为是中最小的）。

第四步：寻找矛盾

显然，因为只有一个元素的集合，其最小元素就是它本身。
考虑集合。我们可以把它拆分为两个子集：和。
因为的大小是，小于，所以根据定义 一定有一个最小元素，设为。
现在，整个集合的最小元素只需要在和之间比较：
- 如果，则是的最小元素。
- 如果，则是的最小元素。
无论哪种情况，都有最小元素。

结论：

这与“ 没有最小元素”的假设产生矛盾。因此，我们的假设错误，所有的有限非空实数集都必然拥有最小元素。

虽然实数本身不是良序的（比如开区间没有最小值），但集合的“大小”（元素的个数）是自然数，是服从良序原理的。 我们通过对集合规模进行数学归纳（或良序分析）证明了结论。