>>314
俺は今携帯なんで読めないけどここが高校生向けに証明を書いているらしい。

http://www7a.biglobe.ne.jp/~watmas/dosukyo/circle-reports/irrationalnumberbyManabe.pdf