[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む56 (768ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
732(3): １３２人目の素数さん [] 2018/12/31(月) 14:40:05.22 ID:h9L92WO7(23/30) AAS
スレ主の
「簡単のために、部分集合として、
決定番号が、1<= d <=(m-1)の場合を考える
とすることで、この不具合は回避できる」
による「反例なし必勝ゲーム」
（m番目の箱を見ればm-1番目の箱が予測できる）
という完全自爆の後では 何をいっても
「ピエロちゃん えらいねー、
おサルなのに 沢山カキコして
今日も、ピエロおどり頼むよ
ホイ、ホイ、ホイ
踊れ！ ピエロ（＾＾」
とコピペで済ませられるってもんだｗｗｗｗｗｗｗ
115(2): １３２人目の素数さん [sage] 2018/12/18(火) 03:04:03.26 ID:Rxviyods(1/16) AAS
おっちゃんです。
(前スレ>732より)
>まあ、おれならこう書いている
>（前スレ>697のおれ流書き直し）
>
>[命題]：任意の正の超越数xと、任意の 正かつy≠1 なる代数的数 y∈R に対して、log_x (y) は無理数である。
> （注：ここに、log_x (y) は、xを底とする対数関数である）
>[証明]：背理法を使う
> log_x (y) が有理数 とする。
> log_x (y) ＝ p/q （ここに、p,q は整数）
>従って、x^{p/q}＝y
>これは、矛盾である。
>（∵超越数の有理数ベキが、代数的数と等しくなったから）
>よって命題は成り立つ。
>ＱＥＤ
>
>まあ、おれと>697とはちょっとセンスが違う
>おれなら、この板のアスキーで見にくい数式には、気を遣って”注”を入れる
>|y| とする必要はないので、正に限定する
>それで、証明は数分の一になり、本質が見えると思う
125(7): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2018/12/18(火) 10:33:52.62 ID:9tXcwzeR(1/9) AAS
>>115-119
おっちゃん、どうも、スレ主です。
ありがとう
だが、いつもながら、議論の本筋を外しているね
入試では、答案は戻ってこない！！
採点者は、熱心に汚い手書き答案を読んでくれるが、”採点ミスを誘導せず高得点を狙う書き方”をすべき
log_x|y|（おっちゃん） vs ”log_x (y) （ここに、log_x (y) は、xを底とする対数関数である）”（私）
の違い分かる？
そう、log_x (y) の「定義」を書いてあるってことだ（＾＾
つまり、自分の導入した記号や関数については、逐一「定義」を書く
いろんな数学の教科書や論文を見てみな。全部そうなっているよ
この数学の作法（定義を書く）が身についていない答案は、採点官の心証はマイナスだろうね
（特に数学科の院試ではね）
「log_x|y|（おっちゃん）」を、前スレ >>724のID:bB/JzT3mさんが、”xを底とする対数関数”だろうと救ってくれた
（落ちこぼれピエロは気づいてなかった（＾＾； ）
だが、入試なら、採点官のそばには、ID:bB/JzT3mさんはいないよ
あと、類似だが
>仮定からxは正の超越数だから、任意の0とは異なる整数pに対して x^p は正の超越数である。
これ最初に、「背理法を使う」と宣言しないと、心証悪いよ
実際、前スレ>>697では
”仮定から x＞0 であり、|y|≠0 かつ |y|≠1 だから、log_x|y| は0ではない有理数である”と書いていたでしょ？（＾＾
（参考：前スレ>>732）
(引用開始)
[命題]：任意の正の超越数xと、任意の 正かつy≠1 なる代数的数 y∈R に対して、log_x (y) は無理数である。
（注：ここに、log_x (y) は、xを底とする対数関数である）
[証明]：背理法を使う
log_x (y) が有理数 とする。
log_x (y) ＝ p/q （ここに、p,q は整数）
従って、x^{p/q}＝y
これは、矛盾である。
（∵超越数の有理数ベキが、代数的数と等しくなったから）
よって命題は成り立つ。
ＱＥＤ
(引用終わり)
758(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/01/01(火) 10:13:20.52 ID:5JqLTK2h(9/10) AAS
＜有限モデルの反例について＞
下記のように誤解して頂けると、ありがたい（＾＾
（時枝記事が、“全く理解できてない”ってことが、露呈するので（＾＾； ）
（そのうち説明しますが、上記>>757の２）(>>707)の通りです。殆ど自明だが、後で説明します。自得する人も多いと思おうので、時間をおいてじっくりやります）
>>727 >>729 >>732 >>734 >>741 >>743
「箱はm個だが決定番号mの列は想定しない、ということなら
m番目の箱を見れば、m-1番目の箱も予測できる
なぜなら、決定番号がm-1までしかないのだから
決定番号がm-1だとしても代表元のm-1番目と
m-1番目の箱の中身が一致する
なんだ反例にならんじゃないかｗ」
>>742
（>>741より）
＞箱はm個だが決定番号mの列は想定しない、ということなら
＞m番目の箱を見れば、m-1番目の箱も予測できる
確かにその通りだと思います
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.033s