• 締切済み

πが無理数であるという証明・・・

高校1年生です。 教科書にπは無理数って書いてあったんですが、納得いきません。先生に聞いても「難しい証明だから・・・」っていわれて・・・調べてみたんですが、わかりません。 高1にもわかる様に証明してください。 お願いします。

みんなの回答

  • suzuki1
  • ベストアンサー率0% (0/0)
回答No.9

皆自己満足で終わってて質問者の内容に答えてすらない訳な^^

  • betagamma
  • ベストアンサー率34% (195/558)
回答No.8

それは、難しい証明です。 どのくらい難しいかというと、たぶん、その先生も証明できない可能性が高いと思います(笑) ただ、直感的に理解することはできます。#1の方と、似たやり方になりますが。 まず、一辺が1の正方形を書いてください。次に、その正方形の中心と中心を同じくする、半径0.5(直径1)の円があるとします。 まぁ、早い話が、一辺が1の正方形の内側に接するように、円を描くんです。 さて、この円の面積は、π*(1/2)*(1/2)=π/4ですよね。πを有理数q/pとします。すると、この円の面積は、(q/p)*(1/4)=q/4pにという有理数になりますね。 次に、正方形の一辺をk等分、一辺をn等分します。すると、正方形が、一つの面積が1/knの長方形に分割できますよね? ここで、kn=4pになるようにk,nを定めてみます。すると、円の面積はq/4p=q/knになりますね。ということは、1/knの長方形をq個持ってくると円の面積に等しくなります。 つまり、πが有理数であるということは、「円の面積と、上記のように分割してできた長方形の面積が完全に等しくなるようなk,nが存在する」ということを主張しているわけです。 もっと端的に言えば、「円をたくさんの長方形で近似していくと、あるところでぴったり同じにできる」ことを示しています。 直感的におかしいですよね?

  • hidecho
  • ベストアンサー率50% (3/6)
回答No.7

No.4でアドバイスしたものです。ごめんなさい、訂正です。 「かのアルキメデスが・・・:30/71<π<30/70」しか・・・              ↓ 「かのアルキメデスが・・・:3と10/71<π<3と10/70」 です。

回答No.6

これはちょっと無理があるように思います。レベル的には大学の数学科の専門課程程度です。代数学でやる超越数というところでやるのですけど。  あと高2か高3ででてくる自然対数e=2.718281828459014・・・・・というのも無理数なのですがこの証明も同じくらいのレベルです。  高校の数学がわかっていればなんとかというくらいのレベルです。  http://www1.ocn.ne.jp/~yoshiiz/pdf/pi_transnum.pdf http://www.tulip.sannet.ne.jp/tetsuya-daiku/pai.html http://homepage2.nifty.com/tangoh/oosaka03k4.html 

回答No.5

>>高1にもわかる様に証明してください。 不可能です。 No.3の方が紹介しているもののように、少なくとも高校数学全部の範囲は必要でしょう。

  • hidecho
  • ベストアンサー率50% (3/6)
回答No.4

πが無理数でないとすれば πは有理数(※)であるってことになりますが… 残念ながら かのアルキメデスが正96角形まで描いても「πに近い値:30/71<π<30/70」しか出せなかったんですって。 (※)有理数・・・分子・分母ともに整数で表される分数(整数で表される比の値) πは連分数(分数の分母の中にさらに分数がはいっている←これが無限にず~っとつづく)で表され・・・。 つまり、整数の分数では表せないようですね。 【おまけ】πってなんと今日、今現在でも計算を続けられている無理数で100億桁を超える桁数が算出されてるそうですョ♪

参考URL:
http://homepage3.nifty.com/y_sugi/cf/cfm/cfm1b.htm
  • sunasearch
  • ベストアンサー率35% (632/1788)
回答No.3

参考URLの検索結果の一番上のPDFファイル内に証明が載っています。 高校数学を前提にしているといっても、難しいでしょうね。。。

参考URL:
http://www.google.co.jp/search?hl=ja&ie=Shift_JIS&q=%83%CE%81@%96%B3%97%9D%90%94%81@%8F%D8%96%BE&lr=
  • keroro001
  • ベストアンサー率23% (71/304)
回答No.2

http://www.asahi-net.or.jp/~xc8t-tkd/math/sec19.html うーん、これくらいしか見つかりませんでした。 難しいです。 超越数ってなに? いや、俺が質問しちゃダメか(笑)

noname#25358
noname#25358
回答No.1

 俺が聞いてて分かりやすいなと思ったのは、パソコンの画面を使った説明でした。  たとえば、ペイントソフトを使って円を描きます。円描画機能を使ったまぁるい円です。  で、これを拡大するんです。  すると、その円は果たして「綺麗な円」でしょうか?  しかし実際には、ギザギザした円となって表示されるはずです。  では次に、2000年先の未来へワープして、現在よりも百万倍もの解像度を持った超高性能コンピュータを使用して同じことをしてみます。  やはりペイントソフトを使って円を描き、そしてそれを拡大表示するんです。(めっちゃ処理速度速いだろうなぁ(笑))  すると、その円は果たして「綺麗な円」となるでしょうか。  答えは「否」です。  円が「点の塊」である限り、どこまでいってもギザギザは出てしまうんです。  これは、数学理論上の円が「割り切れない位置にも点を持つ」ため、完璧な円をコンピュータで描くことはできないからです。  コンピュータで描けないということは、つまり割り切れないということであり、すなわち「円周率はどこまで行っても割り切れない」んです。  もちろん、この説明で100%完璧に理解できるかってぇと、俺もできてません。  ですが「なるほど」と思うくらいはできると思います。

関連するQ&A

  • √2が無理数であることの証明

    √2が無理数であることの証明 閲覧ありがとうございます。√2が無理数であることの証明ですが、背理法以外のものを教えて下さい。 今日か明日中にお願いします。

  • 数学の無理数の証明を√2を使って証明してください。

    数学の無理数の証明を√2を使って証明してください。 その前に無理数って何ですか?

  • 0.1234567891011...が無理数の証明

    チャンパーノウン定数と呼ばれているらしいのですが、これが無理数であることの証明はどうすればいいのでしょうか。。。 簡単な道筋を教えてもらえると助かります

  • √2が無理数であることの証明について

    √2が無理数であることの証明について 一つ疑問が生じまじた。 背理法を用いて、√2が有理数であると仮定すると、 √2=q/p (p,qは自然数)とおけるから 両辺二乗して 2=q^2/p^2 ⇒2*p^2=q^2 ・・・A ここから無限降下法を用いて矛盾を導くのが一般的な解法であると思うのですが、 Aの段階で明らかに(明らかでなくとも、証明すれば)右辺は平方数で左辺は平方数ではありません。 これは矛盾ではないのでしょうか? 例えば、平方数の約数の個数は奇数、非平方数の約数の個数は偶数ということをまず示せば、素因数分解の一意性に矛盾することは言えますが、そのような補題なしに「非平方数=平方数」は矛盾と考えてはいけないのでしょうか? 矛盾と考えていいのであれば一般の非平方数nに対して√nが無理数であることの証明がすごく簡単になるのですが・・・ 解説お願いします。

  • √2、√3は無理数であるとことを使って、√2+√3も無理数であることを

    √2、√3は無理数であるとことを使って、√2+√3も無理数であることを背理法を用いて証明せよ。 どうしても解けません。 宜しければお力を貸してください。

  • √7が無理数であることの証明

    √7は無理数であることを証明せよ。ただし、nを自然数とする時、n^2が7の倍数ならば、nは7の倍数であることを用いてもよいものとうする。 解 √7が無理数でないと仮定すると,1以外に公約数を持たない自然数a,bを用いて√7=a/bと表される・・・・・以下省 教えてほしいところ 有理数というのはa,bという整数を用いてa/bと表される数とかいてありました。 この記述だと、49/7は有理数じゃないと言っているように思えます。 いいんでしょうか?? また、自然数と限定しているのも疑問です。-3と-2で-3/-2これも有理数でさらに正です。 これを除外すると-3/-2は有理数じゃないということになります。 これは除外して考えてはいけないのでは??

  • √2^√2が無理数である事の証明

    √2^√2が無理数であることを証明したいのですが 背理法以外でも、簡単に解けるものがあるのならば 教えていただけると嬉しいです

  • √2^√2が無理数である事の証明

    塾で、東大生に 『背理法』を使って (√2)^√2が無理数である事を証明しなさいといわれたのですが 教えてください!

  • √2、√3は無理数であることを使って、√2+√3も無理数であることを背

    √2、√3は無理数であることを使って、√2+√3も無理数であることを背理法を用いて証明せよ。 が分かりません(ToT) 助けてください。 お願いします。

  • 背理法「√2が無理数である」の証明について

    背理法で√2が無理数であることを証明しなさいという問題について質問です。 先日高校の友達に背理法について聞かれたので教えていました。√2が有理数だと仮定して√2=n/m(n/mは既約分数)と表す。そこから二乗したりして計算して最終的にn=2の倍数、m=2の倍数となりn/mは既約分数とは言えず仮定と矛盾するので元の命題が成り立つと言えるという説明をしました。(もちろんどんな計算をすれば良いかもきちんと説明しました。) すると友達から「でもn/m=2k/2tだとして、約分したら既約分数になるじゃん。それが矛盾してるっていうのが意味わかんない。」と言われました。 私は「既約分数だと仮定してたのにまだ約分できた、既約分数じゃなかったってなったら矛盾でしょ?むしろ矛盾を導くために2k/2tに持っていくんだよ。」と説明したのですがあまり納得してないみたいでした。 そこで私もなんだかよく分かんなくなってきてしまったので、他に良い説明の仕方があれば教えていただきたいと思い質問しました。 長々とすみません。よろしくお願いします。