>>114 つづき
-ap+hp+c-h≡0 (mod g)
p(-a+h)+c-h≡0 (mod g)

c-h≡0 (mod p)


整数iを用いて
p(-a+h)+c-h=gi

gp^2-gp+gi=0
i=p-p^2

i≡0 (mod p)
i≡0 (mod p-1)
iは1-pを約数に持つから偶数となる。


整数jを用いて
pj=gi

pj=g(p-p^2)
j=(1-p)g=g-gp

j≡0 (mod g)
j≡0 (mod p-1)
jは1-pを約数に持つから偶数となる。

g≡j (mod p)


c-h≡0 (mod p)だから、整数をkとして
c=kp+h
c,pはともに奇数であるから、hとkの偶奇は逆になる。 …(2)

ap-2bp+2b=c

ap=2b(p-1)+c
=(gp+h)(p-1)+kp+h
=gp(p-1)+hp+kp

a=g(p-1)+h+k
a=gp-g+h+k
∴a≡-g+h+k≡0 (mod p)
g≡h+k (mod p)

a=gp-g+h+k=g(p-1)+h+k
c≡a≡h+k (mod p-1)


gp^2+(-a-g+h)p+c-h=0
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