[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ13 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
282(3): １３２人目の素数さん [sage] 2025/02/06(木) 16:05:04.15 ID:jBYaMD3j(9/14) AAS
従って、逆離散フーリエ変換から
γ(0,3)=1/3(γ-log(1-ω)-log(1-ω^2))
γ(1,3)=1/3(γ-ω^2log(1-ω)-ωlog(1-ω^2))
γ(2,3)=1/3(γ-ωlog(1-ω)-ω^2log(1-ω^2))
が得られる。ベーカーの定理の系1より
https://ja.wikipedia.org/wiki/%E3%83%99%E3%82%A4%E3%82%AB%E3%83%BC%E3%81%AE%E5%AE%9A%E7%90%86
-log(1-ω)-log(1-ω^2), -ω^2log(1-ω)-ωlog(1-ω^2), -ωlog(1-ω)-ω^2log(1-ω^2)
はいずれも超越数であることが分かるので
γ(0,3), γ(1,3),γ(2,3)の中で、代数的数は高々1個しかない
（少なくとも2個は超越数である）ことが言える。
285(2): １３２人目の素数さん [sage] 2025/02/06(木) 16:38:21.67 ID:jBYaMD3j(11/14) AAS
>>282の訂正 事由がおかしかった。正しくは
ベーカーの定理の系1より
代数的数a,bに対してalog(1-ω)+blog(1-ω^2)≠0ならば
alog(1-ω)+blog(1-ω^2)は超越数であることが分かるので
286(1): １３２人目の素数さん [sage] 2025/02/06(木) 17:05:16.87 ID:YqLfsVRy(26/31) AAS
>>281-283
>>285
オイラーの定数γの正則連分数にこだわり過ぎたのがよくないのだろうが、
それじゃ計算が煩雑になって余りやる気が起きなかったけどγの無理性の証明を試みてみようか
そうすれば、オイラーの定数γは代数的無理数ではないから、
周期Pと実数体の共通部分 P∩R 上で実解析を使って考えれば
γは周期に属さない超越数であることはいえる
大体、事象って何だよw
366: １３２人目の素数さん [sage] 2025/02/08(土) 11:14:40.82 ID:3HJap0cQ(3/3) AAS
ちなみに、>>282-283の離散フーリエ変換による計算は
ラグランジュ分解式の計算原理と同じ。
数学を学ぶことができない1は、こんな基本的なことも
永遠に理解するに至らない。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.046s