18/09/30 19:17:53.62 KBcpOrXk.net
>>760
だって
n が奇数、pが奇素数、y が p^n と (1+p+…+p^n)/2 の公倍数である奇数とする。
このとき a,b,c を >>693 のようにおくと
p ≡ 1 (mod 4)、n ≡ 1 (mod 4)、(a-2b)p^6 + 2bp^5 - a = 0…⑤
が成立する。
さらにu,v,w,z,A,B,C,Dを … とおくと
Dp^2 － p^(n－5) － D + 1 = 0
が成立する。
の後に
n = 5のときは
Dp^2 － D = 0
D = 0のときは、全ての p に対して成り立つので、式⑤の係数が全て 0 にならなければ
ならないので
a － 2b = 0
2b = 0
a = 0
∴ a = 0, b = 0
となり不適になる。D ≠ 0のとき
∴ p = ±1
となるから不適になる。
…中略…
必ず最後にはn = 5の場合と
同様の式になるので、p = ±1になり不適になる。
まで全部成立することになるよ？
ということは仮定してるのは
「n が奇数、pが奇素数、y が p^n と (1+p+…+p^n)/2 の公倍数である奇数」
だけだからこの条件を満たす n,p,y の組が存在しない証明ができちゃうことになるよ？
>>1の証明は正しいけど上の証明が間違ってる理由は何？