数学

皆さん, こんにちは. 管理人です. 今回は, 「ディリクレベータ関数の正の奇数における値を三角関数の無限積表示を用いて計算する方法」という記事の中で出てくる\ という式を生成 AI を使って証明できたので, その証明を紹介したいと思います...

皆さん, こんにちは. 今回は, ルジャンドルの定理とその証明を述べます. 準備実数 \(x\) に対して, \(\lfloor x \rfloor\) で \(x\) 以下の最大の整数を表します. 例えば, \(\lfloor 3.14 ...

皆さん, こんにちは. 今回は数学の話題となります. Don Zagier による一文証明の中で「対合写像」（たいごうしゃぞう, または, ついごうしゃぞう）というものが出てくるのですが, 今回は, これについての定義を述べたあと, なぜこ...

この記事では, 分割 \(L\) 関数を導入する. 定義\(n\) を正の整数として, 対称群 \(S_n\) を考える. \(c\) を \(S_n\) の共役類とするとき, \(c\) の符号というものを定義することができる. 【定義 ...

この記事ではある種の分割ゼータ関数を導入します. 定義【定義】\(n\) を正の整数とし, \(s > 0\) とする. 分割ゼータ関数を次で定義する. \ ここで \(\lambda\) は \(n\) の分割すべてを走り, \(f(\l...

皆さん, こんにちは. 管理人です. 今回は\ という式を証明したいと思います. ここで, 条件 \(P\) に対し, \(p(n | P)\) は条件 \(P\) を満たすような \(n\) の分割の個数を意味します. なので, \(p(...

皆さん, こんにちは. 管理人です. 今回は, 大学と大学院（修士課程）で数学を専攻した私が, 大学数学において出てくる概念である「同値関係」「同値類」「商集合」などの定義や性質について述べます.同値関係【定義】\(X\) を集合とする. ...

皆さん, こんにちは. 管理人です. 今回は, 大学と大学院（修士課程）で数学を専攻した私が, 有理整数環 \(\mathbb{Z}\) を使って有理数体 \(\mathbb{Q}\) を定義する方法を述べたいと思います. 要するに, 整数...

皆さん、こんにちは。管理人です。今回は、分数の割り算の計算をするときはなぜ分子と分母を入れ替えてかけるのか、ということを述べていきます。示したいこと正の整数 \(a, b, c, d\) に対して, \ が成り立つことを示したいと思います....

皆さん, こんにちは. 管理人です. 今回は, ユークリッド整域と単項イデアル整域の定義を述べ, ユークリッド整域ならば単項イデアル整域であることを証明したいと思います. なお, 可換環や整域, イデアルなどの言葉はすでに知っているものとし...