- ベストアンサー
背理法
- みんなの回答 （5）
- 専門家の回答
質問者が選んだベストアンサー
背理法による√2が無理数であることの証明はわかりにくいので、かみ砕いて説明します。 ＜有理数の定義＞ ２つの整数a,b を用いて、a/b と表わせる実数を有理数といいます。 ＜有理数の性質1＞ xを有理数とします。有理数だから、上の有理数の定義により、整数a,bを用いて x = a/b と表わせます。このaとbの組は無限にあります。たとえば、0.4という有理数は、2/5, 4/10, 6/15, (-4)/(-10) などと表わせます。 ＜有理数の性質2＞ xを有理数とします。xは、整数a, bを用いて x = a/b と表わせます。aとbの組は無限にありますが、その中に必ず aとbが互いに素である組があります。なぜなら、aとbが互いに素でないとき、aとbの最大公約数をc とすると、(a/c)と(b/c)が互いに素な整数となり、しかも x = (a/c)/(b/c)となるからです。 ---------------------- さて、証明に戻ります。 No.1様の回答に書いてある証明は、何を証明しているかというと 『√2 = p/q となる整数p, q の組があったとしたら、そのような組はすべて、pとqが互いに素にならない。』 ということです。 √2が有理数なら、＜有理数の性質2＞より、少なくとも１つは互いに素なp,qの組があるはずです。ところが、√2=p/q と仮定した場合、互いに素なp,qの組はないというのです。つまり、√2では、＜有理数の性質2＞が成立しません。だから、√2は有理数ではありません。 説明は以上ですが、補足すると： √2は有理数ではないので、『√2 = p/q となる整数p, q の組』なんて元々無かったのだ、という結論になります。
その他の回答 (4)
- daimaounari
- ベストアンサー率0% (0/4)
ありがとうございます。それと一般に有理数とはｑ/ｐの形でｐ、ｑが互いに素な整数を指すのでしょうか？ そうです、そもそもそれが有理数の定義です。互いに素ではなくてもpとq最大公約数で割ってどうせ互いに素にするでしょ（約分）あとしたの法の回答で 11p^2=q^2（甲） となりqは１１の倍数になります としましたが、これは p^2=11k^2が導かれます。ｐ＾２も１１の倍数になります。１１は素数なのでp^2が１１の倍数なら、ｐも１１の倍数でないとおかしいです とおなじ理論です。書き間違えました。
- rinkun
- ベストアンサー率44% (706/1571)
有理数の定義自体は整数の比で表せることだけですが、分子分母が共通因数を持てば約分して共通因数を持たない形に変形できますので、初めから分子分母は互いに素と仮定して構わないのです。
- daimaounari
- ベストアンサー率0% (0/4)
丁寧なご回答ありがとうございます。ひとつ気になったのですが例えば√１１＝ｑ/ｐとして同じことをしたときにはｑは１１の倍数になりますが、このときｐは１１の倍数にならないような気がするのですが・・・？ いいえなります。同様に両辺を２じょうして 11p^2=q^2（甲） となりqは１１の倍数になります。そこで q=11k（乙） (kは整数とする)とおけます。 乙を甲に代入すると、 11p^2=121k^2が導かれ、両辺を１１で割って p^2=11k^2が導かれます。ｐ＾２も１１の倍数になります。１１は素数なのでp^2が１１の倍数なら、ｐも１１の倍数でないとおかしいです。つまりpとｑどちらも １１の倍数になるので互いに素ではないことになります。よってルート１１は無理数
- Nao_F
- ベストアンサー率24% (22/90)
確かこんな証明でしたよね。（文中 ^2 は「2乗」のこと） ＝＝証明開始＝＝ √2＝q/p 両辺を２乗して 2＝q^2/p^2 両辺にp^2 をかけて 2p^2＝q^2 このとき明らかに q^2 は偶数である。 2乗して偶数になる整数は偶数である。つまり q は偶数であり、2 を約数に持つ。...(1) このとき q^2 は 4 の倍数になる。つまり 2p^2 も 4 の倍数である。 したがって p^2 は 2 の倍数、つまり偶数である。 ここから、(1) と同じ考え方で、p も偶数であり、2 を約数に持つ。 【すると p と q には 2 という公約数が存在し、互いに素という前提に反することになる。】 よって、最初の前提が間違いで、√2は有理数ではない。 ＝＝証明終わり＝＝ 『ｐ、ｑは互いに素な整数』としている理由は【 】の部分でこの前提を使うためです。 よろしいでしょうか？
補足
丁寧なご回答ありがとうございます。ひとつ気になったのですが例えば√１１＝ｑ/ｐとして同じことをしたときにはｑは１１の倍数になりますが、このときｐは１１の倍数にならないような気がするのですが・・・？
関連するQ&A
- 無理数であることの証明（背理法）について
√2は無理数であることを証明する問題についてなのですが 背理法を用いて、√2は無理数でないとすると有理数だから √2＝p/q （p、qは互いに素な正の整数）とおける・・・ （中略） pもqも偶数であるから、互いに素であることに反する。 よって√2は有理数ではなく無理数である と解説には記載されています。 ここでわからないのですが、なぜpとqは互いに素な正の整数でないといけないのでしょうか？？ たとえばp＝8、q＝6だとしても、結局のところ4/3となるので有理数ということでOKな気がするのですが。。 数学が苦手なので、アホな質問だとは思うのですが、わかる方がおられましたら教えてください。 よろしくお願いします。
- ベストアンサー
- 数学・算数
- 背理法についての質問です
p√2が無理数であることを背理法を用いて証明せよ。 という問題です。 √2が無理数であるという証明は、下のようにわかるのですが p√2が無理数であるという証明は同じように解けるのでしょうか？ √2が有理数であると仮定し，これをn/mとおく. （ここに，m，nは整数で互いに素） 両辺を２乗すると 2＝(n/m)^2 2m^2＝n^2 よって，nは2の倍数・・・(1) n＝2kとおく 2m^2＝4k^2 m^2＝2k^2 よって，mは2の倍数・・・(2) (1)(2)はm,nが互いに素という仮定に反し，矛盾． ゆえに，√2は無理数
- ベストアンサー
- 数学・算数
- 対偶と背理法
こんにちは。 実数xが無理数であるとき，2xは無理数であることを証明せよ。 対偶は 2xが有理数ならばxは有理数である。 2xが有理数なので、2x=p/q (pとqは互いに素)とおける。 両辺2で割って、x=p/2q である。ここで、右辺のp/2qは有理数 であるから、左辺xも有理数。 対偶が真なので元の命題も真である。 これを背理法で解くとき， 2xを有理数とすると，2x=r （rは有理数）とおくと，x=ｒ/2 rは有理数なので，r/2も有理数である。このことはxが無理数で あることと矛盾する。 したがって，2xは無理数である。 何がどう違うのでしょうか。
- 締切済み
- 数学・算数
- 数A背理法のもんだいについて
【問題】 √６が無理数であることを、背理法を用いて証明せよ。 という問題の解答について質問です 【解答】 √６＝b/a（a、bは整数）と表せると仮定すると、√６a＝ｂより、両辺を２乗して、 ６aa=bb・・・(1) ★aa,bbにふくまれる素数２の累乗の指数は、いずれも偶数であるから 6aa=2・3・aaに含まれる２の累乗の指数は奇数、bbに含まれる２の累乗の指数は偶数であり、素因数分解の一意性より6aa≠bbとなり、(1)に矛盾★ ゆえに、√６は無理数である ★ではさんだ部分がよくわかりません… あと、別解として √６が有理数だとすれば、√６＝q/p(p,qは互いに素な自然数（整数？））と表せる。 これより、６ｐｐ＝ｑｑ ☆左辺が２で割り切れるので右辺も２で割り切れなければならず、ｑは２で割り切れる。 よって、右辺が４で割り切れるので左辺も４で割り切れなければならず、ｑも４で割り切れる。☆ これは、ｐ、ｑが互いに素であることに矛盾する。 ゆえに、（背理法により、）√６は無理数である も可能でしょうか？ でも☆の部分で、「左辺に６ってあるから２じゃなくて３で割り切れるので～」という風にもなる…？とか考え出したらよくわからなくなっちゃって… ★の部分と☆の部分についてお願いします（> <)
- ベストアンサー
- 数学・算数
- 互いに素である証明(背理法)の解き方
数学Aの整数の性質について質問です。 ほぼほぼ背理法の質問かもしれないですが、 証明の、a+bとabが互いに素でないと仮定すると、と一行目に書いてあるのに、 これは互いに素であると矛盾する。と仮定したことと反対の互いに素で“ある”と逆のことを言って証明になる意味がわかりません。 背理法って、仮定を立てて、その矛盾を証明するんですよね？ それなのになんでこの問題では、仮定と全然違うことを矛盾しているという感じになっているんでしょうか？ あと、証明で、kとlは自然数としていますが、互いに素な自然数としないのはなぜでしょうか？ 教えてください。
- 受付中
- 数学・算数
- 背理法って？
√６が無理数であることを用いて、 √２＋√３が無理数であることを証明せよ。 普通は（？） √２＋√３＝ａ（ａは有理数）とおいて、両辺２乗し √６＝（ａ＾２－５）／２ となり、右辺は有理数となるので矛盾！ としますが・・・・、 (1) √２＋√３を２乗して、５＋２√６！ これが無理数なので、無理数！ って証明になります？ (2) 有理数と仮定して、２乗しても有理数だ！ ところが無理数になるので矛盾！ これは？ 私は、(1)は、５＋２√６が無理数になる証明が必要 (2)は、有理数のみが２乗して有理数になるわけではない（逆が成り立たない）のでだめ？ と思うのですが、数人で話し合った結果、 背理法では逆は成り立たなくても良い！という結論になりました？ でも、いまいち納得できないので、専門家の意見をお聞かせ願えればと思います。
- ベストアンサー
- 数学・算数
- 無理数と有理数の証明
√２が無理数であることは既知とし、√２＋√３が無理数であることを次のように証明した。 まず、ｐ＝√２＋√３、ｑ＝√２ー√３とする。 (1)ｐｑ＝－１は有理数であるから、もしｐが有理数ならｑも有理数である。 (2)同様にｑが有理数ならｐもまた有理数である。 (3)またｐ＋ｑ＝２√２は有理数ではないからｐが有理数ならｑは有理数ではない。 (4)よってｑを有理数と仮定しても有理数でないと仮定してもｐは有理数である。 (5)それゆえｐうぃ有理数と仮定すると矛盾が生じる。 異常によりｐは無理数である。 上の証明で不要と思われる文章を教えて下さい。 頭が混乱してさっぱり分かりません。 ご教示いただけますと助かります。
- 締切済み
- 数学・算数
補足
ありがとうございます。それと一般に有理数とはｑ/ｐの形でｐ、ｑが互いに素な整数を指すのでしょうか？