この動画は、日曜数学 Advent Calendar 2016（<a href="http://www.adventar.org/calendars/1777）の20日目の記事です" target="_blank" rel="noopener nofollow">http://www.adventar.org/calendars/1777）の20日目の記事です</a>。昨日の記事はmattyuu123さんの「ラグランジュの未定乗数法について」でした。<br /><br />ルート２が無理数であることは、背理法を使って簡単に証明できます。が、実は背理法を使わないでも証明できなくはありません。もっとも、使わないことのメリットは、あまりありませんが……。<br />よく知られた定理の証明も、「他に方法はないかな？」と探してみると、結構ザクザク見つかったりするものです。そうした別証明を発見するのも、数学の楽しみの一つではないでしょうか。<br />他の投稿動画→<a href="https://www.nicovideo.jp/mylist/37722511" target="_blank" rel="noopener">mylist/37722511</a><br /><br />twitter: <a href="https://twitter.com/kiguro_masanao" target="_blank" rel="noopener nofollow">https://twitter.com/kiguro_masanao</a>