>>45 訂正
yの素因数の指数は一つだけ奇数にならなければならない。
yが完全数であるためには、以下の式が成立しなければならない。
y/p^n=(1+p+p^2+…+p^n)Π[k=1,m](1+pk+pk^2+…+pk^qk)/(2p^n)=Π[k=1,m]pk^qk

ここで、
a=Π[k=1,m](1+pk+pk^2+…+pk^qk)
b=Π[k=1,m]pk^qk
とすると

y/p^n=a(1+p+p^2+…+p^n)/(2p^n)=b
a(p^(n+1)-1)/(2(p-1)p^n)=b
a(p^(n+1)-1)=2b(p-1)p^n
ap^(n+1)-2b(p-1)p^n=a

(ap-2bp+2b)p^n=a
ここで、ap-2bp+2bは整数だからa/p^nは整数となりこれをcとする
ap-2bp+2b=c
(a-2b)p=c-2b
p=(c-2b)/(a-2b)
となる。

aはbで割り切ることができるから、整数dをd=a/bとすると
a-2b=bd-2b=b(d-2)
となる。b>1であることから、|a-2b|は1にならない。
よって、pは約数a-2bを持つことになり、素数であることに矛盾する。

以上から、奇数の完全数は存在しない。