数学ナビゲーター掲示板
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文字以内)
■No50569に返信(ポートニックさんの記事) > 先に結論を書いておきます > そのあとに幅ひろく通用する導出過程を記しておきます > 長くなるのでここのページでは結果だけとします > > α=√21, ε=(5+α)/2, s=19+9α, t=2+8α, > Kを有理数体にαを添加して得られる体とし, > 有理整数環ZのKにおける整閉包をAとする. > > KはQ上のベクトル空間として基底{1,α}を持つので > 各w∈Kに対して,w=p+qαを満たすp,q∈Qが一意的に取れるが > f(w)=p, g(w)=q によりKからQへの関数f,gを定める. > > x,yが問題の方程式を満たす整数であるとき, > 以下の(1)-(4)のいずれかが成立し,また逆も成立する: > > (1) > ある整数nが存在して > u=f(sε^n), v=g(sε^n) とおくと > x = (23+u)/21 > y = (-x-v-9)/4 > このとき,n≡0(mod 6) > > (2) > ある整数nが存在して > u=f(tε^n), v=g(tε^n) とおくと > x = (23-u)/21 > y = (-x-v-9)/4 > このとき,n≡4(mod 6) > > (3) > ある整数nが存在して > u=f(sε^n), v=g(sε^n) とおくと > x = (23+u)/21 > y = (-x+v-9)/4 > このとき,n≡2(mod 6) > > (4) > ある整数nが存在して > u=f(tε^n), v=g(tε^n) とおくと > x = (23-u)/21 > y = (-x+v-9)/4 > このとき,n≡2(mod 6) > > (3),(4)はn≡2(mod 6)の部分は同じだが > u,vの取り方とx,yの対応の仕方が異なる > > > 念の為,小さい解をいくつか求めてみる > > (1)のパターンから導かれる解: > n= 0 とすれば > (u,v)=(19,9) より (x,y)=(2,-5) > n= -6 とすれば > (u,v)=(-134549,29361) より (x,y)=(-6406,-5741) > n= 6 とすれば > (u,v)=(364411,79521) より (x,y)=(17354,-24221) > > (2)のパターンから導かれる解: > n=4 とすれば > (u,v)=(10187,2223) より (x,y)=(-484,-437) > n= -2 とすれば > (u,v)=(-397,87) より (x,y)=(20,-29) > > (3)のパターンから導かれる解: > n=2 とすれば > (u,v)=(691,151) より (x,y)=(34,27) > > (4)のパターンから導かれる解: > n=2 とすれば > (u,v)=(443,97) より (x,y)=(-20,27) > > 勿論きりがないので具体的を挙げるのはこれで終わりとします > 解の表現としては整数係数の漸化式で与える方法もありますが > すでに構成した表現から漸化式を得るの難しくないでしょう >
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/
解決したらチェックしてください!
プレビュー/
[ トピック内全8記事(1-8 表示) ] <<
0
>>
■50577
/ inTopicNo.1)
Re[7]: 整数解
▼
■
□投稿者/ q
一般人(1回)-(2020/12/15(Tue) 15:34:32)
■
No50572
に返信(ポートニックさんの記事)
> ■
No50571
に返信(2666さんの記事)
>> 高校数学レベルでの解き方はできないのですか?
>>
>
> 原理的には可能でしょう
> ただしデタラメに2元2次の不定方程式を与えた時,
> どういうアプローチがあるかというのを
> 行きあたりばったりではなく 系統的に説明する場合は
> 高校数学の範疇でとどまるのは些か不便だとおもわれます
>
C;5 x^2-2 x y-16 x-4 y^2-18 y+2=0
は双曲線であり
漸近線が
-(((105 x+(21 Sqrt[21]-21) y+53 Sqrt[21]-168) (-105 x+(21+21 Sqrt[21]) y+53 Sqrt[21]+168))/2205)=0
y=1/84 (-Sqrt[21] Sqrt[441 x^2-966 x+529]-21 x-189),
y=1/84 (Sqrt[21] Sqrt[441 x^2-966 x+529]-21 x-189)
である ことから
C∩Z^2 を 求める方法を 是非教えてください;
引用返信
/
返信
[メール受信/OFF]
削除キー/
編集
削除
■50572
/ inTopicNo.2)
Re[6]: 整数解
▲
▼
■
□投稿者/ ポートニック
一般人(4回)-(2020/12/14(Mon) 03:13:51)
■
No50571
に返信(2666さんの記事)
> 高校数学レベルでの解き方はできないのですか?
>
原理的には可能でしょう
ただしデタラメに2元2次の不定方程式を与えた時,
どういうアプローチがあるかというのを
行きあたりばったりではなく 系統的に説明する場合は
高校数学の範疇でとどまるのは些か不便だとおもわれます
今回は結果をみてもわかるとおり少し複雑なので
たとえば幾分シンプルなケース: x^2 -2y^2 = 1
これぐらいなら高校数学の問題と出題しても大丈夫だとおもわれます
(ただこれはこれで有名すぎるかもしれないが...)
私は本題の出題者ではないし 本題が高校数学の問題として適切かどうかは保留とします
引用返信
/
返信
[メール受信/OFF]
削除キー/
編集
削除
■50571
/ inTopicNo.3)
Re[5]: 整数解
▲
▼
■
□投稿者/ 2666
一般人(3回)-(2020/12/12(Sat) 14:51:35)
高校数学レベルでの解き方はできないのですか?
引用返信
/
返信
[メール受信/OFF]
削除キー/
編集
削除
■50570
/ inTopicNo.4)
Re[4]: 整数解
▲
▼
■
□投稿者/ ポートニック
一般人(3回)-(2020/12/12(Sat) 06:11:20)
以下は導出過程です
記号はさっきの記事を継承します
まず必要条件から絞ることを考える
5x^2-2xy-16x-4y^2-18y+2=0
がある整数x,yに対して成立していたとする
-4y = x+9 ± √(21x^2-46x+89) ...(△)
となるように符号を選ぶことができる
21x^2-46x+89 = w^2 を満たす整数wが取れる
よって, (21x-23)^2 - 21w^2 = -1340 を得る
z = 21x-23 とおけば z^2 - 21w^2 = -1340 ...(☆)
ここで I=(z-wα)A とおく
(つまり,Iはz-wαで単生成するAのイデアル)
以下, N(.)はAのイデアルのノルム関数とする.
☆より N(I) = |1340| = 2^2*5*17 である
Kの判別式は 21 であるので
(21/5) = (21/67) = 1 より
5A,67A は以下のように異なる素イデアルの積に分解する:
5A = (5,α+1)(5,α-1)
67A = (67,α+17)(67,α-17)
また,2Aは既に素イデアルである
したがって N(I)= 2^2*5*17 とあわせて
Iは以下の4つのいずれかに一致している:
2A(5,α+1)(67,α+17)
2A(5,α+1)(67,α-17)
2A(5,α-1)(67,α+17)
2A(5,α-1)(67,α-17)
それぞれのイデアルの積を計算すると
(19 + 9α)A,(2 - 8α)A,(19 - 9α)A,(2 + 8α)A となる
(共役を考えれば4つのうち前半の2つだけで残りがわかる)
さて,Aの基本単数を計算することになるが
そのためには |p^2-21q^2|=4 を満たす最小の正整数解を求めればよい.
(p,q)=(5,1)が要件を満たすので冒頭で定めたεは実は基本単数である.
(一般には正則連分数展開から2次体の基本単数は高速に求まる)
I = (19 + 9α)A のときを考える
このとき, (z-wα)A = (19 + 9α)A であるので
z-wα = ±(19 + 9α)ε^n を満たす整数nが取れる
εの共役は 1/ε であるのだから
I = (19 - 9α)A のケースを考える必要はない
I = (2 + 8α)A のときを考える
このとき, (z-wα)A = (2 + 8α)A であるので
z-wα = ±(2 + 8α)ε^n を満たす整数nが取れる
εの共役は 1/ε であるのだから
I = (2 - 8α)A のケースを考える必要はない
まとめると ある整数nが存在して
z-wα = ±sε^n または z-wα = ±tε^n
が成立するように符号を選ぶことができる
z = 21x-23 だから z≡ -2 (mod αA) となる
よって, ε,s,t をmod αA で考えることで
nが偶数であることがいえる
より正確には,
z-wα = sε^n または z-wα = -tε^n
がある偶数nに対して成立するとなる,
あとは△の右辺が4の倍数である条件を考えるだけでよい.
そのためには ε^6≡1 (mod 4A) などに注意して
nをmod 6 で類別し s,t,ε^2,ε^4 などをmod 4Aで計算する.
ここからはひたすらルーチンなので ここで終わりとする
(絞れて得られた解が実際に解になることは難しくない)
以上の解法を4ステップでいうなら
まず判別式、次にイデアルの計算、そして基本単数、最後にmodulo計算
(実は今回のパターンではAは単項イデアル整域である
そのことはたとえばMinkowski's boundを用いれば易い
しかしながらAがPIDでなくても上記解法に不都合は生じない)
導出過程の概略ここまで
引用返信
/
返信
[メール受信/OFF]
削除キー/
編集
削除
■50569
/ inTopicNo.5)
Re[3]: 整数解
▲
▼
■
□投稿者/ ポートニック
一般人(2回)-(2020/12/12(Sat) 06:07:48)
先に結論を書いておきます
そのあとに幅ひろく通用する導出過程を記しておきます
長くなるのでここのページでは結果だけとします
α=√21, ε=(5+α)/2, s=19+9α, t=2+8α,
Kを有理数体にαを添加して得られる体とし,
有理整数環ZのKにおける整閉包をAとする.
KはQ上のベクトル空間として基底{1,α}を持つので
各w∈Kに対して,w=p+qαを満たすp,q∈Qが一意的に取れるが
f(w)=p, g(w)=q によりKからQへの関数f,gを定める.
x,yが問題の方程式を満たす整数であるとき,
以下の(1)-(4)のいずれかが成立し,また逆も成立する:
(1)
ある整数nが存在して
u=f(sε^n), v=g(sε^n) とおくと
x = (23+u)/21
y = (-x-v-9)/4
このとき,n≡0(mod 6)
(2)
ある整数nが存在して
u=f(tε^n), v=g(tε^n) とおくと
x = (23-u)/21
y = (-x-v-9)/4
このとき,n≡4(mod 6)
(3)
ある整数nが存在して
u=f(sε^n), v=g(sε^n) とおくと
x = (23+u)/21
y = (-x+v-9)/4
このとき,n≡2(mod 6)
(4)
ある整数nが存在して
u=f(tε^n), v=g(tε^n) とおくと
x = (23-u)/21
y = (-x+v-9)/4
このとき,n≡2(mod 6)
(3),(4)はn≡2(mod 6)の部分は同じだが
u,vの取り方とx,yの対応の仕方が異なる
念の為,小さい解をいくつか求めてみる
(1)のパターンから導かれる解:
n= 0 とすれば
(u,v)=(19,9) より (x,y)=(2,-5)
n= -6 とすれば
(u,v)=(-134549,29361) より (x,y)=(-6406,-5741)
n= 6 とすれば
(u,v)=(364411,79521) より (x,y)=(17354,-24221)
(2)のパターンから導かれる解:
n=4 とすれば
(u,v)=(10187,2223) より (x,y)=(-484,-437)
n= -2 とすれば
(u,v)=(-397,87) より (x,y)=(20,-29)
(3)のパターンから導かれる解:
n=2 とすれば
(u,v)=(691,151) より (x,y)=(34,27)
(4)のパターンから導かれる解:
n=2 とすれば
(u,v)=(443,97) より (x,y)=(-20,27)
勿論きりがないので具体的を挙げるのはこれで終わりとします
解の表現としては整数係数の漸化式で与える方法もありますが
すでに構成した表現から漸化式を得るの難しくないでしょう
引用返信
/
返信
[メール受信/OFF]
削除キー/
編集
削除
■50380
/ inTopicNo.6)
Re[2]: 整数解
▲
▼
■
□投稿者/ q'
一般人(1回)-(2020/06/19(Fri) 22:42:42)
×4つ
(x,y)=(2,-5),(20,-29),(-20,27),(34,27),(-278,387),(436,387),(-484,-437),
(-6406,-5741),(17354,-24221),(229196,-319877),(-255644,356787),(398362,356787),
(-3376526,4712427),(5261500,4712427),(-5868700,-5256269),(-77513038,-69424085),
(209935442,-292995125),...
引用返信
/
返信
[メール受信/OFF]
削除キー/
編集
削除
■49021
/ inTopicNo.7)
Re[1]: 整数解
▲
▼
■
□投稿者/ mo
一般人(2回)-(2019/02/15(Fri) 23:46:46)
(2,5),(-20,27),(20,29),(34,27)の4つ
引用返信
/
返信
[メール受信/OFF]
削除キー/
編集
削除
■49020
/ inTopicNo.8)
整数解
▲
▼
■
□投稿者/ q
一般人(1回)-(2019/02/13(Wed) 21:52:58)
5 x^2-2 x y-16 x-4 y^2-18 y+2=0 の 整数解を全て 是非求めて下さい;
引用返信
/
返信
[メール受信/OFF]
削除キー/
編集
削除
このトピックをツリーで一括表示
トピック内ページ移動 / <<
0
>>
Mode/
通常管理
表示許可
Pass/
HOME
HELP
新規作成
新着記事
ツリー表示
スレッド表示
トピック表示
発言ランク
ファイル一覧
検索
過去ログ
-
Child Tree
-
Edit By
数学ナビゲーター