「n^2が3の倍数のとき、nは3の倍数であることを示せ」という証明問題があります。 対偶である 「nが3の倍数でないならば、n^2は3の倍数でない」 を示すことで、もとの命題を示すのが定番の解き方です。 今日の授業でこの問題を 「n^2＝3k (kは整数）とおく。…