結構見直しはしているつもりです。
>>149 訂正
p=(-(-a-g+h)±√((-a-g+h)^2-4g(c-h)))/(2g)
-a-g+h=-gp-k、c-h=kpだから、
p=(-(-gp-k)±√((-gp-k)^2-4kgp))/(2g)
=(gp+k±√((gp-k)^2)/(2g)
=(gp+k±(gp-k)/(2g)
=p, k/g
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=(c-2b)/(a-2b)、c-2b=(k-g)pより
a-2b=k-g
a-c=a-2b-(c-2b)=k-g-(k-g)p=(g-k)(p-1)
a>c、p-1>0より、g>k
g-k=(a-c)/(p-1)=(p^n-1)c/(p-1)
g-k=c(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)
a=cp^n≡k+h (mod p-1)
2b=gp+h≡g+h (mod p-1)
c≡k+h (mod p-1)
a-c≡0 (mod p-1)
a+c≡2k+2h (mod p-1)
ap-c=(p^(n+1)-1)c=(p-1)(p^n+…+1)=(p-1)(p+1)(p^(4m)+p^(4m-2)+…+1)
ap-c≡0 (mod p+1)
ap-c≡-a-c≡-a-(-k+h)≡0 (mod p+1)
a≡k-h (mod p+1)
2b(p-1)=c(p^(n+1)-1)
2b=c(p^n+p^(n-1)+…+1)
2b=c(p+1)(p^(4m)+p^(4m-2)+…+1)
2b≡0 (mod p+1)
c=kp+h
≡-k+h (mod p+1)
