数论 | 整数

归纳公理

大前提：

$1°S\subseteq N$

小前提：

$1°1\in S$

$2°n\in S\to n+1\in S$

结论：

$S=N$

定理1 数学归纳法

归纳公理推出

大前提：

$1°n\in N$

$2°P(n)是关于n的命题$

小前提：

$1°n=1\to P(1)$成立

$2°P(n)$成立$\to P(n+1)$成立

结论：

$P(n)$对所有n成立

证明：

设使$P(n)$成立的所有自然数$n$组成的集合是$S(S\subseteq N)$.

$1°1\in S$

$2°n\in S\to n+1\in S$

归纳公理得：$S=N$

定理2 最小自然数原理

数学归纳法推出

$1°T\ne \varnothing$

$2°T\subseteq N$

$t_0\in T\to \forall t\in T,t_0\le t$

证明：

令 S = { s ∣ s ∈ N , s ≤ t ( ∀ t ∈ T ) } S = \{s|s\in N,s\leq t (\forall t\in T)\} S={s∣s∈N,s≤t(∀t∈T)}

$1°S\ne \varnothing (1\in S)$

$2°\forall t_1\in S\to t_1+1\notin S$

$\exists s_0\in S\to s_0+1\notin S$

否则：

$1\in S\ \ $

$s_0\in S\to s_0+1\in S$

数学归纳法得：$S=N$

由$2°$可知$S\ne N$

故矛盾.

因此：

$3°\exists s_0\in S\to s_0+1\notin S$

此时证明：$t_0=s_0$，即证：$s_0\in T$

反证：若$s_0\notin T$，即$\forall t\in T,s_0<t\to s_0+1\le t\to s_0+1\in S$

故与$3°$矛盾.

最终证毕.

定理3 最大自然数原理

最小自然数原理推出

$1°M\ne \varnothing$

$2°M\subseteq N$

$3°\exists a\in N,\forall m\in M,m\le a$

$m_0\in M\to \forall m\in M,m\le m_0$

证明：

令 T = { t ∣ t ∈ N , ∀ m ∈ M , t ≥ m } T=\{t|t\in N,\forall m\in M,t\geq m\} T={t∣t∈N,∀m∈M,t≥m}

$1°T\ne \varnothing (a\in T)$

由定理2 最小自然数原理可知：

$2°\exists t_0\in T,\forall t\in T,t_0\le t$

此时证明：$t_0=m_0$，即证：$t_0\in M$

反证：若$t_0\notin M$，即$\forall m\in M,m<t_0\to m\le t_0-1\to t_0-1\in T$

故与$t_0$是最小自然数矛盾.

最终证毕.

定理4 第二种数学归纳法

最小自然数原理推出

大前提：

$1°n\in N$

$2°P(n)是关于n的命题$

小前提：

$1°n=1\to P(1)$成立

$2°n>1,m\in N,n\in N,m<n,P(m)$成立$\to P(n)$成立

结论：

$P(n)$对所有n成立

证明：

反证法：若定理不成立. 令 T = { t ∣ t ∈ N , P ( t ) 不 成 立 } T=\{t|t\in N,P(t)不成立\} T={t∣t∈N,P(t)不成立}

由$T\ne \varnothing$ $T\subseteq N$可使用最小自然数原理：

$1°\exists t_0\in T,\forall t\in T,t_0\le t$

由小前提$1°$：

$2°t_0>1(1\notin T)$

$3°m=1,2,...,t_0-1有P(m)成立$

由小前提$2°$：

$3°\to P(t_0)也成立\to t_0\notin T$

与$t_0\in T$矛盾.

最终证毕.

定理4 盒子原理（鸽笼原理）

设n是一个自然数. 现有n个盒子和n+1个物体. 无论怎样把这n+1个物体放入这n个盒子，一定有一个盒子中被放入两个或两个以上的物体.

证明：

反证法：假设结论不成立，即每个盒子至多有一个物体，那么，这n个盒子总共有的物体个数$\le n$，这和有n+1个物体放到了n个盒子中相矛盾.

最终证毕.