数学ナビゲーター掲示板
HOME
HELP
新規作成
新着記事
ツリー表示
スレッド表示
トピック表示
発言ランク
ファイル一覧
検索
過去ログ
[
親記事をトピックトップへ
]
このトピックに書きこむ
入力内容にタグは利用できません。
数式の記述方法
TeX入力ができます。
\[
TeX形式数式
\]
あるいは,
$
TeX形式数式
$
で数式を記述します。
TeX形式数式には半角英数字のみです。詳しくは、
ここ
を見てください。
Titleは質問の内容がわかりやすいように書いてください。
他人を中傷する記事は管理者の判断で予告無く削除されます。
半角カナは使用しないでください。文字化けの原因になります。
名前、Title、コメントは必須記入項目です。記入漏れはエラーになります。
入力内容の一部は、次回投稿時の手間を省くためブラウザに記録されます。
削除キーを覚えておくと、自分の記事の編集・削除ができます。
URLは自動的にリンクされます。
引用返信するときは不要な引用部分を削除してください。
記事中に No*** のように書くとその記事にリンクされます(No は半角英字/*** は半角数字)。
使用例)
No123 → 記事No123の記事リンクになります(指定表示)。
No123,130,134 → 記事No123/130/134 の記事リンクになります(複数表示)。
No123-130 → 記事No123〜130 の記事リンクになります(連続表示)。
Name
/
E-Mail
/
└> 関連するレス記事をメールで受信しますか?
NO
YES
/ アドレス
非公開
公開
Title
/
URL
/
Comment/ 通常モード->
図表モード->
(適当に改行して下さい/半角10000文字以内)
■No52401に返信(WIZさんの記事) > 2023/12/05(Tue) 14:34:26 編集(投稿者) > > 「ガウス整数の素数」を「ガウス素数」、 > 「ガウス整数の平方数」を「ガウス平方数」と記載することにします。 > > ガウス整数の積について考える場合、常に同伴数に注意する必要があります。 > ノルムが有理素数であるガウス整数はガウス素数となり、以下の分類となります。 > > (1)有理素数2の約数のガウス整数の1+iはガウス素数である。 > 2 = (-i)((1+i)^2)ですが、1+iの同伴数には-1-i, 1-i, -1+iがあります。 > いずれも虚数単位iの係数が奇数なので、ガウス平方数の和には表せません。 > > (2)有理素数pがp ≡ 1 (mod 4)の場合のpの約数である単数でないガウス整数はガウス素数である。 > フェルマーの二平方定理により、ある有理整数a, bが存在してp = a^2+b^2と表せます。 > よって、p = (a+bi)(a-bi)と表され、a+biとa-biは共役なガウス素数となります。 > > a, bの一方は偶数で他方は奇数なので、最初からaは奇数でbは偶数としても一般性を失いません。 > すると、ある有理整数u, vが存在してa = 2u-1, b = 2vと表せます。 > 偶然見つけた恒等式ですが、(2u-1)+2vi = (u+vi)^2+(v-(u-1)i)^2かつ、 > (2u-1)-2vi = (u-vi)^2+(v+(u-1)i)^2なので、 > a+biとa-biは2個のガウス平方数の和に表せると言えます。 > > a+biの同伴数は-a-bi, b-ai, -b+aiがあり、a-biの同伴数は-a+bi, -b-ai, b+aiがあります。 > なので、虚数単位iの係数が奇数となる同伴数はガウス平方数の和には表せません。 > > (3)有理素数pがp ≡ 3 (mod 4)の場合、p自身がガウス素数である。 > pは奇数なので、ある有理整数wが存在してp = 2w+1 = (w+1)^2+(wi)^2と2個のガウス平方数の和に表せます。 > pの同伴数は-p, pi, -piがありますが、虚数単位iの係数が奇数となる同伴数はガウス平方数の和には表せません。 > > 以上から、1+i以外のガウス素数はその同伴数の中に2個のガウス平方数の和に表せるものが存在するので、 > Im(x)が偶数であるガウス整数xがガウス素数1+i(同伴数を含む)を偶数乗に因数に持てば、 > xの同伴数の中に2個以下のガウス平方数の和に表せるものが存在すると言えると思います。 > そして、ガウス素数1+i(同伴数を含む)を奇数乗に因数に持てば、 > xは3個以下のガウス平方数の和に表せると言えると思います。 > > # 私が間違い・勘違いしている可能性もありますので、上記推論は鵜呑みにせず > # 質問者さんの方で良く精査願います。
File
/
アップ可能拡張子=> /
.gif
/
.jpg
/
.jpeg
/
.png
/.txt/.lzh/.zip/.mid/.svg
1) 太字の拡張子は画像として認識されます。
2) 画像は初期状態で縮小サイズ250×250ピクセル以下で表示されます。
3) 同名ファイルがある、またはファイル名が不適切な場合、
ファイル名が自動変更されます。
4) アップ可能ファイルサイズは1回
200KB
(1KB=1024Bytes)までです。
5) ファイルアップ時はプレビューは利用できません。
6) スレッド内の合計ファイルサイズ:[0/500KB]
残り:[500KB]
Icon
/
ぺそぎん(常)
ぺそぎん(喜)
ぺそぎん(礼)
ぺそぎん(跳)
ぺそぎん(焦)
ぺそぎん(励)
マサト
ミツコ
サトシ
サクラ
ダン
エリカ
ホイールロボ
くるりロボ
ぱんだ
ふとめネコ
ねずみ
こあら
疑問ねこ
ランダム
管理者用
(画像を選択/
サンプル一覧
)
削除キー
/
(半角8文字以内)
解決済み!
BOX/
解決したらチェックしてください!
プレビュー/
[ トピック内全9記事(1-9 表示) ] <<
0
>>
■52402
/ inTopicNo.1)
Re[1]: ガウス整数の平方和
▼
■
□投稿者/ きんぴら5号
一般人(7回)-(2023/12/05(Tue) 20:33:14)
WIZ様返信ありがとうございます。
ガウス素数の平方数和について詳しく分析・解説して頂き感謝します。
紹介して頂いた恒等式は(2u-1)+2viや(2u-1)-2viがガウス素数である必要がないので汎用性が高いですね。
残るはガウス整数yのRe(y)とIm(y)が共に偶数の場合です。
y=2u+2vi={(1+i)^2}{v-ui}だから結局uが偶数であることが必要で
u=-2wとすればv+2wiについて分析するという最初の問題に戻ってしまいますね。
同伴数やガウス素数の構成などまだまだ私自身消化不良ではありますが
本スレはこれにて終了とさせて頂きます。
引用返信
/
返信
[メール受信/OFF]
削除キー/
編集
削除
■52401
/ inTopicNo.2)
Re[1]: ガウス整数の平方和
▲
▼
■
□投稿者/ WIZ
一般人(9回)-(2023/12/05(Tue) 10:08:19)
2023/12/05(Tue) 14:34:26 編集(投稿者)
「ガウス整数の素数」を「ガウス素数」、
「ガウス整数の平方数」を「ガウス平方数」と記載することにします。
ガウス整数の積について考える場合、常に同伴数に注意する必要があります。
ノルムが有理素数であるガウス整数はガウス素数となり、以下の分類となります。
(1)有理素数2の約数のガウス整数の1+iはガウス素数である。
2 = (-i)((1+i)^2)ですが、1+iの同伴数には-1-i, 1-i, -1+iがあります。
いずれも虚数単位iの係数が奇数なので、ガウス平方数の和には表せません。
(2)有理素数pがp ≡ 1 (mod 4)の場合のpの約数である単数でないガウス整数はガウス素数である。
フェルマーの二平方定理により、ある有理整数a, bが存在してp = a^2+b^2と表せます。
よって、p = (a+bi)(a-bi)と表され、a+biとa-biは共役なガウス素数となります。
a, bの一方は偶数で他方は奇数なので、最初からaは奇数でbは偶数としても一般性を失いません。
すると、ある有理整数u, vが存在してa = 2u-1, b = 2vと表せます。
偶然見つけた恒等式ですが、(2u-1)+2vi = (u+vi)^2+(v-(u-1)i)^2かつ、
(2u-1)-2vi = (u-vi)^2+(v+(u-1)i)^2なので、
a+biとa-biは2個のガウス平方数の和に表せると言えます。
a+biの同伴数は-a-bi, b-ai, -b+aiがあり、a-biの同伴数は-a+bi, -b-ai, b+aiがあります。
なので、虚数単位iの係数が奇数となる同伴数はガウス平方数の和には表せません。
(3)有理素数pがp ≡ 3 (mod 4)の場合、p自身がガウス素数である。
pは奇数なので、ある有理整数wが存在してp = 2w+1 = (w+1)^2+(wi)^2と2個のガウス平方数の和に表せます。
pの同伴数は-p, pi, -piがありますが、虚数単位iの係数が奇数となる同伴数はガウス平方数の和には表せません。
以上から、1+i以外のガウス素数はその同伴数の中に2個のガウス平方数の和に表せるものが存在するので、
Im(x)が偶数であるガウス整数xがガウス素数1+i(同伴数を含む)を偶数乗に因数に持てば、
xの同伴数の中に2個以下のガウス平方数の和に表せるものが存在すると言えると思います。
そして、ガウス素数1+i(同伴数を含む)を奇数乗に因数に持てば、
xは3個以下のガウス平方数の和に表せると言えると思います。
# 私が間違い・勘違いしている可能性もありますので、上記推論は鵜呑みにせず
# 質問者さんの方で良く精査願います。
引用返信
/
返信
[メール受信/OFF]
削除キー/
編集
削除
■52400
/ inTopicNo.3)
Re[1]: ガウス整数の平方和
▲
▼
■
□投稿者/ きんぴら5号
一般人(6回)-(2023/12/04(Mon) 09:20:23)
WIZ様返信ありがとうございます。お礼が遅れて申し訳ありません。
3個以下の和となるのですね。驚きです。
解説して頂いた2個の平方数の和が乗法に閉じているという定理は
フェルマーの二平方定理でも使用されている関係式ですね。
ガウス整数も含めて平方数であれば利用できるということに気が付けませんでした。
次なる興味はどうしても3個必要となるIm(y)が偶数であるガウス整数yは存在するのか?
存在するなら有限個か無限個か? どのような条件のガウス整数か?
などですね。
ガウス整数も素因数分解できますから
ガウス整数の素数のガウス整数の平方数の和に表され方を分析することになると思います。
とは言っても、2=(-i)(1+i)^2ですがIm(-i)もIm(1+i)も奇数ですから
単数-iや素数1+1でもガウス整数の平方数の和に表されないものが存在し分析は困難かもしれません。
ガウス整数xとyがIm(x)もIm(y)も奇数であってもIm(xy)は偶数となることがあるので
ある種のイデアル論のようなものになるのかもしれません。想像ですが。
よろしくお願いいたします。
引用返信
/
返信
[メール受信/OFF]
削除キー/
編集
削除
■52399
/ inTopicNo.4)
Re[1]: ガウス整数の平方和
▲
▼
■
□投稿者/ WIZ
一般人(8回)-(2023/12/02(Sat) 23:59:39)
a, bを有理整数とすれば、
(a+2bi)-(1+bi)^2 = a-1+b^2
また、a-1+b^2は有理整数なので、奇数なら質問者さんの示した方法の通り、
a-1+b^2 = (2個以下のガウス整数の平方の和)
と表せる。
次に、(x^2+y^2)(p^2+q^2) = (xp+yq)^2+(xq-yp)^2という関係式を用いると、
# 2個以下の平方数の和となる数同志の積も2個以下の平方数の和となるということ。
2 = 1^2+1^2であることから、2の自然数乗は2個以下の自然数の平方の和と言える。
a-1+b^2が偶数なら、
a-1+b^2 = (2の自然数乗)*(奇数)
= (2個以下の自然数の平方の和)*(2個以下のガウス整数の平方の和)
= (2個以下のガウス整数の平方の和)
と表せる。
よって、
a+2bi = (1+bi)^2+(2個以下のガウス整数の平方の和)
と3個以下の和となりますね。
引用返信
/
返信
[メール受信/OFF]
削除キー/
編集
削除
■52398
/ inTopicNo.5)
Re[1]: ガウス整数の平方和
▲
▼
■
□投稿者/ きんぴら5号
一般人(5回)-(2023/12/02(Sat) 16:25:27)
自己レスです。
恒等式(n+1)^2-n^2=2n+1を使うと、実整数aに対して実整数nが存在して
aが奇数ならばa=(n+1)^2+(ni)^2と表せますし、
aが偶数ならばa=(n+1)^2+(ni)^2+1^2と表せます。
つまり、実整数aは3個以下のガウス整数の平方数の和に表せることになります。
また、(1+i)^2=2iなので、実整数bに対してガウス整数p,q,rが存在して
b*2i=(p^2+q^2+r^2)(1+i)^2と2biも3個以下のガウス整数の平方数の和に表せることが分かります。
纏めれば、a+2biというガウス整数は6個以下ガウス整数の平方数の和に表せると言えると思います。
勿論、高々6個ということが示せただけで上手く選べばもっと少ない個数にできるのかもしれません。
もっと少ない個数で足りるという証明がありましたら教えてください。
よろしくお願いいたします。
引用返信
/
返信
[メール受信/OFF]
削除キー/
編集
削除
■52397
/ inTopicNo.6)
Re[2]: ガウス整数の平方和
▲
▼
■
□投稿者/ X
一般人(3回)-(2023/12/01(Fri) 22:26:43)
ごめんなさい。
ラグランジュの四平方定理の説明で
>>任意の自然数は
の箇所を
任意の自然数の2乗は
と読み違え、頓珍漢な質問をしていました。
引用返信
/
返信
[メール受信/OFF]
削除キー/
編集
削除
■52395
/ inTopicNo.7)
Re[1]: ガウス整数の平方和
▲
▼
■
□投稿者/ きんぴら5号
一般人(4回)-(2023/12/01(Fri) 22:01:11)
X様返信ありがとうございます。
言葉足らずでしたので補足します。
nは自然数、yとx[1]〜x[n]はガウス整数としてy=Σ[k=1〜n]x[k]^2と表せるかどうかの判断で
Im(x[k]^2)は偶数だから、Im(Σ[k=1〜n]x[k]^2)も偶数で、
Im(y)が奇数ならy=Σ[k=1〜n]x[k]^2と表せないと書きたかったのです。
よろしくお願いいたします。
引用返信
/
返信
[メール受信/OFF]
削除キー/
編集
削除
■52394
/ inTopicNo.8)
Re[1]: ガウス整数の平方和
▲
▼
■
□投稿者/ X
一般人(1回)-(2023/12/01(Fri) 17:23:31)
証明、反例は脇において、一点だけ疑問を。
>>しかし、実整数a,bに対し〜
>>平方数の和には表せないということになります。
とありますが、和を取るのはyではなくてy^2です。
ここでxと同様に、
Im(y^2)はやはりIm(y)の偶奇に依らず偶数
になりますので、Im(y)が奇数になることは
考えなくてよいのでは?
引用返信
/
返信
[メール受信/OFF]
削除キー/
編集
削除
■52393
/ inTopicNo.9)
ガウス整数の平方和
▲
▼
■
□投稿者/ きんぴら5号
一般人(3回)-(2023/12/01(Fri) 15:46:40)
自作問題です。
ラグランジュの四平方定理というのがあり
任意の自然数は4個以下の自然数の平方数の和で表せます。
これをガウス整数に拡張できないかを考えました。
しかし、実整数a,bに対してx=a+biとするとx^2=(a^2-b^2)+(2ab)iとなって
ガウス整数xのIm(x^2)は常に偶数になってしまいます。
つまり、ガウス整数yのIm(y)が奇数ならば
ガウス整数の平方数の和には表せないということになります。
ガウス整数yのIm(y)が偶数ならば
ガウス整数の平方数の有限個の和には表せると言えるでしょうか?
証明または反例の分かる方がいましたら教えてください。
よろしくお願いいたします。
引用返信
/
返信
[メール受信/OFF]
削除キー/
編集
削除
このトピックをツリーで一括表示
トピック内ページ移動 / <<
0
>>
Mode/
通常管理
表示許可
Pass/
HOME
HELP
新規作成
新着記事
ツリー表示
スレッド表示
トピック表示
発言ランク
ファイル一覧
検索
過去ログ
-
Child Tree
-
Edit By
数学ナビゲーター