Index / Reload / Edit
背理法ですか・・・ハイリ ハイリホ ハリ ハリ ハリッホーなんて歌っていずにちゃんと勉強しておけばよかったと、聞けばかならず悔やまずにいられないワードですね・・・
「背理法は知らない」ということは、自分のやってることが実際には背理法になってても気づかない、ってことでもあるかと。ちなみに、私自身、厨房のころには、証明ってのはなんか屁理屈捏ねてる感じがして、全然印象に残りませんでした。それより、√２を再現なく計算できる方法なんてほうが面白いっていうか。ま、コドモですから（＾＾）
背理法とか、帰納法は嫌われている場合が多いようですが、原理的には自明に近いと思います。ただ、それで実際何かを証明しようとすると、慣れるのに少々時間がかかるかも。やはり考え方とテクニックの双方重要なのだと思います。というわけでつっこみありがとうございます。
よくよく聞いてみると、背理法に対応する証明方法はだれかに教えてもらったみたいです。ただし sqrt(2) = p/q とおいてごちゃごちゃやるのは自分で考えたようです。sqrt(2) の計算は面白かったですね。10桁くらい計算して循環しないので、「帰納法により」無理数であるとか (笑)。あ、でも、ルート 2 の場合 1.414 の段階で有理数？
背理法ですか・・・
ハイリ ハイリホ ハリ ハリ ハリッホー
なんて歌っていずにちゃんと勉強しておけばよかったと、
聞けばかならず悔やまずにいられないワードですね・・・
「背理法は知らない」ということは、自分のやってることが実際には背理法になってても気づかない、ってことでもあるかと。
ちなみに、私自身、厨房のころには、証明ってのはなんか屁理屈捏ねてる感じがして、全然印象に残りませんでした。それより、√２を再現なく計算できる方法なんてほうが面白いっていうか。ま、コドモですから（＾＾）
背理法とか、帰納法は嫌われている場合が多いようですが、原理的には自明に近いと思います。ただ、それで実際何かを証明しようとすると、慣れるのに少々時間がかかるかも。やはり考え方とテクニックの双方重要なのだと思います。というわけでつっこみありがとうございます。
よくよく聞いてみると、背理法に対応する証明方法はだれかに教えてもらったみたいです。ただし sqrt(2) = p/q とおいてごちゃごちゃやるのは自分で考えたようです。sqrt(2) の計算は面白かったですね。10桁くらい計算して循環しないので、「帰納法により」無理数であるとか (笑)。あ、でも、ルート 2 の場合 1.414 の段階で有理数？