19/09/06 04:01:10.92 9lipJSkE.net
＞a(p^n+…+1)=2bp^n が成立しなければなりませんが、この解は不適な解である(a,b,p,n)=(1,1,1,1)以外には存在しない
いや、yが完全数でなくても良いというなら、式 a(p^n+…+1)=2bp^n にはいくらでも解が存在する。(a,b,p,n)＝(3125,1953,5,5)とかな
p_k, q_k, rを自由変数にした時点でyは完全数ではなくなるから、その仮定を持ち出した時点で「式a(p^n+…+1)=2bp^nの解は(a,b,p,n)=(1,1,1,1)以外にはない」などとは言えなくなる