5/7
ルジャンドル予想
予想式の範囲をもう少し狭めてみる
n^2 < n(n+1) < (n+1)^2
n(n+1)=n^2+n
n^2からn^2+n
に素数があれば予想は成り立つ。
背理法から
n^2からn^2+n
が全て合成数となるのは
n^2がn以下の全て素数を因数として持つ場合だとわかる。
しかし、そのような数はごく小さい数に限られる
大きめに見てもn<10
n<10で通常のルジャンドル予想が成り立てば
ジャンドル予想は成り立つことが証明される。
AIの添削の結果
しかし、そのような数はごく小さい数に限られる
大きめに見てもn<10
ここに問題があると判明




