はいずれも 以上 以下の整数とする。 が で割り切れるような整数の組 の個数を求めよ。
合同式
の和・差・積・累乗の性質を使って、 のような式の余りを計算し、余りが条件を満たす整数を数えられる
前提
- 余りによる整数の分類 (数学A 整数の性質)
- 和の法則・積の法則と樹形図 (数学A 場合の数と確率)
この技能までの道筋(16 技能)
読み込み中…
右端(太枠)がこの技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
一覧で見る(前提が先)
- 分数のたし算・ひき算 (算数 計算と数のきまり)
- 小数の四則計算 (算数 計算と数のきまり)
- 正負の数の加法・減法 (中学数学 数と式)
- 分数のかけ算・わり算 (算数 計算と数のきまり)
- 四則の混じった計算の順序 (算数 計算と数のきまり)
- 正負の数の乗除・累乗と四則混合 (中学数学 数と式)
- 分配法則を使った計算のくふう (算数 計算と数のきまり)
- 文字式の計算(同類項・分配法則) (中学数学 数と式)
- 乗法公式による展開 (中学数学 数と式)
- 因数分解 (中学数学 数と式)
- 約数の見つけ方 (算数 整数の性質)
- 文字式で表した整数の性質 (中学数学 数と式)
- 余りによる整数の分類 (数学A 整数の性質)
- 樹形図で数え上げる (算数 場合の数)
- 積の法則と和の法則 (算数 場合の数)
- 和の法則・積の法則と樹形図 (数学A 場合の数と確率)
説明
合同式 は「 と を で割った余りが等しい」ことを表す記号です。合同式を使うと、大きな数や文字を含む式を、それを で割った余り( から までの小さな数)に置きかえて計算できます。 や を で割った余りを求めたり、余りが条件を満たす整数の個数を数えたりするときに使います。
なぜそうしてよいのか
整数 と 2 以上の整数 について、 が の倍数であるとき と書き、「 と は を法として合同」といいます。()とすると で、 なので、 が の倍数になるのは のときだけです。つまり は「 で割った余りが等しい」ことと同じです。
いま とすると、整数 を使って と書けます。すると 、、 となるので、、、 が成り立ちます。積の性質を としてくり返し使えば、自然数 について も成り立ちます。
これは、前提の技能で とおいて と展開していた作業を、「 の倍数の部分は最後まで余りに影響しないので、はじめから捨ててよい」とまとめたものです。だから、和・差・積・累乗だけでできた式なら、各数を余りに置きかえてから計算してよいのです。
手順
法 を決め、調べたい整数を で割った余り で分類する( のように負の数で表すと計算が楽なこともある)。
式の中の各整数を、その余り(合同な小さな数)に置きかえる。例: なら 。
和・差・積・累乗の性質を使って式全体を計算し、途中でも 以上の数が出たら の倍数を引いて小さくする。最後は 以上 以下の数で答える。
余りごとの結果を表にまとめ、条件を満たす余りの組み合わせを書き出す。
各余りに当てはまる整数の個数を数え、積の法則(組み合わせごとの個数の積)と和の法則(組み合わせどうしの和)で合計する。
例題
を満たす整数の組 のうち、 を で割った余りが になるものの個数を求めよ。
例題の解答
【手順1】法は 。 を で割った余りはそれぞれ で、各余りに 1 個ずつ当てはまる。
【手順2・3】 を で割った余りを求める。、、、、、、。
よって となる は の 1 個、 は の 2 個、 は の 2 個、 は の 2 個。 についても同じ。
【手順4】 の余りはそれぞれ のどれか。和が を法として になる組(順序あり)を調べると、、、 の 3 通り( なら 、 なら 、 なら で、それ以外はない)。
【手順5】積の法則より、 は 個、 は 個、 は 個。和の法則より 個。
(確認: なら で余り 。)
答え:
よくある誤り
両辺を同じ数で割ってよいとしてしまう誤り。例えば ですが です。正しくは、使ってよいのは和・差・積・累乗の性質だけで、割り算は一般には成り立ちません。
累乗の指数まで余りに置きかえてしまう誤り。例えば とするのは誤りで、正しくは より (実際 )。置きかえてよいのは底の数だけです。
負の数や大きな数のまま答えてしまう誤り。例えば を使って と出したとき、余りを と答えるのは誤りで、正しくは より余りは です。
余りの組を順序なしで数えたり、余り の場合を落としたりする誤り。上の例題で と を同じとみて 1 通りにしたり、()を数え忘れたりすると 個になりません。正しくは は順序のある組なので を別々に数え、 個です。
この説明は AI が書き、別の AI が例題を独立に解いて答えを確かめ、説明を一歩ずつ査読しました。
入口の問題
この技能を使う問題
方程式 を満たす正の整数の組 は何組あるか。
方程式 を満たす正の整数の組 をすべて考える。それらのうち積 が最大となるものについて、 の値を求めよ。
以下の正の整数 で、次の 3 つの合同式をすべてみたすものを考える。
このような すべての和を求めよ。素数 , を用いて RSA 暗号の鍵を作る。 とし、公開鍵の暗号化指数を とする。秘密鍵の復号指数 は、 を満たす の整数とする。
平文 ( を満たす整数)を , により暗号化したところ、暗号文 が得られた。平文 を求めよ。
受信者は素数 , を選び、 と暗号化指数 を公開鍵として公開した。送信者は平文 ( を満たす整数)を
によって暗号化し、暗号文 を受信者に送った。受信者は秘密鍵の復号指数 を , を満たす整数として求め、 により復号する。平文 を求めよ。
正の整数 に対して、 を つの整数の平方の和として表す表し方の個数を
とする(符号や順序が異なるものは別に数える)。テータ関数 についてのヤコビの四平方定理
は用いてよい。以上の整数 に対して (三角数)とする。 以上の整数の順序のついた組 で
を満たすものの個数を求めよ。を奇素数とする。 と互いに素な整数 の を法とする位数とは、 をみたす最小の正の整数 のことであり、位数が である整数を を法とする原始根という。 を を法とする原始根とする。
ディフィー・ヘルマン鍵共有では、秘密の 0 以上の整数 に対して を で割った余りが公開される。このとき、すべての 0 以上の整数 に対して
が成り立つこと(したがって公開された値から秘密 の偶奇がわかること)を証明せよ。ただし、次の事実は用いてよい。
- と互いに素な整数 の位数を とすると、0 以上の整数 について となるのは のとき、かつそのときに限る
- 素数 が整数の積 を割り切るならば、 または であるとし、カルタン部分代数 を対角成分の和が の対角行列全体とする。 を対角行列の第 成分を取り出す線形形式とし、単純ルートを , 、正ルートを とする。ルート のコルートを ( は行列単位)とし、基本ウェイト を で定める。
非負整数 に対し、最高ウェイト をもつ の有限次元既約表現を とする。
が で割り切れないための必要十分条件は、「」または「」であることを証明せよ。
ただし、次のワイルの次元公式は証明なしに用いてよい: とし、正ルート のコルートを とすると、最高ウェイト の有限次元既約表現の次元は
である(積は正ルート全体にわたる)。英字 文字を と数に対応させる。整数の組 を鍵とするアフィン暗号
で 1 文字ずつ暗号化する。ただし は を満たす整数で、 とする。このような鍵 のうち、暗号化を 2 回続けて行うと必ず元の文字に戻る、すなわち を満たすすべての整数 について
が成り立つ鍵(暗号化と復号が同じ写像になる鍵)は何個あるか。ただし が恒等写像になる鍵 も数に含める。合成数 を法とする離散対数を考える。
を満たす最小の正の整数 を求めよ。RSA 暗号の受信者は、相異なる素数 を選んで とし、公開鍵 を公開した。秘密鍵の復号指数 は
を満たす整数である。ここで である。送信者は平文 ( を満たす整数)を ()によって暗号化して送る。いま攻撃者は、 そのものは知らないが、 であることを知った。さらに暗号文 を傍受した。この暗号文に対応する平文 を求めよ。
を満たす複素数 に対して、テータ関数を
と定める。 以上の整数 に対して
と展開する。つまり は、 を満たす整数の組 の個数である。 を求めよ。なお、ヤコビの四平方定理( を満たす整数の組 の個数を とすると、正の整数 に対して )は証明なしに用いてよい。
正の整数 に対して、 と の最小公倍数を とする。 を満たす正の整数 のうち、
が成り立つものすべての和を求めよ。を満たす整数 のうち、 が で割り切れるものの個数を求めよ。
を を満たす整数とする。 が で割り切れるような の個数を求めよ。
をみたす整数 のうち、
をみたすものの個数を求めよ。素数 について、 は法 の原始根である( の法 での位数は )。
合同式
を満たす整数 はただ つ存在する。その を求めよ。英字 文字を と数に対応させ、鍵 のアフィン暗号
で 1 文字ずつ暗号化する。ここで鍵は整数の組 で、、、 を満たすものとする。鍵 が次の 2 つの条件をともに満たすとき、「よい鍵」と呼ぶ。
- 条件 : 暗号化を 2 回続けて行うと元に戻る。すなわち、 を満たすすべての整数 について が成り立つ(暗号化と復号が同じ操作になる)。
- 条件 : どの文字もそれ自身には暗号化されない。すなわち、 を満たすどの整数 についても である。
よい鍵 の個数を求めよ。
自然数全体を ( を含む)とする。 を「 を で割った余り」()とし、ゲーデルの 関数を で定める( は原始再帰関数である)。有限列 を、 として を用いて符号化する。すなわち を満たす を考える。このような のうち最小のものを求めよ。
カタラン数 を
で定める。0 以上の整数 について、 が奇数であるための必要十分条件は、ある 0 以上の整数 を用いて と表されることであることを証明せよ( とし、 は の場合にあたる)。を奇素数、 を を法とする原始根とする。 と互いに素な整数 について、 をみたす整数 が存在するとき を を法とする平方剰余、存在しないとき平方非剰余という。
アリスとボブが群 上でディフィー・ヘルマン鍵共有を行う。アリスは秘密の正の整数 、ボブは秘密の正の整数 を選び、、 を公開し、共有鍵を とする。
このとき、「 が を法とする平方非剰余であるための必要十分条件は、 と がともに を法とする平方非剰余であることである」を証明せよ。ただし、原始根の定義( の位数が であり、 と互いに素な任意の整数は を法としてある ()と合同になること)と、「 となる整数 は の倍数に限る」ことは用いてよい。
を素数とし、 を を法とする剰余類全体とする。整数 は かつ をみたすとし、アフィン暗号の暗号化写像 を
で定める。正の整数 に対して、 を 回合成した写像を と書く。正の整数 について、「すべての に対して が成り立つ(すなわち、同じ鍵で 回暗号化すると必ず平文に戻る)」ための必要十分条件は であること(とくにこの条件は によらないこと)を証明せよ。
ただし、 が素数で ならば、 をみたす整数 は に限ることは用いてよい。
を相異なる奇素数とし、、 とおく。正の整数 は をみたすとする(RSA 暗号の公開鍵 と秘密鍵 )。中国剰余定理を使った高速な復号(CRT-RSA)のために、次を定める。
- を を で割った余り、 を を で割った余りとする(、)。
- 整数 を、 をみたす整数のうちの 1 つとする( は相異なる素数なので、このような は存在する)。をみたす整数 (暗号文)に対して、
- を を で割った余り、 を を で割った余り(、)、
- を を で割った余り()、
-とおく。ここで は と互いに素であるとは限らない( や、 が または の倍数である場合も含む)。また、整数 に対して と定める( のときも含む)。このとき、 かつ であることを証明せよ。
ただし、フェルマーの小定理と、「整数 が相異なる素数 のそれぞれで割り切れるならば で割り切れる」ことは用いてよい。
方程式 を満たす正の整数の組 の個数を求めよ。
英字 文字を と数に対応させ、 の元とみなす。正の整数 と鍵 に対し、鍵の長さ のヴィジュネル暗号は、平文 を
で暗号文 に変換する( は を で割った余り)。鍵の成分はどれも から の任意の値をとってよいものとする。いま、長さ の文字列全体の集合 上で、まず鍵の長さ の鍵 でヴィジュネル暗号化し、その結果をさらに鍵の長さ の鍵 でヴィジュネル暗号化する二重暗号化を考える。鍵の組 は全部で 通りある。
鍵の組 をすべて動かしたとき、この二重暗号化によって得られる から への写像は何通りあるか。答えは の累乗の形で答えよ。
である。 が で割り切れるような正の整数 のうち、最小のものを求めよ。
正の整数 のうち、合同式
をみたし、かつ であるものすべての和を求めよ。環は単位元 をもつ可換環とする。素イデアルは環全体と異なるものとし、零イデアルが素イデアルであればそれも数える(すなわち、素スペクトル の元の個数を数える)。
とおく。
とおく。 は のどれでも割り切れない整数全体であり、 を含み、 は含まない。 は の積閉集合である。標準準同型 による の像を の積閉集合とみなし、局所化 を考える。 の素イデアルの個数を求めよ。は を法とする原始根である。 を法とするディリクレ指標 を
で定める( は虚数単位)。 を法とするディリクレ指標 と整数 に対し、 を、上半平面 上の正則関数 であって、すべての に対して
を満たし、すべてのカスプで正則かつ に消えるもの(指標 付きの重さ のカスプ形式)全体のなす複素ベクトル空間とする。ここで である。
をこの順に組で求めよ。を を満たす整数とする。 が で割り切れるような の個数を求めよ。
を満たす整数 のうち、 が で割り切れるものは何個あるか求めよ。
を位数 の有限体とする。 上の射影平面曲線
を考える。 は 上で非特異な 次曲線である(したがって種数は )。正の整数 に対し、 を の 有理点( の点で 上にあるもの)の個数とする。 を求めよ。アルファベット 上の言語 を次のように定める。
文字列 ()を 2 進数として読んだ値を とする(先頭に が続いてもよく、空文字列 の値は とする)。このとき
とする。 を受理する完全な決定性有限オートマトン(DFA。すべての状態とすべての入力記号に対して遷移が定義されているもの)のうち、状態数が最小のものの状態数を求めよ。ディフィー・ヘルマン鍵共有の公開パラメータとして、素数 と、法 の原始根 を選びたい。ここで整数 が法 の原始根であるとは、 の法 における位数( を満たす最小の正の整数 )が であることをいう。
を満たす法 の原始根 のうち、最小のものを求めよ。
アルファベット 上の決定性有限オートマトン を考える。状態の集合は 、初期状態は 、受理状態は と の 2 つであり、遷移関数 は次の表で与えられる。
状態 を正の整数とする。 が受理する長さ の文字列の個数を の式で表せ。
英字 文字を と数に対応させ、鍵 のアフィン暗号
で 1 文字ずつ暗号化する。鍵は、 かつ を満たす整数 と、 を満たす整数 の組 とする(全部で 通り)。ある鍵 について、同じ鍵で 3 回続けて暗号化すると、どの文字ももとの文字に戻る、すなわち
が成り立つとする。このような鍵 の個数を求めよ(恒等写像になる鍵 も数える)。はいずれも 以上 以下の整数とする。 が で割り切れるような整数の組 の個数を求めよ。
以上の整数 に対して、方程式 を満たす 以上の整数の組 の個数を とする。 となる 以上の整数 は有限個である。それらすべての和を求めよ。
を を満たす整数とする。 が で割り切れるような すべての和を求めよ。
未満の正の整数 のうち、次の 2 つの条件をともに満たすものを考える。
- を 進法で表したとき、数字 がちょうど 個現れる。
- は で割り切れる。
このような すべての総和を求めよ。
以上の整数 を用いて の形に表すことができない正の整数をすべて考える。それらすべての和を求めよ。
正十七角形の頂点に、時計回りに順に の番号が付けられている。この 個の頂点から、どの つも隣り合わないように 個の頂点を選ぶ(頂点 と頂点 も隣り合っている)。選んだ 個の頂点の番号の和が で割り切れるような選び方は何通りあるか。
二項係数を次のように並べた数列を考え、図のように群に分ける。
すなわち、 を正の整数とするとき、第 群は 個の項
をこの順に並べたものである。第 群から第 群までに含まれる項のうち、奇数であるものの個数を求めよ。
この技能の次に学べること
- 互いに素な法への分解 (数学A 整数の性質)
- 累乗の余りの周期 (数学A 整数の性質)
- 群の位数と元の位数 (大学数学 代数学)
- 線形符号と生成行列 (大学数学 情報理論・符号理論)
- 言語の条件から DFA を作る(余り・接尾辞・積構成) (大学数学 オートマトン・形式言語)
- 繰り返し二乗法によるべき剰余 (大学数学 暗号理論)
- 法 での逆元(拡張ユークリッドの互除法) (大学数学 暗号理論)
- ヴィジュネル暗号 (大学数学 暗号理論)
- 二次ガウス和の値 (大学院数学 フーリエ解析)
- テータ関数と二平方和 (大学院数学 楕円関数・モジュラー形式)
- フォックス n 彩色 (大学院数学 結び目理論)
- 2 次体の整数環と判別式 (大学院数学 代数的整数論)
- ヘンゼルの補題と p 進数での根 (大学院数学 代数的整数論)