18/10/04 21:58:55.04 VmTW+2yt.net
>>913
>aはpk,qkにしか依存しないので、a(pk,qk)でしかありません。
p2での定義はそうなってるね。
でもそのpk、qkはyによって一意にきまるよね？
そして同じくyによって一意に決まるn、pによって
a = 2y/(1+p+…+p^n)
は成立するよね？
「あくまで a は pk qk で定義してるから p には依存しません」
なんて通用しないよ？
y=t^4、x=t^2と定義されてるとき「y は x に依存しない」なんていえないでしょ？y=x^2でしょ？yとxは独立に動く変数じゃないでしょ？
特定した完全数 y に依存して決定された３つの数にそれぞれ a,y,n,p を割り当てたらそれ以降、それ以外の意味には使えません。
あとで 「p と a は無関係な変数」なんて許されません。
証明の終了まで
a = 2y/(1+p+…+p^n)
という関係式によって束縛された範囲しか動けません。
pが固定されればpも固定されます。