0511132人目の素数さん
2018/06/07(木) 22:06:15.14ID:egSWOtx3だめだこりゃ。
wは整数ではないのに、その if 節では「wは整数」を仮定しているのだから、
その if 節の中ではきちんと矛盾してるでしょ。
問題は else 節で矛盾が言えてないことであり、それは君が言うところの
if(tがcの倍数でない場合){
w := 2^(qr-1)(1-(p^(n-1)+p^(n-3)+…+1)/(p+1)^(qr-1))/t;
w は整数にならないので、以下では「 w は整数でない」として矛盾を導けばよい。
で?どうやって矛盾を導くの?
}
と全く同じことでしょうに。