数学ナビゲーター掲示板
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文字以内)
■No50576に返信(ポートニックさんの記事) > 最後の問題の[4] > 導出法については以前にわたしがここで書いたものが > 汎用性の高い手法なので参考になるとおもいます > www.crossroad.jp/cgi-bin/bbs/mathbbs/cbbs.cgi?mode=res&namber=49020 > たぶん出題者は同一人物なので 把握されていることを信じます > > 2元2次の不定方程式は以前にやったように一般的な解法が存在する > 今回も当然のごとく同様の方法で解くことができるのだから結果のみを記す > せっかくなので漸化式を用いて解を記述することにする > > 3x^2+12xy+4x+8y^2+6y+1 = 0 の整数解について: > a[n+1] = -71*a[n] -224*b[n] - 68 > b[n+1] = 84*a[n] +265*b[n] + 80 > a[0] = -1, b[0] = 0 > により整数列(a_n),(b_n)を定める > ただし,負の番号も許すとする. > 初期値から負の番号の項も計算できることに注意する. > このとき,任意の整数nに対して,(x,y)=(a[n],b[n])は解となり, > 逆にx,yが不定方程式の解ならば,対応する整数nが必ず取れる. > > いくつか求めてみる > a[1] = 3, b[1] = -4 > a[2] = 615, b[2] = -728 > a[-1] = -165, b[-1] = 52 > a[-2] = -31977, b[-2] = 10136 > > > 16x^2+60xy+20x+27y^2+24y+4 = 0 の整数解について: > a[n+1] = 251*a[n] + 810*b[n] + 235 > b[n+1] = -480*a[n] - 1549*b[n] - 450 > a[0] = -1, b[0] = 0 > により整数列(a_n),(b_n)を定める > ただし,負の番号も許すとする. > このとき,任意の整数nに対して,(x,y)=(a[n],b[n])は解となり, > 逆にx,yが不定方程式の解ならば,対応する整数nが必ず取れる. > > いくつか求めてみる > a[1] = -16, b[1] = 30 > a[2] = 20519, b[2] = -39240 > a[-1] = 1064, b[-1] = -330 > a[-2] = -1381321, b[-2] = 428040 > > 以上
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/
解決したらチェックしてください!
プレビュー/
[ トピック内全5記事(1-5 表示) ] <<
0
>>
■50576
/ inTopicNo.1)
Re[1]: 全ての 整数解 等
▼
■
□投稿者/ ポートニック
一般人(8回)-(2020/12/14(Mon) 03:36:43)
最後の問題の[4]
導出法については以前にわたしがここで書いたものが
汎用性の高い手法なので参考になるとおもいます
www.crossroad.jp/cgi-bin/bbs/mathbbs/cbbs.cgi?mode=res&namber=49020
たぶん出題者は同一人物なので 把握されていることを信じます
2元2次の不定方程式は以前にやったように一般的な解法が存在する
今回も当然のごとく同様の方法で解くことができるのだから結果のみを記す
せっかくなので漸化式を用いて解を記述することにする
3x^2+12xy+4x+8y^2+6y+1 = 0 の整数解について:
a[n+1] = -71*a[n] -224*b[n] - 68
b[n+1] = 84*a[n] +265*b[n] + 80
a[0] = -1, b[0] = 0
により整数列(a_n),(b_n)を定める
ただし,負の番号も許すとする.
初期値から負の番号の項も計算できることに注意する.
このとき,任意の整数nに対して,(x,y)=(a[n],b[n])は解となり,
逆にx,yが不定方程式の解ならば,対応する整数nが必ず取れる.
いくつか求めてみる
a[1] = 3, b[1] = -4
a[2] = 615, b[2] = -728
a[-1] = -165, b[-1] = 52
a[-2] = -31977, b[-2] = 10136
16x^2+60xy+20x+27y^2+24y+4 = 0 の整数解について:
a[n+1] = 251*a[n] + 810*b[n] + 235
b[n+1] = -480*a[n] - 1549*b[n] - 450
a[0] = -1, b[0] = 0
により整数列(a_n),(b_n)を定める
ただし,負の番号も許すとする.
このとき,任意の整数nに対して,(x,y)=(a[n],b[n])は解となり,
逆にx,yが不定方程式の解ならば,対応する整数nが必ず取れる.
いくつか求めてみる
a[1] = -16, b[1] = 30
a[2] = 20519, b[2] = -39240
a[-1] = 1064, b[-1] = -330
a[-2] = -1381321, b[-2] = 428040
以上
引用返信
/
返信
[メール受信/OFF]
削除キー/
編集
削除
■50575
/ inTopicNo.2)
Re[1]: 全ての 整数解 等
▲
▼
■
□投稿者/ ポートニック
一般人(7回)-(2020/12/14(Mon) 03:29:08)
[3] の後半となります.つまり漸近線を求めること.
平面アフィン代数曲線における漸近線とは
対応する射影曲線上の無限遠点における接線である
そこで 3x^2+12xy+4x+8y^2+6y+1 を斉次化し
g(x,y,z)=3x^2+12xy+4xz+8y^2+6yz+z^2 を得る
C上の射影曲線D:g(x,y,z) = 0 を定める.
ここで直線z=0は無限遠直線を表している
[a:b:c]をDとz=0との交点とすれば,
3a^2+12ab+8b^2 = 0 であるので
D上の無限遠点はちょうど2つ存在し,
それは [α:1:0] と [β:1:0] である
ここでα,βは 3t^2+12t+8=0 の異なる2根である
よって,求める漸近線はちょうど2本存在し,
(∂g(u)/∂x)x + (∂g(u)/∂y)y + (∂g(u)/∂y)z = 0 で定まるものに対応する
ここで uはD上の無限遠点とする
具体的に求めてみる:
∂g/∂x = 6x + 12y + 4z
∂g/∂y = 12x + 16y + 6z
∂g/∂z = 4x + 6y + 2z
γはαまたはβのいずれかとする.
∂g(u)/∂x = 6γ + 12
∂g(u)/∂x = 12γ + 16
∂g(u)/∂z = 4γ + 6
よって, (6γ + 12)x + (12γ + 16)y + (4γ + 6)z = 0
これを非斉次化すれば
(6γ + 12)x + (12γ + 16)y + (4γ + 6) = 0
簡約すれば
(9γ+42)x + (-6γ+24)y + 13 = 0
あるいは
y = (-3γ/8 - 3/2)x - γ/16 - 1/2
以下の2本が求める漸近線となる:
y = (-3-√3)x/4 -√3/24 - 3/8
y = (-3+√3)x/4 +√3/24 - 3/8
平面曲線:16x^2+60xy+20x+27y^2+24y+4 = 0
についても全く同様の手法で以下の2本を得る:
y = (-10-2√ 13)x/9 - 5√13/117 - 4/9
y = (-10+2√ 13)x/9 + 5√13/117 - 4/9
引用返信
/
返信
[メール受信/OFF]
削除キー/
編集
削除
■50574
/ inTopicNo.3)
Re[1]: 全ての 整数解 等
▲
▼
■
□投稿者/ ポートニック
一般人(6回)-(2020/12/14(Mon) 03:26:53)
[3] は2つにページをわけます
このページでは2次曲線の分類を行います
結論からいうと共に双曲線である
2次曲線の分類は与えられた係数のみで行うことができる
一般の ax^2+2bxy+cy^2+2dx+2ey+f = 0 で与えられる2次曲線の分類は以下の通り:
-------------
以下のように対称行列A,Bと定数kを定める.
A=[[a,b],[b,c]],B=[[a,b,d],[b,c,e],[d,e,f]]
k = det[[a,b],[b,c]]+det[[a,d],[d,f]]+det[[c,e],[e,f]]
(1) det(A)>0 のとき
det(B)*tr(A)<0 ならば 楕円
det(B)*tr(A)=0 ならば 1点集合
det(B)*tr(A)>0 ならば 空集合
(2) det(A)<0 のとき
det(B)≠0 ならば 双曲線
det(B)=0 ならば 交わる2直線
(3) det(A)=0 のとき
det(B)≠0 ならば 放物線
det(B)=0 のときは kの値によって以下の3通りがある:
・k<0 ならば 平行な2直線
・k = 0 ならば 1つの直線
・k>0 ならば 空集合
-------------
3x^2+12xy+4x+8y^2+6y+1 について
ax^2+2bxy+cy^2+2dx+2ey+f の形にすると
a=3,b=6,c=8,d=2,e=3,f=1 である
今回のケースでは det(A)= -12 <0 であるから
3x^2+12xy+4x+8y^2+6y+1=0 が表す2次曲線は
双曲線または交わる2直線に分類される
その2つをさらに区別するには
det(B)が0であるかどうかをチェックすればよい
今回のケースでは det(B)= 1≠0 であるから
交わる2直線にはならず,「双曲線に分類される」
もう片方の2次曲線についても同様である
引用返信
/
返信
[メール受信/OFF]
削除キー/
編集
削除
■50573
/ inTopicNo.4)
Re[1]: 全ての 整数解 等
▲
▼
■
□投稿者/ ポートニック
一般人(5回)-(2020/12/14(Mon) 03:20:03)
[1]は考えている代数構造が問題文からではハッキリしないので
(以降の問題文からZ[x,y]上で分解する問題だと推測できるけれど)
[1]については2変数の複素係数多項式環C[x,y]上で考えることにします
これだとそこそこ一般的なので悪くはないとおもいます
(ただCまで拡張しても答えは同じになります)
問題の多項式を f(x,y)∈C[x,y]とおく.
f(x,y)が2次の因子を持つならば,
ある次数2のg(x,y)∈C[x,y]が存在して
f(x,y)≡0 (mod g(x,y)) が成立する.
つまり剰余環R=C[x,y]/(g)にて fの像は消える
計算のために g(x,y)=x^2-axy-by^2-cx-dy-e とおく
RはC上の無限次元ベクトル空間で
基底として(x^i*y^j) (i∈{0,1},0≦j) が取れる
このことから問題は連立方程式の問題に帰着される
計算により,a,b,c,d,eの組は2通りに決まり
いずれの場合も k=916 を得る
(ちなみに可約まで拡張しても k=916 しかありません)
k=916 のとき
f(x,y) = (3x^2+12xy+4x+8y^2+6y+1)(16x^2+60xy+20x+27y^2+24y+4)
(2)は最後の問題の一部なので 飛ばして次は[3]にうつります
最後の問題はなぜか同じ番号がふられていますが勝手に[4]とします
引用返信
/
返信
[メール受信/OFF]
削除キー/
編集
削除
■50369
/ inTopicNo.5)
全ての 整数解 等
▲
▼
■
□投稿者/ nomi
一般人(2回)-(2020/06/16(Tue) 05:32:58)
[1] K x y^2+48 x^4+372 x^3 y+124 x^3+929 x^2 y^2+648 x^2 y+108 x^2
+804 x y^3+324 x y+36 x+216 y^4+354 y^3+203 y^2+48 y+4
を @@多様な発想で@@ Kを定め 二次式の積[因数分解]表現願います;
[2] 為された 二次式の積=0 を満たす 整数解を 2つ明記願います;
[3] 二次式の積=0 なる 各 2次曲線 の 名は?
双曲線が出現したなら 漸近線を 導出法を 明記し 求めて下さい;
[3] さらに 全ての 整数解を 導出過程を 明記し 是非 求めて下さい;
引用返信
/
返信
[メール受信/OFF]
削除キー/
編集
削除
このトピックをツリーで一括表示
トピック内ページ移動 / <<
0
>>
Mode/
通常管理
表示許可
Pass/
HOME
HELP
新規作成
新着記事
ツリー表示
スレッド表示
トピック表示
発言ランク
ファイル一覧
検索
過去ログ
-
Child Tree
-
Edit By
数学ナビゲーター