初等数論の下記の問題が解けずに悩んでいます。どなたか教えていただけませんでしょうか。できれば初等数論の範囲で教えていただければ助かります。
(問題)
kは奇数であり、k=p1*p2*...*pNと素数の積で表した場合に全てのp≡1 mod 4であるならば、k=s^2+t^2、ただしgcm(s,t)=1と表せることを証明せよ。
kが単なる自然数の場合、k=p1*p2*...*pNと素数の積で表した場合に全てのp≡1 mod 4であるならば、k=s^2+t^2に表せることは、平方剰余の相互法則(-1/p)=1 p≡1 mod 4とフェルマーの無限降下法を用いて証明できることは理解できます。しかしkが奇数の場合にgcm(s,t)=1となる場合が存在することが理解できません。
最初は必ずgcm(s,t)=1となるのかと思いましたが、そうではないようです。例えば845=13^2*5という奇数は、(13*2)^2+(13*1)^2と表せばgcm(s,t)≠1ですが、そのほかに22^2+19^2および29^2+2^2と表すことができ、これらの場合gcm(s,t)=1になります。
A 回答 (1件)
- 最新から表示
- 回答順に表示
No.1
- 回答日時:
これは、「二次体K(i)、K(√-3)の整数」の問題で、
「p≡1(mod 4)なる有理素数pを二つの平方の和に分解する
ことができる。しかもこの分解はただ一様に限る」という定理
の逆の問題です。
P_1=x_1+i・y_1
P_2'=x_2-i・y_2 とすると、
P_1・P_2'=x_1・x_2+y_1・y_2-i・(x_1・y_2-x_2・y_1)
P_1・P_2'=4・z+1 であるためには、
虚数部が0でなければならず、先ず、
x_1・y_2=x_2・y_1 でなければならない。
x_2/x_1=y_2/y_1=k とすると
P_2'=P_2・P_3 として
P_1・P_2・P_3=k・(x_1+i・y_1)(x_1-i・y_1)=4・z+1
ここで、k=P_3 とした。このとき、k=4・q+1 と表わせるので
(4・q+1)・(x_1^2+y_1^2)=4・z+1
これが成り立つためには、x_1 と y_1 は
偶数-奇数の組み合わせでなければならない。 (a)
x_1=2・x_1'、y_1=2・y_1'+1 とすれば
(4・q+1)・(x_1^2+y_1^2)
=(4・q+1)・{4・x_1'^2+(2・y_1'+1)^2)}
=(4・q+1)・(4・x_1'^2+4・y_1'^2+4・y_1'+1)
=(4・q)・(4・x_1'^2+4・y_1'^2+4・y_1')
+(4・x_1'^2+4・y_1'^2+4・y_1')+4・q+1
=4・Q+1 と表わせる。
x_1=2・x_1'+1、y_1=2・y_1' とした場合も同様の結果を得る。
このとき、a=√{(4q+1)(x_1・x_2)}、b= √{(4q+1)(y_1・y_2)} とすると
a、b は、偶数-奇数なので互いに素である。
そして、
m=P_1*P_2*P_3=(4・q+1)・(x_1^2+y_1^2)
=(x_1+i・y_1)・(x_2-i・y_2)
=a^2+b^2 と表わせる。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 大学数学 「条件:t進表現において、何乗しても右から2桁が変わらない2桁の自然数が存在する。」 上記 7 2023/06/28 22:25
- 数学 環論の素元について 6 2022/05/09 04:04
- 数学 回答の意味について 3 2023/07/06 14:14
- 数学 実数同士の全単射写像について 2 2023/07/05 17:12
- 数学 写真の(2)についてですが、模範解答では、y=kを偶奇に場合分けする時、yが奇数になるときをy=2k 1 2022/12/11 19:57
- その他(教育・科学・学問) 関数、写像について 1 2022/04/10 23:45
- 数学 素数について 7 2022/03/31 02:33
- 数学 p を奇素数 ((b) は p≠5) とするとき, 以下の同値関係を示せ. (a) (-2/p) = 3 2022/07/03 16:35
- Excel(エクセル) エクセルの数式で教えてください。 2 2023/03/10 13:21
- 数学 確率の最大値を求める方法について 確率 Pn<P(n+1)⇄Pn/P(n+1)<1のときと Pn>P 2 2022/07/29 20:15
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
lim[x→+∞](x^n/e^x)=0 の証明
-
直角三角形じゃないのに三平方...
-
sin^2+cos^2=1の証明
-
完全数はどうして「完全」と名...
-
AとBはn次正方行列とする。 積A...
-
超難問なんですが数学詳しい方...
-
【遊びのピタゴラスイッチはな...
-
至上最難問の数学がとけた
-
連立合同式の初級です。急いで...
-
合同方程式13x≡7(mod84)の答え...
-
ピタゴラス数について。
-
大学の記述入試で外積は使えま...
-
ベクトル解析の分かりやすく丁...
-
ディリクレ指標について( mod=5...
-
ドアモブルの定理を幾何学的に...
-
オイラーの公式はピタゴラスの...
-
3以上9999以下の奇数aで、(a^2)...
-
複素関数と実関数のテーラー展...
-
方べきの公式の『方べき』の意味
-
定理と法則の違い
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
過去に 「ii) f(z)=1/(z^2-1) r...
-
【遊びのピタゴラスイッチはな...
-
直角三角形じゃないのに三平方...
-
大学の記述入試で外積は使えま...
-
lim[x→+∞](x^n/e^x)=0 の証明
-
定理と法則の違い
-
至上最難問の数学がとけた
-
実数の整列化について
-
十分性の確認について
-
AとBはn次正方行列とする。 積A...
-
ほうべき(方巾)の定理について
-
ファルコンの定理は解かれまし...
-
パップスギュルダンの定理について
-
オイラーの多面体定理の拡張
-
微分形式,微分幾何学の参考書
-
ディリクレ指標について( mod=5...
-
x^100を(x+1)^2で割ったときの...
-
nを整数とする。このとき、n^2...
-
大学数学 解答
-
4.6.8で割るとあまりはそれぞれ...
おすすめ情報