0082132人目の素数さん
2018/02/16(金) 08:03:07.57ID:ROeNsO6N整数をtとして
a-c=(p-1)t
ps+k=(p-1)t
k+t=(t-s)p
k+t≡0 (mod p)
整数をuとして
k=up-t
a-c=(p-1)(up-k)
a((p^n-1)/p^n)=(p-1)(up-k)
a/(p^n(p^(n-1)+p^(n-2)+…+p+1))=up-k
a=(up-k)p^n(p^(n-1)+p^(n-2)+…+p+1)
a≡0 (mod p)
c≡-k (mod p)
a≡h+k (mod p)で、a≡0 (mod p)、0<h,k<pだから
h+k=p
a=jp^2-jp+h+k
a=jp^2-jp+p=jp(p-1)+p
a≡1 (mod p-1)
整数をvとして
a=v(p-1)+1
a((p^n-1)/p^n)=(p-1)(up-k)
(v(p-1)+1)((p^n-1)/p^n)=(p-1)(up-k)
(p^n-1)/p^n≡0 (mod p-1)
(p^(n-1)+p^(n-2)+…+p+1)(p-1)/p^n≡0 (mod p-1)
整数wとして
(p^(n-1)+p^(n-2)+…+p+1)(p-1)/p^n=w(p-1)
w=(p^(n-1)+p^(n-2)+…+p+1)/p^n
wp^n=p^(n-1)+p^(n-2)+…+p+1
wp^n≡0 (mod p)
p^(n-1)+p^(n-2)+…+p+1≡1 (mod p)
となり、wが整数になることに矛盾する。
以上から、奇数の完全数は存在しない。