- 1 名前：１３２人目の素数さん mailto:sage [2010/09/09(木) 23:01:34 .net]
- 板が飛んだから
代数学と幾何学と解析学の話題をここでしよう
- 231 名前：１３２人目の素数さん mailto:sage [2010/10/28(木) 23:29:30 .net]
- x1∂1+x2∂2が作用素なんだろ
意味不、
(x1∂1+x2∂2)f(x)= (^_^;)
- 232 名前：１３２人目の素数さん mailto:sage [2010/10/28(木) 23:37:48 .net]
- ∂1は∂2は偏微分だよなぁ
- 233 名前：１３２人目の素数さん mailto:sage [2010/10/28(木) 23:45:35 .net]
- おまえにはむりや、あきらめぇ
- 234 名前：：１３２人目の素数さん [2010/10/29(金) 00:05:21 .net]
- 環Rの部分集合Sに対して
①RSはRの左イデアルであることを証明しろ
②S⊆J⊆R：左イデアル→RS⊆Jであることを証明しろ
の二問がわかりません
すいませんが誰か教えてください。
- 235 名前：１３２人目の素数さん [2010/10/29(金) 00:20:22 .net]
- >>228
d/dρを変化させて考えれば？
連鎖律-(dx/dy)*(dy/dt)=dx/xtというように約分できるルール
偏微分ではそれぞれの別の変数についての和になるから
∂/∂ρ=(∂x1/∂ρ)(∂/∂x1)+(∂x2/∂ρ)(∂/∂x2)
x1,x2をρで微分してそれぞれcosψ,sinψ
∂/∂x1,∂/∂x2は微分演算子でそれぞれ∂1,∂2と定義されているから
ρ(∂/∂ρ)=ρ[(∂x1/∂ρ)(∂/∂x1)+(∂x2/∂ρ)(∂/∂x2)]
=ρ(cosψ∂1+sinψ∂2)=ρcosψ∂1+ρsinψ∂2=x1∂1+x2∂2
同様に
∂/∂ψ=(∂x1/∂ψ)(∂/∂x1)+(∂x2/∂ψ)(∂/∂x2)
=-ρsinψ∂1+ρcosψ∂2=-x2∂1+x1∂2
となる
- 236 名前：１３２人目の素数さん mailto:sage [2010/10/29(金) 01:57:20 .net]
- 「せよ」を「しろ」にするの、流行ってるのか？すげーダセーんだけど。
- 237 名前：１３２人目の素数さん mailto:sage [2010/10/29(金) 05:11:54 .net]
- 「しやがれ」
- 238 名前：必殺極悪人 mailto:sage [2010/10/29(金) 05:12:47 .net]
- 必殺極悪人参上
- 239 名前：１３２人目の素数さん mailto:sage [2010/10/29(金) 08:05:28 .net]
- 「せよ」なんてのはもはや古語だからな。
- 240 名前：１３２人目の素数さん mailto:sage [2010/10/29(金) 08:14:33 .net]
- 数年前の主流は「しやがれですぅ」だったんだが今は何が流行ってるんだろう
- 241 名前：１３２人目の素数さん [2010/10/29(金) 10:43:59 .net]
- >>231
天才乙
- 242 名前：１３２人目の素数さん [2010/10/29(金) 11:48:04 .net]
- このスレの奴頭良すぎ
- 243 名前：猫は無駄 ◆MuKUnGPXAY mailto:age [2010/10/29(金) 11:53:21 .net]
- この程度の最低限のレベルについて行けない人はお帰り下さいまし。
猫
- 244 名前：１３２人目の素数さん mailto:sage [2010/10/29(金) 16:58:25 .net]
- それじゃあ貴方の言う閉鎖社会だな｡
迷惑感情を持たれない程度に食い下がって必死に付いて行き､
やがては対等に論議できる様に努力するべきだな｡
猫は閉鎖的売国奴、つまり、猫は最悪｡
- 245 名前：猫は無駄 ◆MuKUnGPXAY mailto:age [2010/10/29(金) 20:24:57 .net]
- >>240
そういう誤解をされても困りますね。『レベルが低い人はレベルを上げてから
参加しなさい』という意味ですけどね、でも『誤解をスルのも貴方の勝手』で
すからね。だからお好きにどうぞ、私は貴方みたいな人は徹底的に攻撃スルだ
けですから。そもそも貴方みたいに議論が全く成立しない連中ばかりだから私
は何も気にはしてません。
まあでも私を『閉鎖的な売国奴』という記述があった事は鮮明に記憶に留めて
おきます。貴方とは今後何年にも亘って戦いが続くんでしょうね。
猫
- 246 名前：１３２人目の素数さん mailto:sage [2010/10/29(金) 20:28:52 .net]
- >>241
氏んで下さい
- 247 名前：猫は無駄 ◆MuKUnGPXAY mailto:age [2010/10/29(金) 20:58:30 .net]
- >>242
そもそもはアンタ達が騒ぐから「こういう展開」になったんですね。だからもう
後悔しても遅
- 248 名前：いですね。つまり諦めるしか他にアンタ達には選択肢がアリマセン。
猫
[] - [ここ壊れてます]
- 249 名前：１３２人目の素数さん [2010/10/29(金) 22:12:59 .net]
- ∂1は∂2。。。こんな書き方許していいのか？D１、D２にしろよ。
- 250 名前：１３２人目の素数さん mailto:sage [2010/10/29(金) 22:23:09 .net]
- は？
- 251 名前：１３２人目の素数さん mailto:sage [2010/10/30(土) 02:27:11 .net]
- 初等的な範囲で
代数、幾何、解析が交わる面白い分野といったらどこですか？
- 252 名前：猫は痴漢 ◆MuKUnGPXAY mailto:age [2010/10/30(土) 02:38:09 .net]
- 函数論とか表現論とかですかね。まだ他にもアルのかも知れんけど。
猫
- 253 名前：１３２人目の素数さん mailto:sage [2010/10/30(土) 04:08:02 .net]
- 数論
- 254 名前：猫は痴漢 ◆MuKUnGPXAY mailto:age [2010/10/30(土) 08:50:11 .net]
- ああ、なるほど。
猫
- 255 名前：１３２人目の素数さん [2010/10/30(土) 17:37:02 .net]
- z=f(x,y)
でx=rcosθ,y=rsinθのとき
って○+1/r∂z/∂r+○＝～～～って関係があるんだけど
これってrの変わりにθでも
△+1/θ∂z/∂θ+△=～～～って関係にもなるの？
x=rcosθ、y=rsinθの時に限るの？
- 256 名前：１３２人目の素数さん mailto:sage [2010/10/30(土) 17:38:50 .net]
- >>250
教科書読め
- 257 名前：１３２人目の素数さん [2010/10/30(土) 17:44:25 .net]
- >>251
いやいや教科書にのっているとかじゃなくて、何で連鎖律とか∇の事を
極座標で考えるの？一般的にz=f(x,y,z・・・)のとき
x,y,z=g(t1・・・・tl)のとき
△+1/θ∂z/∂θ+△=～～～みたいな関係ってどこにあるんですか？
- 258 名前：１３２人目の素数さん mailto:sage [2010/10/30(土) 19:06:32 .net]
- 質問の意味がわからない。そもそも
＞○+1/r∂z/∂r+○＝～～～
って何？○が二回出てくるのはなぜ？
- 259 名前：１３２人目の素数さん mailto:sage [2010/10/30(土) 19:11:15 .net]
- >>252
普通にただ計算すればいいだけのことをいちいち訊くな
- 260 名前：１３２人目の素数さん mailto:sage [2010/10/30(土) 19:17:42 .net]
- >>236
「するんだよ」
- 261 名前：１３２人目の素数さん [2010/10/31(日) 02:04:12 .net]
- それにしても極座標のラプラシアン導出の面倒さは酷かった
シュレーディンガー方程式なんかに使うからしょうがないけど
- 262 名前：１３２人目の素数さん [2010/10/31(日) 12:45:07 .net]
- ところでオイラーの公式使って複素平面での三角関数の合成って可能？
- 263 名前：１３２人目の素数さん mailto:sage [2010/10/31(日) 16:58:35 .net]
- 三角関数の合成って
hooktail.sub.jp/mathInPhys/trifuncCombine/
のこと？
- 264 名前：１３２人目の素数さん [2010/10/31(日) 18:39:48 .net]
- 何でナブラからのラプラシアン導出を極座標で考えるの？
普通に１回微分と２回微分っていう説明でいいじゃん
- 265 名前：ウザい猫 ◆MuKUnGPXAY mailto:age [2010/10/31(日) 18:43:05 .net]
- 猫
- 266 名前：１３２人目の素数さん mailto:sage [2010/10/31(日) 18:43:30 .net]
- >>259
必要ないなら考えなくてもいいよ。
- 267 名前：１３２人目の素数さん [2010/10/31(日) 18:53:00 .net]
- >>258
そうそう、普通はxy平面で三角関数の加法定理の応用として考えるけど
オイラーの公式exp(iθ)=cosθ+isinθの左辺も複素平面でやれば
√(1+i)sin(θ+π/4)=√2sin(θ+π/4)
ってなってまるっきり同じことができそうだけども
こんなんじゃあ整合性とれないよなぁ
- 268 名前：１３２人目の素数さん [2010/11/02(火) 00:03:34 .net]
- 何で微少変化df、f=(x,y)を考える
と
df=f(∂/∂x)dx+f(∂/∂y)dyなんですか？
例えば円の面積Sで半径r、円周aとします
微少変化dr,daとすると,(r,a)のときπ=a/2rより
dS=((r+dr)^2)・(a+da/2(r+dr))-r^2・a/2rとなりますよね？
この場合
dS=S(∂/∂r)・dr+S(∂/∂a)・daの関係になりますか？
- 269 名前：１３２人目の素数さん mailto:sage [2010/11/02(火) 00:13:32 .net]
- 円周は半径の函数だからならない
- 270 名前：１３２人目の素数さん [2010/11/02(火) 00:28:28 .net]
- >>264
kwsk
- 271 名前：１３２人目の素数さん mailto:sage [2010/11/02(火) 00:30:54 .net]
- f(∂/∂x)って何？
- 272 名前：１３２人目の素数さん mailto:sage [2010/11/02(火) 00:31:46 .net]
- >>265
円の面積は半径のみで決まるからならない。
- 273 名前：１３２人目の素数さん [2010/11/02(火) 00:47:41 .net]
- >>266
すまん
6f/6xって意味です・・・
- 274 名前：１３２人目の素数さん [2010/11/02(火) 00:58:53 .net]
- ３割で7500、7500の10割っていくら？
お願いします…
- 275 名前：猫は妖怪 ◆MuKUnGPXAY mailto:age [2010/11/02(火) 02:05:08 .net]
- コピペでも喰らえや。
猫
-------------------------------------------------------
319 名前：ウザい猫 ◆MuKUnGPXAY ：2010/11/01(月) 23:59:31
ワシはアンタ達を許すという考え方は微塵もアリマセン。なので徹底してココ
に居座らせて戴きますから思いっきり嫌な思いをして下さいませ。ソレが無記
名で名誉棄損や誹謗中傷、はたまた他人のプライバシーを無責任に喰い荒した
報いというモノですワ。
猫
- 276 名前：１３２人目の素数さん mailto:sage [2010/11/02(火) 04:35:34 .net]
- 痴漢事件でプライバシーも何も無くなっちまったから
最後まで2chに付き合ってやるわｳﾞｫｹﾞってことですか
- 277 名前：猫は妖怪 ◆MuKUnGPXAY mailto:age [2010/11/02(火) 10:26:43 .net]
- >>271
アンタは誤解してるワ。そういう事じゃないのや。ワシのプライバシーなんて
まあ自分でワザと小出しにしたっちゅうんもあってや、「釣りの餌」としては
結構巧く機能したのは見てて判ったやろ。そやから馬鹿共が仰山釣れたのや。
そやけどワシみたいに反撃せえへん無抵抗な人達のプライバシーをアンタ等は
思いっきり喰い物にしたやろ。そやからワシがアンタ等に報いてんのや。
まあ「頭が悪い」から理解が出来へんのやろけどナ。
猫
- 278 名前：こうぴぃ mailto:sage [2010/11/02(火) 15:36:34 .net]
- >>272
セックスボランティアを結成し、お金が無くても抜き放題、ヤリ放題の地上のパラダイスを創るのでは無かったのか？
- 279 名前：１３２人目の素数さん mailto:sage [2010/11/02(火) 15:42:44 .net]
- >>272
撒餌を食われて不愉快ということか
- 280 名前：猫が威張る ◆MuKUnGPXAY mailto:age [2010/11/02(火) 18:53:43 .net]
- >>274
そうではなくて「どういう順番でどういう餌を撒くか」を当初から考えながら
書き込みましたね。カミングアウトもかなり上手く行きましたしね。
猫
- 281 名前：１３２人目の素数さん mailto:sage [2010/11/09(火) 23:26:50 .net]
- 〔代数〕
h(x) はm次の多項式とする。非負整数kに対して
f(h(x)) = h(f(x)),
を満たす m^k 次の多項式f(x)が存在することを示せ。
www.casphy.com/bbs/test/read.cgi/highmath/1136720573/73-76
casphy - 高校数学 - P(x)
- 282 名前：１３２人目の素数さん mailto:sage [2010/11/13(土) 07:37:51 .net]
- 中国剰余定理のネーミングがね。
- 283 名前：１３２人目の素数さん [2010/11/16(火) 10:56:45 .net]
- 猫が寝転んだ。
- 284 名前：１３２人目の素数さん [2010/11/20(土) 10:22:43 .net]
- 陰関数定理の問題です。
2変数関数
F(x,y)=e^(y-x)-sin(xy)-1において
G={(x,f(x);|x|<1/2,|y|<1}では
y=f(x)がただ一つ存在するそうなんですが
何ですか？y=f(x)がわかりません。
- 285 名前：１３２人目の素数さん mailto:sage [2010/11/21(日) 14:13:14 .net]
- >>277 でもイデアルはいいよね。ネーミングが。
- 286 名前：１３２人目の素数さん [2010/11/30(火) 19:27:13 .net]
- いま微分積分と線形代数勉強してるんだけど
これってどこが面白いの？
産業で教えて
- 287 名前：１３２人目の素数さん mailto:sage [2010/11/30(火) 19:30:30 .net]
- う
ん
こ
- 288 名前：１３２人目の素数さん [2010/11/30(火) 19:55:19 .net]
- >>281
その二つはただの道具
- 289 名前：１３２人目の素数さん mailto:sage [2010/11/30(火) 23:15:50 .net]
- 断層撮影・フーリエ変換とか
- 290 名前：１３２人目の素数さん [2010/12/01(水) 04:00:19 .net]
- フーリエ解析極めれば株で大金持ちになれるよ
- 291 名前：猫が湧く板 ◆MuKUnGPXAY mailto:age [2010/12/01(水) 06:16:09 .net]
- 絵に描いた餅。
猫
- 292 名前：１３２人目の素数さん [2010/12/01(水) 17:55:38 .net]
- >>283
でも線型代数の研究をしてる人もいるよね。
未解決問題が沢山あるけど。
ただの道具とは言い切れないのでは？
- 293 名前：１３２人目の素数さん mailto:sage [2010/12/01(水) 22:48:17 .net]
- L^p空間の関数がどんな物か今一わからん
たとえばf∈L^p(0,1)なら ∫[0,s] |f| はどれくらいのペースで0に収束すると言えるんだか
- 294 名前：１３２人目の素数さん mailto:sage [2010/12/01(水) 22:54:06 .net]
- >>288の書き込みは無かったことにしといてくれ
- 295 名前：281 [2010/12/02(木) 02:28:29 .net]
- 線形代数と微分積分勉強したら次何いくのがオヌヌメ？
教えてエロイヒチオ！
- 296 名前：１３２人目の素数さん mailto:sage [2010/12/02(木) 03:01:54 .net]
- 複素解析
- 297 名前：１３２人目の素数さん mailto:sage [2010/12/02(木) 17:20:21 .net]
- 数学は、その研究をしている人以外には、ただの道具。
数学の研究をしていても、専門外の数学はただの道具。
- 298 名前：猫が湧く板 ◆MuKUnGPXAY mailto:age [2010/12/03(金) 00:47:13 .net]
- 数学で何かをヤル場合は代数とか幾何とか解析を区別せずに、何が目的で何が
道具かを区別しないほうが格段に面白いと私は思いますね。何かをヤル時に道
具を開発スルのも研究のうち。
猫
- 299 名前：１３２人目の素数さん [2010/12/03(金) 03:50:25 .net]
- >>293
ITA!
- 300 名前：１３２人目の素数さん [2010/12/03(金) 04:15:49 .net]
- ヨッフム
- 301 名前：１３２人目の素数さん [2010/12/08(水) 03:27:21 .net]
- ∫_(0,1) f(t)dt < ∞ をみたす単調非増加関数 f : (0,1] → (0,∞) で
limsup(x→0) ∫_(0,x)f(t)dt / (xf(x)) = ∞ となるような関数はある？
- 302 名前：１３２人目の素数さん mailto:sage [2010/12/08(水) 21:56:36 .net]
- 奈良県 高校偏差値 ランキング 2010
momotaro.boy.jp/html/narahennsati.html
- 303 名前：１３２人目の素数さん [2010/12/09(木) 20:40:39 .net]
- >>296
存在しない
- 304 名前：猫は基地外 ◆ghclfYsc82 mailto:あほ [2010/12/09(木) 21:30:29 .net]
- このところ、不眠や
- 305 名前：猫は痴漢 ◆MuKUnGPXAY mailto:age [2010/12/09(木) 21:41:12 .net]
- 失業したら良く眠れる様にナルかも知れませんナ。
猫
- 306 名前：１３２人目の素数さん [2010/12/10(金) 21:44:07 .net]
- なんだ十分眠れてるんじゃないか
- 307 名前：猫の慈円うぜえ ◆MuKUnGPXAY mailto:age [2010/12/11(土) 03:39:33 .net]
- もはや睡眠薬と精神安定剤と抗不安薬は不要にナリマシタね。お陰様ですワ。
なので今の病気は金欠病。クスリはアラヘンけどナ、既に国がその病気やさかいナ。
猫
- 308 名前：１３２人目の素数さん [2010/12/20(月) 23:01:02 .net]
- 退屈な授業中の暇つぶしに使えそうな数学的落書きありませんか？
ちなみに、数学的落書き紹介動画シリーズ「Doodling in Math Class」をご紹介。
www.frablo.jp/2010/12/07/doodling-in-math-class/
- 309 名前：１３２人目の素数さん [2010/12/21(火) 09:59:12 .net]
- トリップの集合と４桁の数字英文字の集合とは全単射が存在しますか？
- 310 名前：１３２人目の素数さん [2010/12/21(火) 23:08:53 .net]
- 線形代数の分野での質問です
行列のn乗の有効利用としてのペル方程式の整数解を全て求められるはなぜでしょうか？
例えば具体的には x^2-3y^2=1 というペル方程式を満たし
連続する三つの整数解より
(2,-1)→(1,0)→(2,1) ⇒ A(2,-1)=(1,0),A(1,0)=(2,1)
これよりある二次正方行列Aを求め,ある整数解にこの一次変換を作用させると
次の整数解が得られることに着目して,A^nを求め
一般解(x_n,y_n)=A^n(2,±1)(n:自然数)を得る
実際に代入してみると当てずっぽうでは得られないような解も簡単に得られ
この不定方程式を確かに満たすようです。
非常にエレガントに行列が応用されているように感じるのですが
なぜ行列が出てくるのかの原理的な部分や解が網羅される理由等まったくわかりせん
色々やってみて今わかったことは
・行列の表す一次変換に対して満たすべき不定方程式である双曲線は一種の不動曲線
・行列の導出に使う三つの整数解は曲線上で隣接・連続していなければならない
ぐらいです…
詳しいことを知っている方がいらっしゃれば原理等お願いします
- 311 名前：１３２人目の素数さん mailto:sage [2010/12/21(火) 23:15:47 .net]
- >>305
曲線を保つ一次変換を考えてるだけじゃねーの？
- 312 名前：１３２人目の素数さん [2010/12/21(火) 23:32:10 .net]
- >>306
それはなんとなく分かります
ある解に一次変換を作用させて得られたものも解となっているのは
その点を通る曲線を一定に保つような一次変換なので当然なのですが
(x,y)A=(x',y')としたときの(x,y)と(x',y')の間には
整数解は存在しない(実際にやってみるとそうなる)ということが
説明できないように思うのですが…
- 313 名前：１３２人目の素数さん mailto:sage [2010/12/21(火) 23:35:16 .net]
- 別にあってもいいじゃん。
- 314 名前：１３２人目の素数さん [2010/12/21(火) 23:46:57 .net]
- >>308
行列のn乗では表現できない解(解とその変換の解の間の解)
があっても問題ないってことですか？
- 315 名前：１３２人目の素数さん mailto:sage [2010/12/21(火) 23:49:50 .net]
- 別に一個で全部まかなう必要ないやん
- 316 名前：１３２人目の素数さん [2010/12/21(火) 23:52:33 .net]
- >>310
えっと、一体その解はどうやって求めたらいいのでしょうか？
- 317 名前：１３２人目の素数さん mailto:sage [2010/12/21(火) 23:56:10 .net]
- さあ？
- 318 名前：１３２人目の素数さん mailto:sage [2010/12/21(火) 23:57:24 .net]
- >>311
そもそも種にする最初の解はどうやって求めたの？
- 319 名前：１３２人目の素数さん [2010/12/22(水) 00:07:31 .net]
- ペル方程式x^2-Dy^2=1(D:自然数)
では(1,0)は必ず自明な解として存在するので後は地味にxを増やしていって
当てはまるyを気合で求める、その解を(α,β)とするとx軸対称だから
(α,-β)も解になるのである一次変換Aで(α,-β)→(1,0)→(α,β)
要するに(1,0)の次の解だけは自力で探さなないとだめそうです
- 320 名前：１３２人目の素数さん mailto:sage [2010/12/22(水) 00:52:27 .net]
- >>305
Pell方程式の解(x,y)のが決まると必然的に解は(a,±b)の形で表わされる。
勿論、(1,0)も解になる。
そして、任意の解(a,±b)に対して
A(a,-b)=(1,0)、A(1,0)=(a,b)
を満たす行列Aは唯1つ存在する。
このとき、A^2(a,-b)=A(1,0)=(a,b)が成り立つ。
つまり、任意の自然数nに対して
A^{n+2}(a,-b)=A^{n+1}(1,0)=A^n(a,b)
が成り立つ。よって
A^n(a,b)、自然数nは任意、A(a,-b)=(1,0)、(a,-b)
は解になっている。一方、
A(a,-b)=(1,0)、A(1,0)=(a,b)
を満たす正方行列Aが存在するとした時点で解(a,±b)は存在してる。
まとめると、解(a,±b)全体と
A(a,-b)=(1,0)、A(1,0)=(a,b)、(a,±b)はPell方程式、
を満たすような正方行列Aとの間には全単射が存在するから、
例として挙げたような一般解(a,±b)が正方行列Aを用いて求められる。
そして、一般解は1つ解(a,±b)を固定すると
A^n(a,b)、自然数nは任意、A(a,-b)=(1,0)、(a,-b)
のように表わされる。
- 321 名前：１３２人目の素数さん mailto:sage [2010/12/22(水) 01:00:04 .net]
- 訂正：>>315の
>A(a,-b)=(1,0)、A(1,0)=(a,b)、(a,±b)はPell方程式、
は
A(a,-b)=(1,0)、A(1,0)=(a,b)、(a,±b)はPell方程式「の解」、
の間違い。
- 322 名前：１３２人目の素数さん [2010/12/22(水) 01:25:56 .net]
- >>315
詳細な説明ありがとうございます
行列のn乗を使った一般解が当然Pell方程式を満足することは分かりました
ちなみにPell方程式を満たす全ての整数解が他に存在しないこと
を示すにはどうしたらよいでしょうか？
それとここで求めた行列の意味は、Pell方程式の表す図形を変形しない以外に何か意味があるのでしょうか
たとえば、基底ベクトルを変形させてできるその斜交座標にある意味、この行列を相似変換・回転行列とした時の意味等とか…
- 323 名前：１３２人目の素数さん mailto:sage [2010/12/22(水) 01:34:36 .net]
- トーラスの有理点の集合を表現空間とするウンたらかんたら
- 324 名前：１３２人目の素数さん [2010/12/22(水) 01:44:11 .net]
- >>318
二次不定方程式なのにトーラスが出てくるとは…
詳細は分からないですがこの問題も奥深いですね…
- 325 名前：１３２人目の素数さん mailto:sage [2010/12/22(水) 02:22:07 .net]
- とりあえず複素変数で考えよう
- 326 名前：１３２人目の素数さん mailto:sage [2010/12/22(水) 03:27:42 .net]
- >>317
>Pell方程式を満たす全ての整数解が他に存在しないこと
は次のようにして示せる。
1つ解(a,±b)を固定して定まる一般解
A^n(a,b)、自然数nは任意、A(a,-b)=(1,0)、(a,-b)
の他に解(c,±d)が存在したとする。
すると解(c,±d)に対して或る正方行列Bが存在して一般解
B^n(c,d)、自然数nは任意、B(c,-d)=(1,0)、(c,-d)
が構成される。このとき、(a,b)に対して或る自然数mが存在して
(a,b)=B^m(c,d)が成り立つ。よって一般解は
A^nB^m(c,d)、自然数nは任意、B(c,-d)=(1,0)、(c,-d)
と表わされて、正方行列について、
任意の自然数nに対してA^nB^m=B^nが成り立つ。
つまり、n=mとすればA^mB^m=B^mであって、
Bは正則行列だから、A^m=Iとなる。
同じくAも正則だから、Aは一般線型群GL(2,R)に属し、A^m∊GL(2,R)。
従ってA=Iであって、B^m=I∊GL(2,R)から
(a,b)=B^m(c,d)=(c,d)が得られて矛盾。
- 327 名前：１３２人目の素数さん mailto:sage [2010/12/22(水) 04:07:35 .net]
- >>317
>それとここで求めた行列の意味は、Pell方程式の表す図形を変形しない以外に何か意味があるのでしょうか
>たとえば、基底ベクトルを変形させてできるその斜交座標にある意味、この行列を相似変換・回転行列とした時の意味等とか…
これは複素平面上でPell方程式を考えないと意味がないと思うが、
そうするとPell方程式の解(x,y)が複素
- 328 名前：数解になって、
正方行列Aは一般線型群GL(2;C)に属することになるが、
単にA∊GL(2;C)っていうことだけだとAに特別な意味はないと思う。
ただ、解である基底ベクトル(a,±b)の間に
片方が他の片方に対する正則行列の作用によって表わせるということはいえる。
あと、相似変換っていうのは行列に対するスカラー積の作用のことをいっていると思うが、
解が
A^n(a,b)、自然数nは任意、A(a,-b)=(1,0)、(a,-b)
の形で表わされる以上、それに意味はないと思う。
[] - [ここ壊れてます]
- 329 名前：猫は悪魔 ◆MuKUnGPXAY mailto:age [2010/12/22(水) 11:28:33 .net]
- 猫
- 330 名前：１３２人目の素数さん mailto:sage [2010/12/22(水) 16:45:23 .net]
- >>317
>>321の
>(a,b)=B^m(c,d)が成り立つ。よって一般解は
>A^nB^m(c,d)、自然数nは任意、B(c,-d)=(1,0)、(c,-d)
>と表わされて、…
このあたり、ギャップがあるというか、間違いがあるから、次のように訂正：
よって一般解は
A^nB^m(c,d)、自然数nは任意、A(a,-b)=(1,0)、(a,-b)
または
B^n(c,d)、自然数nは任意、B(c,-d)=(1,0)、(c,-d)
と表わされて、正方行列Bについて、或る自然数kが存在して(a,-b)=B^k(c,d)、が成り立つ。
このとき(a,-b)≠(c,d)だからB^kは正則行列で、(c,d)=B^{-k}(a,-b)。
従って一般解は
A^nB^{n-k}(a,-b)、自然数nは任意、A(a,-b)=(1,0)、(c,-d)
の形で表わされる。
一方、(a,-b)及び(c,d)に対して或る自然数iが存在して(a,-b)=B^i(c,d)が成り立つ。
従って、一般解は
A^nB^{n-k+i}(c,d)、自然数nは任意、A(a,-b)=(1,0)、(c,-d)
の形で表わされる。この形と
B^n(c,d)、自然数nは任意、B(c,-d)=(1,0)、(c,-d)
の形で一般解は表わされるから、正方行列A、Bは正則であることに注意すれば、
任意の自然数aに対して或る自然数bが存在して、A^aB^{a-k+i}=B^b。
逆に、任意の自然数bに対して或る自然数aが存在して、A^aB^{a-k+i}=B^b。
つまり、A^aB^{a-k+i}=B^bを満たす自然数a、bの間には全単射が存在する。
a、bを共に非負整数としても同様。
一方、任意の整数a、bに対して、A^aB^{a-k+i}、B^b∊GL(2;R)。
従ってb=|-k+i|に対して定まる自然数aについて、A^aB^a=(AB)^a=Iからa=0。
そして、この自然数bについてb=-k+i≧0であって、このときb=-k+i=0。
故にk=iが得られて、一般解は
A^nB^n(c,d)、自然数nは任意、A(a,-b)=(1,0)、(c,-d)
の形で表わされる。
- 331 名前：１３２人目の素数さん mailto:sage [2010/12/22(水) 16:47:09 .net]
- >>324の続き：
よって一般解は
A^nB^n(c,d)、自然数nは任意、B(c,-d)=(1,0)、(c,-d)
つまり
B^n(c,d)、自然数nは任意、B(c,-d)=(1,0)、(c,-d)
と表わされて、正方行列について、
任意の自然数nに対してA^nB^n=B^nが成り立つ。
このとき、Bは正則行列だから、A^n=Iとなる。
同じくAも正則だから、Aは一般線型群GL(2,R)に属し、A^n∊GL(2,R)、nは任意。
従ってA=Iであって、一般解が(a,b)に限られて有限個存在することになり矛盾。
あとの細かいギャップ埋めは紙の上でして下さい。
|
 |
