＞⇒∃w 2m+1 = wpr^(q1-c1-1)
＞でしょ？(この証明もダメダメだけど。)
これは合っている。問題なのは、(p+1)/2が他のpkに対して全て等しいと言えるか
という問題であって、それは証明できないが、複数のpが解を持つことが想定できる
から、それが成り立つものに関しては式⑩を重ねて使うことができると考えられる。
なかなか、私の書いた内容を理解してもらえないので、正確に書けばp1とp2で
式⑩が成り立つ場合には
2m+1=w1p1^(q1-c1-1), c1<q1-1
2m+1=w2p2^(q2-c2-1), c2<q2-1
であって、
2m+1=wΠ[k=1,2]wkpk^(qk-ck-1)
が成立するということ。
これらの問題が全て解決する方法が思いついた。
全てのkに対してck<qkを示せば(この証明は簡単)
p^n+…+1≡0 (mod pk)
が全てのkに対して成り立たなければならないことが判明した。
今朝、この先にこの問題が証明すべきことが一つの命題だと
理解したという声が外から聞こえてきている。
