プログラミングの為の数学と算数 vol.2at TECHプログラミングの為の数学と算数 vol.2 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト307:デフォルトの名無しさん 05/11/16 22:41:27 >>305 この推論は「素数が有限個しかない」という偽の前提があるから、反例を持ち出してもしょうがない。 > q が合成数だとすると q は pi のいずれかを用いて積の形に表されるはずである。 これは、「合成数は有限個の素数の積で表される」という定理と「素数はpiしかない」からの帰結。 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 では、エウクレイデスによる証明は、 >「合成数は有限個の素数の積で表される」という定理 を前提としているわけですか? 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch