>>78

違うー！ >>75に書いたけど、「a^2が3の倍数ならばaも3の倍数」の証明は対偶
（「aが3の倍数でないならばa^2も3の倍数でない」）をとって証明するのが定石。
>>73におまえが書いてる証明は、一見もっともらしく見えるけど、「√(3k)が3の
倍数になるためにはkは3の倍数でなくてはいけない」、ってとこがまずい。だって
この問題の設定下では√3自体が無理数かどうかもわかんないんだぞ。