
√2は無理数であることを証明する問題についてなのですが
背理法を用いて、√2は無理数でないとすると有理数だから
√2=p/q (p、qは互いに素な正の整数)とおける・・・
(中略)
pもqも偶数であるから、互いに素であることに反する。
よって√2は有理数ではなく無理数である
と解説には記載されています。
ここでわからないのですが、なぜpとqは互いに素な正の整数でないといけないのでしょうか??
たとえばp=8、q=6だとしても、結局のところ4/3となるので有理数ということでOKな気がするのですが。。
数学が苦手なので、アホな質問だとは思うのですが、わかる方がおられましたら教えてください。
よろしくお願いします。
No.1ベストアンサー
- 回答日時:
>ここでわからないのですが、なぜpとqは互いに素な正の整数でないといけないのでしょうか??
「pもqも偶数であるから」という推論結果が出てきても、矛盾を導けないからです。
>たとえばp=8、q=6だとしても、結局のところ4/3となるので有理数ということでOKな気がするのですが。。
その証明をこう書き換えればいいです。
===========================
√2=p/q という分数(p q は整数)で表すことが出来たとする。p q が互いに素でない時は約分して、√2=pp / qq (pp qq は互いに素な正の整数) と表す。
以降の文章中の p q をそれぞれpp qqに書き直す。
No.5
- 回答日時:
実は、互いに素、と仮定しなくても、有理数ではないことは証明できます。
教科書の証明の流れだと、こんな感じで書いてあると思いますが…
(√2)q = p
両辺を2乗すると、
2q^2 = p^2
p^2 は偶数だから、pも偶数、
そこで、p=2p' (p'は自然数) とおくと、
2q^2 = (2p')^2
2q^2 = 4p'^2
q^2 = 2p'^2
q^2 は 偶数だから、qも偶数
互いに素、つまり、p/q は既約分数(既に約分してあって、これ以上約分できない分数)
と仮定しておけば、どっちも偶数になった時点で、これはおかしいから、証明終わり、
とできます。
互いに素、を仮定しておかないと、これではまだ約分ができるので、証明を終わりにできません。
そこで、q = 2q' (q'は自然数) とおくと、
(2q')^2 = 2p'^2
4q'^2 = 2p'^2
2q'^2 = p'^2
で、また、p'が偶数になってしまいます。
さらに、p'=2p"とおくと、
2q'^2 = (2p")^2
2q'^2 = 4p"^2
q'^2 = 2p"^2
で、またまた、q'が偶数に、
こうやって続けていくと、p/q はどこまでも、2で約分できるということになってしまいますが、
pやqがまともな有限の値を持つ自然数であれば、どこかで、割り切れるはずなので、
こんなことは、起こりえません。どこで間違ったかというと、やはり、自然数p,q をつかって、
√2 = p/q で表せる、と、考えたところに問題があるので、√2 は有理数になりません。
一応、念のためにいっておきますと、有理数と別個に、無理数というのが定義できる訳ではなく、
実数のうちで、有理数でない、つまり、整数の分数の形で表せない数のことを無理数と呼ぶことに
しているだけなので、実数の範囲だと、有理数でない=無理数である、ことになります。
なので、互いに素でなくたって、いいじゃないか、というのは、ある意味、正しい疑問ではあるのですが、
互いに素でなく、約分が可能な分数を考えたとしても、ご質問のように、8/6 とでたら、4/3にすれば、
いいじゃないか、と言えるような、まともな分数にはならない訳です。
そもそも、既約分数だと仮定して問題が出るようなら、やはり、分数にならない、と考えるのが、
筋ですし、わざわざ、上のようなところまで書くと面倒なので、最初に、p,qは互いに素、を仮定
して始める訳です。
納得できてないのは、おそらく、クラスで質問者だけ、なんてことはないと思うので、できたら、
こういうことは、授業中に質問してみた方がいいと思います。納得できないけど、質問するのは
恥ずかしい子にも、説明したいが、興味を持つ子が一人でも二人でもいないと、むなしいし、と
思っている先生にも、功徳を施すことができます^^
詳しく説明していただきありがとうございます。
とりあえず頭イッてる系の疑問ではなかったみたいなので安心しました(笑)
本の解説のところに「pとqは互いに素な・・」という記述ではなくて「p/qは既約分数であると仮定する」と書いててくれればわかりやすいのになぁと思いました。
ありがとうございました!
No.4
- 回答日時:
確かに、n/mが有理数であるためにnとmが互いに素でないといけないということはありません。
しかしご自分でおっしゃっている通り、
約分を続けていけば必ず互いに素な整数(pとqとする)を使ってp/qという形にすることができます。
必ずです。
だからあらゆる有理数とp/qという形の数全て(q=0ではない)が、1対1で対応することになります。(厳密には符号の問題があるのでqを正の整数とでもおくべきでしょうが)
このことにそれなりの価値があるというのが1つの理由ですが、
この証明問題に限った話ならそうするのが一番楽だからだと思っていいと思います。
仮に互いに素とおかなかったとしても、証明の過程でpとqに共通する因数をくくりだせば同じ結論を得るはずです。
皆さま、教えていただきありがとうございました!
pとqが「互いに素な正の整数」であるとしているからこそ
pとqが偶数となる→矛盾している、と言うことができるわけですね。
頭が混乱しましたが何とか理解できました。ありがとうございました。
No.2
- 回答日時:
仮に√2=p/qとおいてpとqが互いに素な正の整数でない、すなわち右辺が既約分数でないとすると
p/qの分母分子をpとqの公約数でわることができます。そしてその分数をr/sとするとr/sは既約分数となるので後の証明は同じことですよね
だから最初からpとqを互いに素な正の整数でおいているわけです
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 2次以上の多項式g(x)であって, 任意の無理数に対して無理数の値を取るものは存在しないことを示せ. 8 2022/06/27 11:28
- 数学 数学の問題についてです。 この問題は背理法による証明の問題なのですが、 写真右上の赤線「rを有理数と 2 2022/06/28 16:28
- 教育学 数学の問題についてです。 この問題は背理法による証明の問題なのですが、 写真右上の赤線「rを有理数と 1 2022/06/28 16:26
- 数学 √nが有理数ならばnが整数 証明 なぜ √nが有理数ならばnが整数の証明の解答です。わからない部分が 2 2022/08/04 09:41
- 数学 無理数の数字の組み合わせ。無限の意味について 5 2022/05/28 22:53
- 大学受験 整数問題 Nを正の整数とする。 N+18がN+2の倍数となるようなNの値の個数を求めたい。 解説に、 1 2022/08/13 12:25
- 数学 0でも無限でもない。 4 2023/04/22 19:12
- 数学 某大学の数学入試問題で、フェルマーの定理絡みの問いがありました。 9 2023/02/14 08:35
- 数学 この証明は高校数学の範囲でできますか?数1 数と式 5 2023/04/06 09:24
- 数学 8の倍数の証明(nの倍数の証明)をするとき、 k,lを整数とすると、−8(k+l)が8の倍数って答え 3 2022/12/02 17:59
このQ&Aを見た人はこんなQ&Aも見ています
-
一回も披露したことのない豆知識
あなたの「一回も披露したことのない豆知識」を教えてください。
-
【お題】動物のキャッチフレーズ
【お題】「百獣の王 ライオン」「実は動物界最強 カバ」は分かるけど、それはちょっとピンと来ないなと思った動物のキャッチフレーズ
-
これ何て呼びますか
あなたのお住いの地域で、これ、何て呼びますか?
-
スタッフと宿泊客が全員斜め上を行くホテルのレビュー
スタッフも宿泊客も、一流を通り越して全員斜め上なホテルのレビューにありがちな内容を教えて下さい
-
この人頭いいなと思ったエピソード
一緒にいたときに「この人頭いいな」と思ったエピソードを教えてください
-
分数で分子と分母が互いに素であるとはどういった状態ですか?
数学
-
有理数を文字置き→互いに素な整数?自然数?
数学
-
無理数の証明における既約分数
数学
-
-
4
高1の数学Ⅰです。 背理法を用いて√2が無理数であることを証明するのですが 【証明】 √2は無理数で
数学
おすすめ情報
- ・漫画をレンタルでお得に読める!
- ・昔のあなたへのアドバイス
- ・字面がカッコいい英単語
- ・許せない心理テスト
- ・歩いた自慢大会
- ・「I love you」 をかっこよく翻訳してみてください
- ・ゆるやかでぃべーと タイムマシンを破壊すべきか。
- ・はじめての旅行はどこに行きましたか?
- ・準・究極の選択
- ・この人頭いいなと思ったエピソード
- ・「それ、メッセージ花火でわざわざ伝えること?」
- ・ゆるやかでぃべーと すべての高校生はアルバイトをするべきだ。
- ・【お題】甲子園での思い出の残し方
- ・【お題】動物のキャッチフレーズ
- ・人生で一番思い出に残ってる靴
- ・これ何て呼びますか Part2
- ・スタッフと宿泊客が全員斜め上を行くホテルのレビュー
- ・あなたが好きな本屋さんを教えてください
- ・かっこよく答えてください!!
- ・一回も披露したことのない豆知識
- ・ショボ短歌会
- ・いちばん失敗した人決定戦
- ・性格悪い人が優勝
- ・最速怪談選手権
- ・限定しりとり
- ・性格いい人が優勝
- ・これ何て呼びますか
- ・チョコミントアイス
- ・単二電池
- ・初めて自分の家と他人の家が違う、と意識した時
- ・「これはヤバかったな」という遅刻エピソード
- ・ゴリラ向け動画サイト「ウホウホ動画」にありがちなこと
- ・泣きながら食べたご飯の思い出
- ・一番好きなみそ汁の具材は?
- ・人生で一番お金がなかったとき
- ・カラオケの鉄板ソング
- ・自分用のお土産
このQ&Aを見た人がよく見るQ&A
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
数B確率分布の問題です。 確率...
-
分数の分子に足し算がある場合...
-
平方根の約分について教えてく...
-
比と割合
-
時間を分数になおす方法
-
質問です! 足し算の分数は、約...
-
『3/6≠1/2』?
-
中1数学 簡単な分数の計算(マ...
-
小数を分数に直す方法
-
√同士の約分
-
約分について
-
割り算と分数
-
cosθ/(1+sinθ) + (1+sinθ)/cosθ...
-
無理数であることの証明(背理...
-
この問題はなぜ約分できないん...
-
分数は整数を含みますか? a/b...
-
連比の法則について
-
Xの確率分布を求めよという問題...
-
互いに素な2数の和は、元の数...
-
一年の1月が終わると十二分の一...
おすすめ情報