完全数定义
完全数(Perfect number),又称完美数或完备数,是一些特殊的自然数。它所有的真因子(即除了自身以外的约数)的和(即因子函数),恰好等于它本身。
例如:
1
+
2
+
3
=
6
1 + 2 + 3 = 6
1+2+3=6
证明
若证完全数都是偶数,即证完全数非奇数
假设存在奇数是完全数,设其为
x
x
x
设
x
x
x 的因子集合为
X
X
X ,
x
x
x 的真因子集合为
X
′
X'
X′,
X
′
=
X
−
{
x
}
X'=X-\{x\}
X′=X−{x} ,
y
=
∑
X
′
y=\sum X'
y=∑X′ ,奇数集为
U
U
U ,则有
X
⊂
U
X \subset U
X⊂U
取
U
U
U 子集
U
n
U_n
Un ,且
n
∈
U
,
n
≥
3
n\in U,n\ge3
n∈U,n≥3 ,其中
U
n
=
{
1
,
3
,
5
,
.
.
.
,
n
}
,
X
⊂
U
n
U_n=\{1,3,5,...,n\},X\sub U_n
Un={1,3,5,...,n},X⊂Un
由于
x
=
1
x = 1
x=1 时
X
′
X'
X′ 为空集,故此时
x
x
x 不为完全数,所以从
n
≥
3
n\ge 3
n≥3 的情况来讨论
对于给定的集合
X
X
X 有
x
=
∏
X
x=\prod X
x=∏X
若
x
>
y
x>y
x>y,假设
x
⋅
k
≤
y
+
k
x\cdot k\le y+k
x⋅k≤y+k ,则
k
≤
y
x
+
1
<
2
k\le {y\over x} + 1 \lt 2
k≤xy+1<2
此时
∀
x
s
u
b
∈
X
,
x
s
u
b
≥
3
,
x
s
u
b
⋅
x
>
x
s
u
b
+
y
\forall x_{sub} \in X,x_{sub}\ge3,x_{sub} \cdot x >x_{sub}+y
∀xsub∈X,xsub≥3,xsub⋅x>xsub+y,所以对于给定的集合
X
X
X 只需要讨论
x
=
∏
X
x=\prod X
x=∏X 的情况
当
n
=
3
n = 3
n=3 时,有:
X
=
{
1
}
,
x
=
1
,
X
′
=
∅
X = \{1\},x=1,X'=\emptyset
X={1},x=1,X′=∅,故此时
x
x
x 不为完全数
X
=
{
1
,
3
}
,
x
=
3
,
X
′
=
{
1
}
,
y
=
1
,
x
>
y
X = \{1,3\},x=3,X'=\{1\},y=1,x\gt y
X={1,3},x=3,X′={1},y=1,x>y,故此时
x
x
x 不为完全数
则对
∀
X
⊂
U
3
,
x
\forall X \sub U_3,x
∀X⊂U3,x 不为完全数
当
n
=
5
n = 5
n=5 时,有:
X
=
{
1
,
5
}
,
x
=
5
,
X
′
=
{
1
}
,
y
=
1
,
x
>
y
X = \{1,5\},x=5,X'=\{1\},y=1,x\gt y
X={1,5},x=5,X′={1},y=1,x>y,故此时
x
x
x 不为完全数
X
=
{
1
,
3
,
5
}
,
x
=
15
,
X
′
=
{
1
,
3
,
5
}
,
y
=
9
,
x
>
y
X = \{1,3,5\},x=15,X'=\{1,3,5\},y=9,x\gt y
X={1,3,5},x=15,X′={1,3,5},y=9,x>y,故此时
x
x
x 不为完全数
则对
∀
X
⊂
U
5
,
x
\forall X \sub U_5,x
∀X⊂U5,x 不为完全数
假设当
n
=
k
n = k
n=k 时,仍有
∀
X
⊂
U
k
,
x
k
>
y
k
\forall X \sub U_k,x_k\gt y_k
∀X⊂Uk,xk>yk ,即
x
k
x_k
xk 不为完全数
则当
n
=
k
+
2
n=k+2
n=k+2 时,有
U
k
+
2
=
U
k
∪
{
k
+
2
}
U_{k+2}=U_k\cup \{k+2\}
Uk+2=Uk∪{k+2}
∵
x
k
>
y
k
\because x_k>y_k
∵xk>yk ,且显然
k
+
2
>
2
k+2\gt 2
k+2>2
∴
x
k
⋅
(
k
+
2
)
>
y
k
+
(
k
+
2
)
\therefore x_k\cdot (k+2)>y_k+(k+2)
∴xk⋅(k+2)>yk+(k+2)
∴
\therefore
∴ 对
∀
X
∈
U
k
+
2
\forall X \in U_{k+2}
∀X∈Uk+2 有
x
k
+
2
>
y
k
+
2
x_{k+2}\gt y_{k+2}
xk+2>yk+2,即
x
k
+
2
x_{k+2}
xk+2 不为完全数
∴
\therefore
∴ 根据数学归纳法,对
∀
X
∈
U
\forall X \in U
∀X∈U 有
x
>
y
x\gt y
x>y,即
x
x
x 不为完全数,即不存在奇数是完全数
∴
\therefore
∴ 完全数都是偶数成立
说明
该证明为自证,内容可能存在不严谨或错误的部分,如有意见欢迎讨论。