後輩のテトラちゃんが僕の前にすすすすっと現れた。テトラ「図書室にいらっしゃるの、お待ちしていました。実はお聞きしたい問題がありまして......」テトラちゃんに導かれるまま、僕は閲覧室の机に向かう。僕「数学の問題?」テトラ「はいっ、そうです。問題1$\SQRT{2}$が無理数であることを証明せよ。僕「ああ、これは有名な問題だよね。背理法を説明するときに必ず出てくる例題だよ。テトラちゃんならこの証明、できるんじゃない?」テトラ「ええ......はい......まあ。これはいろんな本で読むから、証明も暗記しているくらいだよ。解答1$\SQRT{2}$が無理数であることを、背理法を使って証明する。$\SQRT{2}$は整数$a,b$を使って次のように表すことができる。0$で、$a$と$b$は互いに素である。