小清水さんとコンピューター数学

コンピューター・数学 に関することを書きます (特に丸め誤差の話が多いです。)

エイプリルフールだし「1=2」を別の方法で証明してみた

小清水(@curekoshimizu) です。

久々のブログ投稿になります!

今日は ロマンティック数学ナイトボーイズ がありました!

そこで 2進数フレンズ という内容で発表させていただきまして、

その発表資料はこちらです:

www.slideshare.net

今日はこの発表資料をつかって、

「1 = 2」を証明しようと思います!

「1 = 2」とは?

アンサイクロペディアでは有名な記事で、

おかしなことをやって 1 = 2 を証明するという内容になります。

http://ja.uncyclopedia.info/wiki/1%3D2

もっちょさんがこれらを分類などされています!

motcho.hateblo.jp

今回紹介する 「1 = 2」証明方法とは?

このもっちょさんの分類に属さない 新しい証明方法です!

発表スライドの 30ページ目 のこちらを御覧ください:

こちらを引用すると Excel の計算により

 {2}^{50} + 1 - {2}^{50} = 0

となったことがわかります。

また、Excel の計算により

 ({2}^{50} + 1 - {2}^{50}) = 1

ということもわかります。

これら 2式より

 (  0  ) = 1

となり、括弧を外して

 0 = 1

両辺に 1 を加えて

 1 = 2

が示された。

以上です!

エイプリルフールらしい記事になりました!

(しかし Excel の挙動はエイプリルフールではないことに注意。)

おまけ

今年の1月に 第8回日曜数学会 というところで

級数を大改造!! 劇的ビフォーアフター という内容で発表しましたので

その動画も掲載しておきます!

www.nicovideo.jp

こちらの発表の方が面白いかもしれません。