プログラミングの為の数学と算数 vol.2at TECHプログラミングの為の数学と算数 vol.2 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト308:302 05/11/16 22:49:50 素数が有限個しかないとは思ってませんが、 > q が合成数だとすると q は pi のいずれかを用いて積の形に表されるはずである そうでない場合もあるとは思いませんか? そして、その場合についても論ずるべきでは? 309:デフォルトの名無しさん 05/11/16 22:57:11 >>308 だから、>>307に書いたように、 > q が合成数だとすると q は pi のいずれかを用いて積の形に表されるはずである は「素数がpiしかない」という仮定の下で証明できる。 証明できるからには、これが偽である可能性を検討する必要はない。 310:302 05/11/16 23:37:43 では、エウクレイデスによる証明は、 >「合成数は有限個の素数の積で表される」という定理 を前提としているわけですか? 311:デフォルトの名無しさん 05/11/16 23:45:05 >>310 群論か環論の本を読んでくださいな、素元、既約元のあたりです。あとできれば背理法についてもね。 312:デフォルトの名無しさん 05/11/16 23:57:48 >>310 細かい違いはあるかも知れない（例えば、その定理の代わりに「合成数は素因数を持つ」でも十分）けど、 基本的にはその通りだと思う。 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch