>>132
本当に間違えています。調子が悪いと思います。

>>131,133
誤りを直しました。

>>130 訂正
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が奇数であるから、mを整数として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の倍数でないときに奇数となり、
p-1が4の倍数であることが必要になる。


p^2-p+i=0
p=(1±√(1-4i))/2

ap-c-h(p-1)=-gi
(p^(n+1)-1)c-h(p-1)=-gi
(p-1)((p^n+…+1)c-h)=-gi
(p-1)((p^n+…+1)c-h)=gp(p-1)
gp=(p^n+…+1)c-h

(p^n+…+1)c-h>=(p+1)c-h>c+p-h>c>0だから、
g>0
となる。よって
(p-1)((p^n+…+1)c-h)>0
から
i<0