その他/グラフ理論入門/背理法と帰納法

背理法と帰納法について説明。
背理法については\sqrt{2}が無理数であることの証明(\sqrt{2}が有理数でないことの証明)で例示。
帰納法はハノイの塔の漸化式で例示。