>>115 つづき
p=k/gの場合、
h+k=h+gp=h+g(p-1)+g
c≡h+k≡g+h (mod p-1)
gとhの偶奇は一致するから、cが奇数であることに反するので
この場合は不適になる。


2b-c(p^(n+1)-1)/(p-1)=0
(p^n+…+1)/2が奇数であるから、n=4m+1が必要となる。
2b(p-1)=c(p^(n+1)-1)
2b(p-1)=c(p^(4m+2)-1)
2b=c(p^(4m+1)+p^(4m)+…+1)
2b=c(p+1)(p^(4m)+p^(4m-2)+…+1)
2b=c(p+1)((p^2+1)(p^(4m-2)+p^(4m-6)+…+p^2)+1)
bはp+1が4の倍数でないときに奇数となる。


a-c=(g-k)(p-1)より、
g-k=(kp+h)(p^(n-1)+…+1)
g=c(p^(n-1)+…+1)+k
g≡(h+k)(p^(n-1)+…+1)+k (mod p-1)

p^(n-1)+…+1=(p^(n-1)-1)+1+(p^(n-2)-1)+1…+(p-1)+1+1)から
p^(n-1)+…+1≡n (mod p-1)となるので
g≡n(h+k)+k (mod p-1)
∴g-k≡n(h+k)

2b-c≡g-k≡n(h+k)≡nc (mod p-1)
(n+1)c≡2b (mod p-1)
(4m+2)c≡2b (mod p-1)
b≡(2m+1)c (mod p-1)

b≡g+h (mod p-1)より、
g+h≡(2m+1)(h+k) (mod p-1)
g≡2mh+(2m+1)k (mod p-1)

となり、gとkの偶奇が一致するが、これは(1)、(2)の条件と矛盾する。

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