前回の記事の続きです.box-white.hatenablog.com半球状の計量スプーンの二等分問題を考えました.今回は一般化して等分の問題を考えてみましょう.前回と同じように球の半径を,求める深さをとすると が成り立ちます.これを整理してと正規化すると となります.…

次のような問題を考えましょう.問題「半球状の計量スプーンがある.これに砂糖を擦切りいっぱいで入れる.この砂糖を半分捨て残った半分を平らに均して,砂糖の作る平面が球の切断面と平行になるようにする.このとき砂糖の深さはいくらか?」私はこの問題がロー…

前回までの記事で box-white.hatenablog.com box-white.hatenablog.com box-white.hatenablog.com 個性的な方法(円周の一点から放射状に切る)でケーキを三等分することを考えてきました.今回は一般の自然数に対して等分することを考えます.結論を先に言うと,…

ケーキを三等分するときに用いる「はんじょう角」に新しい性質が見つかったので投稿します.box-white.hatenablog.combox-white.hatenablog.com「はんじょう角」をとすると,という性質がありました.今回紹介するのは次の定理です.定理 「はんじょう角」は円周…

前回の記事 box-white.hatenablog.com ではんじょうさんのケーキ三等分問題はロープを使えば解決できることを示しました.今回は別の方法でケーキを三等分することを考えます.その前にはんじょうさんのようにケーキを三等分するときの角度を「はんじょう角」…

です.連続する整数がこのような関係にあるだけで面白いといえるのですが,今回はここから発展させて新しい等式を導いていきましょう.目標はです.第一の式を書き変えて,とします.の方程式 を考えていきます.の係数はどちらもよりとなります.よってこの方程式は…

皆さんはゲーム実況者として活躍されている「はんじょう」という方をご存じでしょうか.彼はある日の配信でケーキを次のように三等分することを提案しました.hanjou1このように三等分するには,角を上手に定める必要があります.今回私はロープを使えばこの三等…

前回の記事の続きです. box-white.hatenablog.com前回の記事で次のような問題が提示されました. 問3:イデアルの生成元を適切に選んで,仮想次元に整合的にすることはできるか?答えは簡単で被約グレブナー基底をつくれば,そのような仮想次元をすべて求めること…

グレブナー基底の教科書[1]の中にある次の記述が気になりました.p144 イデアルを三つの多項式で生成されるイデアルとする.このときの被約グレブナー基底のうちにはが含まれる.残念ながらこの元の論文にアクセスすることはできませんでした.そこでこの記述の…

今回の記事は個人的メモみたいなものです.のイデアルの基底を求める.このとき生成元が二つあるからと言ってこれ自体がイデアルの基底になるわけではない.box-white.hatenablog.com で説明した方法で基底を求める.整数環の整基底はなので,これをにそれぞれ乗…

前回の記事 box-white.hatenablog.com での正の根の無限級数を求めました.ここでは別角度から問題に迫ってみましょう.アダマールの因数分解定理を既知とします.まず,次の二つの補題を証明します.補題1 複素変数の方程式の解は実軸の上にしかない. 証明:を指…

前回の記事 box-white.hatenablog.com での根の無限級数の値を求めました.今回はこの続きとして一般的な級数の値を求める方法を考えます.まずと置きます.ここではの任意の正の根です. となって部分積分の公式から となります. を用いてもう一度部分積分の公…

今日はスツルムーリウヴィル型微分方程式を応用して次のような公式を導きます.公式 の正の根をで表すと 早速証明していきましょう.スツルムーリウヴィル型微分方程式とはなる実数値連続関数が与えられたとき次のような微分方程式を指します. ここでは未定の…

今回は新しい定理を提案してくれるようなプログラムを考えてみました.実際に部分的に作ってみました.そこでなんだかよくわからない結果を得られたので投棄しておきます.(今回の内容はトンデモ成分が多めです.)数学の定理は複数の定理を組み合わせることで生…

前回の記事 box-white.hatenablog.com でヒルベルトがイデアルを導入したことに触れました.今回は次のような問題を考えたいと思います.問題:与えられたイデアルが単項イデアルかどうか判定する方法を編み出せ.イデアルが単項イデアルかどうかは類数の決定な…

ヒルベルトは次にイデアルを定義します.「体の無限個の代数的整数の集合が,任意の線形結合が再びその集合に属するという性質を持つとき,この集合をイデアルという.ここでは体の代数的整数である.」イデアルには基底が存在することが定理6の内容です.「定理6:…

ガウス整数論の以前の記事で次のような計算をしました.box-white.hatenablog.com とするとき が得られる. （前回の記事とは文字を変えています.など.）私はこの等式をグレブナー基底を用いて確認しようとしました.つまり と置き,多項式イデアルをで定義し,グ…

平面上四つのベクトルで作られる平行四辺形の面積を求めて行きます.この平行四辺形をと表すことにします.とすると平行四辺形の面積はとなります.これを示していきましょう.実数に対して平行四辺形を平行四辺形に変える二つの変換を考えます. 定理1:二つの変…

整基底を求める問題で共役数を用いる方法を解説してきました.今回はの根を有理数体に添加した体の整基底を求めて行きます.の三つの根をと置く.よりは体の生成元である.判別式が有理数の平方なので,この拡大はガロア拡大である.従って別の根をの有理式で表現…

前回の記事での整基底を求めようとしていました.そこで形式 の数,ただしは有理整数,の中でどの数が整数になるかを決定しようとしていました.そしてこの形式であらわされる数をで表記すると,が整数でないことを共役数をとる議論で示しました.今回はこの続きで…

定理5は整基底の存在定理でした.この証明を読むとを体の生成元,を体の次元,を判別式,を整基底とすると 各は と表現されることが分かります.ここでは有理整数です.今回はこの定理を愚直に用いて具体的な体の整基底を決定してみます.例:として体の整基底を決定…

ガウス整数論はいい本です.しかしその計算を自分で確かめようとすると,多大な労力が必要になります.例えば162条において次のような計算がなされます. とするとき となる.ここで同じ文字を二度繰り返しているのは二乗を表しています.実際にはこのような計算が…

セクション3に入ります.タイトルは「数のノルム,Differente,判別式,体の基底」となっています.代数的数のノルムを共役数との積で定義します.の共役数を としたときノルムは と定義されます.次にDifferenteというものを定義します.高木貞治先生の「代数的整数…

続いて代数的整数の定義がなされます.代数的数が代数的整数,もしくは整数であるとは,以下の形式 ,ここでは有理整数,を満足することである.具体例:は代数的整数である.なぜならからとなり となるから.これに続いて三つの定理が示されます.定理2:任意の整数整…

を奇素数とするとき,円分多項式は整数多項式として既約です.これはアイゼンシュタインの既約判定法を使って証明するのが一般的です.今日はクロネッカーによる既約性の証明を紹介します.をの乗根とすると,円分多項式はを根に持ちます.次の補題を証明します.補…