kawahara

代数的整数とは、最高次係数が
１である整数係数多項式の根と
なるような数のことです。
言い換えると、次のような形の
多項式の根です。

①　ｘ＾ｎ＋a１・ｘ＾（ｎ－１）＋
a２・ｘ＾（ｎ－２）＋・・・＋aｎ
（ai∈Z，１≦ i ≦ｎ）

たとえば√２はｘ＾２－２の根なので
代数的整数です。
１＋√３もｘ＾２－２ｘ－２の根なので
代数的整数ですが、１／２は
代数的整数ではありません。

代数

もっとみる

kawahara

2023年4月26日 01:04

ｎ個の変数
ｘ１，ｘ２，・・・，ｘｎ
についての多項式
Ｆ（ｘ１，ｘ２，・・・，ｘｎ）
が次の性質を満たすとき、
対称式であると言います。

性質：代入する値
ｘ１，ｘ２，・・・，ｘｎ
の順序を入れ替えても、
Ｆの形が変わらない。

言い換えると、
ｎ次対称群Ｓｎの元
（すなわち置換）σを任意に
とったとき、

F（ｘσ１，xσ２，・・・，ｘσｎ）
＝Ｆ（ｘ１，ｘ２，・・・，ｘｎ）

となるような

もっとみる

kawahara

2023年4月25日 13:09

フェルマーの最終定理の確率解析

フェルマーの最終定理（FLT）は
次のような命題です。

「ｎを３以上の自然数とするとき、
整数ｘ，ｙ，ｚが
ｘ＾ｎ＋ｙ＾ｎ＝ｚ＾ｎ
を満たすならばｘｙｚ＝０である」

言い換えれば、
いずれも０でない整数ｘ，ｙ，ｚで、
上の式を満たすものは
存在しないということです。

ｎが大きければ感覚的にもそうした
例がなかなか存在しないだろうと
予想されますが、小さい値なら
反例（すなわち非自明な整数解）

もっとみる

kawahara

2023年4月16日 00:50

整数解の数

０＜ｙ≦Ｎを満たす数ｙを
適当に選んだとき、ｙ周辺の数が
平方数である確率（割合）は
１／２√ｙの程度になります。
平方数ｙは
ｙ＝ｘ＾２（＝ｆ（ｘ））
と表されます。
ｆ´（ｘ）＝２ｘ
なので、ｙの周辺では平方数の
間隔が２ｘ＝２√ｙの程度に
開いています。
このことからｙ周辺の数が
平方数である割合は１／２√ｙの
程度であることがわかります。
これを確率モデルとして考えると
０＜ｙ≦Ｎの範囲に

もっとみる

kawahara

2022年3月1日 09:14

無限につながる魂

私たちは有限の存在です。
しかしその有限はきっと、無限なる何かにつながっています。

これはエネルギーのようなものです。
物が動くと運動エネルギーが生じます。
軽いものがゆっくり動くとき、そのエネルギーは小さいように見えます。
しかし相対性理論によると、物は存在しているだけで莫大なエネルギーを持っていて、
動くとそのエネルギーのゆらぎが表れてくる。
このゆらぎが運動エネルギーとして見えてきます。

もっとみる

kawahara

2021年10月8日 08:40

類体論 ―― 『代数的整数論』（河田敬義）の補足２

今回は５・１・２節（ｐ７２）です。

まず、次の命題を考えてみます。（原文ではa，AがそれぞれA，太字のAとなっています。すなわちａ→Ａ，Ａ→太字のＡです）

　　　＊＊＊＊＊

ｎ：正整数

Ｅ：１のｎ乗根の集合

ｋ：標数０の体で、Ｅの元をすべて含むもの（すなわちＥ⊂ｋ）

Ｋ／ｋ：（有限次とは限らない）ガロア拡大

Ｇ：Ｋ／ｋのガロア群。Ｇはアーベル群で、任意の元σ（∈Ｇ）がσ＾ｎ＝１を満た

もっとみる

kawahara

2021年9月29日 09:09

類体論 ――『代数的整数論』（河田敬義）の補足

類体論の証明本、『代数的整数論』（河田敬義）の分かりにくいところなどを補足していこうと思います。

今回は５章の定理５・１の証明（ｐ７１～７２）です。

分かりにくいのは次の命題です。

　　　＊＊＊＊＊

Ｋ／ｋを有限次ガロア拡大，そのガロア群をＧとおく。

［K：ｋ］＝ｎ（≧２）とすると

①　K＝ω１・ｋ⊕ω２・ｋ⊕……⊕ωｎ・ｋ　（ωi∈K）

となるような {ωi} がとれる。その上で、

もっとみる

kawahara

2020年12月4日 11:52

対話篇２

（承前）

Pは虚空に次のような文章を出現させた。

［［源の実在］Sに、無限個の［属性］が伴っている。各［属性］はそれぞれがオンリーワンの［独自性］を具えている。

また、各［属性］は［表現］を持っている。その［表現］がそれぞれの『自分』の、それぞれの『今』である。

すべての［表現］は［永遠の実在］であり、どの『自分』、どの『今』も常に存在し、消えることはない。

各［表現］の特質がそれぞれの

もっとみる

kawahara

2020年11月27日 09:03

コギト・エルゴ・スムを疑う対話篇

量子的揺らぎによって対発生した電子Eと陽電子Pの対話篇

E：　おお、目覚めだ。世界が見える。

P：　量子場の海から飛び出し、ようやく存在の世界にデビューだな。

E：　海にいるときはすべてを知っていたような気がするが、今はかすかな記憶の影がゆらめくのみだ。

P：　そもそもこの世界は本物なのか。あの海こそが実在だったのではないか。

E：　記憶の影の中に、デカルトという哲学者の情報が残っている

もっとみる

kawahara

2020年11月25日 13:16

無理辺五角形の分割不可能性

ずいぶん久しぶりの投稿になりました。

とりあえず、前回の問題の答えです。

答え：　存在しません。

証明は以下の動画にあります。（14:50あたりからです）

そろそろ街もクリスマスモードになってきました。

例年はハロウィンが終わるとすぐにクリスマスソングが流れてくるぐらいでしたが、今年はコロナのこともあってか、１１月下旬になってようやくシーズン到来という感じですね。

こちらのブログもまた

もっとみる

kawahara

2019年5月24日 11:24

無理辺五角形の分割

問題

すべての辺長が有理数であるようなｎ角形を有理辺ｎ角形，また無理数長の辺を含むｎ角形を無理辺ｎ角形と呼ぶことにします。

（凸とは限らない）無理辺五角形で、有限個の有理辺三角形に分割できるものは存在するでしょうか。

kawahara

2018年8月8日 09:56

謎な自由意志論

思い立って、カントの『実践理性批判』なる本を読んでいるのですが、そこに書かれている自由意志論がなかなかに謎ですｗ

当時は決定論的世界観が広まっていたこともあって、カントもすべてが自然の摂理（法則）によって決定している世界を想定しています。

にも関わらず私たちは自由である、とカントは言います。

一般的な意味での自由意志とは非決定な世界の中で、主体的に道を選んでいくことですが、これだと決定論とは

もっとみる

kawahara

2018年7月10日 10:37

フィクションを信じられること

仮に経済的に困窮し、あわや一家離散かというほど貧しい家庭があったとします。

幸運にもいろいろな人たちが援助してくれて、この苦境を乗り切ることができたなら、彼らは貧しくてもなんとかなるという人生観をもって生きていけるのではないかと思います。

あるいは、家族愛は貧しさに負けないという信念が得られるかもしれません。

実のところ、周囲の人たちの手助けがなければ本当に離散してしまった可能性もあります。

もっとみる

kawahara

2018年6月23日 10:45

ほんとは大人も答えを知らない

世の中にはさまざまな不公平や矛盾があるものです。

多くの若者はそうした理不尽や矛盾に直面し、悩み苦しみます。

中には命を絶つ人も。

人生半ばを過ぎた人は言います。

そんなに死に急がなくてもいいのにねえ。この年になればわかるんだから、と。

幸いにも私は今日の日まで生き延びてきましたが、矛盾に悩むことは幾度となくありました。

御多分にもれずというべきか、そのうちわかるよ、と言う人たちはいま

もっとみる

kawahara

2018年6月11日 10:17

和して同ぜず、が通用しないとき

和して同ぜず、という言葉があります。

出典は論語・子路篇で、「人と協調しつつも、安易に妥協したり同調したりはしないこと」を意味します。

確かにいいことを言っているなと思います。

しかし一方で、いつもその方針が成り立つとは限らない、とも思います。

たとえばクラス全体で誰かをいじめていて、それに異を唱えたらみんなと「和する」ことはできない。

逆にみんなと協調しようと思ったらいじめを黙認するし

もっとみる

kawahara

2018年6月4日 10:06

カミングアウト圧について

人が何か、あまり公にしたくない属性なり秘密なりをもっているとするじゃないですか。

そういうのをあえて公にするのがいわゆるカミングアウトってやつで、これはもちろんリスクもあるし、その分注目もされる。

同じ問題を抱えている人達にとっては心強いことだし、とても意義のあることだと思う。

だから、それをやった人はえらいという風に見られる。

というか、実際えらいと思う。

でも、そうなると逆にカミング

もっとみる

記事一覧

代数的整数が環をなすことの証明

対称式の基本定理

フェルマーの最終定理の確率解析

整数解の数

無限につながる魂

類体論 ―― 『代数的整数論』（河田敬義）の補足２

類体論 ――『代数的整数論』（河田敬義）の補足

対話篇２

コギト・エルゴ・スムを疑う対話篇

無理辺五角形の分割不可能性

無理辺五角形の分割

謎な自由意志論

フィクションを信じられること

ほんとは大人も答えを知らない

和して同ぜず、が通用しないとき

カミングアウト圧について