整数論の問題
をみたす素数 を考える。2 つの合同式
がどちらも整数解をもつ。このような素数 すべての和を求めよ。
この問題で使うもの
- 平方剰余とオイラーの規準(説明と入口の問題)
- 平方剰余の相互法則(説明と入口の問題)
- 中国剰余定理と連立合同式(説明と入口の問題)
- 互いに素な法への分解(説明と入口の問題)
この問題を解けるようになるまで(35 技能)
読み込み中…
右端(太枠)がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
一覧で見る(前提が先)
- 分数のたし算・ひき算
- 小数の四則計算
- 正負の数の加法・減法
- 分数のかけ算・わり算
- 四則の混じった計算の順序
- 正負の数の乗除・累乗と四則混合
- 分配法則を使った計算のくふう
- 文字式の計算(同類項・分配法則)
- 乗法公式による展開
- 因数分解
- 約数の見つけ方
- 文字式で表した整数の性質
- 余りによる整数の分類
- 樹形図で数え上げる
- 積の法則と和の法則
- 和の法則・積の法則と樹形図
- 合同式
- 最大公約数と最小公倍数
- 素因数分解と約数の個数
- 最大公約数と最小公倍数
- 互いに素な法への分解
- 順列・円順列・重複順列
- 組合せ
- 確率の定義と和事象・余事象
- 包除原理
- オイラー関数の計算
- フェルマーの小定理とオイラーの定理
- n 進法
- 繰り返し二乗法によるべき剰余
- 平方剰余とオイラーの規準
- 平方剰余の相互法則
- ユークリッドの互除法
- 1 次不定方程式の整数解
- 法 での逆元(拡張ユークリッドの互除法)
- 中国剰余定理と連立合同式
ヒント
行き詰まったら、上から順に 1 つずつ開いてください。
ヒント 1
が解をもつことをルジャンドル記号 と言い換え、乗法性で に分解しよう。
ヒント 2
補充法則と相互法則を使うと、、、 となる。条件は、この 3 つの記号がすべて か、すべて かのどちらかである。
ヒント 3
中国剰余定理で法 の剰余類にまとめると、 となる。あとは 以下の素数を拾えばよい。
答えと解説
答えを見る
どこでつまずきましたか?(選ぶと、戻る場所を案内します)
解説を読む
なので は も も割り切らない。したがって、条件はルジャンドル記号を用いて
と同値である。
各記号の計算. ルジャンドル記号の乗法性から
- 第 2 補充法則より、 である。
- 第 1 補充法則 と、平方剰余の相互法則 から、 である。よって となる。
- 相互法則より である( が偶数のため)。よって となる。
場合分け. 2 つの積がともに になるのは、次の 2 つの場合である。
(A) のとき。条件は 、、 である。
- 法 では となる。
- の数 のうち、法 で となるのは である。
- の数 のうち、法 で となるのは である。
- よって である。
(B) のとき。条件は 、、 である。
- 法 では となる。
- の数 のうち、法 で となるのは である。
- の数 のうち、法 で となるのは である。
- よって である。
以下の素数の列挙. 条件は
である。 でこれをみたす整数は
である。このうち 、、、 は素数でない。したがって条件をみたす素数は
である。
(確認: では 、 となり、確かに成り立つ。)
和の計算.
別解
なので は 2, 3, 5 と異なり、 である。よって条件は平方剰余の記号で かつ と書ける。
平方剰余の相互法則と第1・第2補充法則から次が分かる。
-
-
の素数のうち、まず mod 24 の条件を満たすものは次の通り。
7, 11, 29, 31, 53, 59, 73, 79, 83, 97, 101, 103, 107, 127, 131, 149, 151, 173, 179, 193, 197, 199
このうち mod 40 の条件 も満たすものは次の通り。
31, 53, 79, 83, 107, 151, 173, 197, 199
和は 。
検算: のとき 、 なので両方とも解をもつ。