No.5ベストアンサー
- 回答日時:
わたしは実のところ、同一法とは何か、転換法とは何かについては知りませんでした。
http://web.agr.ehime-u.ac.jp/~kishou/lecture/mat …
(13ページのPDFファイルの10枚目)をご覧頂ければよいかと思います。
転換法の証明は以下の通りです。
(私がまだ勘違いをしていたようで、すいません…)
(1) Aが有限集合ではなく、かつ「任意の素数 p について p∈A であり、任意の素数でない要素 q について q∈/A」が成り立つならば、
A={ p | p はすべての素数 }
(2) Aが有限集合である、または「任意の素数 p について p∈A であり、任意の素数でない要素 q について q∈/A」が成り立たないならば、
A≠{ p | p はすべての素数 }
ここで、
(1) の前半を p1 、後半を q1 とおく。
(2) の前半を p2 、後半を p2 とおく。
(a) 場合分け p1,p2 により、すべての場合が尽くされている。
(b)
p1→q1 を証明する。
(証明)
「任意の素数 p について p∈A であり、任意の素数でない要素 q について q∈/A」が成り立つことより、
A={ p | p はすべての素数 } は自明である。
(証明終)
p2→q2 を証明する。
(証明)
(Aが有限集合の場合)その要素を a[1],a[2],…,a[n] とおく。
a[1]×a[2]×…×a[n] + 1 が
素数ならば、その素数はAに属さない
合成数ならば、素因数分解して得られる素数はAに属さない
よって、Aが有限集合ならば、A≠{ p | p はすべての素数 } である。
(「任意の素数 p について p∈A であり、任意の素数でない要素 q について q∈/A」が成り立たない場合)
A≠{ p | p はすべての素数 } は自明である。
よって、p2→q2 が成り立つ。
(証明終)
(c) q1,q2 は両立しない。
よって、転換法により、q1→p1 が成り立つ。
これにより、「A={ p | p はすべての素数 } ならば Aが有限集合ではない」が得られる。
同一法の証明は以下の通りです。
A={ p | p はすべての素数 } とおく。
Aの最大値が存在すると仮定し、その要素を a[1],a[2],…,a[n] とおく。
a[1]×a[2]×…×a[n] + 1 が
素数ならば、その素数はAより大きい。
合成数ならば、素因数分解して得られる素数はAより大きい。
これは矛盾であるから、Aの最大値は存在しない。よって、Aは有限集合ではない。
ありがとうございます。
遅れてしまい申し訳御座いません。
僕もhttp://web.agr.ehime-u.ac.jp/~kishou/lecture/mat …
を参考にして調べていたのですが、さっぱりだったんです。
でも、おかげさまで同一法・転換法が少しわかった気がします。
ありがとうございました!
No.4
- 回答日時:
#3です。
転換法のところで、私が勘違いしたようです。失礼しました。
(1) Aが有限集合ではなく、かつ「任意の素数 p について、A∪{p}=A」が成り立つならば、A={ p | p はすべての素数 }
(2) Aが有限集合である、または「任意の素数 p について、A∪{p}=A」が成り立たないならば、A≠{ p | p はすべての素数 }
で始めればOKだと思います。
ありがとうございます。
おかげさまでなんとか間に合いました。
ただ、レポートに関する話が今日は無かったので出すだけで終わってしまいましたが…。
ただ、同一法や転換法の定義にこれらがどうあてはまっているのかいまいちわかっていません…
何度も申し訳ないですが、解説していただけませんでしょうか?
No.3
- 回答日時:
提出日は明日なんですか…
ということはもう少しヒントを。
同一法は、「Aは有限集合ではない」ことを証明するかわりに、
「Aは整数を要素とする集合であるにもかかわらず最大値がない」ことを証明すればOKです。
転換法は、
「Aは
(1) 有限集合であり、A={ p | p はすべての素数 }
(2) 有限集合ではなく、A={ p | p はすべての素数 }
(3) 有限集合か有限集合でないかのどちらかであり、A≠{ p | p はすべての素数 }
のどれかである。」で始めればいいでしょう。
(実質的に対偶法と同じですが)
No.2
- 回答日時:
某サイトで同じ質問をされているようですね。
live-earthさんは、
「できれば自分で解きたい。
でも手がかりすらわからないので、せめてそれだけでも知りたい。
そして、少しずつ助けを得ながら、できる限り自分で解くようにしたい。」
という気持ちを持っておられるようにお見受けします。
もしそうであれば、某サイトには投稿せず、OKWaveにのみ投稿された方がよいかと思います。
OKWaveは双方向のやり取りが可能ですが、
某サイトは一発で答えを書かれてしまう危険性がありますから。
それを知らずに某サイトでも回答してしまいました。
原則としてOKWaveにて回答したいと思います。
「~ならば~~」の形にしたいということですが、
「集合A={ p | p はすべての素数 } ならば、Aは有限集合ではない」
でどうでしょうか?
問題は、それを同一法・対偶法・転換法の3通りで証明できるかどうかですが、
ネットで検索すれば、素数が無限にあることの証明は山ほど出てきます。
でも、背理法が主流のようです。
背理法をちょっといじれば対偶法の証明ができますので、
対偶法についてはノーヒントで解いてほしいところです。
ありがとうごいざいます。
おかげさまで対偶法に関してのみは解決しました。
が、やはり同一法と対偶法に関してはまったく見当が付かない状態です。
提出日は明日ですが、もう少し頑張ってみようと思います。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
おすすめ情報
- ・漫画をレンタルでお得に読める!
- ・人生のプチ美学を教えてください!!
- ・10秒目をつむったら…
- ・あなたの習慣について教えてください!!
- ・牛、豚、鶏、どれか一つ食べられなくなるとしたら?
- ・【大喜利】【投稿~9/18】 おとぎ話『桃太郎』の知られざるエピソード
- ・街中で見かけて「グッときた人」の思い出
- ・「一気に最後まで読んだ」本、教えて下さい!
- ・幼稚園時代「何組」でしたか?
- ・激凹みから立ち直る方法
- ・1つだけ過去を変えられるとしたら?
- ・【あるあるbot連動企画】あるあるbotに投稿したけど採用されなかったあるある募集
- ・【あるあるbot連動企画】フォロワー20万人のアカウントであなたのあるあるを披露してみませんか?
- ・映画のエンドロール観る派?観ない派?
- ・海外旅行から帰ってきたら、まず何を食べる?
- ・誕生日にもらった意外なもの
- ・天使と悪魔選手権
- ・ちょっと先の未来クイズ第2問
- ・【大喜利】【投稿~9/7】 ロボットの住む世界で流行ってる罰ゲームとは?
- ・推しミネラルウォーターはありますか?
- ・都道府県穴埋めゲーム
- ・この人頭いいなと思ったエピソード
- ・準・究極の選択
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
夫が亡くなった後の義理家族と...
-
数学の「証明」のときなどの接...
-
数学の証明問題で、「証明終了」...
-
無理数って二乗しても有理数に...
-
(4^n)-1が3の倍数であることの...
-
素数の性質
-
親の再婚相手との問題です。私...
-
3,4,7,8を使って10を作る
-
「証明証」と「証明書」はどう...
-
実息とは?
-
1)4で割って3余る素数が無限...
-
大学の給付型奨学金について 現...
-
直角三角形の性質
-
再婚を考えてますが、養子縁組...
-
自然数aに対し、a+1は互いに素...
-
47歳、母親の再婚を子供の立場...
-
前提と仮定との決定的な違いは...
-
よって・ゆえに・したがって・∴...
-
rot rotA=grad divA-∇^2Aの証明...
-
図形の証明なので出てくる「対...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
数学の「証明」のときなどの接...
-
数学の証明問題で、「証明終了」...
-
夫が亡くなった後の義理家族と...
-
よって・ゆえに・したがって・∴...
-
婿養子です、妻と離婚して妻の...
-
√2が無理数であることの証明で...
-
証明終了の記号。
-
素数の性質
-
婿養子に入ったのに出て行けと...
-
3,4,7,8を使って10を作る
-
無理数って二乗しても有理数に...
-
(4^n)-1が3の倍数であることの...
-
素数の積に1を加算すると素数で...
-
素数の平方根は無理数である。
-
親の再婚相手との問題です。私...
-
「証明証」と「証明書」はどう...
-
下の問題では漸化式の形から≠0...
-
47歳、母親の再婚を子供の立場...
-
ぶすですか?
-
直角三角形の性質
おすすめ情報