最終更新日時 2011年03月06日 (日) 21時38分02秒
代数的整数論 005 (1-85)
元スレ： http://science6.2ch.net/test/read.cgi/math/1173998720/-85
ログ元： http://2se.dyndns.org/test/readc.cgi/science6.2ch.net_math_1173998720/-85
ログ元： http://2se.dyndns.org/test/readc.cgi/science6.2ch.net_math_1173998720/-85
1 ：１３２人目の素数さん：2007/03/16(金) 07:45:20
Kummer ◆g2BU0D6YN2氏が代数的整数論を語るスレです。
前スレ http://science6.2ch.net/test/read.cgi/math/1164286624/
2 ：１３２人目の素数さん：2007/03/16(金) 09:29:59
今だ！２ｹﾞｯﾄｫｵ ￣￣￣￣￣∨￣￣￣ (´´ ∧∧ ) (´⌒(´ ⊂（ﾟДﾟ⊂⌒｀つ≡≡≡(´⌒;;;≡≡≡ ￣￣ (´⌒(´⌒;; ｽﾞｻﾞｰｰｰｰｰｯ
3 ：くんまー：2007/03/16(金) 11:42:13
>>1 ありがとう
4 ：１３２人目の素数さん：2007/03/17(土) 19:44:50
④様ゲットだよん
5 ：モリゾー ◆AcSt49DSmc ：2007/03/17(土) 19:46:48
Ｃｉｎｃｏ！
6 ：１３２人目の素数さん：2007/03/17(土) 20:59:48
このスレ
～～～終了～～～
7 ：１３２人目の素数さん：2007/03/17(土) 21:25:10
このスレ
～～～終了～～～
8 ：過去スレ：2007/03/19(月) 11:12:25
過去スレ ＃００１ http://science4.2ch.net/test/read.cgi/math/1126510231 ＃００２ http://science4.2ch.net/test/read.cgi/math/1132643310 ＃００３ http://science4.2ch.net/test/read.cgi/math/1141019088/ ＃００４ http://science6.2ch.net/test/read.cgi/math/1164286624/
9 ：Kummer ◆g2BU0D6YN2 ：2007/03/19(月) 20:04:31
>>1
有難うございます。
10 ：Kummer ◆g2BU0D6YN2 ：2007/03/19(月) 20:06:02
過去スレの見方。
まずここに行く。
http://makimo.to/2ch/
そこで、「代数的整数論」を検索する。
すると、代数的整数論 001 ～ 004 が表示される。 そのなかで見たいスレ、例えば 代数的整数論 #003 をクリックする。 そこの下段にキャッシュ１、２というのがあるから、最初から順番に クリックする。今の場合だと５番目で見れる。
将来どうなるかわからないから。見れたら即コピーして保存した ほうがよい。
11 ：Kummer ◆g2BU0D6YN2 ：2007/03/19(月) 23:47:43
>>10
代数的整数論 001, 002 はそこでは見れないね。 どうしたら見れるんでしょうかね、タダで？
12 ：Kummer ◆g2BU0D6YN2 ：2007/03/20(火) 20:11:47
n ≠ 0 を有理整数、p を奇素数で n を割らないとする。 不定方程式 p = x^2 + ny^2 を考える。 x^2 + ny^2 の判別式は D = -4n である。 p = x^2 + ny^2 に解があればそれは固有である。 >>717 より x^2 ≡ -4n (mod 4p) は解をもつ。 よって x^2 ≡ -4n (mod p) つまり (-4n/p) = 1 よって (-n/p) = 1 である。
このことは >>717 を使わなくても以下のようにしてもわかる。 p = x^2 + ny^2 に解があれば、 x^2 ≡ -ny^2 (mod p) y は p で割れないから yz ≡ 1 (mod p) となる z ∈ Z がある。 (xz)^2 ≡ -n (mod p) よって (-n/p) = 1 である。
逆に (-n/p) = 1 とする。 このとき p = x^2 + ny^2 に解があるとは限らない。 しかし x^2 ≡ -n (mod p) に解があるので p は x^2 + n を割る。 a を x と素な任意の有理整数とする。 x ≡ ac (mod p) となる c ∈ Z と cb ≡ 1 (mod p) となる b ∈ Z をとる。 x^2 ≡ -n (mod p) より a^2c^2 ≡ -n (mod p) この両辺に b^2 を掛けて a^2 ≡ -nb^2 (mod p) よって p は a^2 + nb^2 を割る。
13 ：Kummer ◆g2BU0D6YN2 ：2007/03/20(火) 20:30:50
命題 n ≠ 0 を有理整数、p を奇素数で n を割らないとする。 以下の条件は同値である。
(1) 有理整数 x, y があり、gcd(x, y) = 1 であり、 p は x^2 + ny^2 を割る。
(2) (-n/p) = １
証明 (1) が成り立てば、x^2 ≡ -ny^2 (mod p) である。 y が p で割れるなら x^2 ≡ 0 (mod p) となり x も p で割れから gcd(x, y) = 1 と矛盾する。よって y は p と素である。 よって yz ≡ 1 (mod p) となる z がある。 (xz)^2 ≡ -n (mod p) だから (-n/p) = 1 である。
逆に (2) が成り立てば x^2 ≡ -n (mod p) が解をもつ。 y = 1 とすれば p は x^2 + ny^2 を割る。
14 ：Kummer ◆g2BU0D6YN2 ：2007/03/20(火) 21:20:16
一般の２次形式では >>13 に類似の次の結果がある。
命題 D を平方数でない有理整数で、D ≡ 0 または 1 (mod 4) とする。 m を奇数で gcd(D, m) = 1 とする。 m が判別式 D の原始的２次形式により固有に表現される (過去スレ004の>>701)ためには x^2 ≡ D (mod m) に解があること が必要十分である。
証明 m が判別式 D の２次形式により固有に表現されるなら、 過去スレ004の>>717より D ≡ l^2 (mod 4m) となる有理整数 l が 存在する。このとき当然 D ≡ l^2 (mod m) でもある。
逆に x^2 ≡ D (mod m) に解があるとする。 D ≡ 0, 1 (mod 4) なら x^2 ≡ D (mod 4) にも解がある。 m と 4 は素だから x^2 ≡ D (mod 4m) にも解がある。
この解を l とし、D = l^2 - 4mk とする。 gcd(D, m) = 1 だから gcd(m, l, k) = 1 である。 よって２次形式 mx^2 + lxy + ky^2 は原始的で判別式は D であり (x, y) = (1, 0) のとき m を固有に表現する。 証明終
15 ：Kummer ◆g2BU0D6YN2 ：2007/03/20(火) 21:47:35
>>14 から次の命題が直ちに得られる。
命題 n ≠ 0 を有理整数、p を奇素数で n を割らないとする。 以下の条件は同値である。
(1) p は判別式 -4n の原始的２次形式により固有に表現される
(2) (-n/p) = １
証明 >>14 より (1) は (-4n/p) = 1 と同値である。 (-4n/p) = (-n/p) だからこれは (2) と同値である。
16 ：１３２人目の素数さん：2007/03/21(水) 12:20:48
前スレ(004)見れないんだけどどうなってるの？
17 ：１３２人目の素数さん：2007/03/21(水) 14:00:40
50モリタポ(2chがやってるネット通貨的なもの)あれば過去ログが1スレッド読めて、 また、モリタポはアンケートに答えることでタダで手に入れられる。
18 ：１３２人目の素数さん：2007/03/21(水) 14:30:04
aho
19 ：Kummer ◆g2BU0D6YN2 ：2007/03/22(木) 20:22:32
前にも書いたけど、この代数的整数論スレで扱ってるような ２元２次形式論について書いてある本はほんとに少ないね。
これについて本格的に学ぼうとしたらまず Gauss の Disquisitiones Arithmeticae(数論考究)を読むしかない。 続いて Dirichlet の Vorlesungen uber Zahlentheorie(整数論講義)。
これは皮肉なことに Dedekind の影響なんですね。 つまり Dedekind が代数的整数論を創始したことにより、 ２元２次形式論は２次体論にとって代わられたわけ。
このようにして古くてしかも重要な数学というのは忘れられていく 危険があるのでしょうね。
20 ：Kummer ◆g2BU0D6YN2 ：2007/03/22(木) 20:49:34
しかし、Gauss のDisquisitiones Arithmeticae(数論考究)は 読みにくいですね。 Weil だったか誰かが書いてるけど、Gauss の数学のスタイルは、足場をほとんど 完全に取り除くんですね。 つまり、どのようにしてその証明を思いついたかの手がかりがほとんど 得られないような書き方をしている。
さらに、Disquisitiones は Gauss も書いてるようにページ数の制限 もあって、なおさらその傾向が強い。
Dirichlet が Disquisitiones を旅行のときにも携えていた理由と しては、勿論それが重要な文献ということもあるでしょうが、 このGaussのスタイルも一因かもしれないと想像します。
21 ：１３２人目の素数さん：2007/03/23(金) 01:02:12
y^2 = x^3 - 2の整数解は (x,y) = (7,5),(-7,5) だけ ということの証明をしりたくて調べたら2次体とか単項イデアル整域とか出てきて 岩波講座基礎数学の代数学の本を読みはじめたのが数学を始めたきっかけ
22 ：１３２人目の素数さん：2007/03/23(金) 01:02:48
ミス(7,5),(7,-5)
23 ：Kummer ◆g2BU0D6YN2 ：2007/03/24(土) 09:57:08
>>21
y^2 = x^3 - 2 の整数解は (x, y) = (3, 5), (3, -5) だけですね。
この式は (y + √(-2))(y - √(-2)) = x^3 と書ける。
２次体 Q(√(-2)) の整数環 Z[(-2)] は一意分解整域であることから、 αα' = x^3 から α = β^3 となる β ∈ Z[(-2)] があることが 結論される。ここで α = y + √(-2) と α' = y - √(-2) とおいた。 β = a + b√(-2) とすると α = a^3 - 6ab^2 + (3a^2b - 2b^3)√(-2)
3a^2b - 2b^3 = b(3a^2 - 2b^2) = 1 から b = ±1 よって -2b^2 + 3a^2 = ±1 だが -2b^2 + 3a^2 = -1 なら 3a^2 = 1 となって矛盾である。よって b = 1 -2b^2 + 3a^2 = 1 から a = ±1 よって y = a^3 - 6ab^2 = ±5 x = 3
24 ：Kummer ◆g2BU0D6YN2 ：2007/03/24(土) 10:20:06
>>23
αα' = x^3 から α = β^3 となる β ∈ Z[√(-2)] があることを 証明するため、補題を用意する。
補題 A を一意分解整域とする。 A の元 a, b, c と有理整数 n ≧ 1 に対して ab = c^n とする。 gcd(a, b) = 1 なら a = d^n となる d ∈ A がある。
証明 p を A の任意の素元とする A の元 x が p^e できっかり割れるとき ord_p(x) = e と書くことにする。
ord_p(a) = e とすると gcd(a, b) = 1 だから ord_p(c^n) = e である。 よって e は n の倍数である。 これから補題の主張はあきらかである。 証明終
25 ：Kummer ◆g2BU0D6YN2 ：2007/03/24(土) 10:43:22
補題 ２次体 Q(√m) の整数 α ≠ 0, β ≠ 0 と奇数 n ≧ 1 に対して αα' = β^n とする。 さらに α と α' をともに割る素元 π があり、(π) = (π') で あるとする。 α がきっかり π^e で割れるとき e は n の倍数である。
証明 α がきっかり π^e で割れるから、 α の共役 α' はきっかり π'^e で割れる。 仮定より (π) = (π') だから α' はきっかり π^e で割れる。 よって αα' はきっかり π^2e で割れる。 αα' = β^n より 2e は n の倍数である。 n は奇数だから e は n の倍数である。 証明終
26 ：Kummer ◆g2BU0D6YN2 ：2007/03/24(土) 10:57:21
補題 ２次体 Q(√(-2)) の整数 α = y + √(-2) にたいして α と α' をともに割る素元 π は ±√(-2) である。 ここで y は任意の有理整数である。
証明 α - α' = 2√(-2) = -(√(-2))^3 N(√(-2)) = 2 だから √(-2) は素元である。
Q(√(-2)) の単数は±1 だから √(-2) と同伴な素元は ±√(-2) のみである。 以上から補題の主張は明らかである。
27 ：Kummer ◆g2BU0D6YN2 ：2007/03/24(土) 11:00:33
>>24, >>25, >>26 から
>>23 で述べた αα' = x^3 から α = β^3 となる β ∈ Z[√(-2)] が あることがわかる。
28 ：Kummer ◆g2BU0D6YN2 ：2007/03/24(土) 11:16:10
訂正
>>25 の２次体 Q(√m) の類数は１と仮定する。 つまり Z[ω] は一意分解整域とする。
29 ：Kummer ◆g2BU0D6YN2 ：2007/03/24(土) 11:23:59
訂正 >>26 >α と α' をともに割る素元 π は ±√(-2) である。
α と α' をともに割る素元 π があるとすると π = ±√(-2) である。
30 ：Kummer ◆g2BU0D6YN2 ：2007/03/24(土) 13:00:38
>>24 はいろいろ応用がある。
x, y, z ∈ Z として x^2 + y^2 = z^2 を考える。 gcd(x, y) = 1 と仮定する。
α = (x + y√(-1)) とおくと α ∈ Z[√(-1)] で αα' = z^2 である。
α - α' = 2y√(-1) α + α' = 2x よって α と α' をともに割る素元 π があると、 gcd(x, y) = 1 だから π は 2 を割る。 よって π は λ = 1 + √(-1) と同伴である。 よって z は λ で割れるから z ∈ Z ∩ (λ) = 2Z となって z は 2 で割れる。よって αα' = z^2 は 4 で割れる。 即ち αα' は λ^4 で割れる。よって α は λ^2 で割れる。 よって α は 2 で割れるが、これは gcd(x, y) = 1 に矛盾する。
以上から gcd(α, α') = 1 となり >>24 から α = β^2 となる β ∈ Z[√(-1)] がある。 β = a + b√(-1) とおくと明らかに gcd(a, b) = 1 である。 β は λ で割れないから次に述べる補題から a ≡ b (2) ではない。
α = β^2 より α = a^2 - b^2 + 2ab√(-1) よって x = a^2 - b^2 y = 2ab z^2 = αα' = (ββ')^2 = (a^2 + b^2)^2 よって z = a^2 + b^2
31 ：Kummer ◆g2BU0D6YN2 ：2007/03/24(土) 13:05:05
>>30 から次の命題が得られる。
命題 x^2 + y^2 = z^2 の整数解で gcd(x, y) = 1 となるものは x = a^2 - b^2 y = 2ab z = a^2 + b^2 で与えられる。 ここで a, b ∈ Z で gcd(a, b) = 1 であり、a ≡ b (2) ではない。
32 ：Kummer ◆g2BU0D6YN2 ：2007/03/24(土) 13:15:23
>>30 で引用した補題を証明する。
補題 a + b√(-1) ∈ Z[√(-1)] が λ = 1 + √(-1) で割れるためには a ≡ b (mod 2) が必要十分である。
証明 a + b√(-1) が λ で割れるとする。 a + b√(-1) = λ(c + d√(-1)) となる c, d ∈ Z がある。 λ(c + d√(-1)) = (1 + √(-1))(c + d√(-1)) = c + d√(-1) + c√(-1) - d = c - d + (c + d)√(-1) よって a - b = c - d - (c + d) = -2d である。 よって a ≡ b (mod 2) である。
逆に a ≡ b (mod 2) とする。 b = a + 2k となる k ∈ Z がある。 a + b√(-1) = a + (a + 2k)√(-1) = a(1 + √(-1)) + 2k√(-1) 2 は λ で割れるから a + b√(-1) は λ で割れる。 証明終
33 ：Kummer ◆g2BU0D6YN2 ：2007/03/24(土) 13:21:54
訂正
>>24 >gcd(a, b) = 1 なら a = d^n となる d ∈ A がある。
gcd(a, b) = 1 なら a = ud^n となる d ∈ A と 単元 u ∈ A^* がある。
34 ：Kummer ◆g2BU0D6YN2 ：2007/03/24(土) 13:27:27
>>27
Z[√(-2)] の単元は ±1 で (-1)^3 = -1 に注意する。
35 ：Kummer ◆g2BU0D6YN2 ：2007/03/24(土) 13:34:43
訂正
>>30 >以上から gcd(α, α') = 1 となり >>24 から >α = β^2 となる β ∈ Z[√(-1)] がある。
α = εβ^2 となる β ∈ Z[√(-1)] がある。 ε は Z[√(-1)] の単数で±1, ±√(-1) である。
36 ：１３２人目の素数さん：2007/03/24(土) 13:40:27
ごめんなさい 27と25をずっと思い浮かべながら書いてたからか(7,5)とか書いちゃってました 証明ありがとうございます
37 ：Kummer ◆g2BU0D6YN2 ：2007/03/24(土) 13:52:15
>>35 の修正によっても >>31 はそのまま成り立つことは明らかだろう。
38 ：Kummer ◆g2BU0D6YN2 ：2007/03/24(土) 13:58:41
>>36
こちらもかなり間違えているので、お互いさまです。
39 ：Kummer ◆g2BU0D6YN2 ：2007/03/24(土) 15:16:41
>>31 と同様にして次の命題が得られる。 命題 x^2 + y^2 = z^3 の整数解で gcd(x, y) = 1 となるものは x = a^3 - 3ab^2, y = b^3 - 3a^2b, z = a^2 + b^2 で与えられる。 ここで a, b ∈ Z で gcd(a, b) = 1 であり、a ≡ b (2) ではない。
証明 α = (x + y√(-1)) とおくと α ∈ Z[√(-1)] で αα' = z^3 である。 α - α' = 2y√(-1) α + α' = 2x よって α と α' をともに割る素元 π があると、 gcd(x, y) = 1 だから π は 2 を割る。 よって π は λ = 1 + √(-1) と同伴である。 よって z は λ で割れるから z ∈ Z ∩ (λ) = 2Z となって z は 2 で割れる。よって αα' = z^3 は 8 で割れる。 よって α は 2 で割れるが、これは gcd(x, y) = 1 に矛盾する。 以上から gcd(α, α') = 1 となり >>24, >>33 から α = εβ^3 となる β ∈ Z[√(-1)] がある。 ε は Z[√(-1)] の単数で±1, ±√(-1) である。 √(-1) = (-√(-1))^3 -√(-1) = (√(-1))^3 -1 = (-1)^3 だから ε は単数の３乗となる。 よって α = β^3 としてよい。 β = a + b√(-1) とすると gcd(a, b) = 1 であり β は λ で 割れないから >>32 より a ≡ b (mod 2) ではない。 α = β^3 から α = (a + b√(-1))^3 = a^3 - 3ab^2 + (3a^2b - b^3)√(-1) よって x = a^3 - 3ab^2, y = b^3 - 3a^2b (yの符号を変えてもよい) z^3 = (ββ')^3 = (a^2 + b^2)^3 で z ＞ 0 より z = a^2 + b^2 である。 証明終
40 ：Kummer ◆g2BU0D6YN2 ：2007/03/24(土) 17:58:35
>>31, >>39 は x^2 + y^2 = z^n に一般化出来そうですね。
41 ：Kummer ◆g2BU0D6YN2 ：2007/03/28(水) 22:30:17
今度は判別式が正の２次形式について調べる。 判別式が負の２次形式は２次の虚数の SL_2(Z) による同値類が関係 していた(過去スレ４の406)。 判別式が正の２次形式は２次の実無理数の SL_2(Z) による同値類が 関係する。 この問題は以下に見られるように連分数の理論と密接に関係する。
連分数は実数 θ を有理数で近似する問題から自然に現れる。 [θ] で θ 以下の最大の有理整数を表す。 k_0 = [θ] とおく。 k_0 ≦ θ ＜ k_0 + 1 である。 0 ≦ θ - k_0 ＜ 1 である。 0 ＜ θ - k_0 なら θ - k_0 = 1/θ_1 となる実数 θ_1 がある。 θ_1 ＞ 1 である。 θ = k_0 + 1/θ_1 となる。
同様に k_1 = [θ_1] とおく。 0 ＜ θ_1 - k_1 なら θ_1 - k_1 = 1/θ_2 となる実数 θ_2 がある。 θ_2 ＞ 1 である。 θ_1 = k_1 + 1/θ_2 となる。 θ = k_0 + 1/θ_1 より θ = k_0 + 1/(k_1 + 1/θ_2) である。 この操作を続けていくと θ = k_0 + 1/(k_1 + 1/(k_2 + ... + 1/(k_(n-1) + 1/θ_n))...) となる。 この右辺の式に現れた k_0 + 1/(k_1 + 1/(k_2 + 1/(k_3 ... + 1/k_(n-1))...) の形の分数を連分数 と呼ぶ。正確には正則連分数という。 これを [k_0, k_1, ..., k_(n-1)] と書くことにする。 高木の「初等整数論講義」ではこの記号を別の意味で使っているので注意 する必要がある。
42 ：Kummer ◆g2BU0D6YN2 ：2007/03/29(木) 19:49:47
前スレの代数的整数論004、DAT落ちじゃないみたいだね。 間違って削除されちゃったのか？
43 ：Kummer ◆g2BU0D6YN2 ：2007/03/29(木) 21:20:35
>>41 の続き
θ = k_0 + 1/θ_1 = (k_0θ_1 + 1)/θ_1
この右端の式は A_0(θ_1) と書ける。 ここで A_0 は２次の正方行列 (k_0, 1)/(1, 0) を表す (過去スレ４の196)。 det(A_0) = -1 だから A_0 ∈ GL_2(Z) である(過去スレ４の285)。
GL_2(Z) の元は R ∪ {∞} に一次分数変換として作用する
(過去スレ４の285)。
A_0(θ_1) は θ_1 に A_0 を作用させたものである。
同様に θ_1 = k_1 + 1/θ_2 = (k_1θ_2 + 1)/θ_2 = A_1(θ_2) A_1 = (k_1, 1)/(1, 0)
一般に、 θ_n = A_n(θ_(n+1)) A_n = (k_n, 1)/(1, 0)
ただし、θ_0 = θ
以上から、 θ = A_0A_1. . . A_n(θ_(n+1))
B_n = A_0A_1. . . A_n とおき、 B_n = (p_n, r_n)/(q_n, s_n) とする。 ここで、p_n, r_n, q_n, s_n は有理整数である。
44 ：Kummer ◆g2BU0D6YN2 ：2007/03/29(木) 21:41:33
定義から(>>43) B_(n+1) = B_nA_(n+1) = (p_nk_(n+1) + r_n, p_n)/(q_nk_(n+1) + s_n, q_n)
よって p_(n+1) = p_nk_(n+1) + r_n r_(n+1) = p_n よって p_(n+1) = p_nk_(n+1) + p_(n-1)
同様に q_(n+1) = q_nk_(n+1) + q_(n-1)
容易にわかるように p_n は k_0, ... ,k_n の多項式として表される。 この多項式を P(k_0, ... ,k_n) と書く。 高木の「初等整数論講義」では、P(k_0, ... ,k_n) を [k_0, ... ,k_n] と書いている。これは Gauss の記法(Disquisitiones)である。
45 ：Kummer ◆g2BU0D6YN2 ：2007/03/29(木) 21:53:37
q_n = P(k_1, ... ,k_n) となることを、n に関する帰納法により示す。
p_0 = k_0 q_0 = 1
p_1 = k_0k_1 + 1 q_1 = k_1
だから n = 1 のときは正しい。 n ≧ 1 のとき q_n = P(k_1, ... ,k_n) と仮定する。 q_(n+1) = q_nk_(n+1) + q_(n-1) だから q_(n+1) = P(k_1, ... ,k_n)k_(n+1) + P(k_1, ... ,k_(n-1))
一方、>>44 より p_n = p_nk_n + p_(n-2) これは P(k_0, ... ,k_n) = P(k_0, ... ,k_(n-1))k_n + P(k_0, ... ,k_(n-2)) を意味する。
この式で k_0, ... ,k_(n-1), k_n を k_1, ... , k_n, k_(n+1) に 置き換えると、 P(k_1, ... ,k_(n+1)) = P(k_1, ... ,k_n)k_(n+1) + P(k_1, ... ,k_(n-1)) よって q_(n+1) = P(k_1, ... ,k_(n+1))
これで q_n = P(k_1, ... ,k_n) が証明された。
46 ：１３２人目の素数さん：2007/03/29(木) 22:26:36
>>42 容量オーバーじゃありませんでしたか?後で確認してみますけど
47 ：Kummer ◆g2BU0D6YN2 ：2007/03/29(木) 22:37:06
>>46
容量の点では過去スレ003のほうが大きいです。 と言ってもほとんど違いはないですが。 プレーンテキストとしてコピーしたものでは003が約380ＫＢで 004が370ＫＢです。
48 ：１３２人目の素数さん：2007/03/29(木) 23:38:48
004は500KBいってたよ。
49 ：Kummer ◆g2BU0D6YN2 ：2007/03/29(木) 23:44:20
>>48
004をプレーンテキストにコピーしたのはjaneを使ったからサイズが小さくなったかも しれませんね。003はIEでコピーしました。
５００ＫＢ超えるとどうなるんですか？
50 ：１３２人目の素数さん：2007/03/29(木) 23:46:55
>>49 512kBぐらいで落ちるはず。 ２ｃｈの書き込みはURLを書けば自動的にリンクされたり、 名前欄をクリックしたらメールが起動するなどいろいろ細工してあるから、 プレーンテキストより実際の容量は大きい。
51 ：Kummer ◆g2BU0D6YN2 ：2007/03/29(木) 23:52:24
落ちると、もう見れないんですか？
52 ：１３２人目の素数さん：2007/03/30(金) 00:26:26
500KBを超えると書き込めなくなる。
専ブラならログ残ってれば見れるし、 datファイルをhtml化して見せることも出来る、のかな。 詳しいことは分かりません。
53 ：１３２人目の素数さん：2007/03/30(金) 00:56:35
#003なら http://mimizun.com/search/perl/dattohtml.pl?http://mimizun.com:81/log/2ch/math/science4.2ch.net/math/kako/1141/11410/1141019088.dat にあるがな http://p2.chbox.jp/read.php?host=science4.2ch.net&bbs=math&key=1141019088&ls=all にも #004は知らんが探してみろ
54 ：Kummer ◆g2BU0D6YN2 ：2007/03/30(金) 01:00:01
ここに #004 がありますね。
http://www.2chsearch.info/index.php?b=math&d=1164286624
55 ：１３２人目の素数さん：2007/03/30(金) 04:47:03
,. -─────────‐- .、 ／／￣￣＼ ／￣￣＼＼ ┌─┴─┐Ｅ三ヨ ／ ＼ ／／＼＼─── ／ :::::::::::::::::::::::::::::::: ＼ ／|￣￣|＼Ｅ王ヨ ／ ／ ／￣＼＼::::;;;;;;;;;;;;;;;;;:::::／／￣＼＼ ＼ |＿＿| ＿土＿ ／ | |. ┃ .| | ::::;;;;;;;;;;;;;::::｜ |. ┃ .| | ＼ ／ ＼ ＼＿／／ :::::::::::::::::: ＼＼＿／／ ＼ /‐┼‐ ───┐ ／ ..／￣￣＼ ／ ::｜:: ＼ ／￣￣＼.. ＼ ,イ.匚工コ ┌──´ / ::::: | | | ::::: ヽ. | ∧ ─┐| | | | | |. | ／ ＼ ┘└──┘ | ＼＿＿／＼＿＿／ | | ｜ ｜ | | , ┼ ┼ | ｜r─‐┬──､| | ─┼┼┐ ｜─┐ L＿＼ ヽ |/ | ｜ / ｜ ─┐｜ ／| ＼ ＼ ＼ ／ ／ | ┘｜└─ ＼| ノ ＼ ￣￣￣￣ ／
56 ：Kummer ◆g2BU0D6YN2 ：2007/03/31(土) 00:50:18
>>43, >>44 より
B_n = A_0A_1. . . A_n = (p_n, p_(n-1))/(q_n, q_(n-1))
det(A_i) = -1 であるから det(B_n) = p_nq_(n-1) - q_np_(n-1) = (-1)^n である。
57 ：Kummer ◆g2BU0D6YN2 ：2007/03/31(土) 00:57:12
>>56 訂正
>>43, >>44 より
B_n = A_0A_1. . . A_n = (p_n, p_(n-1))/(q_n, q_(n-1))
det(A_i) = -1 であるから det(B_n) = p_nq_(n-1) - q_np_(n-1) = (-1)^(n+1) である。
58 ：Kummer ◆g2BU0D6YN2 ：2007/03/31(土) 00:58:13
>>44 より p_(n+1) = p_nk_(n+1) + p_(n-1)
よって P(k_0, ... , k_n) = P(k_0, ... ,k_(n-1)) k_n + P(k_0, ... ,k_(n-2))
59 ：Kummer ◆g2BU0D6YN2 ：2007/03/31(土) 01:13:22
>>57 より
A_0A_1. . . A_n = (p_n, p_(n-1))/(q_n, q_(n-1))
>>44 より p_n = P(k_0, ... , k_n) p_(n-1) = P(k_0, ... , k_(n-1))
>>45 より q_n = P(k_1, ... , k_n) q_(n-1) = P(k_1, ... , k_(n-1))
よって A_1. . . A_n = (a, b)/(c, d) である。 ここで a = P(k_1, ... , k_n) b = P(k_1, ... , k_(n-1)) c = P(k_2, ... , k_n) d = P(k_2, ... , k_(n-1))
一方、 A_0A_1. . . A_n = (k_0, 1)/(1, 0) (a, b)/(c, d) = (k_0 a + c, k_0 b + d)/(a, b)
よって P(k_0, ... , k_n) = k_0 P(k_1, ... , k_n) + P(k_2, ... , k_n)
60 ：Kummer ◆g2BU0D6YN2 ：2007/03/31(土) 01:27:36
命題 P(k_0, k_1, ... , k_n) = P(k_n, k_(n-1), ... , k_0) である。
証明 n に関する帰納法による。
>>58 より P(k_0, ... , k_n) = P(k_0, ... ,k_(n-1)) k_n + P(k_0, ... ,k_(n-2))
k_0, ... , k_n を逆に並びかえて
P(k_n, ... , k_0) = P(k_n, ... ,k_1) k_0 + P(k_n, ... ,k_2)
>>59 より P(k_0, ... , k_n) = k_0 P(k_1, ... , k_n) + P(k_2, ... , k_n)
帰納法の仮定により P(k_0, ... , k_n) = k_0 P(k_n, ... , k_1) + P(k_n, ... , k_2)
よって P(k_0, ... , k_n) = P(k_n, ... , k_0) 証明終
61 ：Kummer ◆g2BU0D6YN2 ：2007/03/31(土) 01:53:45
命題 [k_0, k_1, ... , k_n] = P(k_0, k_1, ... , k_n)/P(k_1, , ... , k_n)
証明 >>43 より
[k_0, k_1, ... , k_n] = A_0A_1. . . A_(n-1)(k_n)
>>57 より A_0A_1. . . A_n = (p_n, p_(n-1))/(q_n, q_(n-1))
よって [k_0, k_1, ... , k_n] = = (p_(n-1) k_n + p_(n-2))/(q_(n-1) k_n + q_(n-2))
>>44 より、この右辺は p_n/q_n 等しい。 証明終
62 ：Kummer ◆g2BU0D6YN2 ：2007/03/31(土) 09:06:50
>>43 より θ = A_0A_1. . . A_n(θ_(n+1))
よって θ_(n+1) = (B_n)^(-1)(θ) である。 ここで B_n = A_0A_1. . . A_n である。
>>44 より B_n = (p_n, p_(n-1))/(q_n, q_(n-1))
>>57 より det(B_n) = p_nq_(n-1) - q_np_(n-1) = (-1)^(n+1)
よって (B_n)^(-1) = (-1)^(n+1)(q_(n-1), -p_(n-1))/(-q_n, p_n)
よって θ_(n+1) = (-1)^(n+1) (q_(n-1)θ - p_(n-1))/(-q_nθ + p_n)
なお、 (B_n)^(-1) = (A_n)^(-1) . . . (A_0)^(-1) = (0, 1)/(1, -k_n) . . . (0, 1)/(1, -k_0)
よって (0, 1)/(1, -k_n) . . . (0, 1)/(1, -k_0) = (-1)^(n+1)(q_(n-1), -p_(n-1))/(-q_n, p_n)
63 ：Kummer ◆g2BU0D6YN2 ：2007/03/31(土) 09:55:20
Euclid の互除法は連分数と密接に関係する。 これを以下に説明する。
a と b を有理整数で a ＞ b ＞ 0 とする。 d = gcd(a, b) を Euclid の互除法によって求める場合を検討する。
x_0 = a x_1 = b とおく。
k_0 = [a/b] とする。 [a/b] は a/b以下の最大の有理整数を表す(>>41)。
x_0 = k_0(x_1) + x_2 となる x_2 がある。 ここで 0 ≦ x_2 ＜ x_1
0 ＜ x_2 なら k_1 = [x_1/x_2] x_1 = k_1(x_2) + x_3 0 ≦ x_3 ＜ x_2
これを続けて
x_(n-1) = k_(n-1)x_n + x_(n+1) x_n = k_n(x_(n+1)) で x_(n+2) = 0 とする。
d = x_(n+1) である。
64 ：Kummer ◆g2BU0D6YN2 ：2007/03/31(土) 10:11:29
>>63 の x_0 = k_0(x_1) + x_2 を行列の記法で表すと、 (x_0, x_1)' = A_0(x_1, x_2)' となる。
ここで (x_0, x_1)' は 行ベクトル (x_0, x_1) を転置した列ベクトル を表す。
同様に (x_(n-1), x_n)' = A_(n-1)(x_n, x_(n+1))' (x_n, x_(n+1))' = A_n(x_(n+1), 0)' となる。
x_0 = a x_1 = b だったから (a, b)' = A_0A_1. . . A_n (d, 0)' となる。
B_n = A_0A_1. . . A_n とおけば、 (d, 0)' = (B_n)^(-1)(a, b)'
>>62 より (B_n)^(-1) = (-1)^(n+1)(q_(n-1), -p_(n-1))/(-q_n, p_n)
よって (-1)^(n+1)d = q_(n-1)a - p_(n-1)b
これによって一次不定方程式 d = ax + by が解けたことになる。
65 ：Kummer ◆g2BU0D6YN2 ：2007/03/31(土) 10:20:48
書き忘れたが >>64 の A_0 は 行列 (k_0, 1)/(1, 0) を表す。 同様に A_n = (k_n, 1)/(1, 0)
66 ：Kummer ◆g2BU0D6YN2 ：2007/03/31(土) 10:40:32
>>63 より a/b = [k_0, ... , k_n] である。
一次不定方程式 d = ax + by を解くには、 まず a/b を連分数 [k_0, ... , k_n] に展開する。 次に >>59 の公式 P(k_0, ... , k_n) = k_0 P(k_1, ... , k_n) + P(k_2, ... , k_n) を使って p_(n-1) = P(k_0, k_1, ... , k_(n-1)) と q_(n-1) = P(k_1, , ... , k_(n-1)) を求める。
>>64 より (-1)^(n+1)d = q_(n-1)a - p_(n-1)b だから x = (-1)^(n+1)q_(n-1) y = (-1)^(n+2)p_(n-1) である。
67 ：Kummer ◆g2BU0D6YN2 ：2007/03/31(土) 14:02:41
>>66 の方法を使って、 a = 44497 b = 9689 として d = ax + by を解いてみる。
44497 = 9689・4 + 5741 9689 = 5741・1 + 3948 5741 = 3948・1 + 1793 3948 = 1793・2 + 362 1793 = 362・4 + 345 362 = 345・1 + 17 345 = 17・20 + 5 17 = 5・3 + 2 5 = 2・2 + 1 1 = 1・1
よって a/b = [4, 1, 1, 2, 4, 1, 20, 3, 2, 1] d = 1 n = 9 である。
P(2) = 2 P(3, 2) = 3・2 + 1 = 7 P(20, 3, 2) = 20・7 + 2 = 142 P(1, 20, 3, 2) = 1・142 + 7 = 149 P(4, 1, 20, 3, 2) = 4・149 + 142 = 738 P(2, 4, 1, 20, 3, 2) = 2・738 + 149 = 1625 P(1, 2, 4, 1, 20, 3, 2) = 1・1625 + 738 = 2363 P(1, 1, 2, 4, 1, 20, 3, 2) = 1・2363 + 1625 = 3988 P(4, 1, 1, 2, 4, 1, 20, 3, 2) = 4・3988 + 2363 = 18315
68 ：Kummer ◆g2BU0D6YN2 ：2007/03/31(土) 14:05:29
n = 9 だから x = (-1)^(n+1)q_(n-1) = q_8 y = (-1)^(n+2)p_(n-1) = -p_8
q_8 = P(1, 1, 2, 4, 1, 20, 3, 2) = 3988 p_8 = P(4, 1, 1, 2, 4, 1, 20, 3, 2) = 18315
よって x = 3988 y = -18315
a = 44497 b = 9689 だから
ax = 44497・3988 = 177454036 by = -9689・18315 = -177454035
よって 1 = ax + by
69 ：Kummer ◆g2BU0D6YN2 ：2007/03/31(土) 20:19:41
今まで扱ってきた連分数 [k_0, k_1, . . . , k_n] は 各 k_i が有理整数で i ≧ 1 のとき k_i ≧ 1 であった。 このような連分数を単純連分数と呼ぶ。
数列 {k_n}, n = 0, 1, . . . が与えられ、
各 k_i が有理整数で i ≧ 1 のとき k_i ≧ 1 とする。
この数列から、任意の n ≧ 0 に対して 単純連分数 [k_0, k_1, . . . , k_n] が得られる。
>>61 より [k_0, k_1, . . . , k_n] = p_n/q_n である。
ここで p_n = P(k_0, k_1, ... , k_n) q_n = P(k_1, ... , k_n) とおいた。
0 ＜ q_1 ＜ q_2 ＜ . . . である。
便宜上 q_0 = 1 とする。
70 ：１３２人目の素数さん：2007/03/31(土) 20:30:47
コレって誰か読んでるの？
71 ：Kummer ◆g2BU0D6YN2 ：2007/03/31(土) 20:31:50
補題 >>69 と同じ前提において、
p_n/q_n - p_(n-1)/q_(n-1) = (-1)^(n+1)/q_nq_(n-1)
証明 p_n/q_n - p_(n-1)/q_(n-1) = (p_nq_(n-1) - q_np_(n-1))/q_nq_(n-1)
>>57 より p_nq_(n-1) - q_np_(n-1) = (-1)^(n+1) よって本補題の等式が得られる。 証明終
72 ：Kummer ◆g2BU0D6YN2 ：2007/03/31(土) 20:40:35
補題 >>69 と同じ前提において、
p_nq_(n-2) - p_(n-2)q_n = (-1)^n k_n
証明 p_nq_(n-2) - p_(n-2)q_n = (p_(n-1)k_n + p_(n-2))q_(n-2) - p_(n-2)(q_(n-1)k_n + q_(n-2))) = (p_(n-1)q_(n-2) - p_(n-2)q_(n-1))k_n = (-1)^n k_n 証明終
73 ：Kummer ◆g2BU0D6YN2 ：2007/03/31(土) 20:43:41
補題 >>69 と同じ前提において、
p_n/q_n - p_(n-2)/q_(n-2) = (-1)^n k_n/q_nq_(n-2)
証明 p_n/q_n - p_(n-2)/q_(n-2) = (p_nq_(n-2) - q_np_(n-2))/q_nq_(n-2)
これと >>72 より本補題の等式が得られる。 証明終
74 ：Kummer ◆g2BU0D6YN2 ：2007/03/31(土) 21:17:17
>>73 より p_2n/q_2n - p_(2n-2)/q_(2n-2) = k_2n/q_2nq_(2n-2) ＞ 0 よって p_(2n-2)/q_(2n-2) ＜ p_2n/q_2n
よって数列 {p_2n/q_2n} は単調増加である。
同様にして数列 {p_(2n+1)/q_(2n+1)} は単調減少である。
>>71 より p_2n/q_2n - p_(2n-1)/q_(2n-1) = -1/q_2nq_(2n-1) ＜ 0 よって p_2n/q_2n ＜ p_(2n-1)/q_(2n-1)
以上から p_0/q_0 ≦ p_2/q_2 ≦ . . . ≦ p_3/q_3 ≦ p_1/q_1
75 ：Kummer ◆g2BU0D6YN2 ：2007/03/31(土) 22:31:28
>>74 より {p_2n/q_2n} は有界な単調増加数列だから収束する。
同様に、 {p_(2n+1)/q_(2n+1)} は有界な単調減少数列だから収束する。
p_2n/q_2n - p_(2n-1)/q_(2n-1) = -1/q_2nq_(2n-1) で、 lim q_n = ＋∞ だから、両者の極限は一致する。
よって 数列 {p_n/q_n} もこの極限に収束する。
この極限を [k_0, k_1, . . .] と書く。 [k_0, k_1, . . .] を無限連分数と呼ぶ。
76 ：Kummer ◆g2BU0D6YN2 ：2007/04/01(日) 17:02:50
命題 [a_0, . . . , a_(n-1), α_n] = [b_0, . . . , b_(n-1), β_n] とする。
ここで各 a_i と b_i は有理整数で i ≧ 1 のとき a_i ≧ 1, b_i ≧ 1 α_n ＞ 1 β_n ＞ 1 とする。
このとき、各 i ≧ 0 で a_i = b_i α_n = β_n である。
証明 α = [a_0, . . . , a_(n-1), α_n] とおく。
α = a_0 + 1/[a_1, . . . , a_(n-1), α_n] で [a_1, . . . , a_(n-1), α_n] ＞ 1 である。 よって a_0 ＜ α ＜ a_0 + 1 同様に b_0 ＜ α ＜ b_0 + 1 よって a= 0 = b_0 である。 よって [a_1, . . . , a_(n-1), α_n] = [b_1, . . . , b_(n-1), β_n]
これを続けて(正確には帰納法を使って)、 各 i ≧ 0 で a_i = b_i となる。 よって α_n = β_n となる。 証明終
77 ：Kummer ◆g2BU0D6YN2 ：2007/04/01(日) 17:06:52
命題
数列 {k_n}, n = 0, 1, . . . が与えられ、
各 k_i が有理整数で i ≧ 1 のとき k_i ≧ 1 とする。
無限連分数(>>75) [k_0, k_1, . . .] を α とおく。 任意の n ≧ 1 に対して α_n = [k_n, k_(n+), . . . ] とおく。
このとき α = [k_0, . . . , k_(n-1), α_n] である。
証明 α = lim(m → ∞) [k_0, . . . , k_(n+m)] である。
β_(n, m) = [k_n, . . . , k_(n+m)] とおくと、 [k_0, . . . , k_(n+m)] = [k_0, . . . , k_(n-1), β_(n, m)]
よって α = [k_0, . . . , k_(n+m), lim(m → ∞) β_(n, m)] である。
lim(m → ∞) β_(n, m) = α_n だから α = [k_0, . . . , k_(n-1), α_n] である。 証明終
78 ：Kummer ◆g2BU0D6YN2 ：2007/04/01(日) 17:23:44
命題
数列 {k_n}, n = 0, 1, . . . が与えられ、
各 k_i が有理整数で i ≧ 1 のとき k_i ≧ 1 とする。
α = [k_0, k_1, . . .] とおく。
任意の n ≧ 1 に対して α = [b_0, . . . , b_(n-1), β] を α の部分連分数展開とする。 つまり、各 b_i が有理整数で i ≧ 1 のとき b_i ≧ 1 で β ＞ 1 である。
このとき、0 ≦ i ＜ n のとき k_i = b_i であり、 β = [k_n, k_(n+1), . . . ] である。
証明 α_n = [k_n, k_(n+1), . . . ] とおく。 >>77 より α = [k_0, . . . , k_(n-1), α_n] である。 α_n ＞ k_n だから α_n ＞ 1 である。
よって >>76 から 0 ≦ i ＜ n のとき k_i = b_i であり、 α_n = β である。 証明終
79 ：Kummer ◆g2BU0D6YN2 ：2007/04/01(日) 18:35:13
命題 α を実無理数として、 α = [a_0, . . . , a_n, β] とする。
各 a_i は有理整数で i ≧ 1 のとき a_i ≧ 1 で β ＞ 1 である。
p_n = P(a_0, a_1, ... , a_n) q_n = P(a_1, ... , a_n) とおく。 ここで、P(a_0, a_1, ... , a_n) は >>44 で定義された多項式である。
このとき α - p_n/q_n = (-1)^n/q_n(q_nβ + q_(n-1)) である。
証明 >>43 より α = (p_nβ + p_(n-1))/(q_nβ + q_(n-1))
p_n/q_n - α = p_n/q_n - (p_nβ + p_(n-1))/(q_nβ + q_(n-1)) = (p_nq_(n-1) - p(n-1)q_n)/q_n(q_nβ + q_(n-1)) = (-1)^(n+1)/q_n(q_nβ + q_(n-1))
よって α - p_n/q_n = (-1)^n/q_n(q_nβ + q_(n-1)) 証明終
80 ：Kummer ◆g2BU0D6YN2 ：2007/04/01(日) 18:50:16
命題 α を実無理数として、任意の n ≧ 1 に対して α = [a_0, . . . , a_n, α_(n+1)] とする。 各 a_i は有理整数で i ≧ 1 のとき a_i ≧ 1 で α_(n+1) ＞ 1 である。
p_n = P(a_0, a_1, ... , a_n) q_n = P(a_1, ... , a_n) とおく。 ここで、P(a_0, a_1, ... , a_n) は >>44 で定義された多項式である。
このとき |α - p_n/q_n| ＜ 1/q_n/q_(n+1) である。
証明 >>79 より |α - p_n/q_n | = 1/q_n(q_nα_(n+1) + q_(n-1)) である。
α_(n+1) ＞ a_(n+1) だから
|α - p_n/q_n | ＜ 1/q_n(q_na_(n+1) + q_(n-1))
>>44 より q_(n+1) = q_na_(n+1) + q_(n-1)
よって |α - p_n/q_n | ＜ 1/q_nq_(n+1) 証明終
81 ：Kummer ◆g2BU0D6YN2 ：2007/04/01(日) 19:02:00
>>80 より
lim p_n/q_n = α となる。
>>61 より p_n/q_n = [a_0, . . . , a_n] だから α = [a_0, a_1, . . . ] である。
つまり、任意の実無理数は無限連分数に展開される。 >>77, >>78 よりこの展開は一意である。
82 ：１３２人目の素数さん：2007/04/02(月) 12:00:00
3
83 ：１３２人目の素数さん：2007/04/02(月) 12:01:00
2
84 ：１３２人目の素数さん：2007/04/02(月) 12:02:00
1
85 ：１３２人目の素数さん：2007/04/02(月) 12:03:00
0
