1分ツイートシェアはてブLINEPocket質問箱でこんな問題が送られてきたので解いてみます。すべてを割り切る素数を求めよ。東工大?うーん、これ何からやればいいのだろう?というときはとりあえず何よりも実験です。カンタンな値を代入して計算し、この整数の挙動を確認していきます。ないことがわかります。成り立つよね(必要条件)今回のタイトルに必要条件で絞り込むと書きましたが、つまりこういうことです。それぞれ割り切る素数である。成り立つことを確認していないからです。対して条件をみたすことを確認する必要があり、これを一般に十分性の確認といいます。以上の考察を踏まえて、今回は合同式を使って十分性の確認をしてしまおうと思います。