[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ13 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
282(3): 02/06(木)16:05 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より
外部ﾘﾝｸ:ja.wikipedia.org
-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): 02/06(木)16:38 ID:jBYaMD3j(11/14) AAS
>>282の訂正 事由がおかしかった。正しくは
ベーカーの定理の系1より
代数的数a,bに対してalog(1-ω)+blog(1-ω^2)≠0ならば
alog(1-ω)+blog(1-ω^2)は超越数であることが分かるので
286(1): 02/06(木)17:05 ID:YqLfsVRy(26/31) AAS
>>281-283
>>285
オイラーの定数γの正則連分数にこだわり過ぎたのがよくないのだろうが、
それじゃ計算が煩雑になって余りやる気が起きなかったけどγの無理性の証明を試みてみようか
そうすれば、オイラーの定数γは代数的無理数ではないから、
周期Pと実数体の共通部分 P∩R 上で実解析を使って考えれば
γは周期に属さない超越数であることはいえる
大体、事象って何だよw
366: 02/08(土)11:14 ID:3HJap0cQ(3/3) AAS
ちなみに、>>282-283の離散フーリエ変換による計算は
ラグランジュ分解式の計算原理と同じ。
数学を学ぶことができない1は、こんな基本的なことも
永遠に理解するに至らない。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.031s