[過去ﾛｸﾞ] ✧ ✦ ✧ 複素解析4 ✦ ✧ ✦ (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
239: １３２人目の素数さん [sage] 2024/01/08(月) 15:54:58.10 ID:Iljn+bnt(1/6) AAS
[第１段]：Fを実数の代数的数全体の集合とする
Pを周期環とする
実数体R上の零集合Aを A＝{log(p)| p∈P∩F、p＞0 } とする
或る a＞e なる正の超越数 a∈P が存在して log(a)∈F とする
リンデマン・ワイエルシュトラスの定理とAの定義から、
log(a) はAに属さない実数だから、log(a)∈R-A である
同様に、任意の p＞e なる正の代数的数pに対して log(log(p))∈(R∩P)-A だから、
a＞e から log(log(a))∈(R∩P)-A である
しかし同様に、a＞e から log(a)＞1 だから、log(a)∈P と仮定したこと及び零集合Aの定義から、
log(a)∈A であって、log(a)∈(R∩P)-A に反し、矛盾する
故に背理法により、如何なる a＞e を満たす正の超越数 a∈P を取ろうとも log(a) はFに属さない
よって、任意の a＞e なる正の超越数 a∈P に対して log(a)∈F であって、log(a) は超越数である
277: １３２人目の素数さん [sage] 2024/01/22(月) 22:28:35.10 ID:+J4bPVPN(2/2) AAS
後のBergman核である
285: １３２人目の素数さん [sage] 2024/01/24(水) 21:27:27.10 ID:3U07MJg4(2/2) AAS
工学部はそれいいんだろうが
389: １３２人目の素数さん [] 2024/02/07(水) 22:05:06.10 ID:R1P2v2pE(2/2) AAS
カスタマーレビューがつかないよりましかもしれない
393: １３２人目の素数さん [sage] 2024/02/08(木) 21:13:02.10 ID:tjr6h7gU(1) AAS
高瀬舟しぶくばかりにもみぢ葉の流れて下る大堰川かな
810: １３２人目の素数さん [] 2024/04/19(金) 10:01:39.10 ID:fnpmo5F/(1) AAS
特に詳しいわけではないが
研究成果らしきものは持っている
837: １３２人目の素数さん [] 2024/04/22(月) 23:32:08.10 ID:BD9lrF19(3/3) AAS
暇つぶし何某に？
911: １３２人目の素数さん [] 2024/05/19(日) 05:48:49.10 ID:bUuhbgYP(1/2) AAS
パンピーは反戦デモをしない
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.040s