[過去ログ] ガロア第一論文と乗数イデアル他関連資料スレ13 (1002レス)
上下前次1-新
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
551(2): 02/10(月)10:39 ID:YxzqkN0R(11/15) AAS
>>535
背理法でeが有理数と仮定する
無限級数で定義されたeは e:=?_{k=0,1,…,+∞}(1/(k!)) と定義されるから e>0 である
よって、無限級数で定義されたeに対して両方共に或る2つの正の整数p、qが存在して
?_{k=0,1,…,+∞}(1/(k!))=q/p p、qは互いに素
と表される。故に、(p!)?_{k=0,1,…,+∞}(1/(k!)) は正の整数である
また、(p!)?_{k=0,1,…,p}(1/(k!)) は正の整数である
552(2): 02/10(月)10:46 ID:YxzqkN0R(12/15) AAS
(続き)
>>535
よって、無限級数によるeの定義より、前者の正の整数から後者の整数を引いて得られる式
(p!)?_{k=p+1,p+2,…,+∞}(1/(k!)) をPで置いて表わせば、Pは正の整数である
しかし、Pを変形して上から評価すると
P=?_{n=1,2,…,+∞}(1/((p+n)!))
<Σ_{n=1,2,…,+∞}(1/2)^n=(1/2)Σ_{n=1,2,…,+∞}(1/2)^{n−1}
=1
だから、Pは正の整数ではない
553(2): 02/10(月)10:49 ID:YxzqkN0R(13/15) AAS
(続き)
>>535
これは、Pが正の整数であることに反し矛盾する
故に、背理法により、eは無理数である
このような証明は、別に長い証明ではないし
証明の途中で特殊な覚えるような箇所もないし
考えればすぐ思い付く証明だろうから、
読んで理解する証明ではなく、自分で考えて再構成する証明といっていい
554: 現代数学の系譜 雑談 ◆yH25M02vWFhP 02/10(月)10:52 ID:S2+qg66P(2/2) AAS
>>496-500
>ウンウン唸って考えること好きだろ?
>プロ棋士になると厳しい職業だけど、
>将棋や囲碁などの勝負事もその一つ
>楽しみ方が人それぞれであることも
>面白い
ご苦労様です
これは至言だね
ID:YxzqkN0Rは、おっちゃんか
お元気そうで何よりです。
省8
555: 02/10(月)10:53 ID:YxzqkN0R(14/15) AAS
何故か和を表すときに使うシグマの大文字 Σ が「農」と文字化けしているが、
これは和を表すのに使うシグマの大文字 Σ で書いた
556: 02/10(月)10:56 ID:6fwmQoR3(51/75) AAS
>>549 そういうものは読まない 偽善者は嫌いだから
557(1): 02/10(月)10:59 ID:6fwmQoR3(52/75) AAS
>>551-552 な、自分で努力したからやっと理解できただろ?
558(1): 02/10(月)10:59 ID:91wxmWNw(19/23) AAS
>>545
アル中の原因がDVだった知り合いがいる
559: 02/10(月)11:01 ID:6fwmQoR3(53/75) AAS
>>553
> 正義漢ぶっているが
それは僻みでしょ
反省できない人が、率直に反省した人に対して持つ僻み
だからいってるじゃん 率直に自分が馬鹿だと反省しなって
560: 02/10(月)11:01 ID:YxzqkN0R(15/15) AAS
>>557
あの証明は実数論の章に書いてあるような簡単な証明
561: 02/10(月)11:02 ID:6fwmQoR3(54/75) AAS
>>558
だからアル中を認めろというのは馬鹿
DVから解決しろ 男なんかいくらブッ●してもかまわん
悪魔に生きる価値は全くない 焼き●せ
562: 02/10(月)11:05 ID:91wxmWNw(20/23) AAS
Henry James and the Idea of Evil
Published online by Cambridge University Press:
563(1): 02/10(月)11:07 ID:91wxmWNw(21/23) AAS
>だからアル中を認めろというのは馬鹿
「だからアル中を認めろ」という意味にしか取れないのは
もっとバカ
564(1): 02/10(月)11:58 ID:iAXKqUnd(1/6) AAS
>>487
>{・・{{{}}}・・}_ωの濃度は1と定義する
つまり・・{{{}}}・・が唯一の元ってことね?
で
>一番外側の括弧を外した ・・{{{}}}・・ は、任意有限のカッコ{}の自然数多重度を表す
だそうなので、その唯一の元は{}だったり{{}}だったり{{{}}}だったり・・・ってことね?
それ、元が不定ってことじゃん。それ、{・・{{{}}}・・}_ωが集合ではないってことじゃん。
頭イカレテんの?
565: 02/10(月)12:03 ID:91wxmWNw(22/23) AAS
>>564
わからない
566: 02/10(月)12:14 ID:iAXKqUnd(2/6) AAS
>>487
>ZFC外であったとしても、集合と定義すれば良い
集合と強弁するためだけにZFCを捨てると?
それは構わないが、君独自の数学だから数学板には書き込まないでね。君の独自数学は数学じゃないし誰も興味無いから。
567: 02/10(月)12:31 ID:iAXKqUnd(3/6) AAS
>>487
>∈{・・{{{}}}・・}_ω には、左隣=前者 は、存在しない
・・{{{}}}・・が元だと言ってなかった? なら・・{{{}}}・・が左隣じゃん。はい、自己矛盾。
568: 02/10(月)12:48 ID:iAXKqUnd(4/6) AAS
>>487
> あたかも、ノイマン構成のω=N={0,1,2,・・,n,n+1,・・} に、前者が存在しないのと同じだよw ;p)
ωは後続順序数でないから前者が存在しないのは当たり前。
しかしωの元は自然数全体であり、そこが{・・{{{}}}・・}_ωなる訳の分からないものとまったく違う。
569(1): 02/10(月)12:58 ID:6fwmQoR3(55/75) AAS
>>563
言い訳すんな馬鹿
570(1): 02/10(月)13:03 ID:91wxmWNw(23/23) AAS
>>569
563を言い訳としか取れないのなら
もっと馬鹿
上下前次1-新書関写板覧索設栞歴
あと 432 レスあります
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.013s