TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
【万年】黒木玄を語ろう【助教】 その2
なんじゃこら哲也
フェルマーの最終定理の簡単な証明8
【グラフ理論】離散数学/情報数学 2【組合せ論】
「安倍がRば、日本は幸せになる」という命題があるとき、安倍が死んでないならこの命題は必ず真
有理数であることも無理数であることも証明できない実数
【中学三年】数学の問題の解き方おしえろください
現代数学の系譜11 ガロア理論を読む31
Inter-universal geometry と ABC予想 (応援スレ) 47
増田芳雄が増田哲也にしたことは躾か虐待か決着を
357 :
意外にダメだった。取り敢えず、今日はここまで。

xを正の超越数とする。sを s≠0 かつ s≠1 なるような実数の代数的数とする。
このとき、x^s は超越数ならば、log_{x}|s| は超越数である。
証明]:或る x^s は超越数であって、log_{x}|s| が実数の代数的数なるような、
s≠0 かつ s≠1 なるような 実数の代数的数sが存在したとする。すると、log_{x}|s| に対して
或る正の実数の代数的数rが存在して、log_{x}|s|=r。rは0とも1とも異なる実数の代数的数だから、
x^r=|s| から x^s=|s|^{s/r}。|s| も0とも1とも異なる実数の代数的数であるから、x^s は実数の代数的数である。
しかし、これは x^s が超越数なることに反し、矛盾する。背理法が適用出来るから、
背理法を適用すれば、x^s は超越数であって、log_{x}|s| が実数の代数的数なるような、
s≠0 かつ s≠1 なるような 実数の代数的数sは存在しない。故に、log_{x}|s| は超越数である。

続きは後で。それじゃ、もうおっちゃん寝る。

現代数学の系譜 工学物理雑談 古典ガロア理論も読む49
数学の本 第84巻
数学板の天才方、表現論の教科書教えてください 数論方面で
【R言語】統計解析フリーソフトR 第6章【GNU R】
ホモトピー,ホモロジー,ホモロジー代数コホモロジー
lim[n→1-0]{n} < 0.99999…(循環小数)
雑談はここにかけ[53]
「理論物理学のための幾何学とトポロジー」
プラスマイナスゼロ
経済学は数学を誤用している
--------------------
【安倍首相】法人税引き下げ「経団連企業のためじゃない」
【きらファン】きららファンタジアまったりスレ ワッチョイ無 Part6
ASUS MeMO Pad ME176 root1【ROM焼き】
DQN鉄ヲタ(東日本編) Vol.30
【スワップ】FXの異業者両建て【サヤ取り】 Part.5
岩手のバスを語り隊 PART21
イカちゃん、アクア板にも遊びにおいでよ
【立憲】陳さん「自民党は総裁選延期して討論しなさい!」
マイナーだけど面白いゲーム
【真剣味】中京大中京
エッグ☆ルーキー応援スレ@鳩ぽっぽ♪ Part2
au MARVERA KYY08 Part5
【アップル】iBooks ストア総合【iOS】
オーストラリアに移住を考えてる在米
PCデスク総合48
「グローランサー」T〜Y+PSP版を語るスレ
【卒業】弁・砲丸を悼んで 2【目前?】
ドラクエ同人愚痴スレ Part.18
レベルの低い大学で物理・・(´・ω・`)part3
【ココピート】水で膨らむ土を語るスレ 2【キュービック】
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼