プログラミングの為の数学と算数 vol.2at TECHプログラミングの為の数学と算数 vol.2 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト311:デフォルトの名無しさん 05/11/16 23:45:05 >>310 群論か環論の本を読んでくださいな、素元、既約元のあたりです。あとできれば背理法についてもね。 312:デフォルトの名無しさん 05/11/16 23:57:48 >>310 細かい違いはあるかも知れない（例えば、その定理の代わりに「合成数は素因数を持つ」でも十分）けど、 基本的にはその通りだと思う。 313:302 05/11/17 00:16:30 じゃあこの部分を > を考えよう。q は合成数であるか素数であるかのいずれかである。 > q が合成数だとすると q は pi のいずれかを用いて積の形に表されるはずである。その一方で q は pi のいずれで割っても 1 があまり、矛盾する。 > 素数だとすると、これは pi のいずれとも異なるから素数が有限個しかないことに反する。 こう変えてもいいですか? を考えよう。q は合成数であるか素数であるかのいずれかである。 q が合成数だとすると q は pi のいずれかを用いて積の形に表されるとき、q は pi のいずれで割っても 1 があまり、矛盾する。 また q は pi のいずれかを用いて積の形に表されないとき、q は pi を超える素数を持ち、矛盾する。 素数だとすると、これは pi のいずれとも異なるから素数が有限個しかないことに反する。 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch