後、（対偶を）証明する時って
偽を証明することは絶対無いのですか？
まず「aは偶数」と直前に書かれてますよね？
偶数を文字で表すと「2n」とか「2a」とか……いろいろな表し方があります。ですが、この場合は直前でa、bが出てきてて使えませんし、このタイミングでnを使うことってあんまりないです。だからcを自然数として用いて「a=2c」と表してるんだと思います。
あとはまあ書いてる通りですね。a=2cだからa^2=2b^2に代入すると「4c^2=2b^2」、それで約分したり左辺右辺を入れ替えたりして「b^2=2c^2」になります。
aとbが偶数であると証明されるということはaとbは2で割れる、要するに「2が公約数として存在する」から1以外の公約数が存在するということ。
これが矛盾するから「√2は無理数」というわけです。
またなんかこの説明じゃ分かんねぇ！！ってところがあれば気軽にどうぞ。
>>112
絶対ってことはないと思いますけど少なくとも私は見たことないですね……