余りが一意的に存在すること

http://science6.2ch.net/test/read.cgi/math/1268661525/
が荒れているので誘導。

事の発端は以下のレスだった。

529 ：１３２人目の素数さん：2010/03/25(木) 09:27:29
多項式や整数の割り算などで、商と余りの定義をして、余りが一意的に存在することはどのように示せますか。

前スレ抜粋

530 ：１３２人目の素数さん：2010/03/25(木) 09:35:17
商と余りは一意に定まるように定義する
だからそれは自明

531 ：１３２人目の素数さん：2010/03/25(木) 09:38:35
>>529
余りの定義で一意性を持たせる定義をする

533 ：１３２人目の素数さん：2010/03/25(木) 09:41:07
居るんだよね。
複雑な計算はやり方によっては、違う結果が得られるような錯覚するバカ。
どうやっても同じだっつーの。

539 ：１３２人目の素数さん：2010/03/25(木) 10:04:56
F(x)=P(x)q(x)+r(x)=P(x)q'(x)+r'(x)
とおく
P(x)をn次式とするとr(x),r'(x)はn-1次以下
P(x){q(x)-q'(x)}=r'(x)-r(x)…(※)
ここで
q(x)≠q'(x) と仮定すると
(※)の左辺はn次以上、(※)の左辺はn-1次以下となり矛盾
よって
q(x)=q'(x)
したがって
r'(x)-r(x)=0

整数は
P{q-q'}=r'-r q-q'>0 としたら左辺はP以上で右辺はPより小

>>1乙

しかしこんなくだらんことで荒れるって・・・

541 ：１３２人目の素数さん：2010/03/25(木) 10:09:41
余りの一意性は自明、ってかいてるけど、どっかの大学の入試で出たでしょ
余りの一意性そのものを示す問題ではなかったけど

542 ：１３２人目の素数さん：2010/03/25(木) 10:14:55
>>>539
×(※)の左辺はn-1次以下
○(※)の右辺はn-1次以下
スマソ

543 ：１３２人目の素数さん：2010/03/25(木) 10:17:48
>>539
大学ﾚﾍﾞﾙだとそれでは駄目だな。
多項式環の一意分解性の証明がいる。

544 ：１３２人目の素数さん：2010/03/25(木) 10:18:48
わかってるやつがわかってないやつに逆に馬鹿にされる典型だったね。

545 ：１３２人目の素数さん：2010/03/25(木) 10:22:17
自明とか書いてる馬鹿は首吊ってこいよｗ恥ずかしすぎ

546 ：１３２人目の素数さん：2010/03/25(木) 10:26:48
整式の場合だけか。ツマランなあ。

547 ：１３２人目の素数さん：2010/03/25(木) 10:28:26
>>545　おまえが揶揄されてるんだよ。恥ずかしい奴だな。

553 ：１３２人目の素数さん：2010/03/25(木) 10:43:38
素因数分解の一意性も自明とかいってそうｗ
感覚的に明らかだから自明と繋げるやつは数学を学ぶのに不適格ってことは確かだな。

557 ：１３２人目の素数さん：2010/03/25(木) 10:46:17
自明とか
だったら数学にならないだろとか言ってる人はなんなの？

558 ：１３２人目の素数さん：2010/03/25(木) 10:50:42
たった今、大学の準教授に聞いてきました
高校の数学であれば、余りを自明としてもおかしくはないって

559 ：１３２人目の素数さん：2010/03/25(木) 10:50:47
>>557
単調増加で上に有界な数列が収束するのは、自明だから証明しなくていいのか？

560 ：１３２人目の素数さん：2010/03/25(木) 10:52:02
>>559
有界って高校で習いますか？

561 ：１３２人目の素数さん：2010/03/25(木) 10:52:21
>558
まぁこの出題者の京大院の人は、高校の数学に限定して考えてないだろうね。
学んでいるところが学んでいるところだし。

563 ：１３２人目の素数さん：2010/03/25(木) 10:54:55
>>557
A⇒Bを示せ
A.問題になってるから自明

三角形ABCで…a^2 + b^2 = c^2を示せ
A.三平方の定理より自明

やった、満点だ―

564 ：１３２人目の素数さん：2010/03/25(木) 10:55:29
>>558
自明以外ならば、厳密な数論が必要
こうなると高校数学外

もう問題はどうでもよくて意地になってるんだろ
わけのわからないことで

565 名前：１３２人目の素数さん[sage] 投稿日：2010/03/25(木) 10:57:11
>>558
今の質問はそういうのじゃないからｗ
そこまで解答を｢自明｣ってことにしたいの？

566 名前：１３２人目の素数さん[sage] 投稿日：2010/03/25(木) 10:58:46
>>563
それはたとえになってないから恥ずかしいだけだ

567 名前：１３２人目の素数さん[sage] 投稿日：2010/03/25(木) 10:59:08
>>565
あんた、誰でいいから話がしたいだけだろｗ
いわゆる２ｃｈニートと呼ばれる廃人達だろｗ

568 名前：１３２人目の素数さん[sage] 投稿日：2010/03/25(木) 10:59:13
>>558
1+1=2の証明を教えてください

答)一般には自明であるから自明である

569 名前：１３２人目の素数さん[sage] 投稿日：2010/03/25(木) 11:00:26
>>565
ツッコムだけなら屑でもできる。
とっとと証明しろ。

570 名前：１３２人目の素数さん[] 投稿日：2010/03/25(木) 11:01:09
自明だ、って言ってるやつを見る度に、通っていた高校の教師を思い出す。
自分が分からない、答えられないことには「自明」「常識」「お前はそんなのも分からないのか」とか言ってたな。

571 名前：１３２人目の素数さん[sage] 投稿日：2010/03/25(木) 11:02:11
>>569
回答はとっくの昔に出てるだろ…

まぁまぁ。
そういうわけでこのスレは、余りが一意的に存在することを論理的に証明するスレッドにしないか？

572 名前：１３２人目の素数さん[sage] 投稿日：2010/03/25(木) 11:04:49
>>569
1+1=2の証明を教えてください
答)一般には自明であるから自明である


余りの一意性の証明を教えてください
答)高校生には自明であるから自明である

573 名前：１３２人目の素数さん[sage] 投稿日：2010/03/25(木) 11:04:56
円周率π>3.05を証明せよ。

答)自明。みんなそう言ってるし、学校でπ=3.14って習ったから。
こんな当たり前のことを示せとか頭のおかしいやつだ。

574 名前：１３２人目の素数さん[sage] 投稿日：2010/03/25(木) 11:06:42
>>573
ちなみに、実際にこの問題が東大で出題されたけど、
解答にこれに似たような解答を書いているものが散見されたそうなｗ
「自明」とか「π≒3.14　よってπ>3.05」とかが信じられないぐらいあったらしい。

>>2の最後のレスが書かれた時の、それ以前に書き込んでた人の気持ちが知りたいｗ

>>11
同意。
何がしたいのか。とくに530と533

>>9
それはもうされてるじゃん
大学だともっと詳しくしないと駄目ってあるけど、高校だと十分だし、もっと知りたいならググったほうが早い

≫574
本気でそれが正解だとは思ってないだろう。
試験だから仕方なく書いたんだと思う。

>>2が何度みても吹くｗ
この対照ｗ

> 多項式や整数の割り算などで、商と余りの定義をして、余りが一意的に存在することはどのように示せますか。

この疑問は重要なんだが、茶化してる奴等がレベル低すぎだな。
誰か"unique factorisation"概念の重要性を教えてやれ。

自作自演はいい加減にやめれ

もともと高校生スレから隔離なんでしょ？
本人がどのレベルで考えてるか分からんから相手にするだけ時間の無駄かなって思う。

余り面白くないスレだな

自明だろ

>>1-20
受験板へ帰れ

いやです。

fg+a=hg+b
(f-h)h=b-a
dimLH>dimRH
->f-h=0=dim0

「〜〜を示せ」で「自明」と自信満々で答えてるやつって、純粋に頭悪いのかな、って思う。
こういうのって、いくら数学を勉強したところで矯正できる類のものではないな。
数学に向いていないとは、こういう人のことを言うんだと思う。

である哉

>>24
頭悪いんだろ
揚げ足ばっかとってるし

ま、これ有理整数環や体上の一変数多項式環がEuclideanである事を示さなければならん訳だが…

余りウケなかった

あまり伸びないね

もう解決してるのに伸びようがないでしょ

>>30
“余り”伸びないね

>>31
あまり面白くないね

期待をこめてage!!!!!!!!!!

誤りが一意的に存在すること

日本では存在記号∃や全称記号∀をよく使うが、海外ではあまりみない。論文でも書籍でも。

な　ぜ　だ

(´･∀･`)←こいつのせいだな

Ｅ（・∀・）∃　＜呼んだ？

余りの一意性が一意的に存在することの「厳密な」証明を誰かやってくれませんか？
高校範囲超えててもいいので。

具体的な余りの（仮の）定義を持ってきてもらわんことには
証明の対象が無いので、証明したくてもできない

＞多項式や整数の割り算などで、商と余りの定義をして、余りが一意的に
存在することはどのように示せますか。

多項式の函数に数字を入れておつりが違っていたら宇宙は大戦争になるぞ

で、どうやって示せるの？

>>1から読むorぐぐる

40に聞いてるんだよ

商の次数の大きいほうから順に一意に決まるから商と余りが一意に決まるのは明らか。
>>4の543は間違い。

hoge

「崩れ」は「余り」やけど一意的やないナ。何処にでも沢山居る。

猫

高校生相手だとしても、
最低限、通常の整数でアルキメデスの原理が成立することをいうのかな。
それが示せれば、残りは殆どルーチンワーク。
で、アルキメデスの原理を示すには整数が整列集合であることを示しておけばよい。
そのためには自然数で数学的帰納法の原理が必要になって、最後はペアノか

アルキメデス性くらい自明にしとけよ。何人殺したいんだよ

この際自明厨には消えていただきましょう。

mod(1) mod(2)
mod(3) mod(4) 　　　　/ mod(5)→見つけにくい。

mod(6)→存在は知られている。



mod(0)→unknown

これって多項式環や整数環はユークリッド環であるっていう話？

>>44
晒し禿げ

原始帰納的関数でmod(m,n)を定義すれば十分だろう

f(x)＝g(x)Q1(x)＋R1(x)＝g(x)Q2(x)＋R2(x)　(deg(R1),deg(R2)＜deg(g))とすると、
(Q1(x)−Q2(x))g(x)＝R2(x)−R1(x) となる。両辺の次数を比べると、

右辺：deg(R2−R1)＜deg(g)
左辺：deg((Q1−Q2)g)≧deg(g)　(Q1≠Q2のとき)

となるので、Q1≠Q2の場合は矛盾する。よってQ1＝Q2でなければならず、
自動的にR1＝R2も出る。

>>54
>>2

工房の頃、式の展開は納得できたけど、
因数分解は腑に落ちないもやもやとした所があった。

ある整式を因数分解するとき、因数分解をする順番を変えれば、もしかしたら
別の因数分解になる可能性はないのだろうか？といったものだった。

このもやもやは代数学を学ぶ事によって解決したが、今から見れば誰もが一度は
感じる疑問ではないだろうか？

そうだな

でも代数学なんて学ぶまでもなく
高校生の間にほどなく解決できた

乗法に関して交換則成り立つって中学で習うだろ

そういうことを言ってるんじゃないだろ
ちがう素因数が出てくるんじゃなかろうかって疑問だろ

虚数なんかは一意分解ができないからね。

ちがう素因数がだせるってなんぞ

17=(4+i)(4-i)

>>2
＞　q(x)≠q'(x) と仮定すると
＞　(※)の左辺はn次以上、

前スレを見てないが、ここが自明じゃないじゃん。
ｎ次式とm次式をかけたらn+m次になるとか、証明してない
って議論は出なかったの？



ああ >>4-6みると出てたようだな。工房のガキにはわからんから
暴れてたって話かｗ

>>56
数Iで因数定理やってた昔のカリキュラムなら、その疑問は高校1年で
解決できたが、今は因数分解が数Iで、恒等式が数IIだから、高校1年で
その疑問を持たない奴はゆとりのアホ。

>>63
だってもともと高校生スレからだし
高校範囲ではそんなの証明する必要ナシ

>>63
「多項式」「多項式×多項式」の定義からすぐに出る

>>66
高校生相手の問題だと、説明の仕方がわからんかもね。
実数が体になることは暗黙に使うにしても。

いつまで鼻息荒くしてんだ
演説なら Y! のほうが聞いてくれるぞ

640

>>1
あなたはこのスレッドを立てた時、どれだけのレスがつくと思っていましたか？

５００？それとも１０００？
今現在、モニターの前でどきどきしながらリロードを繰り返していることと思います。
でも残念ながらこのままのペースでは、自作自演でもしない限り
レス１００も突破することなく、数々の駄スレと同じ運命をたどって
奥深く埋もれていくことは確実でしょう。

「俺が立てたスレは他の奴らが立てた”駄スレ”とは一味違う！」
きっとあなたはそんなふうに思っているのでしょう。ですが、
客観的に見てあなたのスレッドは、残念ながら「低レベル」と言わざるを得ません。
あなたが立てた「一味違うスレッド」というものは、
普段あなたが一笑に付し軽蔑している「駄スレ」の正にそれなのです。

ちょっとした勘違いから生まれたスレッドによって、深く傷つくあなた。
そんなあなたが気の毒でなりません。
人は誰しも幸せになれるはずなのに・・・。

だからあなたにこのレスを書きました。sageも入れないでおきました。
私のこのレスが「レス１００突破」に微力ながら貢献できるのならば、
そして私のこのレスによるageが、スレッド再燃に微力ながら貢献できるのならば、
こんなにうれしいことはありません。


猫ォー