整数論の問題
は素数である。集合 の要素 のうち、 が法 の平方剰余であるもの、すなわち合同式 が整数解 をもつような をすべて求めよ。
この問題で使うもの
- 平方剰余の相互法則(説明と入口の問題)
この問題を解けるようになるまで(31 技能)
読み込み中…
右端(太枠)がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
一覧で見る(前提が先)
- 分数のたし算・ひき算
- 小数の四則計算
- 正負の数の加法・減法
- 分数のかけ算・わり算
- 四則の混じった計算の順序
- 正負の数の乗除・累乗と四則混合
- 分配法則を使った計算のくふう
- 文字式の計算(同類項・分配法則)
- 乗法公式による展開
- 因数分解
- 約数の見つけ方
- 文字式で表した整数の性質
- 余りによる整数の分類
- 樹形図で数え上げる
- 積の法則と和の法則
- 和の法則・積の法則と樹形図
- 合同式
- 最大公約数と最小公倍数
- 素因数分解と約数の個数
- 最大公約数と最小公倍数
- 互いに素な法への分解
- 順列・円順列・重複順列
- 組合せ
- 確率の定義と和事象・余事象
- 包除原理
- オイラー関数の計算
- フェルマーの小定理とオイラーの定理
- n 進法
- 繰り返し二乗法によるべき剰余
- 平方剰余とオイラーの規準
- 平方剰余の相互法則
ヒント
行き詰まったら、上から順に 1 つずつ開いてください。
ヒント 1
が平方剰余かどうかは、ルジャンドル記号 の値で判定できます。 を や で割った余りに注目しましょう。
ヒント 2
奇素数 について (相互法則)と、 を使います。
ヒント 3
、 となります。残りの も をその数で割った余りに帰着させて計算しましょう。
答えと解説
答えを見る
どこでつまずきましたか?(選ぶと、戻る場所を案内します)
解説を読む
が法 の平方剰余であることは、ルジャンドル記号 と同値である( は と互いに素)。平方剰余の相互法則とその第 2 補充法則を用いて順に計算する。なお 、 である。
: 第 2 補充法則より 。 なので 。
: と はともに で割って 余るので、相互法則より ()。
: なので (、法 の平方剰余は のみ)。
: なので ()。法 の平方剰余は なので 。よって 。
: なので (、 は平方剰余)。
: なので (、、第 1 補充法則より なら )。
以上より、平方剰余であるのは である。
別解
は素数で 、。ルジャンドル記号と平方剰余の相互法則( が奇素数で、ともに のとき 、それ以外は等しい)を使う。
・: なので 。(実際 ✓)
・: 両方 なので 。
・: (5 を法とする平方は )。
・: 両方 なので 。7 を法とする平方は なので 、よって 。
・: 両方 なので 。
・: なので 。
確かめ: : が平方になる例 , ... , , 続けて ... 直接の確認の代わりに、 と がともに平方剰余、 が平方剰余()などの整合性から矛盾はない。また : 相互法則の計算で 。
よって平方剰余であるものは 。