整数論の問題
以下の正の整数 で、次の 3 つの合同式をすべてみたすものを考える。
このような すべての和を求めよ。
この問題で使うもの
- 中国剰余定理と連立合同式(説明と入口の問題)
- 法 での逆元(拡張ユークリッドの互除法)(説明と入口の問題)
- 合同式(説明と入口の問題)
- 等差・等比数列の和と Σ(説明と入口の問題)
この問題を解けるようになるまで(27 技能)
読み込み中…
右端(太枠)がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
一覧で見る(前提が先)
ヒント
行き詰まったら、上から順に 1 つずつ開いてください。
ヒント 1
まず と を、係数の逆元を掛けて の形に直しましょう。
ヒント 2
法 は互いに素なので、中国剰余定理により解は法 でただ 1 つに定まります。2 つずつ順に合わせていきましょう。
ヒント 3
条件は 、、 となり、最初の 2 つから が得られます。 とおいて の条件を求めましょう。
答えと解説
答えを見る
どこでつまずきましたか?(選ぶと、戻る場所を案内します)
解説を読む
各合同式を の形に直す。
より、法 での の逆元は 。 の両辺に を掛けて
より、法 での の逆元は 。 の両辺に を掛けて
よって連立合同式 を解けばよい。 は互いに素なので、中国剰余定理より解は法 でただ 1 つに定まる。
最初の 2 式: をみたす数 のうち で割って 余る最小のものは 。よって 。
3 式目と合わせる: ( は整数)とおくと、、 より より両辺に を掛けて 。 のとき 。よって
(検算: 、、。)
以下の解: で、次の は を超える。よって求める和は
別解
の両辺に の逆元 を掛けると 。 の両辺に の逆元 を掛けると 。
まず と を合わせる。 のうち で割って 余るのは なので 。
次に を に代入する。, なので 、すなわち 。 の逆元は なので 。よって で、。
検算: 、、 で、すべて成り立つ。
以下では (次は で超える)。和は 。