√(2)が無理数であることの証明、の一部を変えて√(3)が無理数であることを証明してみます:

いま、aを3の倍数として、a=3kとすれば、
a^2=9k^2
=3(3k^2)
であるから、a^2も3の倍数である。
したがって整数aの平方a^2が3の倍数ならば、
a自身も3の倍数でなければならない。
さて、もし√(3)が有理数であるとすれば、正の整数m, nを用いて
√(3)=m/n
と書くことができる。このとき、m, nがともに3の倍数ならば、
分母、分子を3で約してもっと簡約した形に表すことができるから、
m, nの少なくとも一方は3の倍数ではないとしてよい。
上の式の分母をはらって2乗すれば
m^2=3n^2
よってm^2は3の倍数で、したがってmは3の倍数である(平方a^2が3の倍数ならば、a自身も3の倍数)。
故にm=3L　(Lは整数)と書くことができ、(3L)^2=3n^2より
n^2=3L^2を得る。よってn^2、したがってnも3の倍数である。
これは上の仮定「m, nの少なくとも一方は3の倍数ではない」と矛盾する。
故に√(3)は有理数ではない。■

…こんなのでいいんでしょうか？