整数論の問題
と はともに奇素数である。平方剰余の相互法則を用いて、ルジャンドル記号 の値を求めよ。
この問題で使うもの
- 平方剰余の相互法則(説明と入口の問題)
この問題を解けるようになるまで(31 技能)
読み込み中…
右端(太枠)がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
一覧で見る(前提が先)
- 分数のたし算・ひき算
- 小数の四則計算
- 正負の数の加法・減法
- 分数のかけ算・わり算
- 四則の混じった計算の順序
- 正負の数の乗除・累乗と四則混合
- 分配法則を使った計算のくふう
- 文字式の計算(同類項・分配法則)
- 乗法公式による展開
- 因数分解
- 約数の見つけ方
- 文字式で表した整数の性質
- 余りによる整数の分類
- 樹形図で数え上げる
- 積の法則と和の法則
- 和の法則・積の法則と樹形図
- 合同式
- 最大公約数と最小公倍数
- 素因数分解と約数の個数
- 最大公約数と最小公倍数
- 互いに素な法への分解
- 順列・円順列・重複順列
- 組合せ
- 確率の定義と和事象・余事象
- 包除原理
- オイラー関数の計算
- フェルマーの小定理とオイラーの定理
- n 進法
- 繰り返し二乗法によるべき剰余
- 平方剰余とオイラーの規準
- 平方剰余の相互法則
ヒント
行き詰まったら、上から順に 1 つずつ開いてください。
ヒント 1
平方剰余の相互法則を使って、 を分母の小さいルジャンドル記号に書きかえましょう。
ヒント 2
、 なので、入れかえると符号が になります。そのあと を で割った余りで分子を小さくします。
ヒント 3
となります。残りの も相互法則で に直して計算しましょう。
答えと解説
答えを見る
どこでつまずきましたか?(選ぶと、戻る場所を案内します)
解説を読む
方針:相互法則で「分子と分母」を入れかえ、分母より小さい数に還元することをくり返す。
手順 1(相互法則で入れかえる)
相互法則
を に使う。、 で、 は奇数だから右辺は である。ルジャンドル記号の値は なので
手順 2(分子を法で還元する)
より だから
手順 3(もう一度相互法則)
とすると は偶数なので右辺は となり
で、 は平方数だから
まとめ
(確認: を で割った余りは であり、 は含まれない。よって は法 の平方非剰余で、結果と一致する。)
よって答えは である。
別解
19 と 43 はともに奇素数で、19 ≡ 3 (mod 4)、43 ≡ 3 (mod 4) である。平方剰余の相互法則より、p ≡ q ≡ 3 (mod 4) のとき 。よって 。
43 ≡ 5 (mod 19) なので 。5 ≡ 1 (mod 4) なので (4=2² は平方数)。したがって で、。
検算:43 を法とする平方数を調べる。19 が平方剰余なら x²≡19 (mod 43) に解がある。43 を法とする平方剰余は 1,4,9,16,25,36,6(49),21(64),38(81),14(100),35(121),15(144),38... 具体的には x=1〜21 の x² mod 43 は 1,4,9,16,25,36,6,21,38,14,35,15,39,23,10,41,33,27,23(361-344=17 ではない)…。x=19: 361=43·8+17 なので 17。x=18: 324=43·7+23 なので 23。x=17: 289=43·6+31 なので 31。x=16: 256=43·5+41 なので 41。x=15: 225=43·5+10 なので 10。x=14: 196=43·4+24 なので 24。x=13: 169=43·3+40 なので 40。x=12: 144-129=15。x=20: 400-387=13。x=21: 441-430=11。集合は {1,4,9,16,25,36,6,21,38,14,35,15,40,24,10,41,31,23,17,13,11} で 19 を含まない。よって -1 で一致する。