>>173

＞ pは上でとったaとcによって決まる整数だ
＞ 「任意のnに対して」がまず初めの条件

これがわかりません。任意のnについての話でもpはそのn毎に定まる数ではないですか？そうでないならn+1が解に含まれるのはナンセンスだと思うんですが(解は1とn+1になっています)

＞ >>152
＞ 全てのn>=2のnで0<a<=n-1かつ、0<c<=n+1←これOK？

OK

＞ 全てのn>=2のnでac<=(n-1)(n+1)←これOK？

OK

＞ ac=np+1より
＞ 全てのn>=2のnでnp+1<=(n-1)(n+1)←これOK？

pがp(n)のようにnに依存して変化するならOK
すべてのnに対し等しい値pなら分かりません

＞ 全てのn>=2のnでnp+1<=n^2-1^2←これOK？

同上

＞ 全てのn>=2のnで0<=n^2-1^2-(np+1)←これOK？

同上

以上です。丁寧にありがとうございます。上の疑問を何とか解消させて下さい。