抽象化で証明できる命題は増えないだろat MATH抽象化で証明できる命題は増えないだろ - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト34:１３２人目の素数さん 25/02/09 21:19:34.60 TmPaTxYs.net 浅い理解だなあ……(・_・) 35:１３２人目の素数さん 25/02/09 21:23:43.00 wiMZxkRo.net >>1 実数だけでガロア対応を証明してみて まず定式化するところから始めてね、もちろん群や体などの抽象概念は使っちゃだめよ 36:１３２人目の素数さん 25/02/10 21:13:53.75 s+BwhYmn.net >>35 ガロア対応を証明とは？ 37:１３２人目の素数さん 25/02/11 00:21:28.58 wrNcjaS0.net >>28 帰納法が回らないという意味がよく分からんが 例えばn=10の場合を証明したければn=1から順にn=10まで全部書けばいい 38:１３２人目の素数さん 25/02/11 02:26:35.97 a715F0Tt.net >>37 ファン・デル・ヴェルデンの定理： 任意の自然数 k, l に対して、自然数 n(k, l) が存在して、 連続する n(k, l) 個の自然数をどのように k 色に塗り分けても、 同色で長さが l の等差数列が存在する。 この定理は帰納法で証明できるが、安直に帰納法を適用するなら、 ・ k,l に対する二重帰納法を使う ・ n＝k＋l として、nに対する帰納法を使う などの方法が挙げられる。だが、これらの方法は失敗する。 帰納法が上手く回らないのである。 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch