さっそく練習問題を解いてみる。私は練習問題をちまちまと解くのが好きである。練習問題愛好家と言ってもいいであろう。暇人の一種である。
さて、問題は2つ出されていて、
問、次のそれぞれの条件を満たす最大のNを求めよ。
1) {2,3,..,N-1} の中の数でNと素であるものは素数となる。
2) より小さいのすべての正整数で割り切れる。
である。実は2)が1)のヒントになっている。
2')より小さいすべての素数で割り切れる。
という条件を考えると、2)⇒2')は自明だが、1)⇔2')が成立している。
まず、これを証明しておく。
(⇒の証明) 2')を否定して でNを割り切らない素数pがあったとする。[tex:p^2