代数的整数論 005

1 名前：１３２人目の素数さん [2007/03/16(金) 07:45:20 ] Kummer ◆g2BU0D6YN2氏が代数的整数論を語るスレです。 前スレ science6.2ch.net/test/read.cgi/math/1164286624/ 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 名前：１３２人目の素数さん mailto:sage [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 名前：１３２人目の素数さん mailto:sage [2007/03/29(木) 22:26:36 ] >>42 容量オーバーじゃありませんでしたか?後で確認してみますけど 47 名前：Kummer ◆g2BU0D6YN2 [2007/03/29(木) 22:37:06 ] >>46 容量の点では過去スレ003のほうが大きいです。 と言ってもほとんど違いはないですが。 プレーンテキストとしてコピーしたものでは003が約380ＫＢで 004が370ＫＢです。 48 名前：１３２人目の素数さん mailto:sage [2007/03/29(木) 23:38:48 ] 004は500KBいってたよ。 49 名前：Kummer ◆g2BU0D6YN2 [2007/03/29(木) 23:44:20 ] >>48 004をプレーンテキストにコピーしたのはjaneを使ったからサイズが小さくなったかも しれませんね。003はIEでコピーしました。 ５００ＫＢ超えるとどうなるんですか？ 50 名前：１３２人目の素数さん mailto:sage [2007/03/29(木) 23:46:55 ] >>49 512kBぐらいで落ちるはず。 ２ｃｈの書き込みはURLを書けば自動的にリンクされたり、 名前欄をクリックしたらメールが起動するなどいろいろ細工してあるから、 プレーンテキストより実際の容量は大きい。 51 名前：Kummer ◆g2BU0D6YN2 [2007/03/29(木) 23:52:24 ] 落ちると、もう見れないんですか？ 52 名前：１３２人目の素数さん mailto:sage [2007/03/30(金) 00:26:26 ] 500KBを超えると書き込めなくなる。 専ブラならログ残ってれば見れるし、 datファイルをhtml化して見せることも出来る、のかな。 詳しいことは分かりません。 53 名前：１３２人目の素数さん [2007/03/30(金) 00:56:35 ] #003なら mimizun.com/search/perl/dattohtml.pl?http://mimizun.com:81/log/2ch/math/science4.2ch.net/math/kako/1141/11410/1141019088.dat にあるがな 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 がありますね。 www.2chsearch.info/index.php?b=math&d=1164286624 55 名前：１３２人目の素数さん mailto:sage [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 名前：１３２人目の素数さん mailto:sage [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 名前：１３２人目の素数さん mailto:sage [2007/04/02(月) 12:00:00 ] 3 83 名前：１３２人目の素数さん mailto:sage [2007/04/02(月) 12:01:00 ] 2 84 名前：１３２人目の素数さん mailto:sage [2007/04/02(月) 12:02:00 ] 1 85 名前：１３２人目の素数さん mailto:sage [2007/04/02(月) 12:03:00 ] 0 86 名前：１３２人目の素数さん mailto:sage [2007/04/02(月) 12:04:00 ] -1 87 名前：１３２人目の素数さん mailto:sage [2007/04/02(月) 12:05:00 ] -2 88 名前：Kummer ◆g2BU0D6YN2 [2007/04/02(月) 21:43:43 ] √2 の連分数展開を求めてみる(展開の方法は >>41 参照)。 √2 = 1 + (√2 - 1) 1/(√2 - 1) = √2 + 1 = 2 + (√2 - 1) よって √2 = [1, 2, 2, . . . ] 同様に √3 = 1 + (√3 - 1) 1/(√3 - 1) = (√3 + 1)/2 = 1 + (√3 - 1)/2 2/(√3 - 1) = √3 + 1 = 2 + (√3 - 1) よって √3 = [1, 1, 2, 1, 2, . . . ] √5 = 2 + (√5 - 2) 1/(√5 - 2) = √5 + 2 = 4 + (√5 - 2) √5 = [2, 4, 4, 4. . . ] √7 = 2 + (√7 - 2) 1/(√7 - 2) = (√7 + 2)/3 = 1 + (√7 - 1)/3 3/(√7 - 1) = (√7 + 1)/2 = 1 + (√7 - 1)/2 2/(√7 - 1) = (√7 + 1)/3 = 1 + (√7 - 2)/3 3/(√7 - 2) = √7 + 2 = 4 + (√7 - 2) √7 = [2, 1, 1, 1, 4, 1, 1, 1, 4, . . . ] 89 名前：Kummer ◆g2BU0D6YN2 [2007/04/02(月) 22:37:17 ] 命題 k ≧ 1 と c ≧ 1 を有理整数で c は 2k の約数とする。 このとき、 √(k^2 + c) = [k, 2k/c, 2k, 2k/c, 2k, . . ,] 証明 0 ＜ c ＜ 2k + 1 だから k ＜ √(k^2 + c) ＜ k + 1 よって √(k^2 + c) = k + (√(k^2 + c) - k) k ＜ √(k^2 + c) ＜ k + 1 より 2k ＜ √(k^2 + c) + k ＜ 2k + 1 よって 1/(√(k^2 + c) - k) = (√(k^2 + c) + k)/c = 2k/c + (√(k^2 + c) - k)/c c/(√(k^2 + c) - k) = √(k^2 + c) + k = 2k + (√(k^2 + c) - k) 以上から √(k^2 + c) = [k, 2k/c, 2k, 2k/c, 2k, . . ,] 証明終 90 名前：Kummer ◆g2BU0D6YN2 [2007/04/02(月) 22:47:44 ] >>89 の簡単な応用例を挙げる。 k = 1, c = 1 √2 = [1, 2, 2, . . .] k = 2, c = 1 √5 = [2, 4, 4, , . . .] k = 2, c = 2 √6 = [2, 2, 4, 2, 4, . . .] k = 3, c = 2 √11 = [3, 3, 6, 3, 6, . . .] 91 名前：Kummer ◆g2BU0D6YN2 [2007/04/03(火) 20:46:13 ] >>88 の例はすべて循環連分数である。 √3 = [1, 1, 2, 1, 2, . . . ] は 1, 2 が繰り替えされている。 1, 2 を循環節といい、その長さは２である。 √7 = [2, 1, 1, 1, 4, 1, 1, 1, 4, . . . ] の循環節は 1, 1, 1, 4 であり、その長さは４である。 以上から循環連分数の定義は明らかだろうが正式には次のように定義する。 無限単純連分数 [k_0, k_1, . . . ] において n ≧ 0 と r ≧ 1 があり、i ≧ n のとき常に k_(i + r) = k_i となるとき これを循環連分数と呼ぶ。 k_n, . . . , k_(n + r -1) を循環節といい、r をその長さという。 n = 0 のとき純循環であるという。 92 名前：Kummer ◆g2BU0D6YN2 [2007/04/03(火) 21:06:34 ] α = [k_0, k_1, . . . ] が循環連分数で k_n, . . . , k_(n + r -1) を 循環節に持つとする。 ここで、n ≧ 1 とし、 [k_0, k_1, . . . ] = [k_0, . . . , k_(n-1), β] とする。 ここで β = [k_n, k_(n+1), . . . ] である(>>77)。 このとき α = (p_(n-1)β + p_(n-2))/(q_(n-1)β + q_(n-2)) である(>>43, >>56)。 さらに β は純循環である。 よって循環連分数を調べるには純循環の場合が基本的である。 93 名前：Kummer ◆g2BU0D6YN2 [2007/04/03(火) 22:20:25 ] α = [k_0, k_0, . . . ] が長さ１の純循環とする。 k_0 ≧ 1 に注意する。 α = [k_0, α] である。 つまり、α = k_0 + 1/α である。 よって α^2 - k_0α - 1 = 0 よって α は２次の無理数である。 さらに α ＞ k_0 ≧ 1 である。 f(x) = x^2 - k_0x - 1 とおくと、 f(0) = -1 f(-1) = 1 + k_0 - 1 = k_0 ≧ 1 よって f(x) の α 意外の根 β は -1 ＜ β ＜ 0 となる。 94 名前：Kummer ◆g2BU0D6YN2 [2007/04/05(木) 17:29:03 ] r ≧ 2 とし、 α = [k_0, . . . , k_(r-1), . . . ] が長さ r の純循環(>>92)とする。 したがって, k_0 ≧ 1 である。 >>93 より α = (p_(r-1)α + p_(r-2))/(q_(r-1)α + q_(r-2)) ここで、q_0 = 1 とする。 α(q_(r-1)α + q_(r-2) = p_(r-1)α + p_(r-2) q_(r-1)α^2 + (q_(r-2) - p_(r-1))α - p_(r-2) = 0 よって α は２次の無理数である。 f(x) = q_(r-1)x^2 + (q_(r-2) - p_(r-1))x - p_(r-2) とおく。 f(0) = -p_(r-2) ＜ 0 f(-1) = q_(r-1) - q_(r-2) + p_(r-1) - p_(r-2) >>44 より r ≧ 3 のとき q_(r-1) = q_(r-2)k_(r-1) + q_(r-3) q_(r-1) - q_(r-2) = (k_(r-1) - 1)q_(r-2) + q_(r-3) ≧ q_(r-3) ＞ 0 r = 2 なら q_(r-1) - q_(r-2) = q_1 - q_0 = k_1 - 1 ≧ 0 r ≧ 3 のとき p_(r-1) = p_(r-2)k_(r-1) + p_(r-3) p_(r-1) - p_(r-2) = (k_(r-1) - 1)p_(r-2) + p_(r-3) ≧ p_(r-3) ＞ 0 r = 2 なら p_(r-1) - p_(r-2) = p_1 - p_0 = k_0k_1 + 1 - k_0 ≧ (k_1 - 1)k_0 + 1 ＞ 0 以上から f(-1) = q_(r-1) - q_(r-2) + p_(r-1) - p_(r-2) ＞ 0 よって α の共役 β は -1 ＜ β ＜ 0 である。 95 名前：Kummer ◆g2BU0D6YN2 [2007/04/05(木) 17:48:29 ] ２次の実無理数 α とその共役 β に対して α ＞ 1, -1 ＜ β ＜ 0 となるとき α を簡約された２次無理数という。 96 名前：Kummer ◆g2BU0D6YN2 [2007/04/05(木) 18:02:19 ] >>93 と >>94 より次の命題が得られる。 命題 純循環連分数は簡約された２次無理数である。 97 名前：Kummer ◆g2BU0D6YN2 [2007/04/05(木) 22:33:04 ] 補題 α を簡約された２次無理数とし、k = [α] で k ≧ 1 とする。 ω = 1/(α - k) とおく。 つまり α = k + 1/ω である。 このとき ω も簡約された２次無理数である。 証明 過去スレ４の286より ω も２次無理数である。 よって α' を α の共役とすると ω' = 1/(α' - k) は ω の共役である。 0 ＜ α - k ＜ 1 だから ω ＞ 1 である。 -1 ＜ α' ＜ 0 だから -1 - k ＜ α' - k k - α' ＞ 1 + k よって 1/(k - α') ＜ 1/(1 + k) ＜ 1 よって -1 ＜ 1/(α' - k) ＜ 0 ω' = 1/(α' - k) だから ω は簡約された２次無理数である。 証明終 98 名前：Kummer ◆g2BU0D6YN2 [2007/04/05(木) 22:47:36 ] >>97 >α を簡約された２次無理数とし、k = [α] で k ≧ 1 とする。 α ＞ 1 だから k ≧ 1 は自動的に満たされるので、この条件は不要であった。 99 名前：Kummer ◆g2BU0D6YN2 [2007/04/07(土) 13:40:14 ] α を簡約された２次無理数とする。 α を連分数に展開して、 α = [k_0, k_1, . . . ] とする。 n ≧ 0 に対して α_n = [k_n, k_(n+1), . . . ] とおく。 >>77 より α = [k_0, . . . , k_(n-1), α_n] である。 同じく >>77 より α_n = [k_n, k_(n+1), . . . ] = [k_n, α_(n+1)] だから α_n = k_n + 1/α_(n+1) である。 よって >>97 と n に関する帰納法により各 α_n は 簡約された２次無理数である。 α = (p_(n-1)α_n + p_(n-2))/(q_(n-1)α_n + q_(n-2)) で p_(n-1)q_(n-2) - q_(n-1)p_(n-2) = (-1)^n である(>>43, >>44, >>57)。 過去スレ４の286 より α と α_n は同じ判別式(過去スレ４の276) をもつ。 これに関連して次の命題が成り立つ。 100 名前：Kummer ◆g2BU0D6YN2 [2007/04/07(土) 14:37:53 ] 命題 同じ判別式 D を持つ簡略された２次無理数の個数は有限である。 証明 α を判別式 D の簡約された２次無理数とする。 α は ax^2 + bx + c の根とする。 ここで a, b, c は有理整数で a ＞ 0, gcd(a, b, c) = 1 D = b^2 - 4ac である。 β を α の共役とする。 α は簡約された２次無理数だから >>95 より α ＞ 1, -1 ＜ β ＜ 0 である。 よって α + β ＞ 0 αβ ＜ 0 である。 ax^2 + bx + c = a(x - α)(x - β) だから b = -a(α + β) c = aαβ である。 よって b ＜ 0, c ＜ 0 となる。 よって D = b^2 + 4|ac| よって b^2 ＜ D だから b の取りうる値は有限個である。 4|ac| = D - b^2 だから a, c の取りうる値も有限個である。 証明終 101 名前：Kummer ◆g2BU0D6YN2 [2007/04/07(土) 15:05:11 ] 命題 簡略された２次無理数は純循環連分数に展開される。 証明 α を判別式 D の簡約された２次無理数とする。 α を連分数に展開して、 α = [k_0, k_1, . . . ] とする。 n ≧ 0 に対して α_n = [k_n, k_(n+1), . . . ] とおく。 >>99 より各 α_n は判別式 D の簡約された２次無理数である。 >>100 より相異なる α_n の個数は有限である。 よって α_n = α_m となる n ＜ m がある。 n ＞ 0 なら α_(n-1) = k_(n-1) + 1/α_n α_(m-1) = k_(m-1) + 1/α_m よって α_(n-1) - α_(m-1) = k_(n-1) - k_(m-1) よって α'_(n-1) - α'_(m-1) = k_(n-1) - k_(m-1) ここで α'_(n-1), α'_(m-1) はそれぞれ α_(n-1) と α_(m-1) の 共役である。 各 α_n は簡約された２次無理数だから -1 ＜ α'_(n-1) ＜ 0 -1 ＜ α'_(m-1) ＜ 0 よって |α'_(n-1) - α'_(m-1)| = |k_(n-1) - k_(m-1)| ＜ 1 k_(n-1) - k_(m-1) は有理整数だから 0 である。 よって α'_(n-1) = α'_(m-1) となる。 よって α_(n-1) = α_(m-1) である。 以上を繰り返せば α_0 = α_(m-n) となる。 よって α は純循環連分数に展開される。 証明終 102 名前：Kummer ◆g2BU0D6YN2 [2007/04/07(土) 17:52:04 ] 補題 α を２次無理数とする。 p, q, r, s を有理数で、ps - qr ≠ 0 とする。 α = (pβ + r)/(qβ + s) とする。 つまり、β = (sα - r)/(-qα + p) とおく。 このとき β も２次無理数であり、 α' = (pβ' + r)/(qβ' + s) である。 ここで α' と β' はそれぞれ α と β の共役である。 証明 Q(α) は２次体である。σ ≠ 1 を Q(α) の自己同型とする。 σ(α) = α' である。 β ∈ Q(α) で β は有理数でないから β は２次無理数である。 α = (pβ + r)/(qβ + s) より σ(α) = (pσ(β) + r)/(qσ(β) + s) σ(β) = β' だから α' = (pβ' + r)/(qβ' + s) である。 証明終 103 名前：Kummer ◆g2BU0D6YN2 [2007/04/07(土) 18:05:37 ] 命題 α を２次の実無理数とする。 α を連分数に展開して、 α = [k_0, k_1, . . . ] とする。 n ≧ 0 に対して α_n = [k_n, k_(n+1), . . . ] とおく。 このとき、ある n_0 ≧ 0 があり n ≧ n_0 なら常に α_n は簡約された ２次無理数である。 証明 >>99 と同様にして、 α = (p_(n-1)α_n + p_(n-2))/(q_(n-1)α_n + q_(n-2)) である。 よって >>102 より β = (p_(n-1)β_n + p_(n-2))/(q_(n-1)β_n + q_(n-2)) となる。 ここで、β と β_n は α と α_n のそれぞれ共役である。 β_n = (q_(n-2)β - p_(n-2))/(-q_(n-1)β + p_(n-1)) 右辺の分子と分母をそれぞれ変形すると q_(n-2)β - p_(n-2) = q_(n-2)(β - p_(n-2)/q_(n-2)) -q_(n-1)β + p_(n-1) = -q_(n-1)(β - p_(n-1)/q_(n-1)) となる。 よって β_n = -(q_(n-2)/q_(n-1))(β - p_(n-2)/q_(n-2))/(β - p_(n-1)/q_(n-1)) (続く) 104 名前：Kummer ◆g2BU0D6YN2 [2007/04/07(土) 18:21:43 ] >>103 の続き。 >>80 より n → ∞ のとき p_(n-2)/q_(n-2) → α p_(n-1)/q_(n-1) → α よって (β - p_(n-2)/q_(n-2))/(β - p_(n-1)/q_(n-1)) → (β - α)/(β - α) = 1 (q_(n-2)/q_(n-1)) ＞ 0 だから 十分大きい n に対して β_n ＜ 0 α_n = k_n + 1/α_(n+1) よって >>102 より β_n = k_n + 1/β_(n+1) よって β_(n+1) = 1/(β_n - k_n) |β_n - k_n| ＞ 1 だから -1 ＜ β_(n+1) ＜ 0 α_(n+1) ＞ 1 だから α_(n+1) は簡約された２次無理数である。 >>97 より m ≧ n + 1 なら α_m も簡約された２次無理数である。 証明終 105 名前：Kummer ◆g2BU0D6YN2 [2007/04/07(土) 18:26:27 ] 定理(Lagrange) ２次の実無理数は循環連分数に展開される。 証明 >>101 と >>103 より明らかである。 106 名前：Kummer ◆g2BU0D6YN2 [2007/04/07(土) 19:16:18 ] >>97 >ω' = 1/(α' - k) は ω の共役である。 これは >>102 から出る。 従って、>>102 は >>97 の前に出したほうが良かった。 107 名前：Kummer ◆g2BU0D6YN2 [2007/04/08(日) 01:21:03 ] 補題 t ≠ 0 を有理数とする。 t を有限単純連分数(>>69)に展開して t = [k_0, . . . , k_(n-1)] とするとき、項数 n を偶数または奇数の どちらにも出来る。 証明 t = [k_0, . . . , k_(n-1)] において n = 1 のとき 即ち t = [k_0] のときは t = [k_0 - 1, 1] でもある。 よって n ≧ 2 と仮定してよい。 k_(n-1) = 1 なら [k_0, . . . , k_(n-1)] = [k_0, . . . , k_(n-2) + 1] k_(n-1) ＞ 1 なら [k_0, . . . , k_(n-1)] = [k_0, . . . , k_(n-1) - 1, 1] いずれの場合も、項数を偶数または奇数のどちらにも出来る。 証明終 108 名前：１３２人目の素数さん mailto:sage [2007/04/08(日) 02:00:48 ] 虚二次体と類数について教えて下さい 109 名前：Kummer ◆g2BU0D6YN2 [2007/04/08(日) 02:14:37 ] >>108 過去スレ４ に書いてあります。 過去スレ４は >>54 のリンク先で見れます。 そこはいつまで見れるかわからないのでパソコンに保存しておいたほうがよいです。 虚二次体とその類数についてさらに詳しいことはこの後にやる予定。 110 名前：Kummer ◆g2BU0D6YN2 [2007/04/08(日) 10:33:01 ] 補題 β ＞ 1 を実無理数とする。 α = (aβ + b)/(cβ + d) とする。 ここで a, b, c, d は有理整数で ad - bc = ±1 であり、 c ＞ d ＞ 0 である。 このときある n ≧ 1 があり、 α = [k_0, . . . , k_(n-1), β] となる。 ここで、各 k_i は有理整数で i ≧ 1 のとき k_i ≧ 1 である。 証明 a/c を単純連分数(>>69)に展開して a/c = [k_0, . . . , k_(n-1)] とする。 >>107 より ad - bc = (-)^n と仮定してよい。 >>61 より [k_0, k_1, . . . , k_(n-1)] = p_(n-1)/q_(n-1) である。 ここで p_(n-1) = P(k_0, k_1, ... , k_(n-1)) q_(n-1) = P(k_1, ... , k_(n-1)) とおいた。 (続く) 111 名前：Kummer ◆g2BU0D6YN2 [2007/04/08(日) 10:36:21 ] >>110 の続き。 ad - bc = (-)^n だから gcd(a, c) = 1 >>57 より p_(n-1)q_(n-2) - q_(n-1)p_(n-2) = (-1)^n よって gcd(p_(n-1), q_(n-1)) = 1 a/c = p_(n-1)/q_(n-1) で c ＞ 0, q_(n-1) ＞ 0 だから a = p_(n-1) c = q_(n-1) よって aq_(n-2) - cp_(n-2) = ad - bc a(d - q_(n-2)) = c(b - p_(n-2)) gcd(a, c) = 1 だから d ≡ q_(n-2) (mod c) c ＞ d ＞ 0 c = q_(n-1) ≧ q_(n-2) ＞ 0 よって |d - q_(n-2)| ＜ c d ≡ q_(n-2) (mod c) より d = q_(n-2) よって b = p_(n-2) α = (aβ + b)/(cβ + d) = (p_(n-1)β + p_(n-2))/(q_(n-1)β + q_(n-2)) = [k_0, . . . ,k_(n-1), β] 証明終 112 名前：Kummer ◆g2BU0D6YN2 [2007/04/08(日) 16:33:36 ] 命題 β を実無理数とする。 α = (aβ + b)/(cβ + d) とする。 ここで a, b, c, d は有理整数で ad - bc = ±1 である。 このとき、ある実無理数 ω と n ≧ 1, m ≧ 1 があり、 α = [k_0, . . . , k_(n-1), ω] β = [h_0, . . . , h_(m-1), ω] となる。 ここで、各 k_i は有理整数で i ≧ 1 のとき k_i ≧ 1 であり、 各 h_i も有理整数で i ≧ 1 のとき h_i ≧ 1 である。 即ち、α と β を無限連分数に展開したとき、それぞれのある項から 先の展開は一致する。 証明 cβ + d ＜ 0 なら -cβ - d ＞ 0 で α = (-aβ - b)/(-cβ - d) だから cβ + d ＞ 0 と仮定してよい。 β を 無限連分数に展開して β = [h_0, h_1, . . . ] とする。 m ≧ 1 に対して ω_m = [h_m, h_(m+1), . . . ] とおく。 >>77 より β = [h_0, . . . , h_(m-1), ω_m] である。 >>99 と同様にして、 β = (p_(m-1)ω_m + p_(m-2))/(q_(m-1)ω_m + q_(m-2)) (続く) 113 名前：Kummer ◆g2BU0D6YN2 [2007/04/08(日) 16:36:26 ] >>112 の続き。 α = (aβ + b)/(cβ + d) より、 α = (Aω_m + B)/(Cω_m + d) ここで A = ap_(m-1) + bq_(m-1) B = ap_(m-2) + bq_(m-2) C = cp_(m-1) + dq_(m-1) D = cp_(m-2) + dq_(m-2) である。 C = cp_(m-1) + dq_(m-1) = q_(m-1)(cp_(m-1)/q_(m-1) + d) m → ∞ のとき p_(m-1)/q_(m-1) → β だから cβ + d ＞ 0 より十分大きい m に対して C ＞ 0 である。 C = cp_(m-1) + dq_(m-1) = h_(m-1)(cp_(m-2) + dq_(m-2)) + cp_(m-3) + dq_(m-3) 上で述べたことより十分大きい m に対して cp_(m-3) + dq_(m-3) ＞ 0 である。 このとき C = cp_(m-1) + dq_(m-1) ＞ D = cp_(m-2) + dq_(m-2) よって >>110 より このときある n ≧ 1 があり、 α = [k_0, . . . , k_(n-1), ω_m] となる。 証明終 114 名前：Kummer ◆g2BU0D6YN2 [2007/04/08(日) 16:38:59 ] >>105 と >>112 の証明は高木の初等整数論講義を参考にした。 115 名前：１３２人目の素数さん [2007/04/08(日) 17:05:50 ] 名無しで自分の隔離病棟スレを立てているんだねｗ 116 名前：Kummer ◆g2BU0D6YN2 [2007/04/08(日) 17:37:25 ] >>112 の逆が成り立つことは明らかだろうが、一応証明する。 命題 α と β を実無理数とする。 ある実無理数 ω と n ≧ 1, m ≧ 1 があり、 α = [k_0, . . . , k_(n-1), ω] β = [h_0, . . . , h_(m-1), ω] となるとする。 ここで、各 k_i は有理整数で i ≧ 1 のとき k_i ≧ 1 であり、 各 h_i も有理整数で i ≧ 1 のとき h_i ≧ 1 である。 このとき、α = (aβ + b)/(cβ + d) となる。 ここで a, b, c, d は有理整数で ad - bc = ±1 である。 証明 α = [k_0, . . . , k_(n-1), ω] より α = (pω + r)/(qω + s) となる。 ここで p, r, q, s は有理整数で ps - qr = ±1 である。 よって A = (p, r)/(q, s) とおけば、A ∈ GL_2(Z) であり、 α = Aω となる。 同様に β = [h_0, . . . , h_(m-1), ω] より β = (p'ω + r')/(q'ω + s') となる。 ここで p', r', q', s' は有理整数で p's' - q'r' = ±1 である。 B = (p', r')/(q', s') とおけば、B ∈ GL_2(Z) であり、 β = Bω となる。 従って、α = Aω = AB^(-1)ω となり AB^(-1) ∈ GL_2(Z) である。 証明終 117 名前：Kummer ◆g2BU0D6YN2 [2007/04/08(日) 17:59:59 ] >>116 >従って、α = Aω = AB^(-1)ω となり 従って、α = Aω = AB^(-1)β となり 118 名前：β ◆aelgVCJ1hU [2007/04/08(日) 18:09:04 ] 呼んだか･･？ 119 名前：Kummer ◆g2BU0D6YN2 [2007/04/08(日) 19:46:47 ] >>112 >このとき、ある実無理数 ω と n ≧ 1, m ≧ 1 があり、 このとき、ある実無理数 ω ＞ 1 と n ≧ 1, m ≧ 1 があり、 120 名前：Kummer ◆g2BU0D6YN2 [2007/04/09(月) 22:34:11 ] 補題 θ を簡約された２次無理数とし、 θ = (pθ + q)/(rθ + s) とする。 ここで p, q, r, s は有理整数で ps - qr = ±1 である。 このとき (rθ + s)(rθ' + s) = ε である。 ここで θ' は θ の共役で ε = ps - qr = ±1 である。 証明 θ = (pθ + q)/(rθ + s) より、 θ(rθ + s) = pθ + q rθ^2 + (s - p)θ - q = 0 よって θ は rx^2 + (s - p)x - q の根である。 よって rx^2 + (s - p)x - q = r(x - θ)(x - θ') 従って r(θ + θ') = p - s rθθ' = -q (rθ + s)(rθ' + s) = r^2θθ' + rs(θ + θ') + s^2 = -qr + s(p - s) + s^2 = ps - qr = ε 証明終 121 名前：Kummer ◆g2BU0D6YN2 [2007/04/11(水) 12:51:05 ] >>120 証明からわかるように、θ は単に２次無理数であればよく、 簡約された２次無理数である必用はなかった。 122 名前：Kummer ◆g2BU0D6YN2 [2007/04/11(水) 15:16:24 ] 命題(高木の初等整数論講義) θ を簡約された２次無理数とし、 θ = (pθ + q)/(rθ + s) とする。 ここで p, q, r, s は有理整数で ps - qr = ±1 である。 さらに、rθ + s ＞ 1 とする。 このときある n ≧ 1 があり、 θ = [k_0, . . . , k_(n-1), θ] となる。 ここで、各 k_i は有理整数で i ≧ 1 のとき k_i ≧ 1 である。 証明 E = rθ + s, E' = rθ' + s とおく。 >>120 より EE' = ps - qr = ±1 である。 |EE'| = 1 で E ＞ 1 だから |E'| ＜ 1 したがって、E - E' ＞ 0 即ち r(θ - θ') ＞ 0 θ は簡約された２次無理数だから、θ ＞ 1, -1 ＜ θ' ＜ 0 である(>>95)。 よって、θ - θ' ＞ 0 だから r ＞ 0 である。 よって、rθ' + s ＞ -r + s EE' = 1 のとき E ＞ 1 より 1 ＞ E' ＞ 0 よって r + 1 ＞ r + E' 一方、上より E' ＞ -r + s だから r + E' ＞ s よって r + 1 ＞ s よって r ≧ s EE' = -1 のときは E ＞ 1 より 0 ＞ E' ＞ -1 よって r ＞ r + E' 一方 r + E' ＞ s だから r ＞ s (続く) 123 名前：Kummer ◆g2BU0D6YN2 [2007/04/11(水) 16:26:18 ] >>122 の続き。 EE' = 1 のとき E' ＞ 0 すなわち rθ' + s ＞ 0 だから s ＞ -rθ' ＞ 0 この場合 r ≧ s だったから r ＞ s なら >>110 より本命題は従う。 EE' = -1 のとき 0 ＞ E' ＞ -1 一方 r ＞ 0 で θ' ＜ 0 だから s ＞ rθ' + s よって s ＞ - 1 即ち s ≧ 0 である。 r ＞ s だったから s ＞ 0 ならやはり >>110 より本命題は従う。 残るのは EE' = 1 で r = s ＞ 0 の場合と EE' = -1 で r ＞ s = 0 の場合である。 EE' = 1 で r = s ＞ 0 なら、 pr - qr = 1 (p - q)r = 1 r ＞ 0 だから r = 1 よって q = p - 1 θ = (pθ + p - 1)/(θ + 1) = (p(θ + 1) - 1)/(θ + 1) = p - 1/(θ + 1) = p - 1 + 1 - 1/(θ + 1) = p - 1 + θ/(θ + 1) = p - 1 + 1/(1 + 1/θ) よって θ = [p - 1, 1, θ] となり、この場合も本命題は従う。 EE' = -1 で r ＞ s = 0 なら、 ps - qr = -qr = -1 よって qr = 1 r ＞ 0 だから r = q = 1 θ = (pθ + 1)/θ = p + 1/θ = [p, θ] よって、この場合も本命題は従う。 証明終 124 名前：Kummer ◆g2BU0D6YN2 [2007/04/11(水) 20:28:21 ] >>123 >よって q = p - 1 > >θ = (pθ + p - 1)/(θ + 1) = (p(θ + 1) - 1)/(θ + 1) >= p - 1/(θ + 1) = p - 1 + 1 - 1/(θ + 1) >= p - 1 + > >よって θ = [p - 1, 1, θ] となり、この場合も本命題は従う。 ここは高木のように以下のようにしたほうが良かった。 よって p = q + 1 θ = ((q + 1)θ + q)/(θ + 1) = q + θ/(θ + 1) = q + 1/(1 + 1/θ) よって θ = [q, 1, θ] となり、この場合も本命題は従う。 125 名前：１３２人目の素数さん [2007/04/12(木) 06:33:11 ] Thomas Pietraho. 126 名前：Kummer ◆g2BU0D6YN2 [2007/04/12(木) 12:41:15 ] θ を実２次無理数とする。 θ は２次多項式 ax^2 + bx + c の根である。 ここで a, b, c は有理整数で a ＞ 0, gcd(a, b, c) = 1 である。 a, b, c は θ により一意に決まる。 ２次方程式の根の公式よりθ = (-b ± √D)/2a である。 話を固定するため θ = (-b + √D)/2a と仮定する。 ここで D = b^2 - 4ac である。 D は θ の判別式である(過去スレ４の276)。 θ は実数と仮定したから D ＞ 0 である。 D = b^2 - 4ac だから D ≡ b^2 (mod 4) である。 0^2 ≡ 0 (mod 4) 1^2 ≡ 1 (mod 4) 2^2 ≡ 0 (mod 4) 3^2 ≡ 1 (mod 4) よって D ≡ 0 (mod 4) または D ≡ 1 (mod 4) である。 θ は無理数だから D は平方数でない。 従って、過去スレ４の586より D はある２次体 Q(√m) の整環 R = [1, fω] の判別式になる。 D = (f^2)d である。 ここで f は有理整数 f ＞ 0 であり d は Q(√m) の判別式である。 過去スレ４の587より I = [a, (-b + √D)/2] = [a, aθ] は R のイデアルである。 過去スレ４の592より I は可逆イデアルである。 127 名前：Kummer ◆g2BU0D6YN2 [2007/04/12(木) 20:56:36 ] θ を実２次無理数とする。 θ は２次多項式 ax^2 + bx + c の根である。 ここで a, b, c は有理整数で a ＞ 0, gcd(a, b, c) = 1 である。 a, b, c は θ により一意に決まる。 ２次方程式の根の公式よりθ = (-b ± √D)/2a である。 話を固定するため θ = (-b + √D)/2a と仮定する。 ここで D = b^2 - 4ac である。 D は θ の判別式である(過去スレ４の276)。 θ は実数と仮定したから D ＞ 0 である。 D = b^2 - 4ac だから D ≡ b^2 (mod 4) である。 0^2 ≡ 0 (mod 4) 1^2 ≡ 1 (mod 4) 2^2 ≡ 0 (mod 4) 3^2 ≡ 1 (mod 4) よって D ≡ 0 (mod 4) または D ≡ 1 (mod 4) である。 θ は無理数だから D は平方数でない。 従って、過去スレ４の586より D はある２次体 Q(√m) の整環 R = [1, fω] の判別式になる。 D = (f^2)d である。 ここで f は有理整数 f ＞ 0 であり d は Q(√m) の判別式である。 過去スレ４の587より I = [a, (-b + √D)/2] = [a, aθ] は R のイデアルである。 過去スレ４の592より I は可逆イデアルである。 128 名前：１３２人目の素数さん mailto: sage [2007/04/12(木) 21:04:02 ] Googleがking仕様になったぞ 早く見てみろ 129 名前：１３２人目の素数さん [2007/04/12(木) 21:07:46 ] ax^2 + bx + c＝０ の解はa,b,cの関数で、逆函数がある。 ２つの２次曲線の交点が解だと、逆函数は存在しない。 でも２次曲線のｘ切片が２個決まれば、その２点を通る２次曲線は 無限にある。 130 名前：Kummer ◆g2BU0D6YN2 [2007/04/13(金) 12:06:28 ] >>127 の続き。 (1) m ≡ 1 (mod 4) のとき ω = (1 + √m)/2 であり、d = m である(過去スレ３の768)。 D = (f^2)m より (-b + √D)/2 = (-b + f√m)/2 = (-b - f + f(1 + √m))/2 = -(b + f)/2 + fω D ≡ f^2 (mod 4) だから b^2 ≡ f^2 (mod 4) よって b^2 ≡ f^2 (mod 2) よって b ≡ f (mod 2) よって b + f ≡ 0 (mod 2) 即ち -(b + f)/2 は有理整数である。 (2) m ≡ 2 (mod 4) または m ≡ 3 (mod 4) のとき ω = √m であり、d = 4m である(過去スレ３の768)。 D = 4(f^2)m より (-b + √D)/2 = (-b + 2f√m)/2 = -b/2 + fω D ≡ 0 (mod 4) だから b^2 ≡ 0 (mod 4) よって b ≡ 0 (mod 2) 即ち -b/2 は有理整数である。 131 名前：Kummer ◆g2BU0D6YN2 [2007/04/13(金) 16:58:24 ] >>130 の続き。 I = [a, (-b + √D)/2] = [a, aθ] = [a, c + fω] である。 ここで、 m ≡ 1 (mod 4) のとき c = -(b + f)/2 m ≡ 2 (mod 4) または m ≡ 3 (mod 4) のとき c = -b/2 I = αI となる α ∈ Q(√m) があるとする。 過去スレ４の593より θ = (pθ + q)/(rθ + s) となる。 ここで p, q, r, s は有理整数で ps - qr = ±1 である。 逆に、ps - qr = ±1 となる有理整数 p, q, r, s があり、 θ = (pθ + q)/(rθ + s) とすると、過去スレ４の593より I = αI となる。 ここで、α = rθ' + s である。 I は可逆イデアルだから I = αI なら II^(-1) = αII^(-1) II^(-1) = R だから R = αR である。ここで R = [1, fω]。 よって αβ = 1 となる β ∈ R がある。 即ち α は R の単数である。 逆に α が R の単数なら αR = R だから I = RI = αRI = αI 132 名前：Kummer ◆g2BU0D6YN2 [2007/04/13(金) 17:02:38 ] 過去スレ４の590より R = {(x + y√D)/2 ; x ∈ Z, y ∈ Z, x ≡ yD (mod 2) } である。 従って、 D ≡ 0 (mod 4) のとき R = {(u + v√D)/2 ; u ∈ Z, v ∈ Z, u ≡ 0 (mod 2) } である。 D ≡ 1 (mod 4) のとき R = {(u + v√D)/2 ; u ∈ Z, v ∈ Z, u ≡ v (mod 2) } である。 α = (u + v√D)/2 が R の単数なら、 αα' = (u + v√D)/2 (u - v√D)/2 = (u^2 - Dv^2)/4 = ±1 逆に (u, v) が u^2 - Dv^2 = ±4 の有理整数解なら u^2 ≡ Dv^2 (mod 4) D ≡ 0 (mod 4) のとき u^2 ≡ 0 (mod 4) u ≡ 0 (mod 2) D ≡ 1 (mod 4) のとき u^2 ≡ v^2 (mod 4) u ≡ v (mod 2) よって、いずれの場合にも α = (u + v√D)/2 は R の元であり 従って R の単数である。

---

---

[ 続きを読む ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef