![](http://oshiete.xgoo.jp/images/v2/pc/qa/question_title.png?5a7ff87)
xの2乗≡a(mod pのk乗)が整数解を持てばxの2乗≡a(mod pのk+1乗)も整数解を持つ
pは素数、kは0以上の整数、aは整数
この証明についての質問です。
xの2乗≡a(mod pのk乗)の整数解をx1とすると
x1の2乗-a=(pのk乗)s
sは整数
x2=x1+(pのk乗)tとおくと
x2の2乗-a=(x1+(pのk乗)t)の2乗-a
=x1の2乗+2(x1)(pのk乗)t+((pのk乗)の2乗)(tの2乗)-a
=(x1の2乗-a)+2(x1)(pのk乗)t+((pのk乗)の2乗)(tの2乗)
=(pのk乗)s+2(x1)(pのk乗)t+((pのk乗)の2乗)(tの2乗)
=(pのk乗)(s+2(x1)t+(pのk乗)(tの2乗))
ここまではいいのですが
s+2(x1)t≡0(mod p)となるようにtを選ぶことができるというのがわかりません。
ここを通過すればpのk+1乗を約数にもつことになって証明が終わります。
No.4
- 回答日時:
2*x1とpが互いに素であればフェルマーの小定理を使えば簡単です。
2*x1とpが互いに素であればフェルマーの小定理から
(2*x1)^(p-1)≡1 (mod p)
となります。
この両辺に-sをかけると
-s(2*x1)^(p-1)≡-s (mod p)
s-s(2*x1)^(p-1)≡0 (mod p)
s+(2*x1)*(-s)(2*x1)^(p-2)≡0 (mod p)
つまり
t=(-s)(2*x1)^(p-2) であれば s+2*x1*t≡0 (mod p) を満たします。
問題は2*x1がpと互いに素であるか、という点。
x1がpの倍数の場合は元の式に戻って考え直してみましょう。
No.2
- 回答日時:
ん~と, 「p が奇素数」という条件はほとんど意味がありません. 「奇数じゃない素数」って 2 しかないし, そうすると a は 0 か 1 しかないからすぐわかるでしょ?
で, なんですが, 「a=0、kが偶数、sがpと互いに素な平方数の場合にはどうするのでしょう?」とはどういうことでしょうか? 3つの条件が全部そろったときを問題にしているのかそれぞれの場合を問題にしているのかがわかりませんし, どちらにしても「どこにどう困っているのか」がさっぱりわからんのですが.
この回答への補足
a=0、k=2j、s=uの2乗が全部そろったとき
x1の2乗=(pの2j乗)(uの2乗)なので
s+2(x1)t=(uの2乗)+2(x1)t
=(uの2乗)+2(pのj乗)ut
≡(uの2乗)(mod p)
となって≡0(mod p)にならないような気がするのですがどこがおかしいのでしょう?
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 線形代数の対称行列についての問題がわからないです。 2 2023/01/08 14:59
- 数学 ハイネボレルの被覆定理、内田伏一著 「集合と位相」定理22.1 1 2022/07/07 10:49
- 数学 3次対称群S3はシロー部分群で因数分解できない この問題の証明が分かりません。できる範囲で教えていた 1 2022/12/13 13:10
- C言語・C++・C# C言語の課題が出たのですが自力でやっても分かりませんでした。 要素数がnであるint型の配列v2の並 3 2022/11/19 17:41
- 数学 写真の問題の(2)の赤線部についてですが、なぜ追試を受けた人はx1の一人だけなのですか? 例えばx1 3 2023/07/27 14:36
- 経済学 国家公務員一般職試験の問題より 同じ財 X を生産する企業1、企業2からなる複占市場において、Xの需 2 2022/11/28 12:44
- 数学 数学直線の方程式とベクトル方程式について 直線の方程式で 点(x1,y1)を通り、直線ax+by+c 1 2022/08/12 12:13
- 数学 写真の図は中心(a,b)半径rの円とその円周上の(x1,y1)における接線lと円の中心とlを結ぶ任意 4 2023/08/08 16:20
- 数学 数学(ベクトル) 単位ベクトルの一次結合で一般の空間ベクトルは表せる という式なのですがなぜ 「x1 3 2023/04/10 01:24
- 数学 x1+3x2+2x3=4 2x1+x2-3x3=2 -5x1+5x2+18x3=a 次の連立1次方程 2 2023/07/02 03:15
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
確率の問題で、「5人の中から3...
-
10の-9乗ってどういう意味ですか?
-
なぜ赤い下線部のようになるか...
-
一次独立系であることの証明 ...
-
数学の問題です。
-
高校数学Ⅰ・Aです。 2200の正の...
-
中心複合計画と応答曲面法について
-
数学の問題で質問です。 行きは...
-
二点の座標から直線の方程式を...
-
ユークリッド互除法 解き方を教...
-
チャート例題185について。 解...
-
高校数学:整数
-
「テレホンQ」どこまで?
-
関数f(x1,x2,x3,x4,x5)が最大値...
-
線型空間の和空間の次元公式
-
凸関数
-
【数学B】直線のベクトル方程...
-
数Cですが。
-
線形代数 部分空間 基底
-
関数f(x)が区間Iで下に凸であ...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
10の-9乗ってどういう意味ですか?
-
確率の問題で、「5人の中から3...
-
ならなくない??
-
高低差のある支持点で,電線の...
-
log-logの補間式
-
写真のような分配ばねの等価ば...
-
数学得意な方!!!!!
-
高校数学Ⅰ・Aです。 2200の正の...
-
数学の問題で質問です。 行きは...
-
二点の座標から直線の方程式を...
-
接線の方程式
-
二次関数の近似式を求めるため...
-
【至急!!】線形計画問題教えて...
-
3次曲線の長さの求め方
-
3次元図の角度と辺の長さを求め...
-
KKT条件について教えてくだ...
-
数学A 2桁以上の自然数Nについ...
-
半径1の円に内接する三角形の面...
-
高次の重回帰式について
-
曲線の接線
おすすめ情報